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

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

  Poglavlja u knjizi
 
A Security Assessment Framework for e-Health: A Croatian Perspective // Meeting Security Challenges through Data Analytics and Decision Support / Shahbazian, Elisa ; Rogova, Galina (ur.).
 
  Znanstveni radovi u drugim časopisima
 
The impact of collaborative learning to critically thinking. // Trakia journal of Sciences. 13 (2015) , 1; 426-428 (pregledni rad, znanstveni).
Formal Concept Analysis – Overview and Applications. // Procedia Engineering. 69 (2014) ; 1258-1267 (članak, znanstveni).
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).
Scenario Modeling and Verification for Business Processes. // Lecture Notes in Artificial Intelligence. 7327 (2012) ; 414-423 (članak, znanstveni).
Croatian Language N-Gram System. // Frontiers in artificial intelligence and applications. 243 (2012) ; 696-705 (članak, znanstveni).
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).
Model Generation for Analysis with Modelica Based on the ATL Model Transformation Language. // DAAAM International Scientific Book. 6 (2007) ; 265-278 (članak, znanstveni).
Model Based Scheduling Scenario Generation. // DAAAM International Scientific Book. 5 (2006) ; 031-044 (članak, znanstveni).
 
  Znanstveni radovi u zbornicima skupova s međunar.rec.
 
Automated Generation of Questions for Basic Electrical Engineering Education // .
Exam questions consistency checking // Proceedings of 38th International Convention on Information and Communication Technology, Electronics and Microelectronics MIPRO 2015 / Biljanović, Petar (ur.).
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.).
Using Formal Concept Analysis for student assessment // Proceedings of ELMAR-2014 56th International Symposium / Dijana Tralić ; Mario Muštra ; Branka Zovko-Cihlar (ur.).
Model Checking Executable Specification for Reactive Components // / Alimohammad, A., Dini, P. (ur.).
Scenarios and Model Based Design // Annals of DAAAM for 2011. & Proceedings of the 22nd International DAAAM Symposium / Katalinić, Branko (ur.).
Interpreting Petri nets with CLIPS for software model checking // Annals of DAAAM for 2010 & Proceedings of the 21st International DAAAM Symposium / Katalinic, Branko (ur.).
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.).
From Declarative Model to Solution: Scheduling Scenario Synthesis // Proceedings of the 9th International Conference on Telecommunications / Zeljka, Car ; Mario Kusek (ur.).
Application Design for Ad Hoc Collaboration Environment Based on Dependency Injection Pattern // Proceedings of the 13th IEEE Mediterranean Electrotechnical Conference.
Modeling Service Dependencies in Ad Hoc Collaborative Systems // EUROCON 2005 - The International Conference on "Computers as a Tool" Proceedings / Milić Ljiljana (ur.).
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.).
Modeliranje Petrijevom mrežom za verifikaciju reaktivnih sustava // Proceedings of the 7th International Conference on Telecommunications / Jevtić, Mikuc (ur.).
An overview of IP telephony routing information problem solving // Eurocon 2003, Computer as a tool : Proceedings / Zajc, Baldomir ; Tkalčič, Marko (ur.).
Calculating overall delay in Voice over IP network // Annals of DAAAM for 2002 & Proceedings / Katalinic, Branko (ur.).
Model checking approach for communication procedures validation // EUROCON'2001, Trends in Communications, International Conference on. (Volume:2 ) / Farkaš, P. (ur.).
Model Checking of Concurrent System with SDL-- Specification // 10th Mediterranean Electrotechnical Conference, Melecon 2000, Vol. l / Economides, Costas. Patticichis, Constantinos. Maliotis, Gregory (ur.).
Linear Network Analyser Design with Heterogeneous Component Composition // 10th Mediterranean Electrotechnical Conference, Melecon 2000, Vol. l / Economides, Costas. Patticichis, Constantinos. Maliotis, Gregory (ur.).
Generic parser for (CO)4PE metamodel framework // Annals of DAAAM for 2000 & Proceedings of the 11th International DAAAM Symposium / Katalinic, B. (ur.).
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.).
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.).
Communication Based Design of Parallel Programs // Annals of DAAAM for 1999 & Proceedings / Katalinic, Branko (ur.).
Formal Methods and Model Checking in Coordination Based Framework // Conference on Software in Telecommunications and Computer Networks SoftCOM`99 / N. Rožić (ur.).
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.
Petri Net Modeling Signaling Protocols Syntesis // Melecon '98 Proceedings / Weiss, Antony J. (ur.).
 
  Drugi radovi u zbornicima skupova s recenzijom
 
Signaling Protocol Verification with SDL to PROMELA Translation // MIPRO - Računala u komunikacijama / Golubić, Stjepan (ur.).
 

Nastava

Sveučilišni preddiplomski