Monika Kapus-Kolar

Publication Activity (10 Years)

Years Active: 1990-2020
Publications (10 Years): 2

Top Topics

Constrained Global Optimization

Communication Protocols

Deterministic Annealing

Top Venues

J. Log. Algebraic Methods Program.

Softw. Test. Verification Reliab.

Microprocess. Microsystems

J. Univers. Comput. Sci.

Publications

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