Willem Penninckx

According to our database, Willem Penninckx authored at least 7 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Abstract I/O Specification.

Willem Penninckx, Amin Timany, Bart Jacobs

CoRR, 2019

Specifying I/O using abstract nested hoare triples in separation logic.

Willem Penninckx, Amin Timany, Bart Jacobs

Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, 2019

2017

Modular Semi-automatic Formal Verification of Critical Systems Software ; Modulaire halfautomatische formele verificatie van kritische systeemsoftware.

Willem Penninckx

PhD thesis, 2017

2015

Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs.

Willem Penninckx, Bart Jacobs, Frank Piessens

Proceedings of the Programming Languages and Systems, 2015

2014

Software verification with VeriFast: Industrial case studies.

Pieter Philippaerts, Jan Tobias Mühlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens

Sci. Comput. Program., 2014

2012

Sound Formal Verification of Linux's USB BP Keyboard Driver.

Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs, Frank Piessens

Proceedings of the NASA Formal Methods, 2012

2011

VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java.

Bart Jacobs, Jan Smans, Pieter Philippaerts, Frédéric Vogels, Willem Penninckx, Frank Piessens

Proceedings of the NASA Formal Methods, 2011