dblp.uni-trier.dewww.uni-trier.de

Roland Meyer Vis

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

*2009
9EERoland Meyer, Roberto Gorrieri: On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. CONCUR 2009: 463-480
8EERoland Meyer: A theory of structural stationarity in the pi -Calculus. Acta Inf. 46(2): 87-137 (2009)
2008
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)
2006
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)
2005
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]
8Roberto Gorrieri [9]
9Jens Happe [2]
10Wilhelm Hasselbring [2]
11Jochen Hoenicke [5]
12Victor Khomenko [6]
13Heiko Koziolek [2]
14Henrik Lipskoch [2]
15Margarete Muhle [2]
16Alexandra Paul [2]
17Jan Ploski [2]
18Matthias Rohr [2]
19Andrey Rybalchenko [3] [5]
20Ulrik Schrimpf [1]
21Christian Stehno [1]
22Tim Strazny [6]
23Mani Swaminathan [2]
24Timo Warns [2]
25Daniel Winteler [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)