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

Retired, Department of Electrical Engineering Fundamentals and Measurements

Analysis of e-Learning System Usage Before and After the COVID-19 Pandemic

Škopljanac-Mačina, Frano; Zakarija, Ivona; Blašković, Bruno
2024.

A Sentiment Analysis Model Based on User Experiences of Dubrovnik on the Tripadvisor Platform

Zakarija, Ivona; Škopljanac-Mačina, Frano; Marušić, Hrvoje; Blašković, Bruno
2024.
Applied sciences (Basel)

A Comprehensive Dataset of Spelling Errors and Users’ Corrections in Croatian Language

Gledec, Gordan ; Horvat, Marko ; Mikuc, Miljenko ; Blašković, Bruno
2023.
Data

Formal concept analysis and combinatorial testing for automated assessment in e-learning systems

Škopljanac-Mačina, Frano
2023.

Fundamentals of Electrotechnic

Blašković, Bruno ; Dadić, Martin ; Pintar, Damir ; Randić, Mirko ; Trkulja, Bojan ; Vranić, Mihaela
2022.

Towards Automated Assessment Generation in e- Learning Systems Using Combinatorial Testing and Formal Concept Analysis

Škopljanac-Mačina, Frano ; Zakarija, Ivona ; Blašković, Bruno
2021.
IEEE access

Organizing online exams during the COVID-19 pandemic

Škopljanac-Mačina, Frano ; Zakarija, Ivona ; Blašković, Bruno
2021.

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

Process synthesis from data streams based on inductive machine learning

Zakarija, Ivona
2020.

Guest Editorial: Special Issue of CIT.Journal of Computing and Information Technology on Agent and Multiagent System Design (AMASD)

Blašković, Bruno ; Ježić, Gordan
2019.

Automated analysis of e-learning web applications

Škopljanac-Mačina, Frano ; Blašković, Bruno ; Zakarija, Ivona
2019.

A case study on reliable Erlang communication in open platforms based on Scribble

Vranković, Ana ; Galinac Grbac, Tihana ; Blašković, Bruno
2018.

Modeling constraint satisfaction problem with model checker

Blašković, Bruno ; Škopljanac-Mačina, Frano ; Knežević, Petar ; Palić , Niko
2018.

Discovering e-Learning Process Models from Counterexamples

Blašković, Bruno ; Škopljanac-Mačina, Frano ; Zakarija, Ivona
2018.

Assessment Process Synthesis for Adaptive E- learning Systems

Škopljanac-Mačina, Frano ; Blašković, Bruno
2017.

Automated Generation of Questions for Basic Electrical Engineering Education

Škopljanac-Mačina, Frano ; Blašković, Bruno ; Pintar, Damir
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.

Discovering Process Model from Incomplete Log using Process Mining

Zakarija, Ivona ; Škopljanac-Mačina, Frano ; Blašković, Bruno
2015.

Using Formal Concept Analysis for student assessment

Škopljanac-Mačina, Frano ; Blašković, Bruno ; Skočir, Zoran
2014.

Formal Concept Analysis – Overview and Applications

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

Analysis of Sojourn Times in QBD Model of a Thread Pool

Randić, Mirko ; Blašković Bruno ; Dembitz, Šandor
2013.
Automatika : časopis za automatiku, mjerenje, elektroniku, računarstvo i komunikacije

Croatian Language N-Gram System

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

Scenario Modeling and Verification for Business Processes

Blašković, Bruno ; Skočir, Zoran ; Humski, Luka
2012.
Lecture notes in computer science

Model Checking Executable Specification for Reactive Components

Bruno Blašković
2012.

Scenarios and Model Based Design

Blašković, Bruno ; Randić, Mirko ; Dembitz, Šandor
2011.

Interpreting Petri nets with CLIPS for software model checking

Blašković Bruno ; Randić, Mirko
2010.

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

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

Architecture of Hascheck – An Intelligent Spellchecker for Croatian Language

Dembitz, Šandor ; Gledec, Gordan ; Blašković, Bruno
2010.
Lecture notes in computer science

From Declarative Model to Solution: Scheduling Scenario Synthesis

Bruno Blašković, Mirko Randić
2007.

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 ...

Model Based Scheduling Scenario Generation

Blašković, Bruno ; Randić , Mirko
2006.
DAAAM international scientific book ...

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

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

Modeling Service Dependencies in Ad Hoc Collaborative Systems

Randić, Mirko ; Blašković, Bruno ; Knežević, Petar ;
2005.

Object by Value Transfer Mechanisms for Obligation Policy Enforcement Object Loading

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

An overview of IP telephony routing information problem solving

Knežević, Petar ; Sršen, Vedran ; Blašković, Bruno
2003.

Petri Net Modeling for Reactive System Verification

Blašković, Bruno
2003.

Petri net modeling for reactive system verification

Blaskovic, B.
2003.

Calculating overall delay in Voice over IP network

Sršen, Vedran ; Knežević, Petar ; Blašković, Bruno
2002.

An approach to build stable spanning tree topology

Segaric, K. ; Knezevic, P. ; Blaskovic, B.
2001.

Model checking approach for communication procedures validation

Blašković, Bruno ; Knežević, Petar ; Randić, Mirko
2001.

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

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

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

Knežević, Petar ; Blašković, Bruno ; Segarić, Krešimir ;
2000.

Model Checking of Concurrent System with SDL-- Specification

Blašković, Bruno ; Dembitz, Šandor ; Knežević, Petar ;
2000.

Model checking of concurrent system with SDL/sup --/ specification

Blaskovic, B. ; Dembitz, S. ; Knezevic, P.
2000.

Linear Network Analyser Design with Heterogeneous Component Composition

Blašković, Bruno ; Dembitz, Šandor ; Knežević, Petar ; Randić, Mirko ;
2000.

Generic parser for (CO)4PE metamodel framework

Blašković, Bruno ; Knežević, Petar ; Randić, Mirko.
2000.

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

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

Formal Methods and Model Checking in Coordination Based Framework

Blašković Bruno ; Knežević, Petar ; Randić, Mirko
1999.

An approach for evaluation of telecommunication network reliability

Blaskovic, B. ; Mikac, B.
1999.

Communication Based Design of Parallel Programs

Blašković, Bruno ; Knežević, Petar ; Dembitz, Šandor
1999.

Concurrent Process Synthesis and Protocol Specification for Intelligent Network

Blašković, Bruno ; Knežević, Petar ;
1999.
Elektrotehniški vestnik

Workload Distribution in Internet/Intranet Environment

Blašković, B. ; Knežević, P. ; Segarić, K.
1998.

Petri Net Modeling Signaling Protocols Syntesis

Blašković, Bruno
1998.

Signaling Protocol Verification with SDL to PROMELA Translation

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

Model Checking of Basic Protocol for Integrated Communication Network

Rubčić, Alen
1997.

Signalling Protocol Synthesis: Intelligent Network Experiment

Blašković, Bruno
1997.

Verification of Signal Protocols for Telecommunication Services in Intelligent Network

Blašković, Bruno ; Lovrek, Ignac
1996.

Verification of Signalling Procedures with Reachability Analysis

Blašković, Bruno ; Brajdić, Alen
1995.

Model Checking Signalling Protocol with State Perturbation

Brajdić, Alen
1995.

Signalling Procedures Definition in Rule Based Environment

Blašković, B.
1995.

AWK Simulation of Petri Nets for Signalling Protocol Validation

Blašković, Bruno
1994.
ITA. Informacija telekomunikacije automati

Signalling Protocol Interpretation in Knowledge Domain

Blašković, Bruno ;
1994.

Interpreted Petri Nets as a validation tool for telecommunication service protocol synthesis

Blašković, Bruno
1993.
ITA. Informacija telekomunikacije automati

Interactive Command Generator for Switching System Programming

Bruno Blašković ; Mladen Bahlen
1990.

Signalling Protocol Verification Using Logical Programming

Blašković, Bruno ; Gabri, Sanja
1989.

Experimental Expert Tools for Diagnostic in Telecommunication System and Network Management

Lovrek, I. ; Kos, M. ; Blašković, B. ; Gračanin, D. ; Mikuc, M.
1989.

Comman Generator for Service Programming

Bahlen, Mladen
1989.

Protocol verification with Duologs

Gabri, Sanja
1988.

Quality Assurance for Software Written in a Procedural Language

Blašković, Bruno ; Zorić, Milan ;
1985.
Automatika : časopis za automatiku, mjerenje, elektroniku, računarstvo i komunikacije

The Methods of Communication Network Reliability Evaluation

Mikac, Branko ; Blašković, Bruno
1985.
ITA. Informacija telekomunikacije automati

Data Structuring for Signalling Functions of the Switching System ETC 960

Blašković, Bruno ; Marić, Vladimir
1983.
ITA. Informacija telekomunikacije automati

Register Signalling Functional Block for ETC 960 System

Bruno Blašković
1982.

Teaching

University undergraduate

University graduate

Postgraduate doctoral study programme

Competences

  • Education
    Electronic learning Engineering education
  • Reliability
    Reliability engineering Robustness Software reliability Telecommunication network reliability
  • Systems engineering and theory
    Multi-agent systems Complex systems Modeling Process modeling Petri nets Software prototyping System-level design Systems modeling Systems Modeling Language Task analysis System implementation System improvement System validation System testing Model checking  System verification Systems engineering education
  • Communications technology
    Protocols
  • Computers and information processing
    Software tools Formal verification Reasoning about programs
  • Engineering – general
    Formal specifications
  • Computational and artificial intelligence
    Concurrent computing
  • Mathematics
    Reachability analysis Formal concept analysis