Jan Smans

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 1

Top Venues

Int. J. Softw. Tools Technol. Transf.

Sci. Comput. Program.

NASA Formal Methods

ACM Trans. Program. Lang. Syst.

Katholieke Universiteit Leuven, Belgium (PHD)

Education History

Katholieke Universiteit Leuven, Belgium

PHD

Publications

Bart Jacobs, Jan Smans, Frank Piessens
Solving the VerifyThis 2012 challenges with VeriFast. Int. J. Softw. Tools Technol. Transf. 17 (6) (2015)
Pieter Philippaerts, Jan Tobias Mühlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens
Software verification with VeriFast: Industrial case studies. Sci. Comput. Program. 82 (2014)
Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs, Frank Piessens
Sound Formal Verification of Linux's USB BP Keyboard Driver. NASA Formal Methods (2012)
Jan Smans, Bart Jacobs, Frank Piessens
Implicit dynamic frames. ACM Trans. Program. Lang. Syst. 34 (1) (2012)
Bart Jacobs, Jan Smans, Frank Piessens
Verification of Unloadable Modules. FM (2011)
Bart Jacobs, Jan Smans, Pieter Philippaerts, Frédéric Vogels, Willem Penninckx, Frank Piessens
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java. NASA Formal Methods (2011)
Frédéric Vogels, Bart Jacobs, Frank Piessens, Jan Smans
Annotation Inference for Separation Logic Based Verifiers. FMOODS/FORTE (2011)
Pieter Philippaerts, Frédéric Vogels, Jan Smans, Bart Jacobs, Frank Piessens
The Belgian Electronic Identity Card: a Verification Case Study. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
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ß
The 1st Verified Software Competition: Experience Report. FM (2011)
Bart Jacobs, Jan Smans, Frank Piessens
A Quick Tour of the VeriFast Program Verifier. APLAS (2010)
Jan Smans, Bart Jacobs, Frank Piessens
Heap-Dependent Expressions in Separation Logic. FMOODS/FORTE (2010)
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte
Automatic verification of Java programs with dynamic frames. Formal Aspects Comput. 22 (3-4) (2010)
K. Rustan M. Leino, Peter Müller, Jan Smans
Deadlock-Free Channels and Locks. ESOP (2010)
K. Rustan M. Leino, Peter Müller, Jan Smans
Verification of Concurrent Programs with Chalice. FOSAD (2009)
Jan Smans, Bart Jacobs, Frank Piessens
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic. ECOOP (2009)
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. FASE (2008)
Jan Smans, Bart Jacobs, Frank Piessens
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language. FMOODS (2008)
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)
Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. Electron. Notes Theor. Comput. Sci. 174 (9) (2007)
Jan Smans, Bart Jacobs, Frank Piessens
Static Verification of Code Access Security Policy Compliance of .NET Applications. J. Object Technol. 5 (3) (2006)
Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. ICFEM (2006)
Bart De Win, Frank Piessens, Jan Smans, Wouter Joosen
Towards a unifying view on security contracts. SESS@ICSE (2005)
Bart De Win, Frank Piessens, Jan Smans, Wouter Joosen
Towards a unifying view on security contracts. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)

Jan Smans.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan Smans