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
1002018
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
782017
Bellerophon: Tactical theorem proving for hybrid systems
N Fulton, S Mitsch, R Bohrer, A Platzer
International Conference on Interactive Theorem Proving, 207-224, 2017
582017
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
322019
A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow
R Bohrer, A Platzer
252018
CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation
R Bohrer, A Luo, X Chuang, A Platzer
122018
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
112022
dLι: Definite descriptions in differential dynamic logic
R Bohrer, M Fernández, A Platzer
CADE, LNCS. Springer, 2019
112019
Constructive hybrid games
R Bohrer, A Platzer
International Joint Conference on Automated Reasoning, 454-473, 2020
92020
Cyber–Physical Verification of Intermittently Powered Embedded Systems
R Bohrer, B Islam
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022
82022
Structured Proofs for Adversarial Cyber-Physical Systems
R Bohrer, A Platzer
ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-26, 2021
82021
Chemical case studies in KeYmaera X
R Bohrer
International Conference on Formal Methods for Industrial Critical Systems …, 2022
62022
Constructive Game Logic.
R Bohrer, A Platzer
ESOP 12075, 84-111, 2020
62020
Toward Structured Proofs for Dynamic Logics
R Bohrer, A Platzer
arXiv preprint arXiv:1908.05535, 2019
52019
Practical End-to-End Verification of Cyber-Physical Systems
R Bohrer
TU Munich, 2021
42021
Differential-Dynamic-Logic
R Bohrer
42019
Refining constructive hybrid games
R Bohrer, A Platzer
arXiv preprint arXiv:2002.02576, 2020
32020
Refining Constructive Hybrid Games
R Bohrer, A Platzer
FSCD, 2020
32020
Homotopy Type Theory for Sewn Quilts
C Clark, R Bohrer
Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art …, 2023
22023
Imagining Introductory Rust
R Bohrer
RustEdu. Rust Edu, Virtual, 27-33, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–20