A Formal Verification Study on the Rotterdam Storm Surge Barrier. - Ken Madlener; Sjaak Smetsers; Marko C. J. D. van Eekelen (ICFEM, 2010)

Reasoning about Assignments in Recursive Data Structures. - Alejandro Tamalet; Ken Madlener (SBMF, 2010)

Formal Component-Based Semantics - Ken Madlener; Sjaak Smetsers; Marko C. J. D. van Eekelen (SOS, 2011)

Modular Bialgebraic Semantics and Algebraic Laws. - Ken Madlener; Sjaak Smetsers; Marko C. J. D. van Eekelen (SBLP, 2013)

GSOS Formalized in Coq. - Ken Madlener; Sjaak Smetsers (TASE, 2013)

Formalizing Bialgebraic Semantics in PVS 6.0. - Sjaak Smetsers; Ken Madlener; Marko C. J. D. van Eekelen (WPTE@RDP, 2015)