Paper-Conference

Predictive Monitoring of Black-Box Dynamical Systems

Feb 1, 2025

Neural Control and Certificate Repair via Runtime Monitoring

Jan 1, 2025

Introducing Certificates to the Hardware Model Checking Competition

Jan 1, 2025

Ternary Simulation as Abstract Interpretation (Work in Progress)

Feb 1, 2024

Certifying Phase Abstraction

Jan 1, 2024

Stratified Certification for k-induction (Extended Abstract)

Feb 1, 2023

BIG Backbones

Jan 1, 2023

Towards Compositional Hardware Model Checking Certification

Jan 1, 2022

Stratified Certification for k-induction

Jan 1, 2022

Progress in Certifying Hardware Model Checking Results

Jan 1, 2021