Bart Jacobs

Katholieke Universiteit Leuven, Belgium

other persons with the same name:

• Bart Jacobs - Radboud University Nijmegen, The Netherlands

	2009
16		Jan Smans, Bart Jacobs, Frank Piessens: Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic. ECOOP 2009: 148-172
15		Bart Jacobs, Frank Piessens: Failboxes: Provably Safe Exception Handling. ECOOP 2009: 470-494
14		Mads Dam, Bart Jacobs, Andreas Lundblad, Frank Piessens: Security Monitor Inlining for Multithreaded Java. ECOOP 2009: 546-569
13		Frédéric Vogels, Bart Jacobs, Frank Piessens: A Machine Checked Soundness Proof for an Intermediate Verification Language. SOFSEM 2009: 570-581
	2008
12		Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte: An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. FASE 2008: 261-275
11		Jan Smans, Bart Jacobs, Frank Piessens: VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language. FMOODS 2008: 220-239
10		Bart Jacobs, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte: A programming model for concurrent object-oriented programs. ACM Trans. Program. Lang. Syst. 31(1): (2008)
	2007
9		Bart Jacobs, Peter Müller, Frank Piessens: Sound reasoning about unchecked exceptions. SEFM 2007: 113-122
8		Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte: A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. Electr. Notes Theor. Comput. Sci. 174(9): 23-47 (2007)
	2006
7		Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte: A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. ICFEM 2006: 420-439
6		Jan Smans, Bart Jacobs, Frank Piessens: Static Verification of Code Access Security Policy Compliance of .NET Applications. Journal of Object Technology 5(3): 35-58 (2006)
	2005
5		Michael Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs, K. Rustan M. Leino: Boogie: A Modular Reusable Verifier for Object-Oriented Programs. FMCO 2005: 364-387
4		Bart Jacobs, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte: Safe Concurrency for Aggregate Objects with Invariants. SEFM 2005: 137-147
3		Michael Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs, K. Rustan M. Leino, Wolfram Schulte, Herman Venter: The Spec# Programming System: Challenges and Directions. VSTTE 2005: 144-152
	2004
2		Frank Piessens, Bart Jacobs, Eddy Truyen, Wouter Joosen: Support for Metadata-driven Selection of Run-time Services in .NET is Promising but Immature. Journal of Object Technology 3(2): 27-35 (2004)
	2003
1		Frank Piessens, Bart Jacobs, Wouter Joosen: Software security: experiments on the .NET common language run-time and the shared source common language infrastructure. IEE Proceedings - Software 150(5): 303-307 (2003)

Coauthor Index

1	Michael Barnett	[3] [5]
2	Bor-Yuh Evan Chang	[5]
3	Mads Dam	[14]
4	Robert DeLine	[3] [5]
5	Manuel Fähndrich	[3]
6	Wouter Joosen	[1] [2]
7	K. Rustan M. Leino	[3] [4] [5] [10]
8	Andreas Lundblad	[14]
9	Peter Müller	[9]
10	Frank Piessens	[1] [2] [4] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
11	Wolfram Schulte	[3] [4] [7] [8] [10] [12]
12	Jan Smans	[6] [7] [8] [10] [11] [12] [16]
13	Eddy Truyen	[2]
14	Herman Venter	[3]
15	Frédéric Vogels	[13]