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

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

Model checking approach for communication procedures validation

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

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

Petri Net Modeling Signaling Protocols Syntesis

Signaling Protocol Verification with SDL to PROMELA Translation

Verification of Signal Protocols for Telecommunication Services in Intelligent Network

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

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