Bart Jacobs
Orcid: 0000-0002-3605-249XAffiliations:
- Katholieke Universiteit Leuven, Belgium
According to our database1,
Bart Jacobs
authored at least 83 papers
between 2003 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Completeness Thresholds for Memory Safety: Unbounded Guarantees via Bounded Proofs (Extended Abstract).
CoRR, 2023
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023
2022
Modular termination verification with a higher-order concurrent separation logic (Intermediate report).
CoRR, 2022
2021
Ghost Signals: Verifying Termination of Busy Waiting - Verifying Termination of Busy Waiting.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Proc. ACM Program. Lang., 2020
A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit: Technical Report.
CoRR, 2020
Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Proceedings of the FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, 2020
2019
SμV - The Security MicroVisor: A Formally-Verified Software-Based Security Architecture for the Internet of Things.
IEEE Trans. Dependable Secur. Comput., 2019
Sci. Comput. Program., 2019
Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019
Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, 2019
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019
2018
ACM Trans. Program. Lang. Syst., 2018
2016
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016
Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016
Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code.
Proceedings of the MODELSWARD 2016, 2016
Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations.
Proceedings of the Model-Driven Engineering and Software Development, 2016
Modular Verification of Termination and Execution Time Bounds Using Separation Logic.
Proceedings of the 17th IEEE International Conference on Information Reuse and Integration, 2016
One Step Towards Automatic Inference of Formal Specifications Using Automated VeriFast.
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016
2015
ACM Trans. Program. Lang. Syst., 2015
Int. J. Softw. Tools Technol. Transf., 2015
Math. Struct. Comput. Sci., 2015
Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015
Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs.
Proceedings of the Programming Languages and Systems, 2015
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015
2014
Sci. Comput. Program., 2014
Sci. Comput. Program., 2014
Proceedings of the 30th Annual Computer Security Applications Conference, 2014
2013
Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013
2012
Proceedings of the NASA Formal Methods, 2012
Proceedings of the Formal Methods for Components and Objects, 2012
Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012
2011
J. Object Technol., 2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011
Proceedings of the NASA Formal Methods, 2011
Proceedings of the Formal Techniques for Distributed Systems, 2011
Proceedings of the FM 2011: Formal Methods, 2011
2010
J. Comput. Secur., 2010
Formal Aspects Comput., 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
Proceedings of the Formal Techniques for Distributed Systems, 2010
Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010
2009
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009
Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems, 2009
Proceedings of the ECOOP 2009, 2009
Proceedings of the ECOOP 2009, 2009
2008
ACM Trans. Program. Lang. Syst., 2008
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008
Proceedings of the Fundamental Approaches to Software Engineering, 2008
2007
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
2006
J. Object Technol., 2006
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs.
Proceedings of the Thread Verification Workshop, 2006
Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006
Proceedings of the Formal Methods and Software Engineering, 2006
2005
Proceedings of the Verified Software: Theories, 2005
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005
2004
Support for Metadata-driven Selection of Run-time Services in .NET is Promising but Immature.
J. Object Technol., 2004
Proceedings of the Communications and Multimedia Security, 2004
A Generic Architecture for Web Applications to Support Threat Analysis of Infrastructural Components.
Proceedings of the Communications and Multimedia Security, 2004
2003
Software security: experiments on the .NET common language run-time and the shared source common language infrastructure.
IEE Proc. Softw., 2003