imec Institutional Repository Browsing {{ collection }} by Author "Jacobs, Bart"

Publication

Deadlock-free monitors

Hamin, Jafar

;

Jacobs, Bart

Proceedings paper

2018, ESOP 2018: Programming Languages and Systems, 14/04/2018, p.415-441

Publication

Dependency safety for Java - Implementing and testing failboxes

Zhang, Dan

;

Bosnacki, Dragan

;

van den Brand, Mark

;

Huizing, Cornelis

;

Jacobs, Bart

;

Kuiper, Ruurd

Journal article

2019, Science of Computer Programming, 184, p.102316

Publication

Ghost Signals: Verifying Termination of Busy Waiting

Reinhard, Tobias

;

Jacobs, Bart

Proceedings paper

2021, 33rd International Conference on Computer-Aided Verification (CAV), JUL 20-23, 2021, p.27-50

Publication

Modular Termination Verification of Single-Threaded and Multithreaded Programs

Jacobs, Bart

;

Bosnacki, Dragan

;

Kuiper, Ruurd

Journal article

2018, ACM Letters on Programming languages and Systems - TOPLAS, (40) 3, p.Art. 12

Publication

Modular verification of liveness properties of the I/O behavior of imperative programs

Jacobs, Bart

Proceedings paper

2020-10, 15th International Symposium on Leveraging Applications of Formal Methods - ISoLA, 20/10/2020, p.509-524

Publication

Specifying I/O using abstract nested hoare triples in separation logic

Penninckx, Willem

;

Timany, Amin

;

Jacobs, Bart

Proceedings paper

2019, FTfJP '19 Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, 15/07/2019, p.Art.5

Publication

The Future is Ours: Prophecy Variables in Separation Logic

Jung, Ralf

;

Lepigre, Rodolphe

;

Parthasarathy, Gaurav

;

Rapoport, Marianna

;

Timany, Amin

Journal article

2020, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 4

Publication

Transferring obligations through synchronizations

Hamin, Jafar

;

Jacobs, Bart

Proceedings paper

2019, 33rd European Conference on Object-Oriented Programming - ECOOP, 15/07/2019

Publication

Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations

Zhang, D.

;

Bonacki, Dragan

;

van den Brand, M.

;

Huizing, Cornelus

;

Jacobs, Bart

;

Kuiper, Roel

Proceedings paper

2017, MODELSWARD 2016: Model-Driven Engineering and Software Development, 19/02/2016, p.249-273

Publication

Verifying C plus plus Dynamic Binding

Mommen, Niels

;

Jacobs, Bart

Proceedings paper

2023, 25th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP), JUL 18, 2023, p.1-7

Browsing by Author "Jacobs, Bart"