Bernd Grahlmann

According to our database, Bernd Grahlmann authored at least 8 papers between 1996 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1998

Combining Finite Automata, Parallel Programs and SDL Using Petri Nets.

Bernd Grahlmann

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Towards Compositional Verification of SDL Systems.

Bernd Grahlmann, Hans Fleischhack

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

A Compositional Petri Net Semantics for SDL.

Hans Fleischhack, Bernd Grahlmann

Proceedings of the Application and Theory of Petri Nets 1998, 1998

The State of PEP.

Bernd Grahlmann

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

The Reference Component of PEP.

Bernd Grahlmann

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

A Petri Net Semantics for B(PN)² with Procedures.

Bernd Grahlmann, Hans Fleischhack

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

The PEP Tool.

Bernd Grahlmann

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

PEP - More than a Petri Net Tool.

Bernd Grahlmann, Eike Best

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996