dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jan Smans (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWillem 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: 210-215
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Smans, Bart Jacobs, Frank Piessens: Implicit dynamic frames. ACM Trans. Program. Lang. Syst. 34(1): 2 (2012)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimir 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: 154-168
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Jacobs, Jan Smans, Frank Piessens: Verification of Unloadable Modules. FM 2011: 402-416
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Vogels, Bart Jacobs, Frank Piessens, Jan Smans: Annotation Inference for Separation Logic Based Verifiers. FMOODS/FORTE 2011: 319-333
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart 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: 41-55
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter Philippaerts, Frédéric Vogels, Jan Smans, Bart Jacobs, Frank Piessens: The Belgian Electronic Identity Card: a Verification Case Study. ECEASST 46: (2011)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Jacobs, Jan Smans, Frank Piessens: A Quick Tour of the VeriFast Program Verifier. APLAS 2010: 304-311
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Smans, Bart Jacobs, Frank Piessens: Heap-Dependent Expressions in Separation Logic. FMOODS/FORTE 2010: 170-185
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte: Automatic verification of Java programs with dynamic frames. Formal Asp. Comput. 22(3-4): 423-457 (2010)

Selection of 10 from 20 records - Jan Smans has 29 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page