Concepedia

Rose Bohrer

RB

6

Publications

178

Citations

6

H-Index

2016

Active since

Affiliations

Carnegie Mellon University(Current)

Worcester Polytechnic Institute

Chalmers University of Technology

Rose Bohrer is an author at Carnegie Mellon University specializing in computer science, formal methods, and engineering.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringAutomationProgram AnalysisHardware Security

Publications per year

2016–2023

6

Publications

6

Formally verified differential dynamic logic

Rose Bohrer, Vincent Rahli, Ivana Vukotic et al. · 2016 · 59 citations · Full text

Engineering, Automated Reasoning, Mechanical Verification +11

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

Rose Bohrer, Yong Kiam Tan, Stefan Mitsch et al. · 2018 · 59 citations · Full text

Engineering, Verification, Present Veriphy +18

A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow

Rose Bohrer, André Platzer · 2018 · 21 citations · Full text

Engineering, Information Security, Information Leakage +19

Goal-Aware RSS for Complex Scenarios via Program Logic

Ichiro Hasuo, Clovis Eberhart, James Haydon et al. · IEEE Transactions on Intelligent Vehicles · 2022 · 15 citations · Full text

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

Shano Liang, Michelle V Cormier, Phoebe O. Toups Dugas et al. · Proceedings of the ACM on Human-Computer Interaction · 2023 · 13 citations

Rows per page

1–5 of 6