Justus Fasse

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 6

Top Topics

Adaptive Threshold

Verification Method

Top Venues

Publications

Tobias Reinhard, Justus Fasse, Bart Jacobs
Completeness Thresholds for Memory Safety of Array Traversing Programs. CoRR (2023)
Tobias Reinhard, Justus Fasse, Bart Jacobs
Completeness Thresholds for Memory Safety: Unbounded Guarantees via Bounded Proofs (Extended Abstract). CoRR (2023)
Tobias Reinhard, Justus Fasse, Bart Jacobs
Completeness Thresholds for Memory Safety of Array Traversing Programs. SOAP@PLDI (2023)
Justus Fasse, Bart Jacobs
Expressive modular verification of termination for busy-waiting programs. CoRR (2023)
Cyril Six, Léo Gourdin, Sylvain Boulmé, David Monniaux, Justus Fasse, Nicolas Nardino
Formally verified superblock scheduling. CPP (2022)
Justus Fasse, Bart Jacobs
Modular termination verification with a higher-order concurrent separation logic (Intermediate report). CoRR (2022)