Na FER-u postoji više zaposlenika s imenom

A Comprehensive Dataset of Spelling Errors and Users’ Corrections in Croatian Language
A Comprehensive Dataset of Spelling Errors and Users’ Corrections in Croatian Language
Osnove elektrotehnike
Organizing online exams during the COVID-19 pandemic
Towards Automated Assessment Generation in e- Learning Systems Using Combinatorial Testing and Formal Concept Analysis
Automated simulation and verification of process models discovered by process mining
Automated analysis of e-learning web applications
Guest Editorial: Special Issue of CIT.Journal of Computing and Information Technology on Agent and Multiagent System Design (AMASD)
Discovering e-Learning Process Models from Counterexamples
Modeling constraint satisfaction problem with model checker
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
Discovering Process Model from Incomplete Log using Process Mining
Exam questions consistency checking
Formal Concept Analysis – Overview and Applications
Using Formal Concept Analysis for student assessment
Analysis of Sojourn Times in QBD Model of a Thread Pool
Croatian Language N-Gram System
Model Checking Executable Specification for Reactive Components
Scenario Modeling and Verification for Business Processes
Scenarios and Model Based Design
Architecture of Hascheck – An Intelligent Spellchecker for Croatian Language
Dynamic Thread Assigment in a Tandem of Threadpools Inspired by the Adaptation Mechanism in Honeybee Foraging
Interpreting Petri nets with CLIPS for software model checking
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
Petri net modeling for reactive system verification
Modeliranje Petrijevom mrežom za verifikaciju reaktivnih sustava
An overview of IP telephony routing information problem solving
Calculating overall delay in Voice over IP network
An Approach To Build Stable Spanning Tree Topology
Model checking approach for communication procedures validation
Model checking of concurrent system with SDL/sup --/ specification
An approach to build high available and high performance workload distribution system
Generic parser for (CO)4PE metamodel framework
Model Checking of Concurrent System with SDL-- Specification
Information Modeling of Applications Using Mobile Management Agents with extensible Behavior in Run-Time
Linear Network Analyser Design with Heterogeneous Component Composition
An Approach for Evaluation of Telecommunication Network Reliability
Communication Based Design of Parallel Programs
Concurrent Process Synthesis and Protocol Specification for Intelligent Network
Formal Methods and Model Checking in Coordination Based Framework
Extensions to UML for ORB-centric Software Modeling: The Group and Policy Stereotypes
Workload Distribution in Internet/Intranet Environment
Petri Net Modeling Signaling Protocols Syntesis
Signaling Protocol Verification with SDL to PROMELA Translation
Signalling Protocol Synthesis: Intelligent Network Experiment
Provjera osnovnog signalizacijskog protokola za integriranu mrežu
Verification of Signal Protocols for Telecommunication Services in Intelligent Network
Signalling Procedures Definition in Rule Based Environment
Verifikacija signalizacijskih procedura analizom dostupnosti
AWK Simulation of Petri Nets for Signalling Protocol Validation
Interpretacija signalizacijskog protokola u domeni obrade znanja
Interpreted Petri Nets as a validation tool for telecommunication service protocol synthesis
Interaktivni generator komandi za programiranje komutacijskog sistema
Experimental Expert Tools for Diagnostic in Telecommunication System and Network Management
Verifikacija signalizacijskog protokola primjenom logičkog programiranja
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
Nastava
Sveučilišni preddiplomski
- Informacija, logika i jezici (Nositelj)
- Informacija, logika i jezici (Nositelj)
- Osnove elektrotehnike (Nositelj)
- Osnove elektrotehnike (Nositelj)
- Projekt iz programske potpore (Predavanja)
- Projekt iz programske potpore (Predavanja)
- Projekt R (Predavanja)
- Završni rad (Predavanja)
Sveučilišni diplomski
- Formalne metode za verifikaciju i sintezu programskih sustava (Nositelj)
- Laboratorij programskog inženjerstva i informacijskih sustava 2 (Nositelj)
- Pouzdanost mreža i raspodijeljenih sustava (Nositelj)
- Diplomski projekt (Predavanja)
- Diplomski projekt (Predavanja)
- Diplomski projekt (Predavanja)
- Diplomski rad (Predavanja)
- Diplomski rad (Predavanja)
- Diplomski rad (Predavanja)
- Diplomski seminar (Predavanja)
Poslijediplomski doktorski
- Analiza i sinteza sustava u stvarnom vremenu (Nositelj)
- Formalizmi u telekomunikacijama (Nositelj)