Search results for "Jan Smans"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jan Smans, Bart Jacobs, Frank Piessens	Implicit dynamic frames.	ACM Trans. Program. Lang. Syst.	2012	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Pieter Philippaerts, Frédéric Vogels, Jan Smans, Bart Jacobs, Frank Piessens	The Belgian Electronic Identity Card: a Verification Case Study.	ECEASST	2011	DBLP BibTeX RDF
1	Frédéric Vogels, Bart Jacobs, Frank Piessens, Jan Smans	Annotation Inference for Separation Logic Based Verifiers.	FMOODS/FORTE	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Bart Jacobs, Jan Smans, Frank Piessens	Verification of Unloadable Modules.	FM	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte	Automatic verification of Java programs with dynamic frames.	Formal Asp. Comput.	2010	DBLP DOI BibTeX RDF
1	Jan Smans, Bart Jacobs, Frank Piessens	Heap-Dependent Expressions in Separation Logic.	FMOODS/FORTE	2010	DBLP DOI BibTeX RDF
1	Bart Jacobs, Jan Smans, Frank Piessens	A Quick Tour of the VeriFast Program Verifier.	APLAS	2010	DBLP DOI BibTeX RDF
1	K. Rustan M. Leino, Peter Müller, Jan Smans	Deadlock-Free Channels and Locks.	ESOP	2010	DBLP DOI BibTeX RDF
1	K. Rustan M. Leino, Peter Müller, Jan Smans	Verification of Concurrent Programs with Chalice.	FOSAD	2009	DBLP DOI BibTeX RDF
1	Jan Smans, Bart Jacobs 0002, Frank Piessens	Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic.	ECOOP	2009	DBLP DOI BibTeX RDF
1	Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte	A programming model for concurrent object-oriented programs.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	verification condition generation, Aliasing, data races, ownership, modular reasoning, local reasoning
1	Jan Smans, Bart Jacobs 0002, Frank Piessens	VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language.	FMOODS	2008	DBLP DOI BibTeX RDF
1	Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfram Schulte	An Automatic Verifier for Java-Like Programs Based on Dynamic Frames.	FASE	2008	DBLP DOI BibTeX RDF
1	Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte	A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Jan Smans, Bart Jacobs 0002, Frank Piessens	Static Verification of Code Access Security Policy Compliance of .NET Applications.	Journal of Object Technology	2006	DBLP DOI BibTeX RDF
1	Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte	A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Bart De Win, Frank Piessens, Jan Smans, Wouter Joosen	Towards a unifying view on security contracts.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	secure software engineering, security contracts, component technology

Publications of "Jan Smans" ( http://dblp.L3S.de/Authors/Jan_Smans )