Na FER-u postoji više zaposlenika s imenom



    dr. sc. Bruno Blašković

    U mirovini, Zavod za osnove elektrotehnike i električka mjerenja

    Konzultacije:

    Please send requests on my e-mail with short descriptions of your intentions. See more in my published papers.
    Note that I am retired but I will  continue to  provide consultations until further notice within the following areas:

    process mining; business process modeling; applied artificial intelligence; inductive machine learning;
    formal methods; model checking; software model checking;
    program synthesis; process synthesis; automated programming;
    concurrent reactive systems;
    rigid and robust software development; software testing automatizing;
    Petri nets; automata networks; UML; MSC; SDL;
    satisfiability modulo theories (SMT);
    e-learning; ITS intelligent tutorial systems;
    network reliability;
    natural language processing;
    e-learning, ITS intelligent tutorial systems
    Fundamentals of Electrical Engineering; electromagnetic fields basics
     

    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
    izvorni znanstveni rad, 2024.
    Applied sciences (Basel)

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

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

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

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

    Formalna analiza koncepata i kombinatorno testiranje za automatiziranu provjeru znanja u sustavima za e-učenje

    Škopljanac-Mačina, Frano
    doktorski rad, 2023.

    Osnove elektrotehnike

    Blašković, Bruno ; Dadić, Martin ; Pintar, Damir ; Randić, Mirko ; Trkulja, Bojan ; Vranić, Mihaela
    udžbenik, 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
    izvorni znanstveni rad, 2021.
    IEEE access

    Organizing online exams during the COVID-19 pandemic

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

    Automated simulation and verification of process models discovered by process mining

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

    Sinteza procesa iz tokova podataka temeljena na induktivnom strojnom učenju

    Zakarija, Ivona
    doktorski rad, 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
    ostalo, 2019.

    Automated analysis of e-learning web applications

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

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

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

    Modeling constraint satisfaction problem with model checker

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

    Discovering e-Learning Process Models from Counterexamples

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

    Assessment Process Synthesis for Adaptive E- learning Systems

    Škopljanac-Mačina, Frano ; Blašković, Bruno
    prošireni sažetak izlaganja sa skupa, 2017.

    Automated Generation of Questions for Basic Electrical Engineering Education

    Škopljanac-Mačina, Frano ; Blašković, Bruno ; Pintar, Damir
    izvorni znanstveni rad, 2016.

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

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

    Discovering Process Model from Incomplete Log using Process Mining

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

    Exam questions consistency checking

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

    Using Formal Concept Analysis for student assessment

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

    Formal Concept Analysis – Overview and Applications

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

    Analysis of Sojourn Times in QBD Model of a Thread Pool

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

    Croatian Language N-Gram System

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

    Scenario Modeling and Verification for Business Processes

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

    Model Checking Executable Specification for Reactive Components

    Bruno Blašković
    izvorni znanstveni rad, 2012.

    Scenarios and Model Based Design

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

    Architecture of Hascheck – An Intelligent Spellchecker for Croatian Language

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

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

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

    Interpreting Petri nets with CLIPS for software model checking

    Blašković Bruno ; Randić, Mirko
    izvorni znanstveni rad, 2010.

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

    Randić, Mirko ; Blašković, Bruno ; Dembitz, Šandor
    izvorni znanstveni rad, 2007.
    DAAAM international scientific book ...

    From Declarative Model to Solution: Scheduling Scenario Synthesis

    Bruno Blašković, Mirko Randić
    izvorni znanstveni rad, 2007.

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

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

    Model Based Scheduling Scenario Generation

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

    Modeling Service Dependencies in Ad Hoc Collaborative Systems

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

    Object by Value Transfer Mechanisms for Obligation Policy Enforcement Object Loading

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

    An overview of IP telephony routing information problem solving

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

    Petri Net Modeling for Reactive System Verification

    Blašković, Bruno
    izvorni znanstveni rad, 2003.

    Petri net modeling for reactive system verification

    Blaskovic, B.
    izvorni znanstveni rad, 2003.

    Calculating overall delay in Voice over IP network

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

    An approach to build stable spanning tree topology

    Segaric, K. ; Knezevic, P. ; Blaskovic, B.
    izvorni znanstveni rad, 2001.

    Model checking approach for communication procedures validation

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

    Linear Network Analyser Design with Heterogeneous Component Composition

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

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

    Blaskovic, B. ; Dembitz, S. ; Knezevic, P.
    sažetak izlaganja sa skupa, 2000.

    Generic parser for (CO)4PE metamodel framework

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

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

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

    Model Checking of Concurrent System with SDL-- Specification

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

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

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

    An approach for evaluation of telecommunication network reliability

    Blaskovic, B. ; Mikac, B.
    izvorni znanstveni rad, 1999.

    Formal Methods and Model Checking in Coordination Based Framework

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

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

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

    Communication Based Design of Parallel Programs

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

    Concurrent Process Synthesis and Protocol Specification for Intelligent Network

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

    Workload Distribution in Internet/Intranet Environment

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

    Petri Net Modeling Signaling Protocols Syntesis

    Blašković, Bruno
    izvorni znanstveni rad, 1998.

    Signaling Protocol Verification with SDL to PROMELA Translation

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

    Signalling Protocol Synthesis: Intelligent Network Experiment

    Blašković, Bruno
    izvorni znanstveni rad, 1997.

    Provjera osnovnog signalizacijskog protokola za integriranu mrežu

    Rubčić, Alen
    diplomski rad (sveučilišni), 1997.

    Verification of Signal Protocols for Telecommunication Services in Intelligent Network

    Blašković, Bruno ; Lovrek, Ignac
    izvorni znanstveni rad, 1996.

    Provjera signalizacijskih protokola postupkom perturbacije stanja

    Brajdić, Alen
    diplomski rad (sveučilišni), 1995.

    Verifikacija signalizacijskih procedura analizom dostupnosti

    Blašković, Bruno ; Brajdić, Alen
    izvorni znanstveni rad, 1995.

    Signalling Procedures Definition in Rule Based Environment

    Blašković, B.
    izvorni znanstveni rad, 1995.

    AWK Simulation of Petri Nets for Signalling Protocol Validation

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

    Interpretacija signalizacijskog protokola u domeni obrade znanja

    Blašković, Bruno
    izvorni znanstveni rad, 1994.

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

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

    Interaktivni generator komandi za programiranje komutacijskog sistema

    Bruno Blašković ; Mladen Bahlen
    kratko priopćenje, 1990.

    Experimental Expert Tools for Diagnostic in Telecommunication System and Network Management

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

    Generator komandi za programiranje usluga

    Bahlen, Mladen
    diplomski rad (sveučilišni), 1989.

    Verifikacija signalizacijskog protokola primjenom logičkog programiranja

    Blašković, Bruno ; Gabri, Sanja
    neobjavljeni prilog sa skupa, 1989.

    Verifikacija protokola metodom duologa

    Gabri, Sanja
    diplomski rad (sveučilišni), 1988.

    Osiguranje kvalitete programske podrške izvedene u telekomunikacijskom jeziku procedurnog tipa

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

    Metode određivanja pouzdanosti komunikacijske mreže

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

    Strukturiranje podataka za signalizacijske funkcije komutacijskog sistema ETC 960

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

    Funkcijski blok registarske signalizacije u sistemu ETC 960

    Bruno Blašković
    diplomski rad (sveučilišni), 1982.

    Nastava

    Poslijediplomski doktorski

    Kompetencije

    • Computers and information processing
      Computer network reliability Formal languages Logic programming Scheduling algorithms Real-time systems Agent-based modeling Intelligent agents Software design Software tools Computer aided software engineering Formal verification Programming environments Reasoning about programs
    • Mathematics
      Combinatorial mathematics Graph theory Reachability analysis Reachability analysis Formal concept analysis
    • Reliability
      Reliability engineering Software reliability
    • Systems engineering and theory
      Multi-agent systems Complex systems Process modeling System analysis and design Petri nets System realization System validation System verification System testing Model checking
    • Communications technology
      Communication system signaling Communication system software Protocols Electronic switching systems
    • Computational and artificial intelligence
      Knowledge based systems Expert systems Knowledge engineering Learning systems
    • Electronic design automation and methodology
      Process design Process modeling
    • Engineering – general
      Formal specifications
    • Engineering management
      Business data processing Business process re-engineering Model-driven development
    • Industrial electronics
      Software testing System testing
    • Robotics and automation
      Automata

    Osobni podaci