PristupačnostNa FER-u postoji više zaposlenika s imenom
dr. sc. Bruno Blašković
U mirovini, Zavod za osnove elektrotehnike i električka mjerenja
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
Analysis of e-Learning System Usage Before and After the COVID-19 Pandemic
A Sentiment Analysis Model Based on User Experiences of Dubrovnik on the Tripadvisor Platform
Formal concept analysis and combinatorial testing for automated assessment in e-learning systems
A Comprehensive Dataset of Spelling Errors and Users’ Corrections in Croatian Language
Osnove elektrotehnike
Towards Automated Assessment Generation in e- Learning Systems Using Combinatorial Testing and Formal Concept Analysis
Organizing online exams during the COVID-19 pandemic
Automated simulation and verification of process models discovered by process mining
Process synthesis from data streams based on inductive machine learning
Guest Editorial: Special Issue of CIT.Journal of Computing and Information Technology on Agent and Multiagent System Design (AMASD)
Automated analysis of e-learning web applications
Modeling constraint satisfaction problem with model checker
Discovering e-Learning Process Models from Counterexamples
A case study on reliable Erlang communication in open platforms based on Scribble
Assessment Process Synthesis for Adaptive E- learning Systems
A Security Assessment Framework for e-Health: A Croatian Perspective
Automated Generation of Questions for Basic Electrical Engineering Education
Exam questions consistency checking
Discovering Process Model from Incomplete Log using Process Mining
Using Formal Concept Analysis for student assessment
Formal Concept Analysis – Overview and Applications
Analysis of Sojourn Times in QBD Model of a Thread Pool
Model Checking Executable Specification for Reactive Components
Scenario Modeling and Verification for Business Processes
Croatian Language N-Gram System
Scenarios and Model Based Design
Dynamic Thread Assigment in a Tandem of Threadpools Inspired by the Adaptation Mechanism in Honeybee Foraging
Architecture of Hascheck – An Intelligent Spellchecker for Croatian Language
Interpreting Petri nets with CLIPS for software model checking
Model Generation for Analysis with Modelica Based on the ATL Model Transformation Language
From Declarative Model to Solution: Scheduling Scenario Synthesis
Model Based Scheduling Scenario Generation
Application Design for Ad Hoc Collaboration Environment Based on Dependency Injection Pattern
Modeling Service Dependencies in Ad Hoc Collaborative Systems
Object by Value Transfer Mechanisms for Obligation Policy Enforcement Object Loading
An overview of IP telephony routing information problem solving
Petri net modeling for reactive system verification
Petri Net Modeling for Reactive System Verification
Calculating overall delay in Voice over IP network
Model checking approach for communication procedures validation
An approach to build stable spanning tree topology
Information Modeling of Applications Using Mobile Management Agents with extensible Behavior in Run-Time
An approach to build high available and high performance workload distribution system
Model checking of concurrent system with SDL/sup --/ specification
Model Checking of Concurrent System with SDL-- Specification
Linear Network Analyser Design with Heterogeneous Component Composition
Generic parser for (CO)4PE metamodel framework
Communication Based Design of Parallel Programs
Concurrent Process Synthesis and Protocol Specification for Intelligent Network
An approach for evaluation of telecommunication network reliability
Formal Methods and Model Checking in Coordination Based Framework
Extensions to UML for ORB-centric Software Modeling: The Group and Policy Stereotypes
Petri Net Modeling Signaling Protocols Syntesis
Workload Distribution in Internet/Intranet Environment
Signaling Protocol Verification with SDL to PROMELA Translation
Provjera osnovnog signalizacijskog protokola za integriranu mrežu
Signalling Protocol Synthesis: Intelligent Network Experiment
Verification of Signal Protocols for Telecommunication Services in Intelligent Network
Provjera signalizacijskih protokola postupkom perturbacije stanja
Verifikacija signalizacijskih procedura analizom dostupnosti
Signalling Procedures Definition in Rule Based Environment
Interpretacija signalizacijskog protokola u domeni obrade znanja
AWK Simulation of Petri Nets for Signalling Protocol Validation
Interpreted Petri Nets as a validation tool for telecommunication service protocol synthesis
Interaktivni generator komandi za programiranje komutacijskog sistema
Verifikacija signalizacijskog protokola primjenom logičkog programiranja
Generator komandi za programiranje usluga
Experimental Expert Tools for Diagnostic in Telecommunication System and Network Management
Verifikacija protokola metodom duologa
Metode određivanja pouzdanosti komunikacijske mreže
Osiguranje kvalitete programske podrške izvedene u telekomunikacijskom jeziku procedurnog tipa
Strukturiranje podataka za signalizacijske funkcije komutacijskog sistema ETC 960
Funkcijski blok registarske signalizacije u sistemu ETC 960
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