Segui
Rose Bohrer
Rose Bohrer
Assistant Professor, Worcester Polytechnic Institute
Email verificata su wpi.edu - Home page
Titolo
Citata da
Citata da
Anno
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
1022018
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
822017
Bellerophon: Tactical theorem proving for hybrid systems
N Fulton, S Mitsch, R Bohrer, A Platzer
International Conference on Interactive Theorem Proving, 207-224, 2017
602017
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
332019
A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow
R Bohrer, A Platzer
252018
dLι: Definite descriptions in differential dynamic logic
R Bohrer, M Fernández, A Platzer
CADE, LNCS. Springer, 2019
132019
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
Structured Proofs for Adversarial Cyber-Physical Systems
R Bohrer, A Platzer
ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-26, 2021
92021
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
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
Homotopy Type Theory for Sewn Quilts
C Clark, R Bohrer
Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art …, 2023
42023
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
Analyzing Trans (Mis) Representation in Video Games to Remediate Gender Dysphoria Triggers
S Liang, MV Cormier, PO Toups Dugas, R Bohrer
Proceedings of the ACM on Human-Computer Interaction 7 (CHI PLAY), 369-401, 2023
22023
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20