| 2009 | ||
|---|---|---|
| 4 | Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn: Refinement Sensitive Formal Semantics of State Machines With Persistent Choice. Electr. Notes Theor. Comput. Sci. 250(1): 71-86 (2009) | |
| 2008 | ||
| 3 | Jens Schönborn, Marcel Kyas: A Theory of Bounded Fair Scheduling. ICTAC 2008: 334-348 | |
| 2006 | ||
| 2 | Harald Fecher, Jens Schönborn: UML 2.0 State Machines: Complete Formal Semantics Via core state machine. FMICS/PDMC 2006: 244-260 | |
| 2005 | ||
| 1 | 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 | |
| 1 | Harald Fecher | [1] [2] [4] |
| 2 | Michael Huth | [4] |
| 3 | Marcel Kyas | [1] [3] |
| 4 | Willem P. de Roever | [1] |
| 5 | Heiko Schmidt | [4] |