Ralf Pinger

According to our database1, Ralf Pinger
  • authored at least 10 papers between 1998 and 2014.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Understanding and closing the gap between requirements on system and subsystem level.
Proceedings of the IEEE 4th International Model-Driven Requirements Engineering Workshop, 2014

A formal systems engineering approach in practice: an experience report.
Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices, 2014

2013
Applied Bounded Model Checking for Interlocking System Designs.
Proceedings of the Software Engineering and Formal Methods, 2013

2007
Automation of Formal Verification of PLC Programs Written in IL.
Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2003
Checking Object System Designs Incrementally.
J. UCS, 2003

2002
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking.
PhD thesis, 2002

2001
Compositional Checking of Communication among Observers.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

1999
Ein Ansatz zur Verifikation mehrerer Agenten durch Model Checking.
Grundlagen von Datenbanken, 1999

1998
Verifikation von Informationssystemen durch Model Checking.
Proceedings of the Kurzfassungen, 1998

The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools.
Proceedings of the Conceptual Modeling, 1998


  Loading...