Monika Kapus-Kolar - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 31 from 31

2020

Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channelsMonika Kapus-Kolar. jlap, 114:100560, 2020. [doi]

2017

A Generalization of a Popular Fault-Coverage-Preserving Test Set TransformationMonika Kapus-Kolar. jucs, 23(6):560-585, 2017. [doi]

2014

On the global optimization of checking sequences for finite state machine implementationsMonika Kapus-Kolar. mam, 38(3):208-215, 2014. [doi]

2013

Error-preserving local transformations on communication protocolsMonika Kapus-Kolar. stvr, 23(1):3-25, 2013. [doi]

2012

On "Exploring alternatives for transition verification"Monika Kapus-Kolar. jss, 85(8):1744-1748, 2012. [doi]

New state-recognition patterns for conformance testing of finite state machine implementationsMonika Kapus-Kolar. csi, 34(4):390-395, 2012. [doi]

2009

Reversible enhanced event structures: Towards reversible E-LOTOSMonika Kapus-Kolar. csi, 31(5):942-947, 2009. [doi]

Three Generalizations to a Generic Integrated Test Generation Method for Finite State MachinesMonika Kapus-Kolar. cj, 52(6):599-625, 2009. [doi]

An action refinement operator for E-LOTOS with true concurrencyMonika Kapus-Kolar. csi, 31(1):77-87, 2009. [doi]

Improvements to a Roll-Back Mechanism for Asynchronous Checkpointing and RecoveryMonika Kapus-Kolar. informaticaSI, 33(4):511-519, 2009. [doi]

2007

Testing as Collecting of Evidence: An Integrated Approach to Test Generation for Finite State MachinesMonika Kapus-Kolar. cj, 50(3):315-331, 2007. [doi]

Enhanced event structures: Towards a true concurrency semantics for E-LOTOSMonika Kapus-Kolar. csi, 29(2):205-215, 2007. [doi]

2005

Towards weak sequencing for E-LOTOSMonika Kapus-Kolar. csi, 28(1):59-73, 2005. [doi]

2004

A generalization of the E-LOTOS renaming operator: a convenience for specification of new forms of process compositionMonika Kapus-Kolar. csi, 26(6):549-563, 2004. [doi]

2003

Deriving Self-Stabilizing Protocols for Services Specified in LOTOSMonika Kapus-Kolar. informaticaSI, 27(1):57-74, 2003.

Compositional Service-Based Construction of Multi-Party Time-Sharing-Based ProtocolsMonika Kapus-Kolar. ieiceta, 86-A(9):2405-2412, 2003. [doi]

2002

A generalization of the E-LOTOS trapping operator: towards reconciliation with LOTOSMonika Kapus-Kolar. csi, 24(5):389-393, 2002. [doi]

2001

Global conflict resolution in automated service-based -protocol synthesisMonika Kapus-Kolar. saj, 27:34-48, 2001.

2000

Deriving protocols for services supporting mobile usersMonika Kapus-Kolar. INFSOF, 42(9):619-631, 2000.

1999

Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in IskraTELMarjeta Frey-Pucko, Monika Kapus-Kolar, Roman Novak. pts 1999: 347-362

More Efficient Functionality Decomposition in LOTOSMonika Kapus-Kolar. informaticaSI, 23(2), 1999.

Supporting Service Parameters in E-LOTOS-Based Protocol DerivationMonika Kapus-Kolar. appinf 1999: 631-633

Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOSMonika Kapus-Kolar. dc, 12(4):175-177, 1999. [doi]

1997

Employing disruptions for more efficient functionality decomposition in LOTOSMonika Kapus-Kolar. euromicro 1997: 464 [doi]

1994

Automated derivation of protocols implementing intelligent network servicesMarjeta Pucko, Monika Kapus-Kolar, Gorazd Kandus. jsa, 40(10-12):707-710, 1994. [doi]

1993

Derivation of protocols implementing services with event prioritiesMonika Kapus-Kolar. jsa, 39(2-5):213-216, 1993. [doi]

Developing multi-user interfaces for CSCW environmentMarjeta Pucko, Monika Kapus-Kolar, Joze Rugelj. jsa, 37(1-5):123-126, 1993. [doi]

1992

Deriving protocol specifications from service specifications including multirendezvousMonika Kapus-Kolar. jsa, 35(1-5):369-374, 1992. [doi]

1991

Deriving protocol specifications from service specifications including parametersMonika Kapus-Kolar. jsa, 32(1-5):731-738, 1991. [doi]

1990

Constructing communication protocols on reliable bounded FIFO channels without overspecificationMonika Kapus-Kolar. jsa, 28(1-5):55-58, 1990. [doi]

Constructing real-time multi-channel protocolsMonika Kapus-Kolar. jsa, 30(1-5):485-490, 1990. [doi]

Sign in or sign up to see more results.

runs on WebDSL