| 2008 |
|---|
| 7 | EE | Roland Meyer:
On Boundedness in Depth in the pi-Calculus.
IFIP TCS 2008: 477-489 |
| 6 | EE | Roland Meyer,
Victor Khomenko,
Tim Strazny:
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings.
Petri Nets 2008: 327-347 |
| 5 | EE | Roland Meyer,
Johannes Faber,
Jochen Hoenicke,
Andrey Rybalchenko:
Model checking Duration Calculus: a practical approach.
Formal Asp. Comput. 20(4-5): 481-505 (2008) |
| 2006 |
|---|
| 4 | EE | Johannes Faber,
Roland Meyer:
Model Checking Data-Dependent Real-Time Properties of the European Train Control System.
FMCAD 2006: 76-77 |
| 3 | EE | Roland Meyer,
Johannes Faber,
Andrey Rybalchenko:
Model Checking Duration Calculus: A Practical Approach.
ICTAC 2006: 332-346 |
| 2 | EE | Steffen Becker,
Wilhelm Hasselbring,
Alexandra Paul,
Marko Boskovic,
Heiko Koziolek,
Jan Ploski,
Abhishek Dhama,
Henrik Lipskoch,
Matthias Rohr,
Daniel Winteler,
Simon Giesecke,
Roland Meyer,
Mani Swaminathan,
Jens Happe,
Margarete Muhle,
Timo Warns:
Trustworthy software systems: a discussion of basic concepts and terminology.
ACM SIGSOFT Software Engineering Notes 31(6): 1-18 (2006) |
| 2005 |
|---|
| 1 | EE | Christoph Eichner,
Hans Fleischhack,
Roland Meyer,
Ulrik Schrimpf,
Christian Stehno:
Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets.
SDL Forum 2005: 133-148 |
