| |
| 2001 | ||
|---|---|---|
| 5 | EE | Robert Eschbach: A Verification Approach for Distributed Abstract State Machines. Ershov Memorial Conference 2001: 109-115 |
| 4 | EE | Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis, Andreas Prinz: Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models. J. UCS 7(11): 1024-1049 (2001) |
| 2000 | ||
| 3 | EE | Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz: On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine. Abstract State Machines 2000: 242-265 |
| 2 | Andreas Prinz, Robert Eschbach, Reinhard Gotzhein: A Executable Formal Semantics for SDL-2000. SAM 2000: 249-261 | |
| 1999 | ||
| 1 | EE | Robert Eschbach: A Termination Detection Algorithm: Specification and Verification. World Congress on Formal Methods 1999: 1720-1737 |
| 1 | Uwe Glässer | [3] [4] |
| 2 | Reinhard Gotzhein | [2] [3] [4] |
| 3 | Martin von Löwis | [4] |
| 4 | Andreas Prinz | [2] [3] [4] |