ResearcherID Thomson Reuters  

Jacobs, Bart
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: B-1271-2014
E-mail:
URL: http://www.researcherid.com/rid/B-1271-2014
Subject: Computer Science
Keywords: program verification; concurrency; separation logic
ORCID: http://orcid.org/0000-0002-3605-249X
My Institutions (more details)
Primary Institution:
Sub-org/Dept: Department of Computer Science
Role:
My URLs: http://www.cs.kuleuven.be/~bartj/
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  4  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Secure Compilation to Protected Module Architectures
 Author(s): Patrignani, Marco; Agten, Pieter; Strackx, Raoul; et al.
 Source: Acm Transactions on Programming Languages and Systems Volume: 37 Issue: 2 Published: APR 2015
 Times Cited: 5
 DOI: 10.1145/2699503
added
06-Oct-15
2.  Title: Security monitor inlining and certification for multithreaded Java
 Author(s): Dam, Mads; Jacobs, Bart; Lundblad, Andreas; et al.
 Source: Mathematical Structures in Computer Science Volume: 25 Issue: 3 Pages: 528-565 Published: MAR 2015
 Times Cited: 0
 DOI: 10.1017/S0960129512000916
added
06-Oct-15
3.  Title: Sound Modular Verification of C Code Executing in an Unverified Context
 Author(s): Agten, Pieter; Jacobs, Bart; Piessens, Frank
 Source: Acm Sigplan Notices Volume: 50 Issue: 1 Pages: 581-594 Published: JAN 2015
 Times Cited: 1
 DOI: 10.1145/2676726.2676972
added
06-Oct-15
4.  Title: Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs
 Author(s): Penninckx, W.; Jacobs, B.; Piessens, F.; et al.
 Source: Programming Languages and Systems. 24th European Symposium on Programming, ESOP 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. Proceedings: LNCS 9032 Pages: 158-82 Published: 2015
 DOI: 10.1007/978-3-662-46669-8_7
added
06-Oct-15
5.  Title: Modular type checking of anchored exception declarations
 Author(s): van Dooren, Marko; Jacobs, Bart; Joosen, Wouter
 Source: Science of Computer Programming Volume: 87 Pages: 44-61 Published: JUL 1 2014
 Times Cited: 0
 DOI: 10.1016/j.scico.2013.10.007
added
12-Jan-15
6.  Title: Software verification with VeriFast: Industrial case studies
 Author(s): Philippaerts, Pieter; Muhlberg, Jan Tobias; Penninckx, Willem; et al.
 Source: Science of Computer Programming Volume: 82 Pages: 77-97 Published: MAR 2 2014
 Times Cited: 7
 DOI: 10.1016/j.scico.2013.01.006
added
12-Jan-15
7.  Title: Sound Symbolic Linking in the Presence of Preprocessing
 Author(s): Vanspauwen, Gijs; Jacobs, Bart; Hierons, RM; et al.
 Source: Software Engineering and Formal Methods, Sefm 2013 Volume: 8137 Pages: 122-136 Published: 2013
 Times Cited: 1
added
12-Jan-15
8.  Title: VeriFast for Java: A Tutorial
 Author(s): Smans, J.; Jacobs, B.; Piessens, F.; et al.
 Source: Aliasing in Object-Oriented Programming. Types, Analysis and Verification: LNCS 7850 Pages: 407-42 Published: 2013
 DOI: 10.1007/978-3-642-36946-9_14
added
12-Jan-15
9.  Title: Implicit Dynamic Frames
 Author(s): Smans, Jan; Jacobs, Bart; Piessens, Frank
 Source: Acm Transactions on Programming Languages and Systems Volume: 34 Issue: 1 Published: APR 2012
 Times Cited: 3
 DOI: 10.1145/2160910.2160911
added
12-Jan-15
10.  Title: Secure Compilation to Modern Processors
 Author(s): Agten, Pieter; Strackx, Raoul; Jacobs, Bart; et al.
 Source: 2012 Ieee 25th Computer Security Foundations Symposium (Csf) Pages: 171-185 Published: 2012
 Times Cited: 15
 DOI: 10.1109/CSF.2012.12
added
12-Jan-15
publication(s)  
First Page Previous Page Page   of  4  Go Next Page Last Page
  Sort by:    Results per page: