| 1998 |
|---|
| 8 | EE | Stephan Kleuker:
Reengineering of Distributed Systems Using Formal Methods.
CSMR 1998: 189-192 |
| 1997 |
|---|
| 7 | | Stephan Kleuker:
Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen.
FBT 1997: 175-184 |
| 6 | | Stephan Kleuker:
Formalizing Requirements for Distributed Systems with Trace Diagrams.
FME 1997: 102-121 |
| 5 | | Stephan Kleuker:
Incremental Development of Deadlock-Free Communicating Systems.
TACAS 1997: 306-320 |
| 1996 |
|---|
| 4 | | Stephan Kleuker,
Hermann Tjabben:
The Incremental Development of Correct Specifications for Distributed Systems.
FME 1996: 479-498 |
| 3 | | Stephan Kleuker:
Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems.
FORTE 1996: 113-128 |
| 1995 |
|---|
| 2 | | Stephan Kleuker:
A Gentle Introduction to Specification Engineering Using a Case Study in Telecommunications.
TAPSOFT 1995: 636-650 |
| 1993 |
|---|
| 1 | | Stephan Kleuker:
Case Study: Stepwise Development of a Communication Processor Using Trace Logic.
Semantics of Specification Languages 1993: 252-269 |
