Home | Papers | Contact Info | About Me

Bart Jacobs and Frank Piessens.
Subsystems: Provably safe exception handling (Status report) [PDF]
Technical Report CW516, Department of Computer Science, Katholieke Universiteit Leuven, Belgium, May 2008.

Bart Jacobs, Jan Smans, Frank Piessens, and Wolfram Schulte.
A simple sequential reasoning approach for sound modular verification of mainstream multithreaded programs. [PDF (preprint)]
In Electronic Notes on Theoretical Computer Science special issue on Thread Verification (TV06), volume 174, issue 9, pages 23-47, June 2007.

Bart Jacobs, Peter Müller, and Frank Piessens.
Sound reasoning about unchecked exceptions: soundness proof. [PDF]
Technical note.

Bart Jacobs, Peter Müller, and Frank Piessens.
Sound reasoning about unchecked exceptions. [PDF]
Presented at the Fifth International Conference on Software Engineering and Formal Methods (SEFM 2007), London, September 10-14, 2007.

Bart Jacobs and Frank Piessens.
Inspector methods for state abstraction: soundness proof. [PDF]
Technical note.

Bart Jacobs.
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. [Home page]
PhD thesis, defended on February 15, 2007.

Bart Jacobs, Jan Smans, Frank Piessens, and Wolfram Schulte.
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. [PDF] [PPT] [Downloads]
Presented at the Eighth International Conference on Formal Engineering Methods (ICFEM 2006), Macau, October 29-November 3, 2006.

Bart Jacobs, Jan Smans, Frank Piessens, and Wolfram Schulte.
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. [PDF] [PPT]
Presented as an Invited Talk by Wolfram Schulte and Bart Jacobs at the First International Workshop on Multithreading in Hardware and Software: Formal Approaches to Design and Verification (TV06), Seattle, August 21-22, 2006.

Bart Jacobs and Frank Piessens.
Verification of Programs with Inspector Methods. [PDF] [PPT]
Presented at the Eighth Workshop on Formal Techniques for Java-like Programs (FTfJP'2006), Nantes, France, July 4, 2006.

Bart Jacobs, K. Rustan M. Leino, Frank Piessens, and Wolfram Schulte.
Safe Concurrency for Aggregate Objects with Invariants. [PDF] [PPT]
Presented at the Third International Conference on Software Engineering and Formal Methods (SEFM 2005), Koblenz, Germany, September 5-9, 2005.
Accompanied by MSR-TR-2005-85.

Bart Jacobs, Erik Meijer, Frank Piessens, and Wolfram Schulte.
Iterators Revisited: Proof Rules and Implementation. [PDF] [PPT]
Presented at the Seventh Workshop on Formal Techniques for Java-like Programs (FTfJP'2005), Glasgow, UK, July 26, 2005.

Jan Smans, Bart Jacobs, and Frank Piessens.
Static Verification of Code Access Security Policy Compliance of .NET Applications. [PDF]
Presented at the Third International Conference on .NET Technologies (.NET Technologies 2005), Plzen, Czech Republic, May 30-June 1, 2005.

Bart Jacobs, K. Rustan M. Leino, and Wolfram Schulte.
Verification of Multithreaded Object-Oriented Programs with Invariants. [PDF] [PPT]
Presented at the Third Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2004), Newport Beach, CA, USA, October 31-November 1, 2004.
Proceedings available as Technical Report 04-09, Computer Science, Iowa State University.

View all papers

E-mail: