Bart Jacobs

Katholieke Universiteit Leuven, Belgium

other persons with the same name:

• Bart Jacobs - Radboud University Nijmegen, The Netherlands

2009
15	EE	Frédéric Vogels, Bart Jacobs, Frank Piessens: A Machine Checked Soundness Proof for an Intermediate Verification Language. SOFSEM 2009: 570-581
2008
14	EE	Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte: An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. FASE 2008: 261-275
13	EE	Jan Smans, Bart Jacobs, Frank Piessens: VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language. FMOODS 2008: 220-239
12	EE	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
11	EE	Bart Jacobs, Peter Müller, Frank Piessens: Sound reasoning about unchecked exceptions. SEFM 2007: 113-122
10	EE	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
9	EE	Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte: A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. ICFEM 2006: 420-439
8	EE	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
7	EE	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
6	EE	Bart Jacobs, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte: Safe Concurrency for Aggregate Objects with Invariants. SEFM 2005: 137-147
5	EE	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
4	EE	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
3	EE	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)
2000
2	EE	Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 2000: 41-54
1999
1	EE	Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 1999: 97-115

Coauthor Index

1	Michael Barnett	[5] [7]
2	Bor-Yuh Evan Chang	[7]
3	Robert DeLine	[5] [7]
4	Sophia Drossopoulou	[2]
5	Susan Eisenbach	[2]
6	Manuel Fähndrich	[5]
7	Wouter Joosen	[3] [4]
8	Gary T. Leavens	[1] [2]
9	K. Rustan M. Leino	[5] [6] [7] [12]
10	Peter Müller	[1] [2] [11]
11	Frank Piessens	[3] [4] [6] [8] [9] [10] [11] [12] [13] [14] [15]
12	Arnd Poetzsch-Heffter	[1] [2]
13	Wolfram Schulte	[5] [6] [9] [10] [12] [14]
14	Jan Smans	[8] [9] [10] [12] [13] [14]
15	Eddy Truyen	[4]
16	Herman Venter	[5]
17	Frédéric Vogels	[15]