| |
| 2005 | ||
|---|---|---|
| 5 | EE | Yosef Rauchwerger, Finn Kristoffersen, Yair Lahav: Cinderella SLIPPER: An SDL to C-Code Generator. SDL Forum 2005: 210-223 |
| 1996 | ||
| 4 | EE | Finn Kristoffersen, Thomas Walter: TTCN: Towards a Formal Semantics and Validation of Test Suites. Computer Networks and ISDN Systems 29(1): 15-47 (1996) |
| 1992 | ||
| 3 | Finn Kristoffersen, Louis Verhaard, Michael Zeeberg: Test derivation for SDL based on ACTs. FORTE 1992: 381-396 | |
| 2 | Jan Ellsberger, Finn Kristoffersen: Testability in the Context of SDL. PSTV 1992: 319-333 | |
| 1 | Thomas Walter, Jan Ellsberger, Finn Kristoffersen, Paul van den Merkhof: A Common Semantics Representation for SDL and TTCN. PSTV 1992: 335-346 | |
| 1 | Jan Ellsberger | [1] [2] |
| 2 | Yair Lahav | [5] |
| 3 | Paul van den Merkhof | [1] |
| 4 | Yosef Rauchwerger | [5] |
| 5 | Louis Verhaard | [3] |
| 6 | Thomas Walter | [1] [4] |
| 7 | Michael Zeeberg | [3] |