Ralf Pinger

According to our database, Ralf Pinger authored at least 11 papers between 1998 and 2021.

Collaborative distances:

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

2021

Efficient data validation for geographical interlocking systems.

Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger

Formal Aspects Comput., 2021

2014

Understanding and closing the gap between requirements on system and subsystem level.

Sabine Teufl, Wolfgang Böhm, Ralf Pinger

Proceedings of the IEEE 4th International Model-Driven Requirements Engineering Workshop, 2014

A formal systems engineering approach in practice: an experience report.

Wolfgang Böhm, Maximilian Junker, Andreas Vogelsang, Sabine Teufl, Ralf Pinger, Karsten Rahn

Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices, 2014

2013

Applied Bounded Model Checking for Interlocking System Designs.

Anne E. Haxthausen, Jan Peleska, Ralf Pinger

Proceedings of the Software Engineering and Formal Methods, 2013

2007

Automation of Formal Verification of PLC Programs Written in IL.

Olivera Pavlovic, Ralf Pinger, Maik Kollmann

Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2003

Checking Object System Designs Incrementally.

Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger

J. Univers. Comput. Sci., 2003

2002

Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking.

Ralf Pinger

PhD thesis, 2002

2001

Compositional Checking of Communication among Observers.

Ralf Pinger, Hans-Dieter Ehrich

Proceedings of the Fundamental Approaches to Software Engineering, 2001

1999

Ein Ansatz zur Verifikation mehrerer Agenten durch Model Checking.

Ralf Pinger

Proceedings of the 11. Workshop Grundlagen von Datenbanken, 1999

1998

Verifikation von Informationssystemen durch Model Checking.

Ralf Pinger

Proceedings of the Kurzfassungen, 1998

The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools.

Antonio Grau, Juliana Küster Filipe, Mojgan Kowsari, Silke Eckstein, Ralf Pinger, Hans-Dieter Ehrich

Proceedings of the Conceptual Modeling, 1998