Dipl.-Inform. Bernd Grahlmann

Anschrift:	Dipl.-Inform. Bernd Grahlmann Universität Oldenburg Fakultät II Department für Informatik 26111 Oldenburg
E-Mail:	Bernd.Grahlmann

Publikationen

[Gra99]

Bernd Grahlmann. The State of PEP. In Armando Martin Haeberer, editor, Algebraic Methodology and Software Technology, volume 1548 of Lecture Notes in Computer Science, pages 522-526. Springer-Verlag, 1999.
[ .ps.gz ]

[BG98]

Eike Best and Bernd Grahlmann. PEP Documentation and User Guide, Version 1.8. Universität Oldenburg, 1998.
[ .ps.gz ]

[FG98a]

Hans Fleischhack and Bernd Grahlmann. A Compositional Petri Net Semantics for SDL. In J. Desel and M. Silva, editors, Application and Theory of Petri Nets, volume 1420 of Lecture Notes in Computer Science, pages 144-164. Springer-Verlag, 1998.

[FG98b]

Hans Fleischhack and Bernd Grahlmann. Towards Compositional Verification of SDL Systems. In Proceedings of 31st HICSS (Hawaii International Conference on System Science) - Software Technology Track, pages 404 - 414. IEEE Computer Society, January 1998.

[Gra98a]

Bernd Grahlmann. Combining Finite Automata, Parallel Programs and SDL using Petri Nets. In Bernhard Steffen, editor, Tools and Algorithms for the Construction and Analysis of Systems, volume 1384 of Lecture Notes in Computer Science, pages 102-117. Springer-Verlag, 1998.
[ .ps.gz ]

[Gra98b]

Bernd Grahlmann. Parallel Programs as Petri Nets. PhD thesis, Universität Hildesheim, 1998. 258 pages.

[GP98]

Bernd Grahlmann and Carola Pohl. Profiting from Spin in PEP. In SPIN Workshop, 1998.
[ .ps.gz ]

[FG97b]

Hans Fleischhack and Bernd Grahlmann. A Petri Net Semantics for B(PN)² with Procedures. In Parallel and Distributed Software Engineering, pages 15-27. IEEE Computer Society, May 1997.

[BEG⁺97]

Eike Best, Javier Esparza, Bernd Grahlmann, Stephan Melzer, Stefan Römer, and Frank Wallner. The PEP verification system. In FEmSys, 1997.

[FG97a]

Hans Fleischhack and Bernd Grahlmann. A Compositional Petri Net Semantics for SDL. Technical Report 18/97, Universität Hildesheim, 1997.
[ .ps.gz ]

[Gra97a]

Bernd Grahlmann. The PEP Tool. In Orna Grumberg, editor, Computer Aided Verification, volume 1254 of Lecture Notes in Computer Science, pages 440-443. Springer-Verlag, 1997.
[ .ps.gz ]

[Gra97b]

Bernd Grahlmann. The Reference Component of PEP. In E. Brinksma, editor, Tools and Algorithms for the Construction and Analysis of Systems, volume 1217 of Lecture Notes in Computer Science, pages 65-80, Enschede, The Netherlands, 1997. Springer-Verlag.
[ .ps.gz ]

[Gra96]

Bernd Grahlmann. Petri Net File Formats. In 3. Workshop Algorithmen und Werkzeuge für Petrinetze, number 341 in Berichte des Instituts für angewandte Informatik und Formale Beschreibungsverfahren, pages 21-26. Universität Karlsruhe, October 1996.
[ .ps.gz ]

[FG96]

Hans Fleischhack and Bernd Grahlmann. A Petri Net Semantics for B(PN)² with Procedures which Allows Verification. Hildesheimer Informatik-Berichte 21/96, Universität Hildesheim, July 1996.

[GB96]

Bernd Grahlmann and Eike Best. PEP - More than a Petri Net Tool. In Tiziana Margaria and Bernhard Steffen, editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 1055 of Lecture Notes in Computer Science, pages 397-401. Springer-Verlag, 1996.
[ .ps.gz ]

[Gra95]

Bernd Grahlmann. Verifying Telecommunication Protocols with PEP. In RELECTRONIC, pages 251-256. Scientific Society for Telecommunications, October 1995.

[BG95]

Eike Best and Bernd Grahlmann. PEP Documentation and User Guide Version 1.4. Universität Hildesheim, 1995.
[ .ps.gz ]

[GMA95]

Bernd Grahlmann, Matthias Moeller, and Ulrich Anhalt. A New Interface for the PEP Tool - Parallel Finite Automata -. In J. Desel, H. Fleischhack, A. Oberweis, and M. Sonnenschein, editors, 2. Workshop Algorithmen und Werkzeuge für Petrinetze, volume 22 of AIS, pages 21-26, 1995.
[ .ps.gz ]