The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Monika Kapus-Kolar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.000secs, Finished in 0.001secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002