VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models R Bohrer, YK Tan, S Mitsch, MO Myreen, A Platzer Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 96 | 2018 |
Formally verified differential dynamic logic R Bohrer, V Rahli, I Vukotic, M Völp, A Platzer Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017 | 76 | 2017 |
Bellerophon: Tactical theorem proving for hybrid systems N Fulton, S Mitsch, R Bohrer, A Platzer International Conference on Interactive Theorem Proving, 207-224, 2017 | 57 | 2017 |
A Formal Safety Net for Waypoint-Following in Ground Robots R Bohrer, YK Tan, S Mitsch, A Sogokon, A Platzer IEEE Robotics and Automation Letters 4 (3), 2910-2917, 2019 | 32 | 2019 |
A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow R Bohrer, A Platzer | 24 | 2018 |
CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation R Bohrer, A Luo, X Chuang, A Platzer | 12 | 2018 |
dLι: Definite descriptions in differential dynamic logic R Bohrer, M Fernández, A Platzer CADE, LNCS. Springer, 2019 | 11 | 2019 |
Goal-aware RSS for complex scenarios via program logic I Hasuo, C Eberhart, J Haydon, J Dubut, R Bohrer, T Kobayashi, ... IEEE Transactions on Intelligent Vehicles 8 (4), 3040-3072, 2022 | 9 | 2022 |
Constructive hybrid games R Bohrer, A Platzer International Joint Conference on Automated Reasoning, 454-473, 2020 | 8 | 2020 |
Structured Proofs for Adversarial Cyber-Physical Systems R Bohrer, A Platzer ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-26, 2021 | 7 | 2021 |
Cyber–Physical Verification of Intermittently Powered Embedded Systems R Bohrer, B Islam IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022 | 6 | 2022 |
Constructive Game Logic. R Bohrer, A Platzer ESOP 12075, 84-111, 2020 | 6 | 2020 |
Toward Structured Proofs for Dynamic Logics R Bohrer, A Platzer arXiv preprint arXiv:1908.05535, 2019 | 5 | 2019 |
Chemical case studies in KeYmaera X R Bohrer International Conference on Formal Methods for Industrial Critical Systems …, 2022 | 4 | 2022 |
Practical End-to-End Verification of Cyber-Physical Systems R Bohrer TU Munich, 2021 | 3 | 2021 |
Differential-Dynamic-Logic R Bohrer | 3 | 2019 |
Refining constructive hybrid games R Bohrer, A Platzer arXiv preprint arXiv:2002.02576, 2020 | 2 | 2020 |
Refining Constructive Hybrid Games R Bohrer, A Platzer FSCD, 2020 | 2 | 2020 |
Imagining Introductory Rust R Bohrer RustEdu. Rust Edu, Virtual, 27-33, 2022 | 1 | 2022 |
Interval Arithmetic on 32-bit Words R Bohrer | 1 | 2020 |