izv. prof. dr. sc. Bruno Blašković

Izvanredni profesor, Zavod za osnove elektrotehnike i električka mjerenja

  Poglavlja u knjizi
 

1. Belani, Hrvoje; Ljubi, Igor; Blašković, Bruno.
A Security Assessment Framework for e-Health: A Croatian Perspective // Meeting Security Challenges through Data Analytics and Decision Support / Shahbazian, Elisa ; Rogova, Galina (ur.).
Amsterdam : IOS Press, 2016. Str. 293-300.
spacer.gif
 
  Znanstveni radovi u drugim časopisima
 

1. Mandušić, Dubravka; Blašković Lucija.
The impact of collaborative learning to critically thinking. // Trakia journal of Sciences. 13 (2015) , 1; 426-428 (pregledni rad, znanstveni).

2. Škopljanac-Mačina, Frano; Blašković, Bruno.
Formal Concept Analysis – Overview and Applications. // Procedia Engineering. 69 (2014) ; 1258-1267 (članak, znanstveni).

3. Randić, Mirko; Blašković Bruno; Dembitz, Šandor.
Analysis of Sojourn Times in QBD Model of a Thread Pool. // Automatika – Journal for Control, Measurement, Electronics, Computing and Communications. 54 (2013) , 4; 495-506 (članak, znanstveni).

4. Blašković, Bruno; Skočir, Zoran; Humski, Luka.
Scenario Modeling and Verification for Business Processes. // Lecture Notes in Artificial Intelligence. 7327 (2012) ; 414-423 (članak, znanstveni).

5. Dembitz, Šandor; Blašković, Bruno; Gledec, Gordan.
Croatian Language N-Gram System. // Frontiers in artificial intelligence and applications. 243 (2012) ; 696-705 (članak, znanstveni).

6. Dembitz, Šandor; Gledec, Gordan; Blašković, Bruno.
Architecture of Hascheck – An Intelligent Spellchecker for Croatian Language. // Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. 6277 (2010) ; 292-301 (članak, znanstveni).

7. Randić, Mirko; Blašković, Bruno; Dembitz, Šandor.
Model Generation for Analysis with Modelica Based on the ATL Model Transformation Language. // DAAAM International Scientific Book. 6 (2007) ; 265-278 (članak, znanstveni).

8. Blašković, Bruno; Randić, Mirko.
Model Based Scheduling Scenario Generation. // DAAAM International Scientific Book. 5 (2006) ; 031-044 (članak, znanstveni).
spacer.gif
 
  Znanstveni radovi u zbornicima skupova s međunar.rec.
 

1. Škopljanac-Mačina, Frano; Blašković, Bruno; Pintar, Damir.
Automated Generation of Questions for Basic Electrical Engineering Education // .
(poster,međunarodna recenzija,objavljeni rad,znanstveni).

2. Škopljanac-Mačina, Frano; Zakarija, Ivona; Blašković, Bruno.
Exam questions consistency checking // Proceedings of 38th International Convention on Information and Communication Technology, Electronics and Microelectronics MIPRO 2015 / Biljanović, Petar (ur.).
Rijeka : GRAFIK, 2015. 921-924 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

3. Zakarija, Ivona; Škopljanac-Mačina, Frano; Blašković, Bruno.
Discovering Process Model from Incomplete Log using Process Mining // Proceedings of ELMAR-2015 57h International Symposium / Muštra, Mario ; Tralić, Dijana ; Zovko-Cihlar, Branka (ur.).
Zagreb : LotusGRAF, 2015. 117-120 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

4. Škopljanac-Mačina, Frano; Blašković, Bruno; Skočir, Zoran.
Using Formal Concept Analysis for student assessment // Proceedings of ELMAR-2014 56th International Symposium / Dijana Tralić ; Mario Muštra ; Branka Zovko-Cihlar (ur.).
Zagreb : LotusGRAF, 2014. 285-288 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

5. Bruno Blašković.
Model Checking Executable Specification for Reactive Components // / Alimohammad, A., Dini, P. (ur.).
Lisbon, Portugal : IARIA, 2012. 107-113 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

6. Blašković, Bruno; Randić, Mirko; Dembitz, Šandor.
Scenarios and Model Based Design // Annals of DAAAM for 2011. & Proceedings of the 22nd International DAAAM Symposium / Katalinić, Branko (ur.).
Vienna : DAAAM International, 2011. 89-90 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

7. Blašković Bruno; Randić, Mirko.
Interpreting Petri nets with CLIPS for software model checking // Annals of DAAAM for 2010 & Proceedings of the 21st International DAAAM Symposium / Katalinic, Branko (ur.).
Vienna : DAAAM International, 2010. 111-112 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

8. Randić, Mirko; Jednaković, Hrvoje; Blašković Bruno.
Dynamic Thread Assigment in a Tandem of Threadpools Inspired by the Adaptation Mechanism in Honeybee Foraging // Annals of DAAAM for 2010 & Proceedings of the 21st International DAAAM Symposium / Katalinic, Branko (ur.).
Vienna : DAAAM International, 2010. 47-49 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

9. Bruno Blašković, Mirko Randić.
From Declarative Model to Solution: Scheduling Scenario Synthesis // Proceedings of the 9th International Conference on Telecommunications / Zeljka, Car ; Mario Kusek (ur.).
Zagreb : University of Zagreb, Faculty of Electrical Engineering and Computing, 2007. 139-142 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

10. Randić, Mirko; Kunštić, Marijan; Blašković, Bruno.
Application Design for Ad Hoc Collaboration Environment Based on Dependency Injection Pattern // Proceedings of the 13th IEEE Mediterranean Electrotechnical Conference.
Malaga, 2006. 664-667 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

11. Randić, Mirko; Blašković, Bruno; Knežević, Petar.
Modeling Service Dependencies in Ad Hoc Collaborative Systems // EUROCON 2005 - The International Conference on "Computers as a Tool" Proceedings / Milić Ljiljana (ur.).
Beograd : Institut of Electrical and Electronics Engineers and School of Electrical Engineering, University of Belgrade, Serbia and Montenegro, 2005. 1842-1845 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

12. Randić, Mirko; Kunštić, Marijan; Blašković, Bruno.
Object by Value Transfer Mechanisms for Obligation Policy Enforcement Object Loading // Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference / Matijašević, Maja ; Pejčinović, Branimir ; Tomšić, Željko ; Butković, Željko (ur.).
Zagreb : The Institute of Electrical and Electronics Engineers, 2004. 727-730 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

13. Blašković, Bruno.
Modeliranje Petrijevom mrežom za verifikaciju reaktivnih sustava // Proceedings of the 7th International Conference on Telecommunications / Jevtić, Mikuc (ur.).
Zagreb : FER, 2003. 257-264 (poster,međunarodna recenzija,objavljeni rad,znanstveni).

14. Knežević, Petar; Sršen, Vedran; Blašković, Bruno.
An overview of IP telephony routing information problem solving // Eurocon 2003, Computer as a tool : Proceedings / Zajc, Baldomir ; Tkalčič, Marko (ur.).
Ljubljana : Faculty of EE, University of Ljubljana, 2003. 1-223 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

15. Sršen, Vedran; Knežević, Petar; Blašković, Bruno.
Calculating overall delay in Voice over IP network // Annals of DAAAM for 2002 & Proceedings / Katalinic, Branko (ur.).
Beč, Austrija : DAAAM International Vienna, 2002. 525-526 (poster,međunarodna recenzija,objavljeni rad,znanstveni).

16. Blašković, Bruno; Knežević, Petar; Randić, Mirko.
Model checking approach for communication procedures validation // EUROCON'2001, Trends in Communications, International Conference on. (Volume:2 ) / Farkaš, P. (ur.).
Bratislava : IEEE, 2001. 532-535 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

17. Blašković, Bruno; Dembitz, Šandor; Knežević, Petar.
Model Checking of Concurrent System with SDL-- Specification // 10th Mediterranean Electrotechnical Conference, Melecon 2000, Vol. l / Economides, Costas. Patticichis, Constantinos. Maliotis, Gregory (ur.).
Nicosia : Violaris Press Ltd, Nicosia, Cyprus, 2000. 77-80 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

18. Blašković, Bruno; Dembitz, Šandor; Knežević, Petar; Randić, Mirko.
Linear Network Analyser Design with Heterogeneous Component Composition // 10th Mediterranean Electrotechnical Conference, Melecon 2000, Vol. l / Economides, Costas. Patticichis, Constantinos. Maliotis, Gregory (ur.).
Nicosia : Violaris Press Ltd, Nicosia, Cyprus, 2000. 89-92 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

19. Blašković, Bruno; Knežević, Petar; Randić, Mirko.
Generic parser for (CO)4PE metamodel framework // Annals of DAAAM for 2000 & Proceedings of the 11th International DAAAM Symposium / Katalinic, B. (ur.).
Vienna : DAAAM International, Vienna, 2000. 029-030 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

20. Knežević, Petar; Blašković, Bruno; Segarić, Krešimir.
An approach to build high available and high performance workload distribution system // Annals of DAAAM for 2000 & Proceedings of the 11th International DAAAM Symposium / Katalinic, B. (ur.).
Vienna : DAAAM International, Vienna, 2000. 231-232 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

21. Randić, Mirko; Kunštić, Marijan; Blašković, Bruno.
Information Modeling of Applications Using Mobile Management Agents with extensible Behavior in Run-Time // Proceedings of MeleCon 2000 / Economides, Costas ; Patticichis, Constantinos ; Maliotis, Gregory (ur.).
Nicosia : Violaris Press, 2000. 15-18 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

22. Blašković, Bruno; Knežević, Petar; Dembitz, Šandor.
Communication Based Design of Parallel Programs // Annals of DAAAM for 1999 & Proceedings / Katalinic, Branko (ur.).
Vienna, Austria : DAAAM International, 1999. 49-50 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

23. Blašković Bruno; Knežević, Petar; Randić, Mirko.
Formal Methods and Model Checking in Coordination Based Framework // Conference on Software in Telecommunications and Computer Networks SoftCOM`99 / N. Rožić (ur.).
Split : FESB-Split, 1999. 153-162 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

24. Randić, Mirko; Kunštić Marijan; Blašković Bruno.
Extensions to UML for ORB-centric Software Modeling: The Group and Policy Stereotypes // Proceedings of the International Conference on Software in Telecommunications and Computer Networks SoftCOM'99.
Split : FESB-Split, 1999. 173-180 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

25. Blašković, Bruno.
Petri Net Modeling Signaling Protocols Syntesis // Melecon '98 Proceedings / Weiss, Antony J. (ur.).
IEEE, 1998. 706-710 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
spacer.gif
 
  Drugi radovi u zbornicima skupova s recenzijom
 

1. Blašković, Bruno; Rubčić, Alen.
Signaling Protocol Verification with SDL to PROMELA Translation // MIPRO - Računala u komunikacijama / Golubić, Stjepan (ur.).
Rijeka : Mipro Rijeka, 1998. 75-78 (predavanje,domaća recenzija,objavljeni rad,znanstveni).
spacer.gif
 

Nastava

Sveučilišni preddiplomski

Poslijediplomski studij