| |
Katholieke Universiteit Leuven, Belgium
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
| 2007 | ||
|---|---|---|
| 8 | EE | Bart Jacobs, Peter Müller, Frank Piessens: Sound reasoning about unchecked exceptions. SEFM 2007: 113-122 |
| 7 | 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 | ||
| 6 | EE | Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte: A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. ICFEM 2006: 420-439 |
| 5 | 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 | ||
| 4 | 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 |
| 3 | EE | Bart Jacobs, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte: Safe Concurrency for Aggregate Objects with Invariants. SEFM 2005: 137-147 |
| 2004 | ||
| 2 | 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 | ||
| 1 | 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) |
| 1 | Michael Barnett | [4] |
| 2 | Bor-Yuh Evan Chang | [4] |
| 3 | Robert DeLine | [4] |
| 4 | Wouter Joosen | [1] [2] |
| 5 | K. Rustan M. Leino | [3] [4] |
| 6 | Peter Müller | [8] |
| 7 | Frank Piessens | [1] [2] [3] [5] [6] [7] [8] |
| 8 | Wolfram Schulte | [3] [6] [7] |
| 9 | Jan Smans | [5] [6] [7] |
| 10 | Eddy Truyen | [2] |