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

Associate professor, Department of Electrical Engineering Fundamentals and Measurements

Location:
Public phone number:
6129-7**
Internal phone number:
274

Automated simulation and verification of process models discovered by process mining

Zakarija, Ivona ; Škopljanac-Mačina, Frano ; Blašković, Bruno
2020.
Automatika : časopis za automatiku, mjerenje, elektroniku, računarstvo i komunikacije

Automated analysis of e-learning web applications

Škopljanac-Mačina, Frano ; Blašković, Bruno ; Zakarija, Ivona
2019.
42nd International Convention MIPRO 2019

Modeling constraint satisfaction problem with model checker

Blašković, Bruno ; Škopljanac-Mačina, Frano ; Knežević, Petar ; Palić , Niko
2018.
The 29th DAAAM International Symposium Intelligent Manufacturing & Automation: Focus on Sustainability

Discovering e-Learning Process Models from Counterexamples

Blašković, Bruno ; Škopljanac-Mačina, Frano ; Zakarija, Ivona
2018.
2018 41st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)

Assessment Process Synthesis for Adaptive E- learning Systems

Škopljanac-Mačina, Frano ; Blašković, Bruno
2017.
Abstract Book - Second International Workshop on Data Science Zagreb, Croatia, November 30, 2017

Automated Generation of Questions for Basic Electrical Engineering Education

Škopljanac-Mačina, Frano ; Blašković, Bruno ; Pintar, Damir
2016.
27th DAAAM International Symposium, 2016

A Security Assessment Framework for e-Health: A Croatian Perspective

Belani, Hrvoje ; Ljubi, Igor ; Blašković, Bruno
2016.

Exam questions consistency checking

Škopljanac-Mačina, Frano ; Zakarija, Ivona ; Blašković, Bruno
2015.
38th International Convention MIPRO 2015 - Computers in Education (CE)

Discovering Process Model from Incomplete Log using Process Mining

Zakarija, Ivona ; Škopljanac-Mačina, Frano ; Blašković, Bruno
2015.
ELMAR-2015 57h International Symposium

Formal Concept Analysis – Overview and Applications

Škopljanac-Mačina, Frano ; Blašković, Bruno
2014.
Procedia Engineering

Using Formal Concept Analysis for student assessment

Škopljanac-Mačina, Frano ; Blašković, Bruno ; Skočir, Zoran
2014.
ELMAR-2014 56th International Symposium

Analysis of Sojourn Times in QBD Model of a Thread Pool

Randić, Mirko ; Blašković Bruno ; Dembitz, Šandor
2013.
Automatika – Journal for Control, Measurement, Electronics, Computing and Communications

Model Checking Executable Specification for Reactive Components

Bruno Blašković
2012.
VALID 2012 The Fourth International Conference on Advances in System Testing and Validation Lifecycle

Scenario Modeling and Verification for Business Processes

Blašković, Bruno ; Skočir, Zoran ; Humski, Luka
2012.
6th KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications

Croatian Language N-Gram System

Dembitz, Šandor ; Blašković, Bruno ; Gledec, Gordan
2012.
Frontiers in artificial intelligence and applications

Scenarios and Model Based Design

Blašković, Bruno ; Randić, Mirko ; Dembitz, Šandor
2011.
22nd International DAAAM Symposium Intelligent Manufacturing & Automation: Power of Knowledge and Creativity

Interpreting Petri nets with CLIPS for software model checking

Blašković Bruno ; Randić, Mirko
2010.
21st International DAAAM Symposium

Dynamic Thread Assigment in a Tandem of Threadpools Inspired by the Adaptation Mechanism in Honeybee Foraging

Randić, Mirko ; Jednaković, Hrvoje ; Blašković Bruno
2010.
International DAAAM Symposium

Architecture of Hascheck – An Intelligent Spellchecker for Croatian Language

Dembitz, Šandor ; Gledec, Gordan ; Blašković, Bruno
2010.
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

Model Generation for Analysis with Modelica Based on the ATL Model Transformation Language

Randić, Mirko ; Blašković, Bruno ; Dembitz, Šandor
2007.
DAAAM International Scientific Book

From Declarative Model to Solution: Scheduling Scenario Synthesis

Bruno Blašković, Mirko Randić
2007.
Conference on Telecommunications - ConTEL 2007

Application Design for Ad Hoc Collaboration Environment Based on Dependency Injection Pattern

Randić, Mirko ; Kunštić, Marijan ; Blašković , Bruno
2006.
13th IEEE Mediterranean Electrotechnical Conference

Model Based Scheduling Scenario Generation

Blašković, Bruno ; Randić , Mirko
2006.
DAAAM International Scientific Book

Modeling Service Dependencies in Ad Hoc Collaborative Systems

Randić, Mirko ; Blašković, Bruno ; Knežević, Petar ;
2005.
EUROCON 2005 - The International Conference on "Computers as a Tool"

Object by Value Transfer Mechanisms for Obligation Policy Enforcement Object Loading

Randić, Mirko ; Kunštić, Marijan ; Blašković, Bruno
2004.
MELECON 2004

An overview of IP telephony routing information problem solving

Knežević, Petar ; Sršen, Vedran ; Blašković, Bruno
2003.
Eurocon 2003, Computer as a tool

Petri Net Modeling for Reactive System Verification

Blašković, Bruno
2003.
ConTEL 2003

Calculating overall delay in Voice over IP network

Sršen, Vedran ; Knežević, Petar ; Blašković, Bruno
2002.
The 13th INTERNATIONAL DAAAM SYMPOSIUM "Intelligent Manufacturing & Automation: Learning from Nature"

Model checking approach for communication procedures validation

Blašković, Bruno ; Knežević, Petar ; Randić, Mirko
2001.
EUROCON'2001, Trends in Communications, International Conference on

Linear Network Analyser Design with Heterogeneous Component Composition

Blašković, Bruno ; Dembitz, Šandor ; Knežević, Petar ; Randić, Mirko ;
2000.
10th Mediterranean Electrotechnical Conference, Melecon 2000

Model Checking of Concurrent System with SDL-- Specification

Blašković, Bruno ; Dembitz, Šandor ; Knežević, Petar ;
2000.
10th Mediterranean Electrotechnical Conference, Melecon 2000

Generic parser for (CO)4PE metamodel framework

Blašković, Bruno ; Knežević, Petar ; Randić, Mirko.
2000.
Annals of DAAAM for 2000 & Proceedings of the 11th International DAAAM Symposium "Intelligent manufacturing & automation: man-machine-nature"

An approach to build high available and high performance workload distribution system

Knežević, Petar ; Blašković, Bruno ; Segarić, Krešimir ;
2000.
Annals of DAAAM for 2000 & Proceedings of the 11th International DAAAM Symposium "Intelligent manufacturing & automation: man-machine-nature"

Information Modeling of Applications Using Mobile Management Agents with extensible Behavior in Run-Time

Randić, Mirko ; Kunštić, Marijan ; Blašković, Bruno
2000.
10th Mediterranean Electrotechnical Conference

Extensions to UML for ORB-centric Software Modeling: The Group and Policy Stereotypes

Randić, Mirko ; Kunštić Marijan ; Blašković Bruno
1999.
SoftCOM'99

Formal Methods and Model Checking in Coordination Based Framework

Blašković Bruno ; Knežević, Petar ; Randić, Mirko
1999.
Conference on Software in Telecommunications and Computer Networks SoftCOM`99

Communication Based Design of Parallel Programs

Blašković, Bruno ; Knežević, Petar ; Dembitz, Šandor
1999.
10th International DAAAM Symposium "Intelligent Manufacturing & Automation: Past - Present - Future

Signaling Protocol Verification with SDL to PROMELA Translation

Blašković, Bruno ; Rubčić, Alen
1998.
Mipro '98

Petri Net Modeling Signaling Protocols Syntesis

Blašković, Bruno
1998.
Melecon '98

Teaching duties

University undergraduate

University graduate

Postgraduate doctoral study programme