Bart Jacobs
Bart Jacobs
Professor of Computer Science, Katholieke Universiteit Leuven
Verified email at cs.kuleuven.be - Homepage
Title
Cited by
Cited by
Year
Boogie: A modular reusable verifier for object-oriented programs
M Barnett, BYE Chang, R DeLine, B Jacobs, KRM Leino
International Symposium on Formal Methods for Components and Objects, 364-387, 2005
9752005
VeriFast: A powerful, sound, predictable, fast verifier for C and Java
B Jacobs, J Smans, P Philippaerts, F Vogels, W Penninckx, F Piessens
NASA Formal Methods, 41-55, 2011
2952011
Implicit dynamic frames: Combining dynamic frames and separation logic
J Smans, B Jacobs, F Piessens
ECOOP 2009–Object-Oriented Programming, 148-172, 2009
1612009
The VeriFast program verifier
B Jacobs, F Piessens
CW Reports, 2008
1422008
A quick tour of the VeriFast program verifier
B Jacobs, J Smans, F Piessens
Programming Languages and Systems, 304-311, 2010
1382010
Expressive modular fine-grained concurrency specification
B Jacobs, F Piessens
ACM SIGPLAN Notices 46 (1), 271-282, 2011
1042011
The Spec# programming system: Challenges and directions
M Barnett, R DeLine, M Fähndrich, B Jacobs, KRM Leino, W Schulte, ...
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2005
972005
Secure compilation to protected module architectures
M Patrignani, P Agten, R Strackx, B Jacobs, D Clarke, F Piessens
ACM Transactions on Programming Languages and Systems (TOPLAS) 37 (2), 1-50, 2015
862015
Secure compilation to modern processors
P Agten, R Strackx, B Jacobs, F Piessens
2012 IEEE 25th Computer Security Foundations Symposium, 171-185, 2012
852012
Safe concurrency for aggregate objects with invariants
B Jacobs, KRM Leino, F Piessens, W Schulte
Third IEEE International Conference on Software Engineering and Formal …, 2005
822005
The 1st verified software competition: Experience report
V Klebanov, P Müller, N Shankar, G Leavens, V Wüstholz, E Alkassar, ...
FM 2011: Formal Methods, 154-168, 2011
652011
An automatic verifier for Java-like programs based on dynamic frames
J Smans, B Jacobs, F Piessens, W Schulte
Proceedings of the Theory and practice of software, 11th international …, 2008
632008
Implicit dynamic frames
J Smans, B Jacobs, F Piessens
ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (1), 1-58, 2012
572012
Implicit dynamic frames
J Smans, B Jacobs, F Piessens
ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (1), 1-58, 2012
572012
Software verification with VeriFast: Industrial case studies
P Philippaerts, JT Mühlberg, W Penninckx, J Smans, B Jacobs, ...
Science of Computer Programming 82, 77-97, 2014
512014
A statically verifiable programming model for concurrent object-oriented programs
B Jacobs, J Smans, F Piessens, W Schulte
Formal Methods and Software Engineering, 420-439, 2006
482006
Rod Chapman, Ernie Cohen, Mark Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas …
V Klebanov, P Müller, N Shankar, GT Leavens, V Wüstholz, E Alkassar, ...
Benjamin Weiß, The 1st verified software competition: experience report …, 2011
412011
Threat modelling for web services based web applications
L Desmet, B Jacobs, F Piessens, W Joosen
Communications and Multimedia Security, 131-144, 2005
382005
Security monitor inlining for multithreaded java
M Dam, B Jacobs, A Lundblad, F Piessens
ECOOP 2009–Object-Oriented Programming, 546-569, 2009
362009
Sound modular verification of C code executing in an unverified context
P Agten, B Jacobs, F Piessens
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
342015
The system can't perform the operation now. Try again later.
Articles 1–20