 | 2009 |
|---|
| 7 |       | Moritz Martens,
Mila E. Majster-Cederbaum:
Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation.
TASE 2009: 225-232 |
| 2008 |
|---|
| 6 | | Mila E. Majster-Cederbaum,
Moritz Martens:
Compositional analysis of deadlock-freedom for tree-like component architectures.
EMSOFT 2008: 199-206 |
| 5 | | Mila E. Majster-Cederbaum,
Moritz Martens,
Christoph Minnameier:
Liveness in Interaction Systems.
Electr. Notes Theor. Comput. Sci. 215: 57-74 (2008) |
| 2007 |
|---|
| 4 | | Mila E. Majster-Cederbaum,
Moritz Martens:
Robustness in Interaction Systems.
FORTE 2007: 325-340 |
| 3 | | 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 | | 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 | | 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 |
