 | 2009 |
|---|
| 13 |       | Einar Broch Johnsen,
Marcel Kyas,
Ingrid Chieh Yu:
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects.
FM 2009: 596-611 |
| 2008 |
|---|
| 12 | | Marcel Kyas,
Cristian Prisacariu,
Gerardo Schneider:
Run-Time Monitoring of Electronic Contracts.
ATVA 2008: 397-407 |
| 11 | | Marcel Kyas,
Einar Broch Johnsen:
A Real-Time Extension of Creol for Modelling Biomedical Sensors.
FMCO 2008: 42-60 |
| 10 | | Jens Schönborn,
Marcel Kyas:
A Theory of Bounded Fair Scheduling.
ICTAC 2008: 334-348 |
| 2007 |
|---|
| 9 | | Einar Broch Johnsen,
Olaf Owe,
Joakim Bjørk,
Marcel Kyas:
An Object-Oriented Component Model for Heterogeneous Nets.
FMCO 2007: 257-279 |
| 2006 |
|---|
| 8 |  | Marcel Kyas,
Jozef Hooman:
Compositional Verification of Timed Components using PVS.
Software Engineering 2006: 143-154 |
| 7 | | Harald Fecher,
Marcel Kyas,
Willem P. de Roever,
Frank S. de Boer:
Compositional Operational Semantics of a UML-Kernel-Model Language.
Electr. Notes Theor. Comput. Sci. 156(1): 79-96 (2006) |
| 2005 |
|---|
| 6 | | Marcel Kyas:
An Extended Type System for OCL Supporting Templates and Transformations.
FMOODS 2005: 83-98 |
| 5 | | Harald Fecher,
Jens Schönborn,
Marcel Kyas,
Willem P. de Roever:
29 New Unclarities in the Semantics of UML 2.0 State Machines.
ICFEM 2005: 52-65 |
| 4 | | Marcel Kyas,
Harald Fecher,
Frank S. de Boer,
Joost Jacob,
Jozef Hooman,
Mark van der Zwaag,
Tamarah Arons,
Hillel Kugler:
Formalizing UML Models and OCL Constraints in PVS.
Electr. Notes Theor. Comput. Sci. 115: 39-47 (2005) |
| 3 | | Marcel Kyas,
Frank S. de Boer,
Willem P. de Roever:
A Compositional Trace Logic for Behavioural Interface Specifications.
Nord. J. Comput. 12(2): 116-132 (2005) |
| 2004 |
|---|
| 2 | | Marcel Kyas,
Frank S. de Boer:
On Message Specifications in OCL.
Electr. Notes Theor. Comput. Sci. 101: 73-93 (2004) |
| 2001 |
|---|
| 1 | | Marcel Kyas:
Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol.
Electr. Notes Theor. Comput. Sci. 50(4): (2001) |
