Marcel Kyas
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Compositional operational semantics of a UML-kernel-model language | 2013-10-07 | Paper |
| On message specifications in OCL | 2013-09-09 | Paper |
| Verifying a network invariant for all configurations of the Futurebus+ cache coherence protocol Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
| Executable interface specifications for testing asynchronous Creol components Fundamentals of Software Engineering | 2010-01-28 | Paper |
| Refinement Patterns for Hierarchical UML State Machines Fundamentals of Software Engineering | 2010-01-28 | Paper |
| An Object-Oriented Component Model for Heterogeneous Nets Formal Methods for Components and Objects | 2009-02-12 | Paper |
| A Theory of Bounded Fair Scheduling Theoretical Aspects of Computing - ICTAC 2008 | 2009-01-27 | Paper |
| Run-Time Monitoring of Electronic Contracts Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
Research outcomes over time
This page was built for person: Marcel Kyas
