Stephan Kleuker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1996–2011
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | GI | From business modeling to verified applications. | Christian Ammann, Stephan Kleuker, Elke Pulvermller |
| 1997 | FM | Formalizing Requirements for Distributed Systems with Trace Diagrams. | Stephan Kleuker |
| 1997 | TACAS | Incremental Development of Deadlock-Free Communicating Systems. | Stephan Kleuker |
| 1996 | FM | The Incremental Development of Correct Specifications for Distributed Systems. | Stephan Kleuker, Hermann Tjabben |
| 1996 | FORTE | Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems. | Stephan Kleuker |