| 2008 |
|---|
| 7 | EE | Jan Smans,
Bart Jacobs,
Frank Piessens,
Wolfram Schulte:
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames.
FASE 2008: 261-275 |
| 6 | EE | Jan Smans,
Bart Jacobs,
Frank Piessens:
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language.
FMOODS 2008: 220-239 |
| 5 | EE | 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 | EE | 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 | EE | Bart Jacobs,
Jan Smans,
Frank Piessens,
Wolfram Schulte:
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs.
ICFEM 2006: 420-439 |
| 2 | EE | 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 | EE | 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) |
