| 2008 |
|---|
| 6 | EE | Mila E. Majster-Cederbaum,
Moritz Martens:
Compositional analysis of deadlock-freedom for tree-like component architectures.
EMSOFT 2008: 199-206 |
| 5 | EE | Mila E. Majster-Cederbaum,
Moritz Martens,
Christoph Minnameier:
Liveness in Interaction Systems.
Electr. Notes Theor. Comput. Sci. 215: 57-74 (2008) |
| 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 |
