| |
| 2004 | ||
|---|---|---|
| 3 | EE | Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell: A Unifying Semantics for Sequential Function Charts. SoftSpez Final Report 2004: 400-418 |
| 2 | EE | Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg: Verification of PLC Programs Given as Sequential Function Charts. SoftSpez Final Report 2004: 517-540 |
| 2001 | ||
| 1 | EE | Nanette Bauer, Ralf Huuck: Towards Automatic Verification of Embedded Control Software. APAQS 2001: 375-386 |
| 1 | Sebastian Engell | [2] [3] |
| 2 | Ralf Huuck | [1] [2] [3] |
| 3 | Sven Lohmann | [2] |
| 4 | Ben Lukoschus | [2] [3] |
| 5 | Manuel Remelhe | [2] |
| 6 | Olaf Stursberg | [2] |