Follow
Rose Bohrer
Rose Bohrer
Assistant Professor, Worcester Polytechnic Institute
Verified email at wpi.edu - Homepage
Title
Cited by
Cited by
Year
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
922018
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
742017
Bellerophon: Tactical theorem proving for hybrid systems
N Fulton, S Mitsch, R Bohrer, A Platzer
International Conference on Interactive Theorem Proving, 207-224, 2017
562017
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
302019
A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow
R Bohrer, A Platzer
232018
CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation
R Bohrer, A Luo, X Chuang, A Platzer
122018
dLι: Definite descriptions in differential dynamic logic
R Bohrer, M Fernández, A Platzer
CADE, LNCS. Springer, 2019
112019
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, 2022
82022
Constructive hybrid games
R Bohrer, A Platzer
International Joint Conference on Automated Reasoning, 454-473, 2020
82020
Structured Proofs for Adversarial Cyber-Physical Systems
R Bohrer, A Platzer
ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-26, 2021
72021
Constructive Game Logic.
R Bohrer, A Platzer
ESOP 12075, 84-111, 2020
62020
Cyber–Physical Verification of Intermittently Powered Embedded Systems
R Bohrer, B Islam
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022
52022
Toward Structured Proofs for Dynamic Logics
R Bohrer, A Platzer
arXiv preprint arXiv:1908.05535, 2019
52019
Chemical case studies in KeYmaera X
R Bohrer
International Conference on Formal Methods for Industrial Critical Systems …, 2022
42022
Practical End-to-End Verification of Cyber-Physical Systems
R Bohrer
TU Munich, 2021
32021
Differential-Dynamic-Logic
R Bohrer
32019
Refining constructive hybrid games
R Bohrer, A Platzer
arXiv preprint arXiv:2002.02576, 2020
22020
Refining Constructive Hybrid Games
R Bohrer, A Platzer
FSCD, 2020
22020
Imagining Introductory Rust
R Bohrer
RustEdu. Rust Edu, Virtual, 27-33, 2022
12022
TWAM: A Certifying Abstract Machine for Logic Programs
R Bohrer, K Crary
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–20