Automated analysis of e-learning web applications

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

Formal Concept Analysis – Overview and Applications

Using Formal Concept Analysis for student assessment

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

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

Model Generation for Analysis with Modelica Based on the ATL Model Transformation Language

From Declarative Model to Solution: Scheduling Scenario Synthesis

Application Design for Ad Hoc Collaboration Environment Based on Dependency Injection Pattern

Model Based Scheduling Scenario Generation

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

Modeliranje Petrijevom mrežom za verifikaciju reaktivnih sustava

Calculating overall delay in Voice over IP network

Model checking approach for communication procedures validation

Linear Network Analyser Design with Heterogeneous Component Composition

Model Checking of Concurrent System with SDL-- Specification

Generic parser for (CO)4PE metamodel framework

An approach to build high available and high performance workload distribution system

Information Modeling of Applications Using Mobile Management Agents with extensible Behavior in Run-Time

Extensions to UML for ORB-centric Software Modeling: The Group and Policy Stereotypes

Formal Methods and Model Checking in Coordination Based Framework

Communication Based Design of Parallel Programs

Signaling Protocol Verification with SDL to PROMELA Translation

Petri Net Modeling Signaling Protocols Syntesis