Search the dblp DataBase

Publications of Author

1. Michael Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs 0002, K. Rustan M. Leino
   Boogie: A Modular Reusable Verifier for Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
   FMCO, 2005, pp:364-387 [Conf]
   
2. Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte
   A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2006, pp:420-439 [Conf]
   
3. Bart Jacobs 0002, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte
   Safe Concurrency for Aggregate Objects with Invariants. [Citation Graph (0, 0)][DBLP]
   SEFM, 2005, pp:137-147 [Conf]
   
4. Frank Piessens, Bart Jacobs 0002, Wouter Joosen
   Software security: experiments on the .NET common language run-time and the shared source common language infrastructure. [Citation Graph (0, 0)][DBLP]
   IEE Proceedings - Software, 2003, v:150, n:5, pp:303-307 [Journal]
   
5. Frank Piessens, Bart Jacobs 0002, Eddy Truyen, Wouter Joosen
   Support for Metadata-driven Selection of Run-time Services in .NET is Promising but Immature. [Citation Graph (0, 0)][DBLP]
   Journal of Object Technology, 2004, v:3, n:2, pp:27-35 [Journal]
   
6. Jan Smans, Bart Jacobs 0002, Frank Piessens
   Static Verification of Code Access Security Policy Compliance of .NET Applications. [Citation Graph (0, 0)][DBLP]
   Journal of Object Technology, 2006, v:5, n:3, pp:35-58 [Journal]
   
7. Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte
   A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:9, pp:23-47 [Journal]
   
8. 
   Failboxes: Provably Safe Exception Handling. [Citation Graph (, )][DBLP]
   
   
9. 
   Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic. [Citation Graph (, )][DBLP]
   
   
10. 
    Security Monitor Inlining for Multithreaded Java. [Citation Graph (, )][DBLP]
    
    
11. 
    An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. [Citation Graph (, )][DBLP]
    
    
12. 
    VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language. [Citation Graph (, )][DBLP]
    
    
13. 
    A machine-checked soundness proof for an efficient verification condition generator. [Citation Graph (, )][DBLP]
    
    
14. 
    Sound reasoning about unchecked exceptions. [Citation Graph (, )][DBLP]
    
    
15. 
    A Machine Checked Soundness Proof for an Intermediate Verification Language. [Citation Graph (, )][DBLP]
    
    
16. 
    The Spec# Programming System: Challenges and Directions. [Citation Graph (, )][DBLP]