We stand with Ukraine  

Monika Kapus-Kolar

According to our database1, Monika Kapus-Kolar authored at least 31 papers between 1990 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels.
[BibTeX]
[DOI]
Monika Kapus-Kolar
J. Log. Algebraic Methods Program., 2020

2017
A Generalization of a Popular Fault-Coverage-Preserving Test Set Transformation.
[BibTeX]
[DOI]
Monika Kapus-Kolar
J. Univers. Comput. Sci., 2017

2014
On the global optimization of checking sequences for finite state machine implementations.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Microprocess. Microsystems, 2014

2013
Error-preserving local transformations on communication protocols.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Softw. Test. Verification Reliab., 2013

2012
On "Exploring alternatives for transition verification".
[BibTeX]
[DOI]
Monika Kapus-Kolar
J. Syst. Softw., 2012

New state-recognition patterns for conformance testing of finite state machine implementations.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Comput. Stand. Interfaces, 2012

2009
Improvements to a Roll-Back Mechanism for Asynchronous Checkpointing and Recovery.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Informatica (Slovenia), 2009

Reversible enhanced event structures: Towards reversible E-LOTOS.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Comput. Stand. Interfaces, 2009

An action refinement operator for E-LOTOS with true concurrency.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Comput. Stand. Interfaces, 2009

Three Generalizations to a Generic Integrated Test Generation Method for Finite State Machines.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Comput. J., 2009

2007
Enhanced event structures: Towards a true concurrency semantics for E-LOTOS.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Comput. Stand. Interfaces, 2007

Testing as Collecting of Evidence: An Integrated Approach to Test Generation for Finite State Machines.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Comput. J., 2007

2005
Towards weak sequencing for E-LOTOS.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Comput. Stand. Interfaces, 2005

2004
A generalization of the E-LOTOS renaming operator: a convenience for specification of new forms of process composition.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Comput. Stand. Interfaces, 2004

2003
Deriving Self-Stabilizing Protocols for Services Specified in LOTOS.
[BibTeX]
Monika Kapus-Kolar
Informatica (Slovenia), 2003

Compositional Service-Based Construction of Multi-Party Time-Sharing-Based Protocols.
[BibTeX]
[DOI]
Monika Kapus-Kolar
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003

2002
A generalization of the E-LOTOS trapping operator: towards reconciliation with LOTOS.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Comput. Stand. Interfaces, 2002

2001
Global conflict resolution in automated service-based -protocol synthesis.
[BibTeX]
[DOI]
Monika Kapus-Kolar
South Afr. Comput. J., 2001

2000
Deriving protocols for services supporting mobile users.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Inf. Softw. Technol., 2000

1999
More Efficient Functionality Decomposition in LOTOS.
[BibTeX]
Monika Kapus-Kolar
Informatica (Slovenia), 1999

Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOS.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Distributed Comput., 1999

Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in IskraTEL.
[BibTeX]
Marjeta Frey-Pucko
,
Monika Kapus-Kolar
,
Roman Novak
Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

Supporting Service Parameters in E-LOTOS-Based Protocol Derivation.
[BibTeX]
Monika Kapus-Kolar
Proceedings of the 17th IASTED International Conference on Applied Informatics, 1999

1997
Employing disruptions for more efficient functionality decomposition in LOTOS.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Proceedings of the 23rd EUROMICRO Conference '97, 1997

1994
Automated derivation of protocols implementing intelligent network services.
[BibTeX]
[DOI]
Marjeta Pucko
,
Monika Kapus-Kolar
,
Gorazd Kandus
Microprocess. Microprogramming, 1994

1993
Developing multi-user interfaces for CSCW environment.
[BibTeX]
[DOI]
Marjeta Pucko
,
Monika Kapus-Kolar
,
Joze Rugelj
Microprocess. Microprogramming, 1993

Derivation of protocols implementing services with event priorities.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Microprocess. Microprogramming, 1993

1992
Deriving protocol specifications from service specifications including multirendezvous.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Microprocess. Microprogramming, 1992

1991
Deriving protocol specifications from service specifications including parameters.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Microprocessing and Microprogramming, 1991

1990
Constructing real-time multi-channel protocols.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Microprocessing and Microprogramming, 1990

Constructing communication protocols on reliable bounded FIFO channels without overspecification.
[BibTeX]
[DOI]
Monika Kapus-Kolar
Microprocessing and Microprogramming, 1990


  Loading...