| |
| 2007 | ||
|---|---|---|
| 4 | EE | Olivera Pavlovic, Ralf Pinger, Maik Kollmann: Automation of Formal Verification of PLC Programs Written in IL. VERIFY 2007 |
| 3 | EE | Maik Kollmann, Yuen Man Hon: Generating Scenarios by Multi-Object Checking. Electr. Notes Theor. Comput. Sci. 190(2): 61-72 (2007) |
| 2003 | ||
| 2 | Maik Kollmann: Effiziente Scheduling ohne Algorithmus. Grundlagen von Datenbanken 2003: 98-102 | |
| 1 | EE | Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger: Checking Object System Designs Incrementally. J. UCS 9(2): 106-119 (2003) |
| 1 | Hans-Dieter Ehrich | [1] |
| 2 | Yuen Man Hon | [3] |
| 3 | Olivera Pavlovic | [4] |
| 4 | Ralf Pinger | [1] [4] |