Marcel Kyas

Available identifiers

zbMath Open kyas.marcelMaRDI QIDQ2847427

List of research outcomes

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	2013-05-10	Paper
Refinement Patterns for Hierarchical UML State Machines	2010-01-28	Paper
Executable Interface Specifications for Testing Asynchronous Creol Components	2010-01-28	Paper
An Object-Oriented Component Model for Heterogeneous Nets	2009-02-12	Paper
A Theory of Bounded Fair Scheduling	2009-01-27	Paper
Run-Time Monitoring of Electronic Contracts	2008-11-20	Paper

Research outcomes over time

This page was built for person: Marcel Kyas