Sibylle Peuker

According to our database, Sibylle Peuker authored at least 8 papers between 1999 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2006

Buchrezension: Resilience Engineering.

Sibylle Peuker

MMI Interakt., 2006

2003

Reasoning about Deadlines in Concurrent Real-Time Programs.

Sibylle Peuker, Ian J. Hayes

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Concurrency Based Transition Refinement for the Verification of Distributed Algorithms.

Sibylle Peuker

Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

2002

Towards a Refinement Calculus for Concurrent Real-Time Programs.

Sibylle Peuker, Ian J. Hayes

Proceedings of the Formal Methods and Software Engineering, 2002

Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm.

Sibylle Peuker

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001

Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen.

Sibylle Peuker

PhD thesis, 2001

Property Preserving Transition Refinement with Concurrent Runs: An Example.

Sibylle Peuker

Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

1999

Integrating Distributed Algorithms into Distributed Systems.

Ekkart Kindler, Sibylle Peuker

Fundam. Informaticae, 1999