Ralf Pinger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
1998–2014
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ICSE | A formal systems engineering approach in practice: an experience report. | Wolfgang Bhm, Maximilian Junker, Andreas Vogelsang, Sabine Teufl, Ralf Pinger, Karsten Rahn |
| 2014 | RE | Understanding and closing the gap between requirements on system and subsystem level. | Sabine Teufl, Wolfgang Bhm, Ralf Pinger |
| 2013 | SEFM | Applied Bounded Model Checking for Interlocking System Designs. | Anne E. Haxthausen, Jan Peleska, Ralf Pinger |
| 2007 | CADE | Automation of Formal Verification of PLC Programs Written in IL. | Olivera Pavlovic, Ralf Pinger, Maik Kollmann |
| 2001 | FASE | Compositional Checking of Communication among Observers. | Ralf Pinger, Hans-Dieter Ehrich |
| 1998 | ER | The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools. | Antonio Grau, Juliana Kster Filipe, Mojgan Kowsari, Silke Eckstein, Ralf Pinger, Hans-Dieter Ehrich |