Christina Rickmann

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 4

Top Topics

Top Venues

Arch. Formal Proofs

Publications

Christina Rickmann
Topological Self-Stabilization with Name-Passing Process Calculi. CoRR (2016)
Christina Rickmann, Christoph Wagner, Uwe Nestmann, Stefan Schmid
Topological Self-Stabilization with Name-Passing Process Calculi. CONCUR (2016)
Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
A Constructive Proof for FLP. Arch. Formal Proofs 2016 (2016)
Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
Mechanical Verification of a Constructive Proof for FLP. ITP (2016)
Philipp Küfner, Uwe Nestmann, Christina Rickmann
Formal Verification of Distributed Algorithms - From Pseudo Code to Checked Proofs. IFIP TCS (2012)