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 | 1304 | 2006 |
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 | 538 | 2011 |
Implicit dynamic frames: Combining dynamic frames and separation logic J Smans, B Jacobs, F Piessens ECOOP 2009–Object-Oriented Programming, 148-172, 2009 | 201 | 2009 |
A quick tour of the VeriFast program verifier B Jacobs, J Smans, F Piessens Programming Languages and Systems, 304-311, 2010 | 184 | 2010 |
The VeriFast program verifier B Jacobs, F Piessens Technical Report CW-520, Department of Computer Science, Katholieke …, 2008 | 173 | 2008 |
Expressive modular fine-grained concurrency specification B Jacobs, F Piessens ACM SIGPLAN Notices 46 (1), 271-282, 2011 | 141 | 2011 |
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 | 115 | 2015 |
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 | 105 | 2008 |
Implicit dynamic frames J Smans, B Jacobs, F Piessens ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (1), 1-58, 2012 | 98 | 2012 |
Secure compilation to modern processors P Agten, R Strackx, B Jacobs, F Piessens 2012 IEEE 25th Computer Security Foundations Symposium, 171-185, 2012 | 97 | 2012 |
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 | 94 | 2005 |
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 | 81 | 2011 |
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 | 75 | 2019 |
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 | 73 | 2008 |
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 | 66 | 2014 |
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 | 51 | 2014 |
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 | 49 | 2015 |
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 | 48 | 2006 |
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 | 44 | 2015 |