Roland Meyer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

7EERoland Meyer: On Boundedness in Depth in the pi-Calculus. IFIP TCS 2008: 477-489
6EERoland Meyer, Victor Khomenko, Tim Strazny: A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. Petri Nets 2008: 327-347
5EERoland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko: Model checking Duration Calculus: a practical approach. Formal Asp. Comput. 20(4-5): 481-505 (2008)
4EEJohannes Faber, Roland Meyer: Model Checking Data-Dependent Real-Time Properties of the European Train Control System. FMCAD 2006: 76-77
3EERoland Meyer, Johannes Faber, Andrey Rybalchenko: Model Checking Duration Calculus: A Practical Approach. ICTAC 2006: 332-346
2EESteffen 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)
1EEChristoph 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

Coauthor Index

1Steffen Becker [2]
2Marko Boskovic [2]
3Abhishek Dhama [2]
4Christoph Eichner [1]
5Johannes Faber [3] [4] [5]
6Hans Fleischhack [1]
7Simon Giesecke [2]
8Jens Happe [2]
9Wilhelm Hasselbring [2]
10Jochen Hoenicke [5]
11Victor Khomenko [6]
12Heiko Koziolek [2]
13Henrik Lipskoch [2]
14Margarete Muhle [2]
15Alexandra Paul [2]
16Jan Ploski [2]
17Matthias Rohr [2]
18Andrey Rybalchenko [3] [5]
19Ulrik Schrimpf [1]
20Christian Stehno [1]
21Tim Strazny [6]
22Mani Swaminathan [2]
23Timo Warns [2]
24Daniel Winteler [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)