Search the dblp DataBase

Publications of Author

1. 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]
   
2. 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]
   
3. 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]
   
4. 
   Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic. [Citation Graph (, )][DBLP]
   
   
5. 
   Deadlock-Free Channels and Locks. [Citation Graph (, )][DBLP]
   
   
6. 
   An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. [Citation Graph (, )][DBLP]
   
   
7. 
   VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language. [Citation Graph (, )][DBLP]
   
   
8. 
   Heap-Dependent Expressions in Separation Logic. [Citation Graph (, )][DBLP]
   
   
9. 
   Verification of Concurrent Programs with Chalice. [Citation Graph (, )][DBLP]