Search the dblp DataBase

Publications of Author

1. Monika Kapus-Kolar
   Supporting Service Parameters in E-LOTOS-Based Protocol Derivation. [Citation Graph (0, 0)][DBLP]
   Applied Informatics, 1999, pp:631-633 [Conf]
   
2. Monika Kapus-Kolar
   Employing disruptions for more efficient functionality decomposition in LOTOS. [Citation Graph (0, 0)][DBLP]
   EUROMICRO, 1997, pp:464-0 [Conf]
   
3. Marjeta Frey-Pucko, Monika Kapus-Kolar, Roman Novak
   Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in IskraTEL. [Citation Graph (0, 0)][DBLP]
   IWTCS, 1999, pp:347-362 [Conf]
   
4. Monika Kapus-Kolar
   Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOS. [Citation Graph (0, 0)][DBLP]
   Distributed Computing, 1999, v:12, n:4, pp:175-177 [Journal]
   
5. Monika Kapus-Kolar
   Deriving Self-Stabilizing Protocols for Services Specified in LOTOS. [Citation Graph (0, 0)][DBLP]
   Informatica (Slovenia), 2003, v:27, n:1, pp:57-74 [Journal]
   
6. Monika Kapus-Kolar
   More Efficient Functionality Decomposition in LOTOS. [Citation Graph (0, 0)][DBLP]
   Informatica (Slovenia), 1999, v:23, n:2, pp:- [Journal]
   
7. Monika Kapus-Kolar
   Deriving protocols for services supporting mobile users. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2000, v:42, n:9, pp:619-631 [Journal]
   
8. Monika Kapus-Kolar
   Global conflict resolution in automated service-based -protocol synthesis. [Citation Graph (0, 0)][DBLP]
   South African Computer Journal, 2001, v:27, n:, pp:34-48 [Journal]
   
9. Monika Kapus-Kolar
   Testing as Collecting of Evidence: An Integrated Approach to Test Generation for Finite State Machines. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2007, v:50, n:3, pp:315-331 [Journal]
   
10. 
    Three Generalizations to a Generic Integrated Test Generation Method for Finite State Machines. [Citation Graph (, )][DBLP]