Follow
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
Formal Methods for Components and Objects: 4th International Symposium, FMCO …, 2006
13042006
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
5372011
Implicit dynamic frames: Combining dynamic frames and separation logic
J Smans, B Jacobs, F Piessens
ECOOP 2009–Object-Oriented Programming, 148-172, 2009
2012009
A quick tour of the VeriFast program verifier
B Jacobs, J Smans, F Piessens
Programming Languages and Systems, 304-311, 2010
1842010
The VeriFast program verifier
B Jacobs, F Piessens
Technical Report CW-520, Department of Computer Science, Katholieke …, 2008
1732008
Expressive modular fine-grained concurrency specification
B Jacobs, F Piessens
ACM SIGPLAN Notices 46 (1), 271-282, 2011
1412011
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
1152015
The Spec# programming system: Challenges and directions
M Barnett, R DeLine, M Fähndrich, B Jacobs, KRM Leino, W Schulte, ...
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 …, 2008
1052008
Secure compilation to modern processors
P Agten, R Strackx, B Jacobs, F Piessens
2012 IEEE 25th Computer Security Foundations Symposium, 171-185, 2012
972012
Implicit dynamic frames
J Smans, B Jacobs, F Piessens
ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (1), 1-58, 2012
972012
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
942005
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
812011
The future is ours: prophecy variables in separation logic
R Jung, R Lepigre, G Parthasarathy, M Rapoport, A Timany, D Dreyer, ...
Proceedings of the ACM on Programming Languages 4 (POPL), 1-32, 2019
752019
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
732008
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
662014
Featherweight VeriFast
F Vogels, B Jacobs, F Piessens
54*
ICE: A passive, high-speed, state-continuity scheme
R Strackx, B Jacobs, F Piessens
Proceedings of the 30th Annual Computer Security Applications Conference …, 2014
512014
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
482015
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
Sound, modular and compositional verification of the input/output behavior of programs
W Penninckx, B Jacobs, F Piessens
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
442015
The system can't perform the operation now. Try again later.
Articles 1–20