Ralf Pinger

Publication Activity (10 Years)

Years Active: 1998-2021
Publications (10 Years): 2

Top Venues

Formal Aspects Comput.

SER&IPs

RSSRail

SEFM Workshops

Braunschweig University of Technology, Germany (PHD)

Education History

Braunschweig University of Technology, Germany

PHD

Publications

Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger
Efficient data validation for geographical interlocking systems. Formal Aspects Comput. 33 (6) (2021)
Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger
Efficient Data Validation for Geographical Interlocking Systems. RSSRail (2019)
Sabine Teufl, Wolfgang Böhm, Ralf Pinger
Understanding and closing the gap between requirements on system and subsystem level. MoDRE (2014)
Wolfgang Böhm, Maximilian Junker, Andreas Vogelsang, Sabine Teufl, Ralf Pinger, Karsten Rahn
A formal systems engineering approach in practice: an experience report. SER&IPs (2014)
Anne E. Haxthausen, Jan Peleska, Ralf Pinger
Applied Bounded Model Checking for Interlocking System Designs. SEFM Workshops (2013)
Olivera Pavlovic, Ralf Pinger, Maik Kollmann
Automation of Formal Verification of PLC Programs Written in IL. VERIFY (2007)
Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger
Checking Object System Designs Incrementally. J. Univers. Comput. Sci. 9 (2) (2003)
Ralf Pinger, Hans-Dieter Ehrich
Compositional Checking of Communication among Observers. FASE (2001)
Ralf Pinger
Ein Ansatz zur Verifikation mehrerer Agenten durch Model Checking. Grundlagen von Datenbanken (1999)
Antonio Grau, Juliana Küster Filipe, Mojgan Kowsari, Silke Eckstein, Ralf Pinger, Hans-Dieter Ehrich
The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools. ER (1998)
Ralf Pinger
Verifikation von Informationssystemen durch Model Checking. Grundlagen von Datenbanken (1998)

Ralf Pinger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ralf Pinger