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

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

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

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

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

    Osnove elektrotehnike

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

    Organizing online exams during the COVID-19 pandemic

    Škopljanac-Mačina, Frano ; Zakarija, Ivona ; Blašković, Bruno
    Znanstveni radovi u zbornicima skupova, 2021.
    44th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO 2021)

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

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

    Automated simulation and verification of process models discovered by process mining

    Zakarija, Ivona ; Škopljanac-Mačina, Frano ; Blašković, Bruno
    Znanstveni i pregledni radovi, 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
    Znanstveni radovi u zbornicima skupova, 2019.
    42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO 2019)

    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.

    Discovering e-Learning Process Models from Counterexamples

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

    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.
    29th DAAAM International Symposium on intelligent manufacturing and automation

    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

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

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

    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

    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

    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)

    Formal Concept Analysis – Overview and Applications

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

    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.
    Automatika : časopis za automatiku, mjerenje, elektroniku, računarstvo i komunikacije

    Croatian Language N-Gram System

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

    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
    Znanstveni radovi u zbornicima skupova, 2012.
    6th KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications

    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

    Architecture of Hascheck – An Intelligent Spellchecker for Croatian Language

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

    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

    Interpreting Petri nets with CLIPS for software model checking

    Blašković Bruno ; Randić, Mirko
    Znanstveni radovi u zbornicima skupova, 2010.
    21st International DAAAM Symposium

    From Declarative Model to Solution: Scheduling Scenario Synthesis

    Bruno Blašković, Mirko Randić
    Znanstveni radovi u zbornicima skupova, 2007.
    Conference on Telecommunications - ConTEL 2007

    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.
    DAAAM international scientific book ...

    Model Based Scheduling Scenario Generation

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

    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

    Petri net modeling for reactive system verification

    Blaskovic, B.
    Znanstveni radovi u zbornicima skupova, 2003.
    Conference on Telecommunications

    Modeliranje Petrijevom mrežom za verifikaciju reaktivnih sustava

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

    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

    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"

    An Approach To Build Stable Spanning Tree Topology

    Segaric, K. ; Knezevic, P. ; Blaskovic, B.
    Znanstveni radovi u zbornicima skupova, 2001.
    EUROCON 2001 - Intl. Conf. on Trends in Communications

    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

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

    Blaskovic, B. ; Dembitz, S. ; Knezevic, P.
    Sažeci u zbornicima i časopisima, 2000.
    MELECON - Mediterranean Electrotechnical Conference

    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"

    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"

    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

    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

    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

    An Approach for Evaluation of Telecommunication Network Reliability

    Blaskovic, B. ; Mikac, B.
    Znanstveni radovi u zbornicima skupova, 1999.
    melecon'91

    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

    Concurrent Process Synthesis and Protocol Specification for Intelligent Network

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

    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

    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

    Workload Distribution in Internet/Intranet Environment

    Blašković, B. ; Knežević, P. ; Segarić, K.
    Znanstveni radovi u zbornicima skupova, 1998.
    SoftCOM '98

    Petri Net Modeling Signaling Protocols Syntesis

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

    Signaling Protocol Verification with SDL to PROMELA Translation

    Blašković, Bruno ; Rubčić, Alen
    Znanstveni radovi u zbornicima skupova, 1998.
    Mipro '98

    Signalling Protocol Synthesis: Intelligent Network Experiment

    Blašković, Bruno
    Znanstveni radovi u zbornicima skupova, 1997.
    SoftCOM '97

    Provjera osnovnog signalizacijskog protokola za integriranu mrežu

    Rubčić, Alen
    Diplomski radovi (uključujući i diplomske radove starog programa), 1997.

    Verification of Signal Protocols for Telecommunication Services in Intelligent Network

    Blašković, Bruno ; Lovrek, Ignac
    Znanstveni radovi u zbornicima skupova, 1996.
    COST 247 International Workshop on Applied Formal Methods in System Design

    Signalling Procedures Definition in Rule Based Environment

    Blašković, B.
    Znanstveni radovi u zbornicima skupova, 1995.
    T.I.S. '95

    Verifikacija signalizacijskih procedura analizom dostupnosti

    Blašković, Bruno ; Brajdić, Alen
    Znanstveni radovi u zbornicima skupova, 1995.
    Mikroračunala u telekomunikacijama MTE'95

    AWK Simulation of Petri Nets for Signalling Protocol Validation

    Blašković, Bruno
    Znanstveni i pregledni radovi, 1994.
    ITA. Informacija telekomunikacije automati

    Interpretacija signalizacijskog protokola u domeni obrade znanja

    Blašković, Bruno ;
    Znanstveni radovi u zbornicima skupova, 1994.
    MIPRO94: MTE-Mikroračunala u telekomunikacijama

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

    Blašković, Bruno
    Znanstveni i pregledni radovi, 1993.
    ITA. Informacija telekomunikacije automati

    Interaktivni generator komandi za programiranje komutacijskog sistema

    Bruno Blašković ; Mladen Bahlen
    Kratka priopćenja u zbornicima i časopisima, 1990.
    32nd SYMPOSIUM ETAN IN MARINE

    Experimental Expert Tools for Diagnostic in Telecommunication System and Network Management

    Lovrek, I. ; Kos, M. ; Blašković, B. ; Gračanin, D. ; Mikuc, M.
    Znanstveni radovi u zbornicima skupova, 1989.
    IMEKO TC 10

    Verifikacija signalizacijskog protokola primjenom logičkog programiranja

    Blašković, Bruno ; Gabri, Sanja
    Druga sudjelovanja na skupovima, 1989.
    Proceedings of MTE'89, Mipro89

    Metode određivanja pouzdanosti komunikacijske mreže

    Mikac, Branko ; Blašković, Bruno
    Znanstveni i pregledni radovi, 1985.
    ITA. Informacija telekomunikacije automati

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

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

    Strukturiranje podataka za signalizacijske funkcije komutacijskog sistema ETC 960

    Blašković, Bruno ; Marić, Vladimir
    Znanstveni i pregledni radovi, 1983.
    ITA. Informacija telekomunikacije automati

    Funkcijski blok registarske signalizacije u sistemu ETC 960

    Bruno Blašković
    Diplomski radovi (uključujući i diplomske radove starog programa), 1982.