| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 21 |      | Monika Kapus-Kolar: New state-recognition patterns for conformance testing of finite state machine implementations. Computer Standards & Interfaces 34(4): 390-395 (2012) |
| 2009 | ||
| 20 | | Monika Kapus-Kolar: Three Generalizations to a Generic Integrated Test Generation Method for Finite State Machines. Comput. J. 52(6): 599-625 (2009) |
| 19 | | Monika Kapus-Kolar: An action refinement operator for E-LOTOS with true concurrency. Computer Standards & Interfaces 31(1): 77-87 (2009) |
| 18 | | Monika Kapus-Kolar: Reversible enhanced event structures: Towards reversible E-LOTOS. Computer Standards & Interfaces 31(5): 942-947 (2009) |
| 17 | | Monika Kapus-Kolar: Improvements to a Roll-Back Mechanism for Asynchronous Checkpointing and Recovery. Informatica (Slovenia) 33(4): 511-519 (2009) |
| 2007 | ||
| 16 | | Monika Kapus-Kolar: Testing as Collecting of Evidence: An Integrated Approach to Test Generation for Finite State Machines. Comput. J. 50(3): 315-331 (2007) |
| 15 | | Monika Kapus-Kolar: Enhanced event structures: Towards a true concurrency semantics for E-LOTOS. Computer Standards & Interfaces 29(2): 205-215 (2007) |
| 2005 | ||
| 14 | | Monika Kapus-Kolar: Towards weak sequencing for E-LOTOS. Computer Standards & Interfaces 28(1): 59-73 (2005) |
| 2004 | ||
| 13 | | Monika Kapus-Kolar: A generalization of the E-LOTOS renaming operator: a convenience for specification of new forms of process composition. Computer Standards & Interfaces 26(6): 549-563 (2004) |
| 2003 | ||
| 12 |  | Monika Kapus-Kolar: Deriving Self-Stabilizing Protocols for Services Specified in LOTOS. Informatica (Slovenia) 27(1): 57-74 (2003) |
| 2001 | ||
| 11 | | Monika Kapus-Kolar: Global conflict resolution in automated service-based -protocol synthesis. South African Computer Journal 27: 34-48 (2001) |
| 2000 | ||
| 10 | | Monika Kapus-Kolar: Deriving protocols for services supporting mobile users. Information & Software Technology 42(9): 619-631 (2000) |
| 1999 | ||
| 9 | | Monika Kapus-Kolar: Supporting Service Parameters in E-LOTOS-Based Protocol Derivation. Applied Informatics 1999: 631-633 |
| 8 | | Marjeta Frey-Pucko, Monika Kapus-Kolar, Roman Novak: Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in IskraTEL. IWTCS 1999: 347-362 |
| 7 | | Monika Kapus-Kolar: Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOS. Distributed Computing 12(4): 175-177 (1999) |
| 6 | | Monika Kapus-Kolar: More Efficient Functionality Decomposition in LOTOS. Informatica (Slovenia) 23(2): (1999) |
| 1997 | ||
| 5 | | Monika Kapus-Kolar: Employing disruptions for more efficient functionality decomposition in LOTOS. EUROMICRO 1997: 464- |
| 1994 | ||
| 4 | | Marjeta Pucko, Monika Kapus-Kolar, Gorazd Kandus: Automated derivation of protocols implementing intelligent network services. Microprocessing and Microprogramming 40(10-12): 707-710 (1994) |
| 1993 | ||
| 3 | | Marjeta Pucko, Monika Kapus-Kolar, Joze Rugelj: Developing multi-user interfaces for CSCW environment. Microprocessing and Microprogramming 37(1-5): 123-126 (1993) |
| 2 | | Monika Kapus-Kolar: Derivation of protocols implementing services with event priorities. Microprocessing and Microprogramming 39(2-5): 213-216 (1993) |
| 1992 | ||
| 1 | | Monika Kapus-Kolar: Deriving protocol specifications from service specifications including multirendezvous. Microprocessing and Microprogramming 35(1-5): 369-374 (1992) |
| 1 | Marjeta Frey-Pucko (Marjeta Pucko) | [3] [4] [8] |
| 2 | Gorazd Kandus | [4] |
| 3 | Roman Novak | [8] |
| 4 | Joze Rugelj | [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page