| |
| 2003 | ||
|---|---|---|
| 6 | EE | Sibylle Peuker, Ian J. Hayes: Reasoning about Deadlines in Concurrent Real-Time Programs. IPDPS 2003: 237 |
| 5 | EE | Sibylle Peuker: Concurrency Based Transition Refinement for the Verification of Distributed Algorithms. Petri Net Technology for Communication-Based Systems 2003: 430-454 |
| 2002 | ||
| 4 | EE | Sibylle Peuker: Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm. ICATPN 2002: 374-393 |
| 3 | EE | Sibylle Peuker, Ian J. Hayes: Towards a Refinement Calculus for Concurrent Real-Time Programs. ICFEM 2002: 335-346 |
| 2001 | ||
| 2 | EE | Sibylle Peuker: Property Preserving Transition Refinement with Concurrent Runs: An Example. ACSD 2001: 77-86 |
| 1999 | ||
| 1 | Ekkart Kindler, Sibylle Peuker: Integrating Distributed Algorithms into Distributed Systems. Fundam. Inform. 37(3): 291-308 (1999) | |
| 1 | Ian J. Hayes | [3] [6] |
| 2 | Ekkart Kindler | [1] |