Interpretation-based violation witness validation for C: NitWit J Švejda, P Berger, JP Katoen Tools and Algorithms for the Construction and Analysis of Systems 12078, 40, 2020 | 19 | 2020 |
Verifying Auto-generated C Code from Simulink P Berger, JP Katoen, E Ábrahám, MTB Waez, T Rambow International Symposium on Formal Methods, 312-328, 2018 | 13 | 2018 |
Benchmarking software model checkers on automotive code L Westhofen, P Berger, JP Katoen NASA Formal Methods Symposium, 133-150, 2020 | 8 | 2020 |
Multiple Analyses, Requirements Once P Berger, J Nellen, JP Katoen, E Ábrahám, MTB Waez, T Rambow International Workshop on Formal Methods for Industrial Critical Systems, 59-75, 2019 | 4 | 2019 |
Configurable Benchmarks for C Model Checkers X Fink, P Berger, JP Katoen NASA Formal Methods Symposium, 338-354, 2022 | 1 | 2022 |