Monika Kapus-Kolar

31 papers Journal 28Unranked 3
YearRankTypeTitle / Venue / Authors
2020 J jnl
Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels.
J. Log. Algebraic Methods Program.
Monika Kapus-Kolar
2017 J jnl
A Generalization of a Popular Fault-Coverage-Preserving Test Set Transformation.
J. Univers. Comput. Sci.
Monika Kapus-Kolar
2014 J jnl
On the global optimization of checking sequences for finite state machine implementations.
Microprocess. Microsystems
Monika Kapus-Kolar
2013 J jnl
Error-preserving local transformations on communication protocols.
Softw. Test. Verification Reliab.
Monika Kapus-Kolar
2012 J jnl
New state-recognition patterns for conformance testing of finite state machine implementations.
Comput. Stand. Interfaces
Monika Kapus-Kolar
2012 J jnl
On "Exploring alternatives for transition verification".
J. Syst. Softw.
Monika Kapus-Kolar
2009 J jnl
An action refinement operator for E-LOTOS with true concurrency.
Comput. Stand. Interfaces
Monika Kapus-Kolar
2009 J jnl
Improvements to a Roll-Back Mechanism for Asynchronous Checkpointing and Recovery.
Informatica (Slovenia)
Monika Kapus-Kolar
2009 J jnl
Reversible enhanced event structures: Towards reversible E-LOTOS.
Comput. Stand. Interfaces
Monika Kapus-Kolar
2009 J jnl
Three Generalizations to a Generic Integrated Test Generation Method for Finite State Machines.
Comput. J.
Monika Kapus-Kolar
2007 J jnl
Enhanced event structures: Towards a true concurrency semantics for E-LOTOS.
Comput. Stand. Interfaces
Monika Kapus-Kolar
2007 J jnl
Testing as Collecting of Evidence: An Integrated Approach to Test Generation for Finite State Machines.
Comput. J.
Monika Kapus-Kolar
2005 J jnl
Towards weak sequencing for E-LOTOS.
Comput. Stand. Interfaces
Monika Kapus-Kolar
2004 J jnl
A generalization of the E-LOTOS renaming operator: a convenience for specification of new forms of process composition.
Comput. Stand. Interfaces
Monika Kapus-Kolar
2003 J jnl
Compositional Service-Based Construction of Multi-Party Time-Sharing-Based Protocols.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Monika Kapus-Kolar
2003 J jnl
Deriving Self-Stabilizing Protocols for Services Specified in LOTOS.
Informatica (Slovenia)
Monika Kapus-Kolar
2002 J jnl
A generalization of the E-LOTOS trapping operator: towards reconciliation with LOTOS.
Comput. Stand. Interfaces
Monika Kapus-Kolar
2001 J jnl
Global conflict resolution in automated service-based -protocol synthesis.
South Afr. Comput. J.
Monika Kapus-Kolar
2000 J jnl
Deriving protocols for services supporting mobile users.
Inf. Softw. Technol.
Monika Kapus-Kolar
1999 — conf
Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in IskraTEL.
IWTCS
Marjeta Frey-Pucko, Monika Kapus-Kolar, Roman Novak
1999 J jnl
Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOS.
Distributed Comput.
Monika Kapus-Kolar
1999 J jnl
More Efficient Functionality Decomposition in LOTOS.
Informatica (Slovenia)
Monika Kapus-Kolar
1999 — conf
Supporting Service Parameters in E-LOTOS-Based Protocol Derivation.
Applied Informatics
Monika Kapus-Kolar
1997 — conf
Employing disruptions for more efficient functionality decomposition in LOTOS.
EUROMICRO
Monika Kapus-Kolar
1994 J jnl
Automated derivation of protocols implementing intelligent network services.
Microprocess. Microprogramming
Marjeta Pucko, Monika Kapus-Kolar, Gorazd Kandus
1993 J jnl
Derivation of protocols implementing services with event priorities.
Microprocess. Microprogramming
Monika Kapus-Kolar
1993 J jnl
Developing multi-user interfaces for CSCW environment.
Microprocess. Microprogramming
Marjeta Pucko, Monika Kapus-Kolar, Joze Rugelj
1992 J jnl
Deriving protocol specifications from service specifications including multirendezvous.
Microprocess. Microprogramming
Monika Kapus-Kolar
1991 J jnl
Deriving protocol specifications from service specifications including parameters.
Microprocessing and Microprogramming
Monika Kapus-Kolar
1990 J jnl
Constructing communication protocols on reliable bounded FIFO channels without overspecification.
Microprocessing and Microprogramming
Monika Kapus-Kolar
1990 J jnl
Constructing real-time multi-channel protocols.
Microprocessing and Microprogramming
Monika Kapus-Kolar