| 2007 |
|---|
| 9 | EE | 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) |
| 2003 |
|---|
| 8 | | Monika Kapus-Kolar:
Deriving Self-Stabilizing Protocols for Services Specified in LOTOS.
Informatica (Slovenia) 27(1): 57-74 (2003) |
| 2001 |
|---|
| 7 | | Monika Kapus-Kolar:
Global conflict resolution in automated service-based -protocol synthesis.
South African Computer Journal 27: 34-48 (2001) |
| 2000 |
|---|
| 6 | | Monika Kapus-Kolar:
Deriving protocols for services supporting mobile users.
Information & Software Technology 42(9): 619-631 (2000) |
| 1999 |
|---|
| 5 | | Monika Kapus-Kolar:
Supporting Service Parameters in E-LOTOS-Based Protocol Derivation.
Applied Informatics 1999: 631-633 |
| 4 | | 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 |
| 3 | EE | Monika Kapus-Kolar:
Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOS.
Distributed Computing 12(4): 175-177 (1999) |
| 2 | | Monika Kapus-Kolar:
More Efficient Functionality Decomposition in LOTOS.
Informatica (Slovenia) 23(2): (1999) |
| 1997 |
|---|
| 1 | EE | Monika Kapus-Kolar:
Employing disruptions for more efficient functionality decomposition in LOTOS.
EUROMICRO 1997: 464- |
