| 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 | 1287 | 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 | 526 | 2011 |
| Implicit dynamic frames: Combining dynamic frames and separation logic J Smans, B Jacobs, F Piessens ECOOP 2009–Object-Oriented Programming, 148-172, 2009 | 199 | 2009 |
| A quick tour of the VeriFast program verifier B Jacobs, J Smans, F Piessens Programming Languages and Systems, 304-311, 2010 | 181 | 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 | 140 | 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 |
| 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 |
| Implicit dynamic frames J Smans, B Jacobs, F Piessens ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (1), 1-58, 2012 | 94 | 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 | 93 | 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 | 79 | 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 | 72 | 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 | 72 | 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 | 53* | |
| ICE: A passive, high-speed, state-continuity scheme R Strackx, B Jacobs, F Piessens Proceedings of the 30th Annual Computer Security Applications Conference …, 2014 | 50 | 2014 |
| 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 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 | 47 | 2015 |
| 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 | 43 | 2015 |
