关注
Rose Bohrer
Rose Bohrer
Assistant Professor, Worcester Polytechnic Institute
在 wpi.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
962018
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
762017
Bellerophon: Tactical theorem proving for hybrid systems
N Fulton, S Mitsch, R Bohrer, A Platzer
International Conference on Interactive Theorem Proving, 207-224, 2017
572017
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
242018
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 8 (4), 3040-3072, 2022
92022
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
Cyber–Physical Verification of Intermittently Powered Embedded Systems
R Bohrer, B Islam
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 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
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
Interval Arithmetic on 32-bit Words
R Bohrer
12020
系统目前无法执行此操作,请稍后再试。
文章 1–20