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 (ER, 1998)

Verifikation von Informationssystemen durch Model Checking. - Ralf Pinger (Grundlagen von Datenbanken, 1998)

Ein Ansatz zur Verifikation mehrerer Agenten durch Model Checking. - Ralf Pinger (Grundlagen von Datenbanken, 1999)

Compositional Checking of Communication among Observers. - Ralf Pinger; Hans-Dieter Ehrich (FASE, 2001)

Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking. - Ralf Pinger (2002)

Checking Object System Designs Incrementally. - Hans-Dieter Ehrich; Maik Kollmann; Ralf Pinger (J. Univers. Comput. Sci., 2003)

Automation of Formal Verification of PLC Programs Written in IL. - Olivera Pavlovic; Ralf Pinger; Maik Kollmann (VERIFY, 2007)

Applied Bounded Model Checking for Interlocking System Designs. - Anne E. Haxthausen; Jan Peleska 001; Ralf Pinger (SEFM Workshops, 2013)

A formal systems engineering approach in practice: an experience report. - Wolfgang Böhm 002; Maximilian Junker; Andreas Vogelsang; Sabine Teufl; Ralf Pinger; Karsten Rahn (SER&IPs, 2014)

Understanding and closing the gap between requirements on system and subsystem level. - Sabine Teufl; Wolfgang Böhm 002; Ralf Pinger (MoDRE, 2014)

Efficient data validation for geographical interlocking systems. - Jan Peleska 001; Niklas Krafczyk; Anne E. Haxthausen; Ralf Pinger (Formal Aspects Comput., 2021)