Rose Bohrer

According to our database, Rose Bohrer authored at least 22 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Goal-Aware RSS for Complex Scenarios via Program Logic.

Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi

IEEE Trans. Intell. Veh., April, 2023

Analyzing Trans (Mis)Representation in Video Games to Remediate Gender Dysphoria Triggers.

Shano Liang, Michelle V. Cormier, Phoebe O. Toups Dugas, Rose Bohrer

Proc. ACM Hum. Comput. Interact., 2023

Centering Humans in the Programming Languages Classroom: Building a Text for the Next Generation.

Rose Bohrer

Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E, 2023

Homotopy Type Theory for Sewn Quilts.

Charlotte Clark, Rose Bohrer

Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art, 2023

2022

Cyber-Physical Verification of Intermittently Powered Embedded Systems.

Rose Bohrer, Bashima Islam

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Chemical Case Studies in KeYmaera X.

Rose Bohrer

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

2021

Practical End-to-End Verification of Cyber-Physical Systems.

Brandon Bohrer

PhD thesis, 2021

Structured Proofs for Adversarial Cyber-Physical Systems.

Rose Bohrer, André Platzer

ACM Trans. Embed. Comput. Syst., 2021

2020

Refining Constructive Hybrid Games.

Rose Bohrer, André Platzer

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

Constructive Game Logic.

Rose Bohrer, André Platzer

Proceedings of the Programming Languages and Systems, 2020

Constructive Hybrid Games.

Rose Bohrer, André Platzer

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

A Formal Safety Net for Waypoint-Following in Ground Robots.

Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer

IEEE Robotics Autom. Lett., 2019

Toward Structured Proofs for Dynamic Logics.

Rose Bohrer, André Platzer

CoRR, 2019

Interval Arithmetic on 32-bit Words.

Rose Bohrer

Arch. Formal Proofs, 2019

dL_ι: Definite Descriptions in Differential Dynamic Logic.

Rose Bohrer, Manuel Fernández, André Platzer

Proceedings of the Automated Deduction - CADE 27, 2019

2018

TWAM: A Certifying Abstract Machine for Logic Programs.

Rose Bohrer, Karl Crary

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

VeriPhy: verified controller executables from verified cyber-physical system models.

Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow.

Rose Bohrer, André Platzer

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation.

Rose Bohrer, Adriel Luo, Xue An Chuang, André Platzer

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Differential Dynamic Logic.

Rose Bohrer

Arch. Formal Proofs, 2017

Bellerophon: Tactical Theorem Proving for Hybrid Systems.

Nathan Fulton, Stefan Mitsch, Rose Bohrer, André Platzer

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

Formally verified differential dynamic logic.

Rose Bohrer, Vincent Rahli, Ivana Vukotic, Marcus Völp, André Platzer

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017