Jan Smans
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2005–2011
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | FM | Verification of Unloadable Modules. | Bart Jacobs, Jan Smans, Frank Piessens |
| 2011 | FM | The 1st Verified Software Competition: Experience Report. | Vladimir Klebanov, Peter Mller, Natarajan Shankar, Gary T. Leavens, Valentin Wstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Wei |
| 2011 | FORTE | Annotation Inference for Separation Logic Based Verifiers. | Frdric Vogels, Bart Jacobs, Frank Piessens, Jan Smans |
| 2010 | APLAS | A Quick Tour of the VeriFast Program Verifier. | Bart Jacobs, Jan Smans, Frank Piessens |
| 2010 | ESOP | Deadlock-Free Channels and Locks. | K. Rustan M. Leino, Peter Mller, Jan Smans |
| 2010 | FORTE | Heap-Dependent Expressions in Separation Logic. | Jan Smans, Bart Jacobs, Frank Piessens |
| 2009 | ECOOP | Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic. | Jan Smans, Bart Jacobs, Frank Piessens |
| 2008 | FASE | An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. | Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte |
| 2006 | ICFEM | A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. | Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte |
| 2005 | ICSE | Towards a unifying view on security contracts. | Bart De Win, Frank Piessens, Jan Smans, Wouter Joosen |