Dipl.-Inform. Roland Meyer

Address:	Dipl.-Inform. Roland Meyer University of Oldenburg Faculty II Department of Computing Science D-26111 Oldenburg Germany
Room:	A2 2-206
Phone:	+49 441 798-4727
Fax:	+49 441 798-2965
email:	Roland.Meyer

This year I organise the Graduate Schools Workshop 2008 taking place from 18.05.2008 to 21.05.2008 in Schloss Dagstuhl.

 

Curriculum Vitae

since 10/2005	PhD student and scholarship holder at the DFG-Graduate School TrustSoft
09/2005	Diploma (MSc.) degree (with honors) in Computer Science
10/2001-09/2005	Studies of Computer Science and Mathematics at the University of Oldenburg
09/2000-06/2001	Military Service
06/2000	Abitur at the Gymnasium Westerstede
02/1981	Born in Leer, Germany

Projects

Projects I am involved in or collaborating with:

• TrustSoft (Trustworthy Software Systems)
• AVACS (Automatic Verification and Analysis of Complex Systems)
• DAVAC (Design and Verification of Asynchronous Circuits)

Tools

• Moby/PEA
• PEA toolkit
• Petruchio

Research visits

• November/December 2007: Visit in the Modelling and Reasoning Group, University of Newcastle, Newcastle upon Tyne, England, following the invitation of Prof. Dr. Maciej Koutny.
• March 2006: Visit in the Distributed Systems Research Group, Charles University, Prague, Czech Republic, following the invitation of Prof. Dr. Frantisek Plasil.

Talks

• December 2007: Talk in the Laboratory for Foundations of Computer Science (LFCS-Seminar) within the School of Informatics at the University of Edinburgh, Scotland. Host Reader Dr. Julian Bradfield. Titel "A Petri Net Semantics for Pi-Calculus Verification".
• November 2007: Talk in the Asynchronous Systems Labs Seminar (ASL Seminar) at the University of Newcastle, Newcastle upon Tyne, England. Hosts Prof. Dr. Maciej Koutny and Prof. Dr. Alex Yakovlev. Titel "A Petri Net Semantics for Pi-Calculus Verification".

Publications

[KM08]

V. Khomenko and R. Meyer. Checking pi-calculus structural congruence is graph isomorphism complete. Technical Report CS-TR: 1100, School of Computing Science, Newcastle University, 2008. 20 pages.
[ bib | http | Abstract ]

[MFHR08]

R. Meyer, J. Faber, J. Hoenicke, and A. Rybalchenko. Model checking duration calculus: A practical approach. Formal Aspects of Computing, 20(4-5):481-505, July 2008. ISSN 0934-5043 (Print) 1433-299X (Online).
[ bib | .pdf | Abstract ]

[Mey08]

R. Meyer. On boundedness in depth in the pi-calculus. In Proc. of the 5th IFIP International Conference on Theoretical Computer Science, IFIP TCS 2008, volume 273 of IFIP. Springer-Verlag, 2008. To appear.
[ bib | Abstract ]

[MKS08a]

R. Meyer, V. Khomenko, and T. Strazny. A practical approach to verification of mobile systems using net unfoldings. In Proc. of the 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, ATPN 2008, volume 5062 of LNCS. Springer-Verlag, 2008. To appear.
[ bib | Abstract ]

[MKS08b]

R. Meyer, V. Khomenko, and T. Strazny. A practical approach to verification of mobile systems using net unfoldings. Technical Report CS-TR: 1064, School of Computing Science, Newcastle University, January 2008. 29 pages.
[ bib | Abstract ]

[Mey07]

R. Meyer. A Petri Net Semantics for pi-Calculus Verification. In Dagstuhl ''zehn plus eins'', pages 76-77. Verlagshaus Mainz GmbH Aachen, 2007.
[ bib ]

[MFR06]

Roland Meyer, Johannes Faber, and Andrey Rybalchenko. Model checking duration calculus: A practical approach. In K. Barkaoui, A. Cavalcanti, and A. Cerone, editors, Theoretical Aspects of Computing - ICTAC 2006, volume 4281 of LNCS, pages 332-346, 2006. This publication is available at SpringerLink.
[ bib | http | Abstract ]

[Mey06a]

R. Meyer. Model checking the pi-calculus. In Proceedings of the International Research Training Groups Workshop, volume 3 of Trustworthy Software Systems, page 15. GITO, 2006.
[ bib ]

[FM06]

Johannes Faber and Roland Meyer. Model checking data-dependent real-time properties of the european train control system. In Formal Methods in Computer Aided Design, 2006. FMCAD '06, pages 76-77. IEEE Computer Society Press, November 2006. This publication is available free of charge at IEEE Digital Library.
[ bib | Abstract ]

[Mey06b]

R. Meyer. Model checking using testing. In W. Hasselbring and S. Giesecke, editors, Dependability Engineering, volume 2 of Trustworthy Software Systems, pages 147-171. GITO, 2006.
[ bib ]

[EFM⁺05]

C. Eichner, H. Fleischhack, R. Meyer, U. Schrimpf, and C. Stehno. Compositional semantics for uml 2.0 sequence diagrams using petri nets. In SDL 2005: Model Driven, volume 3530 of LNCS, pages 133-148. Springer-Verlag, 2005.
[ bib ]

Theses

[Mey05]

R. Meyer. Model-Checking von Phasen-Event-Automaten bezüglich Duration Calculus Formeln mittels Testautomaten. Master's thesis, University of Oldenburg, 2005.
[ bib ]