Na FER-u postoji više zaposlenika s imenom

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

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

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

    Modeliranje Petrijevom mrežom za verifikaciju reaktivnih sustava

    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