| 2007 |
|---|
| 4 | EE | Mila E. Majster-Cederbaum,
Moritz Martens:
Robustness in Interaction Systems.
FORTE 2007: 325-340 |
| 3 | EE | Gregor Gößler,
Susanne Graf,
Mila E. Majster-Cederbaum,
Moritz Martens,
Joseph Sifakis:
An Approach to Modelling and Verification of Component Based Systems.
SOFSEM (1) 2007: 295-308 |
| 2 | EE | Mila E. Majster-Cederbaum,
Moritz Martens,
Christoph Minnameier:
A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems.
SOFSEM (1) 2007: 888-899 |
| 2006 |
|---|
| 1 | EE | Gregor Gößler,
Susanne Graf,
Mila E. Majster-Cederbaum,
Moritz Martens,
Joseph Sifakis:
Ensuring Properties of Interaction Systems.
Program Analysis and Compilation 2006: 201-224 |
