Jan Smans

25 papers A 2B 4C 1Journal 8Unranked 8
YearRankTypeTitle / Venue / Authors
2015 J jnl
Solving the VerifyThis 2012 challenges with VeriFast.
Int. J. Softw. Tools Technol. Transf.
Bart Jacobs, Jan Smans, Frank Piessens
2014 J jnl
Software verification with VeriFast: Industrial case studies.
Sci. Comput. Program.
Pieter Philippaerts, Jan Tobias Mühlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens
2013 — ch.
VeriFast for Java: A Tutorial.
Aliasing in Object-Oriented Programming
Jan Smans, Bart Jacobs, Frank Piessens
2012 J jnl
Implicit dynamic frames.
ACM Trans. Program. Lang. Syst.
Jan Smans, Bart Jacobs, Frank Piessens
2012 — conf
Sound Formal Verification of Linux's USB BP Keyboard Driver.
NASA Formal Methods
Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs, Frank Piessens
2011 — conf
Annotation Inference for Separation Logic Based Verifiers.
FMOODS/FORTE
Frédéric Vogels, Bart Jacobs, Frank Piessens, Jan Smans
2011 B conf
The 1st Verified Software Competition: Experience Report.
FM
Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, 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 J jnl
The Belgian Electronic Identity Card: a Verification Case Study.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Pieter Philippaerts, Frédéric Vogels, Jan Smans, Bart Jacobs, Frank Piessens
2011 — conf
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java.
NASA Formal Methods
Bart Jacobs, Jan Smans, Pieter Philippaerts, Frédéric Vogels, Willem Penninckx, Frank Piessens
2011 B conf
Verification of Unloadable Modules.
FM
Bart Jacobs, Jan Smans, Frank Piessens
2010 B conf
A Quick Tour of the VeriFast Program Verifier.
APLAS
Bart Jacobs, Jan Smans, Frank Piessens
2010 J jnl
Automatic verification of Java programs with dynamic frames.
Formal Aspects Comput.
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte
2010 A conf
Deadlock-Free Channels and Locks.
ESOP
K. Rustan M. Leino, Peter Müller, Jan Smans
2010 — conf
Heap-Dependent Expressions in Separation Logic.
FMOODS/FORTE
Jan Smans, Bart Jacobs, Frank Piessens
2009 A conf
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic.
ECOOP
Jan Smans, Bart Jacobs, Frank Piessens
2009 — —
Specification and Automatic Verification of Frame Properties for Java-like Programs (Specificatie en automatische verificatie van frame eigenschappen voor Java-achtige programma's) ; Specification and Automatic Verification of Frame Properties for Java-like Programs.
Jan Smans
2009 — conf
Verification of Concurrent Programs with Chalice.
FOSAD
K. Rustan M. Leino, Peter Müller, Jan Smans
2008 J jnl
A programming model for concurrent object-oriented programs.
ACM Trans. Program. Lang. Syst.
Bart Jacobs, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte
2008 B conf
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames.
FASE
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte
2008 — conf
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language.
FMOODS
Jan Smans, Bart Jacobs, Frank Piessens
2006 — conf
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs.
TV@FLoC
Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte
2006 C conf
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs.
ICFEM
Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte
2006 J jnl
Static Verification of Code Access Security Policy Compliance of .NET Applications.
J. Object Technol.
Jan Smans, Bart Jacobs, Frank Piessens
2005 — conf
Towards a unifying view on security contracts.
SESS@ICSE
Bart De Win, Frank Piessens, Jan Smans, Wouter Joosen
2005 J jnl
Towards a unifying view on security contracts.
ACM SIGSOFT Softw. Eng. Notes
Bart De Win, Frank Piessens, Jan Smans, Wouter Joosen