Willem Penninckx

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 2

Top Topics

Formal Verification

Industrial Environment

Top Venues

Sci. Comput. Program.

NASA Formal Methods

Katholieke Universiteit Leuven, Belgium (PHD)

Education History

Katholieke Universiteit Leuven, Belgium

PHD

Publications

Willem Penninckx, Amin Timany, Bart Jacobs
Specifying I/O using abstract nested hoare triples in separation logic. FTfJP@ECOOP (2019)
Willem Penninckx, Amin Timany, Bart Jacobs
Abstract I/O Specification. CoRR (2019)
Willem Penninckx, Bart Jacobs, Frank Piessens
Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs. ESOP (2015)
Pieter Philippaerts, Jan Tobias Mühlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens
Software verification with VeriFast: Industrial case studies. Sci. Comput. Program. 82 (2014)
Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs, Frank Piessens
Sound Formal Verification of Linux's USB BP Keyboard Driver. NASA Formal Methods (2012)
Bart Jacobs, Jan Smans, Pieter Philippaerts, Frédéric Vogels, Willem Penninckx, Frank Piessens
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java. NASA Formal Methods (2011)