publication venue for
- ARCH-COMP 2024 Category Report: Falsification 2024
- ARCH-COMP23 Category Report: Falsification 2023
- ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources 2022
- Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device 2022
- ARCH-COMP 2021 Category Report: Falsification with Validation of Results 2021
- On relationships between imbalance and overlapping of datasets 2020
- ARCH-COMP 2020 Category Report: Falsification 2020
- A One-Pass Tableau-Based Workflow Verification Framework 2013