Integrating Distributed Algorithms into Distributed Systems. - Ekkart Kindler; Sibylle Peuker (Fundam. Informaticae, 1999)

Property Preserving Transition Refinement with Concurrent Runs: An Example. - Sibylle Peuker (ACSD, 2001)

Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen. - Sibylle Peuker (2001)

Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm. - Sibylle Peuker (ICATPN, 2002)

Towards a Refinement Calculus for Concurrent Real-Time Programs. - Sibylle Peuker; Ian J. Hayes (ICFEM, 2002)

Concurrency Based Transition Refinement for the Verification of Distributed Algorithms. - Sibylle Peuker (Petri Net Technology for Communication-Based Systems, 2003)

Reasoning about Deadlines in Concurrent Real-Time Programs. - Sibylle Peuker; Ian J. Hayes (IPDPS, 2003)

Buchrezension: Resilience Engineering. - Sibylle Peuker (MMI Interakt., 2006)