 | 2009 |
|---|
| 9 |       | Jan Smans,
Bart Jacobs,
Frank Piessens:
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic.
ECOOP 2009: 148-172 |
| 8 | | K. Rustan M. Leino,
Peter Müller,
Jan Smans:
Verification of Concurrent Programs with Chalice.
FOSAD 2009: 195-222 |
| 2008 |
|---|
| 7 | | Jan Smans,
Bart Jacobs,
Frank Piessens,
Wolfram Schulte:
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames.
FASE 2008: 261-275 |
| 6 | | Jan Smans,
Bart Jacobs,
Frank Piessens:
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language.
FMOODS 2008: 220-239 |
| 5 | | Bart Jacobs,
Frank Piessens,
Jan Smans,
K. Rustan M. Leino,
Wolfram Schulte:
A programming model for concurrent object-oriented programs.
ACM Trans. Program. Lang. Syst. 31(1): (2008) |
| 2007 |
|---|
| 4 | | 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 |
|---|
| 3 | | Bart Jacobs,
Jan Smans,
Frank Piessens,
Wolfram Schulte:
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs.
ICFEM 2006: 420-439 |
| 2 | | 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 |
|---|
| 1 | | Bart De Win,
Frank Piessens,
Jan Smans,
Wouter Joosen:
Towards a unifying view on security contracts.
ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
