The SCEAS System
Navigation Menu

Search the dblp DataBase


Bart Jacobs 0002: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.016secs, Finished in 0.017secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002