 | 2007 |
|---|
| 6 |       | Olivera Pavlovic,
Ralf Pinger,
Maik Kollmann:
Automation of Formal Verification of PLC Programs Written in IL.
VERIFY 2007 |
| 2003 |
|---|
| 5 | | Hans-Dieter Ehrich,
Maik Kollmann,
Ralf Pinger:
Checking Object System Designs Incrementally.
J. UCS 9(2): 106-119 (2003) |
| 2001 |
|---|
| 4 | | Ralf Pinger,
Hans-Dieter Ehrich:
Compositional Checking of Communication among Observers.
FASE 2001: 32-44 |
| 1999 |
|---|
| 3 |  | Ralf Pinger:
Ein Ansatz zur Verifikation mehrerer Agenten durch Model Checking.
Grundlagen von Datenbanken 1999: 82-86 |
| 1998 |
|---|
| 2 | | 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: 277-290 |
| 1 | | Ralf Pinger:
Verifikation von Informationssystemen durch Model Checking.
Grundlagen von Datenbanken 1998: 98-103 |
