Peter Kelb

Statecharts: Using graphical specification languages and symbolic model checking in the verification of a production cell

Hardi Hungar, Werner Damm, Rainer Schlör, 1995 .

Abstraktionstechniken für automatische Verifikationsmethoden

Peter Kelb, 1996 .

MOSEL: A FLexible Toolset for Monadic Second-Order Logic

Tiziana Margaria, Michael Mendler, Peter Kelb, 1997, TACAS.

MOSEL: A Sound and Efficient Tool for M2L(Str)

Tiziana Margaria, Michael Mendler, Peter Kelb, 1997, CAV.

VHDL/S - integrating statecharts, timing diagrams, and VHDL

Werner Damm, Rainer Schlör, Peter Kelb, 1993, Microprocess. Microprogramming.

An OBDD-represent at ion of St atechart s

Peter Kelb, Johannes Helbig, 1994 .

An OBDD-representation of statecharts

Peter Kelb, Johannes Helbig, Peter Kelb, 1994, Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC.

Model Checking Using Adaptive State and Data Abstraction

Hergen Pargmann, Dennis Dams, Rob Gerth, 1994, CAV.

Practical symbolic model checking of the full µ-calculus using compositional abstractions

Dennis Dams, Rob Gerth, Peter Kelb, 1995 .