Towards a unifying view on security contracts. - Bart De Win; Frank Piessens; Jan Smans; Wouter Joosen (ACM SIGSOFT Softw. Eng. Notes, 2005)

A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. - Bart Jacobs 002; Jan Smans; Frank Piessens; Wolfram Schulte (ICFEM, 2006)

A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. - Bart Jacobs 002; Jan Smans; Frank Piessens; Wolfram Schulte (TV@FLoC, 2006)

Static Verification of Code Access Security Policy Compliance of .NET Applications. - Jan Smans; Bart Jacobs 002; Frank Piessens (J. Object Technol., 2006)

An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. - Jan Smans; Bart Jacobs 002; Frank Piessens; Wolfram Schulte (FASE, 2008)

VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language. - Jan Smans; Bart Jacobs 002; Frank Piessens (FMOODS, 2008)

A programming model for concurrent object-oriented programs. - Bart Jacobs 002; Frank Piessens; Jan Smans; K. Rustan M. Leino; Wolfram Schulte (ACM Trans. Program. Lang. Syst., 2008)

Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic. - Jan Smans; Bart Jacobs 002; Frank Piessens (ECOOP, 2009)

Verification of Concurrent Programs with Chalice. - K. Rustan M. Leino; Peter Müller 001; Jan Smans (FOSAD, 2009)

Specification and Automatic Verification of Frame Properties for Java-like Programs (Specificatie en automatische verificatie van frame eigenschappen voor Java-achtige programma's) ; Specification and Automatic Verification of Frame Properties for Java-like Programs. - Jan Smans (2009)

A Quick Tour of the VeriFast Program Verifier. - Bart Jacobs 002; Jan Smans; Frank Piessens (APLAS, 2010)

Deadlock-Free Channels and Locks. - K. Rustan M. Leino; Peter Müller 001; Jan Smans (ESOP, 2010)

Heap-Dependent Expressions in Separation Logic. - Jan Smans; Bart Jacobs 002; Frank Piessens (FMOODS/FORTE, 2010)

Automatic verification of Java programs with dynamic frames. - Jan Smans; Bart Jacobs 002; Frank Piessens; Wolfram Schulte (Formal Aspects Comput., 2010)

Verification of Unloadable Modules. - Bart Jacobs 002; Jan Smans; Frank Piessens (FM, 2011)

The 1st Verified Software Competition: Experience Report. - Vladimir Klebanov; Peter Müller 001; Natarajan Shankar; Gary T. Leavens; Valentin Wüstholz; Eyad Alkassar; Rob Arthan; Derek Bronish; Rod Chapman; Ernie Cohen; Mark A. Hillebrand; Bart Jacobs 002; et al. (FM, 2011)

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)

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)

Implicit dynamic frames. - Jan Smans; Bart Jacobs 002; Frank Piessens (ACM Trans. Program. Lang. Syst., 2012)

VeriFast for Java: A Tutorial. - Jan Smans; Bart Jacobs 002; Frank Piessens (Aliasing in Object-Oriented Programming, 2013)

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)

Solving the VerifyThis 2012 challenges with VeriFast. - Bart Jacobs 002; Jan Smans; Frank Piessens (Int. J. Softw. Tools Technol. Transf., 2015)