A Machine Checked Soundness Proof for an Intermediate Verification Language. - Frédéric Vogels; Bart Jacobs 002; Frank Piessens (SOFSEM, 2009)

A machine-checked soundness proof for an efficient verification condition generator. - Frédéric Vogels; Bart Jacobs 002; Frank Piessens (SAC, 2010)

Annotation Inference for Separation Logic Based Verifiers. - Frédéric Vogels; Bart Jacobs 002; Frank Piessens; Jan Smans (FMOODS/FORTE, 2011)

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)

The Belgian Electronic Identity Card: a Verification Case Study. - Pieter Philippaerts; Frédéric Vogels; Jan Smans; Bart Jacobs 002; Frank Piessens (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Formalisation and Soundness of Static Verification Algorithms for Imperative Programs (Formalisatie en correctheid van statische verificatiealgoritmes voor imperatieve programma's). - Frédéric Vogels (2012)

Idea: Towards an Inverted Cloud. - Raoul Strackx; Pieter Philippaerts; Frédéric Vogels (ESSoS, 2015)

Featherweight VeriFast. - Frédéric Vogels; Bart Jacobs 002; Frank Piessens (Log. Methods Comput. Sci., 2015)