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 analysis of e-learning web applications

Škopljanac-Mačina, Frano ; Blašković, Bruno ; Zakarija, Ivona
Znanstveni radovi u zbornicima skupova, 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
Znanstveni radovi u zbornicima skupova, 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
Znanstveni radovi u zbornicima skupova, 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
Prošireni sažeci u zbornicima i časopisima, 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
Znanstveni radovi u zbornicima skupova, 2016.
27th DAAAM International Symposium, 2016

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

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

Exam questions consistency checking

Škopljanac-Mačina, Frano ; Zakarija, Ivona ; Blašković, Bruno
Znanstveni radovi u zbornicima skupova, 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
Znanstveni radovi u zbornicima skupova, 2015.
ELMAR-2015 57h International Symposium

Formal Concept Analysis – Overview and Applications

Škopljanac-Mačina, Frano ; Blašković, Bruno
Znanstveni i pregledni radovi, 2014.

Using Formal Concept Analysis for student assessment

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

Analysis of Sojourn Times in QBD Model of a Thread Pool

Randić, Mirko ; Blašković Bruno ; Dembitz, Šandor
Znanstveni i pregledni radovi, 2013.

Model Checking Executable Specification for Reactive Components

Bruno Blašković
Znanstveni radovi u zbornicima skupova, 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
Sažeci u zbornicima i časopisima, 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
Znanstveni i pregledni radovi, 2012.

Scenarios and Model Based Design

Blašković, Bruno ; Randić, Mirko ; Dembitz, Šandor
Znanstveni radovi u zbornicima skupova, 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
Znanstveni radovi u zbornicima skupova, 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
Znanstveni radovi u zbornicima skupova, 2010.
International DAAAM Symposium

Architecture of Hascheck – An Intelligent Spellchecker for Croatian Language

Dembitz, Šandor ; Gledec, Gordan ; Blašković, Bruno
Znanstveni i pregledni radovi, 2010.

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

Randić, Mirko ; Blašković, Bruno ; Dembitz, Šandor
Znanstveni i pregledni radovi, 2007.

From Declarative Model to Solution: Scheduling Scenario Synthesis

Bruno Blašković, Mirko Randić
Znanstveni radovi u zbornicima skupova, 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
Znanstveni radovi u zbornicima skupova, 2006.
13th IEEE Mediterranean Electrotechnical Conference

Model Based Scheduling Scenario Generation

Blašković, Bruno ; Randić , Mirko
Znanstveni i pregledni radovi, 2006.

Modeling Service Dependencies in Ad Hoc Collaborative Systems

Randić, Mirko ; Blašković, Bruno ; Knežević, Petar ;
Znanstveni radovi u zbornicima skupova, 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
Znanstveni radovi u zbornicima skupova, 2004.
MELECON 2004

An overview of IP telephony routing information problem solving

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

Petri Net Modeling for Reactive System Verification

Blašković, Bruno
Znanstveni radovi u zbornicima skupova, 2003.
ConTEL 2003

Calculating overall delay in Voice over IP network

Sršen, Vedran ; Knežević, Petar ; Blašković, Bruno
Znanstveni radovi u zbornicima skupova, 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
Znanstveni radovi u zbornicima skupova, 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 ;
Znanstveni radovi u zbornicima skupova, 2000.
10th Mediterranean Electrotechnical Conference, Melecon 2000

Model Checking of Concurrent System with SDL-- Specification

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

Generic parser for (CO)4PE metamodel framework

Blašković, Bruno ; Knežević, Petar ; Randić, Mirko.
Znanstveni radovi u zbornicima skupova, 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 ;
Znanstveni radovi u zbornicima skupova, 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
Znanstveni radovi u zbornicima skupova, 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
Znanstveni radovi u zbornicima skupova, 1999.
SoftCOM'99

Formal Methods and Model Checking in Coordination Based Framework

Blašković Bruno ; Knežević, Petar ; Randić, Mirko
Znanstveni radovi u zbornicima skupova, 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
Znanstveni radovi u zbornicima skupova, 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
Znanstveni radovi u zbornicima skupova, 1998.
Mipro '98

Petri Net Modeling Signaling Protocols Syntesis

Blašković, Bruno
Znanstveni radovi u zbornicima skupova, 1998.
Melecon '98

Teaching duties

University undergraduate

University graduate

Postgraduate doctoral study programme