The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jan Smans: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.040secs, Finished in 0.040secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002