| 2008 |
|---|
| 6 | | Thomas Bauer,
Heiko Stallbaum,
Andreas Metzger,
Robert Eschbach:
Risikobasierte Ableitung und Priorisierung von Testfällen für den modellbasierten Systemtest.
Software Engineering 2008: 99-111 |
| 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 |
