VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java. - Bart Jacobs 002; Jan Smans; Pieter Philippaerts; Frédéric Vogels; Willem Penninckx; Frank Piessens (NASA Formal Methods, 2011)

Sound Formal Verification of Linux's USB BP Keyboard Driver. - Willem Penninckx; Jan Tobias Mühlberg; Jan Smans; Bart Jacobs 002; Frank Piessens (NASA Formal Methods, 2012)

Software verification with VeriFast: Industrial case studies. - Pieter Philippaerts; Jan Tobias Mühlberg; Willem Penninckx; Jan Smans; Bart Jacobs 002; Frank Piessens (Sci. Comput. Program., 2014)

Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs. - Willem Penninckx; Bart Jacobs 002; Frank Piessens (ESOP, 2015)

Modular Semi-automatic Formal Verification of Critical Systems Software ; Modulaire halfautomatische formele verificatie van kritische systeemsoftware. - Willem Penninckx (2017)

Specifying I/O using abstract nested hoare triples in separation logic. - Willem Penninckx; Amin Timany; Bart Jacobs 002 (FTfJP@ECOOP, 2019)

Abstract I/O Specification. - Willem Penninckx; Amin Timany; Bart Jacobs 002 (CoRR, 2019)