From Algorithms to Working Programs: On the Use of Program Checking in LEDA

Formal verification with Isabelle/HOL in practice: finding a bug in the GCC scheduler

FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems

Algorithm engineering: bridging the gap between algorithm theory and practice

Algorithm engineering: bridging the gap between algorithm theory and practice

Survey: Certifying algorithms

Computer Science Review

Certifying 3-connectivity in linear time

ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part I