Urmăriți
Bart Jacobs
Bart Jacobs
Professor of Computer Science, Katholieke Universiteit Leuven
Adresă de e-mail confirmată pe cs.kuleuven.be - Pagina de pornire
Titlu
Citat de
Citat de
Anul
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
11782006
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
4362011
Implicit dynamic frames: Combining dynamic frames and separation logic
J Smans, B Jacobs, F Piessens
ECOOP 2009–Object-Oriented Programming, 148-172, 2009
1842009
A quick tour of the VeriFast program verifier
B Jacobs, J Smans, F Piessens
Programming Languages and Systems, 304-311, 2010
1732010
The VeriFast program verifier
B Jacobs, F Piessens
Technical Report CW-520, Department of Computer Science, Katholieke …, 2008
1592008
Expressive modular fine-grained concurrency specification
B Jacobs, F Piessens
ACM SIGPLAN Notices 46 (1), 271-282, 2011
1312011
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
1102015
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
992008
Secure compilation to modern processors
P Agten, R Strackx, B Jacobs, F Piessens
2012 IEEE 25th Computer Security Foundations Symposium, 171-185, 2012
932012
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
892005
Implicit dynamic frames
J Smans, B Jacobs, F Piessens
ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (1), 1-58, 2012
782012
Implicit dynamic frames
J Smans, B Jacobs, F Piessens
ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (1), 1-58, 2012
782012
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
762011
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
662008
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
602014
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
502006
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
472019
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
432015
ICE: A passive, high-speed, state-continuity scheme
R Strackx, B Jacobs, F Piessens
Proceedings of the 30th Annual Computer Security Applications Conference …, 2014
422014
Security monitor inlining for multithreaded java
M Dam, B Jacobs, A Lundblad, F Piessens
ECOOP 2009–Object-Oriented Programming, 546-569, 2009
422009
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20