Jan Smans

According to our database, Jan Smans authored at least 24 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Solving the VerifyThis 2012 challenges with VeriFast.

Bart Jacobs, Jan Smans, Frank Piessens

Int. J. Softw. Tools Technol. Transf., 2015

2014

Software verification with VeriFast: Industrial case studies.

Pieter Philippaerts, Jan Tobias Mühlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens

Sci. Comput. Program., 2014

2013

VeriFast for Java: A Tutorial.

Jan Smans, Bart Jacobs, Frank Piessens

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

2012

Implicit dynamic frames.

Jan Smans, Bart Jacobs, Frank Piessens

ACM Trans. Program. Lang. Syst., 2012

Sound Formal Verification of Linux's USB BP Keyboard Driver.

Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs, Frank Piessens

Proceedings of the NASA Formal Methods, 2012

2011

The Belgian Electronic Identity Card: a Verification Case Study.

Pieter Philippaerts, Frédéric Vogels, Jan Smans, Bart Jacobs, Frank Piessens

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java.

Bart Jacobs, Jan Smans, Pieter Philippaerts, Frédéric Vogels, Willem Penninckx, Frank Piessens

Proceedings of the NASA Formal Methods, 2011

Annotation Inference for Separation Logic Based Verifiers.

Frédéric Vogels, Bart Jacobs, Frank Piessens, Jan Smans

Proceedings of the Formal Techniques for Distributed Systems, 2011

The 1st Verified Software Competition: Experience Report.

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ß

Proceedings of the FM 2011: Formal Methods, 2011

Verification of Unloadable Modules.

Bart Jacobs, Jan Smans, Frank Piessens

Proceedings of the FM 2011: Formal Methods, 2011

2010

Automatic verification of Java programs with dynamic frames.

Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte

Formal Aspects Comput., 2010

Heap-Dependent Expressions in Separation Logic.

Jan Smans, Bart Jacobs, Frank Piessens

Proceedings of the Formal Techniques for Distributed Systems, 2010

Deadlock-Free Channels and Locks.

K. Rustan M. Leino, Peter Müller, Jan Smans

Proceedings of the Programming Languages and Systems, 2010

A Quick Tour of the VeriFast Program Verifier.

Bart Jacobs, Jan Smans, Frank Piessens

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

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

PhD thesis, 2009

Verification of Concurrent Programs with Chalice.

K. Rustan M. Leino, Peter Müller, Jan Smans

Proceedings of the Foundations of Security Analysis and Design V, 2009

Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic.

Jan Smans, Bart Jacobs, Frank Piessens

Proceedings of the ECOOP 2009, 2009

2008

A programming model for concurrent object-oriented programs.

Bart Jacobs, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte

ACM Trans. Program. Lang. Syst., 2008

VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language.

Jan Smans, Bart Jacobs, Frank Piessens

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

An Automatic Verifier for Java-Like Programs Based on Dynamic Frames.

Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2006

Static Verification of Code Access Security Policy Compliance of .NET Applications.

Jan Smans, Bart Jacobs, Frank Piessens

J. Object Technol., 2006

A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs.

Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte

Proceedings of the Thread Verification Workshop, 2006

A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs.

Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Towards a unifying view on security contracts.

Bart De Win, Frank Piessens, Jan Smans, Wouter Joosen

ACM SIGSOFT Softw. Eng. Notes, 2005