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
A Comprehensive Dataset of Spelling Errors and Users’ Corrections in Croatian Language
Formal concept analysis and combinatorial testing for automated assessment in e-learning systems
Fundamentals of Electrotechnic
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
A case study on reliable Erlang communication in open platforms based on Scribble
Modeling constraint satisfaction problem with model checker
Discovering e-Learning Process Models from Counterexamples
Assessment Process Synthesis for Adaptive E- learning Systems
Automated Generation of Questions for Basic Electrical Engineering Education
A Security Assessment Framework for e-Health: A Croatian Perspective
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
Croatian Language N-Gram System
Scenario Modeling and Verification for Business Processes
Model Checking Executable Specification for Reactive Components
Scenarios and Model Based Design
Interpreting Petri nets with CLIPS for software model checking
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
From Declarative Model to Solution: Scheduling Scenario Synthesis
Model Generation for Analysis with Modelica Based on the ATL Model Transformation Language
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
An approach to build stable spanning tree topology
Model checking approach for communication procedures validation
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-- Specification
Model checking of concurrent system with SDL/sup --/ specification
Linear Network Analyser Design with Heterogeneous Component Composition
Generic parser for (CO)4PE metamodel framework
Extensions to UML for ORB-centric Software Modeling: The Group and Policy Stereotypes
Formal Methods and Model Checking in Coordination Based Framework
An approach for evaluation of telecommunication network reliability
Communication Based Design of Parallel Programs
Concurrent Process Synthesis and Protocol Specification for Intelligent Network
Workload Distribution in Internet/Intranet Environment
Petri Net Modeling Signaling Protocols Syntesis
Signaling Protocol Verification with SDL to PROMELA Translation
Model Checking of Basic Protocol for Integrated Communication Network
Signalling Protocol Synthesis: Intelligent Network Experiment
Verification of Signal Protocols for Telecommunication Services in Intelligent Network
Verification of Signalling Procedures with Reachability Analysis
Model Checking Signalling Protocol with State Perturbation
Signalling Procedures Definition in Rule Based Environment
AWK Simulation of Petri Nets for Signalling Protocol Validation
Signalling Protocol Interpretation in Knowledge Domain
Interpreted Petri Nets as a validation tool for telecommunication service protocol synthesis
Interactive Command Generator for Switching System Programming
Signalling Protocol Verification Using Logical Programming
Experimental Expert Tools for Diagnostic in Telecommunication System and Network Management
Comman Generator for Service Programming
Protocol verification with Duologs
Quality Assurance for Software Written in a Procedural Language
The Methods of Communication Network Reliability Evaluation
Data Structuring for Signalling Functions of the Switching System ETC 960
Register Signalling Functional Block for ETC 960 System
Teaching
University undergraduate
- BSc Thesis (Lecturers)
- Project C (Lecturers)
- Software Design Project (Lecturers)
- Software Design Project (Lecturers)
University graduate
- Laboratory of Software Engineering and Information Systems 2 (Lecturer in charge)
- Graduation Thesis (Lecturers)
- Graduation Thesis (Lecturers)
- Graduation Thesis (Lecturers)
- Project (Lecturers)
- Project (Lecturers)
- Project (Lecturers)
- Seminar (Lecturers)
Postgraduate doctoral study programme
- Formalisms in Telecommunications (Lecturer in charge)
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