![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Monika Kapus-Kolar
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j28]Monika Kapus-Kolar:
Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels. J. Log. Algebraic Methods Program. 114: 100560 (2020)
2010 – 2019
- 2017
- [j27]Monika Kapus-Kolar:
A Generalization of a Popular Fault-Coverage-Preserving Test Set Transformation. J. Univers. Comput. Sci. 23(6): 560-585 (2017) - 2014
- [j26]Monika Kapus-Kolar:
On the global optimization of checking sequences for finite state machine implementations. Microprocess. Microsystems 38(3): 208-215 (2014) - 2013
- [j25]Monika Kapus-Kolar:
Error-preserving local transformations on communication protocols. Softw. Test. Verification Reliab. 23(1): 3-25 (2013) - 2012
- [j24]Monika Kapus-Kolar:
New state-recognition patterns for conformance testing of finite state machine implementations. Comput. Stand. Interfaces 34(4): 390-395 (2012) - [j23]Monika Kapus-Kolar:
On "Exploring alternatives for transition verification". J. Syst. Softw. 85(8): 1744-1748 (2012)
2000 – 2009
- 2009
- [j22]Monika Kapus-Kolar:
Three Generalizations to a Generic Integrated Test Generation Method for Finite State Machines. Comput. J. 52(6): 599-625 (2009) - [j21]Monika Kapus-Kolar:
An action refinement operator for E-LOTOS with true concurrency. Comput. Stand. Interfaces 31(1): 77-87 (2009) - [j20]Monika Kapus-Kolar:
Reversible enhanced event structures: Towards reversible E-LOTOS. Comput. Stand. Interfaces 31(5): 942-947 (2009) - [j19]Monika Kapus-Kolar:
Improvements to a Roll-Back Mechanism for Asynchronous Checkpointing and Recovery. Informatica (Slovenia) 33(4): 511-519 (2009) - 2007
- [j18]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) - [j17]Monika Kapus-Kolar:
Enhanced event structures: Towards a true concurrency semantics for E-LOTOS. Comput. Stand. Interfaces 29(2): 205-215 (2007) - 2005
- [j16]Monika Kapus-Kolar:
Towards weak sequencing for E-LOTOS. Comput. Stand. Interfaces 28(1): 59-73 (2005) - 2004
- [j15]Monika Kapus-Kolar:
A generalization of the E-LOTOS renaming operator: a convenience for specification of new forms of process composition. Comput. Stand. Interfaces 26(6): 549-563 (2004) - 2003
- [j14]Monika Kapus-Kolar:
Compositional Service-Based Construction of Multi-Party Time-Sharing-Based Protocols. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 86-A(9): 2405-2412 (2003) - [j13]Monika Kapus-Kolar:
Deriving Self-Stabilizing Protocols for Services Specified in LOTOS. Informatica (Slovenia) 27(1): 57-74 (2003) - 2002
- [j12]Monika Kapus-Kolar:
A generalization of the E-LOTOS trapping operator: towards reconciliation with LOTOS. Comput. Stand. Interfaces 24(5): 389-393 (2002) - 2001
- [j11]Monika Kapus-Kolar:
Global conflict resolution in automated service-based -protocol synthesis. South Afr. Comput. J. 27: 34-48 (2001) - 2000
- [j10]Monika Kapus-Kolar:
Deriving protocols for services supporting mobile users. Inf. Softw. Technol. 42(9): 619-631 (2000)
1990 – 1999
- 1999
- [j9]Monika Kapus-Kolar:
Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOS. Distributed Comput. 12(4): 175-177 (1999) - [j8]Monika Kapus-Kolar:
More Efficient Functionality Decomposition in LOTOS. Informatica (Slovenia) 23(2) (1999) - [c3]Monika Kapus-Kolar:
Supporting Service Parameters in E-LOTOS-Based Protocol Derivation. Applied Informatics 1999: 631-633 - [c2]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 - 1997
- [c1]Monika Kapus-Kolar:
Employing disruptions for more efficient functionality decomposition in LOTOS. EUROMICRO 1997: 464- - 1994
- [j7]Marjeta Pucko, Monika Kapus-Kolar, Gorazd Kandus:
Automated derivation of protocols implementing intelligent network services. Microprocess. Microprogramming 40(10-12): 707-710 (1994) - 1993
- [j6]Marjeta Pucko, Monika Kapus-Kolar, Joze Rugelj
:
Developing multi-user interfaces for CSCW environment. Microprocess. Microprogramming 37(1-5): 123-126 (1993) - [j5]Monika Kapus-Kolar:
Derivation of protocols implementing services with event priorities. Microprocess. Microprogramming 39(2-5): 213-216 (1993) - 1992
- [j4]Monika Kapus-Kolar:
Deriving protocol specifications from service specifications including multirendezvous. Microprocess. Microprogramming 35(1-5): 369-374 (1992) - 1991
- [j3]Monika Kapus-Kolar:
Deriving protocol specifications from service specifications including parameters. Microprocessing and Microprogramming 32(1-5): 731-738 (1991) - 1990
- [j2]Monika Kapus-Kolar:
Constructing communication protocols on reliable bounded FIFO channels without overspecification. Microprocessing and Microprogramming 28(1-5): 55-58 (1990) - [j1]Monika Kapus-Kolar:
Constructing real-time multi-channel protocols. Microprocessing and Microprogramming 30(1-5): 485-490 (1990)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint