Formal Verification of Distributed Algorithms - From Pseudo Code to Checked Proofs. - Philipp Küfner; Uwe Nestmann; Christina Rickmann (IFIP TCS, 2012)

Topological Self-Stabilization with Name-Passing Process Calculi. - Christina Rickmann; Christoph Wagner; Uwe Nestmann; Stefan Schmid 001 (CONCUR, 2016)

Mechanical Verification of a Constructive Proof for FLP. - Benjamin Bisping; Paul-David Brodmann; Tim Jungnickel; Christina Rickmann; Henning Seidler; Anke Stüber; Arno Wilhelm-Weidner; Kirstin Peters; Uwe Nestmann (ITP, 2016)

A Constructive Proof for FLP. - Benjamin Bisping; Paul-David Brodmann; Tim Jungnickel; Christina Rickmann; Henning Seidler; Anke Stüber; Arno Wilhelm-Weidner; Kirstin Peters; Uwe Nestmann (Arch. Formal Proofs, 2016)

Topological Self-Stabilization with Name-Passing Process Calculi. - Christina Rickmann (CoRR, 2016)