Rose Bohrer

43 papers A* 4A 2B 4C 3Journal 19Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking.
CoRR
Radu Florin Tulcan, Rose Bohrer, Yoàv Montacute, Kevin Zhou, Yusuke Kawamoto, Ichiro Hasuo
2025 A* conf
Designed & Discovered Euphoria: Insights from Trans-Femme Players' Experiences of Gender Euphoria in Video Games.
CHI
Shano Liang, Michelle V. Cormier, Rose Bohrer, Phoebe O. Toups Dugas
2025 — ed.
Proceedings 14th International Workshop on Trends in Functional Programming in Education, TFPiE 2025, Oxford, UK, 13 January 2025.
TFPiE
Rose Bohrer
2025 — conf
Refeminizing Creative Computing through a Programming Language for Quilts.
CHI Extended Abstracts
Laura Pellowski, Abigail J. Haller, Rose Strobel, Edward Benjamin Tyler, Sakire Arslan Ay, Rose Bohrer
2025 J jnl
The Three Steps to Trans Death: Introducing Trans Cyber-Necropolitics in Digital Media.
ACM Trans. Comput. Hum. Interact.
Shano Liang, Michelle V. Cormier, Phoebe O. Toups Dugas, Rose Bohrer
2025 A* conf
This Game SUX: Why & How to Design Sh@*!y User Experiences.
CHI
Michelle V. Cormier, Shano Liang, Bill Hamilton, Nicolas J. LaLone, Rose Bohrer, Phoebe O. Toups Dugas
2025 — conf
Transnational lgbTq+ SIG.
CHI Extended Abstracts
Rose Bohrer, Shano Liang, Michelle V. Cormier, Takao Fujii, Phoebe O. Toups Dugas, Rua Mae Williams, Amy J. Ko, Katie Seaborn, Oliver L. Haimson
2024 B conf
A Coq Formalization of Unification Modulo Exclusive-Or.
ICLP
Yichi Xu, Daniel J. Dougherty, Rose Bohrer
2024 C conf
Goal-Aware RSS for Complex Scenarios via Program Logic.
IV
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
2024 C conf
Neurotype Cafe: A Case Study in Neurodiverse Self-Representation.
FDG
Lena Dias, Ben Schneider, Rose Bohrer
2024 — ed.
Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E, SPLASH-E 2024, Pasadena, CA, USA, 24 October 2024
SPLASH-E
Felienne Hermans, Rose Bohrer
2024 — conf
Programming Language Case Studies Can Be Deep.
TFPIE
Rose Bohrer
2024 J jnl
Pronoun Logic.
CoRR
Rose Bohrer, Ashe Neth
2023 J jnl
Analyzing Trans (Mis)Representation in Video Games to Remediate Gender Dysphoria Triggers.
Proc. ACM Hum. Comput. Interact.
Shano Liang, Michelle V. Cormier, Phoebe O. Toups Dugas, Rose Bohrer
2023 — conf
Centering Humans in the Programming Languages Classroom: Building a Text for the Next Generation.
SPLASH-E
Rose Bohrer
2023 J jnl
Goal-Aware RSS for Complex Scenarios via Program Logic.
IEEE Trans. Intell. Veh.
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
2023 — conf
Homotopy Type Theory for Sewn Quilts.
FARM
Charlotte Clark, Rose Bohrer
2022 C conf
Chemical Case Studies in KeYmaera X.
FMICS
Rose Bohrer
2022 J jnl
Chemical Case Studies in KeYmaera X.
CoRR
Rose Bohrer
2022 J jnl
Cyber-Physical Verification of Intermittently Powered Embedded Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Rose Bohrer, Bashima Islam
2022 J jnl
Goal-Aware RSS for Complex Scenarios via Program Logic.
CoRR
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
2021 — —
Practical End-to-End Verification of Cyber-Physical Systems.
Rose Bohrer
2021 J jnl
Structured Proofs for Adversarial Cyber-Physical Systems.
CoRR
Rose Bohrer, André Platzer
2021 J jnl
Structured Proofs for Adversarial Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst.
Rose Bohrer, André Platzer
2020 A conf
Constructive Game Logic.
ESOP
Rose Bohrer, André Platzer
2020 J jnl
Constructive Game Logic.
CoRR
Rose Bohrer, André Platzer
2020 — conf
Constructive Hybrid Games.
IJCAR (1)
Rose Bohrer, André Platzer
2020 J jnl
Constructive Hybrid Games.
CoRR
Rose Bohrer, André Platzer
2020 B conf
Refining Constructive Hybrid Games.
FSCD
Rose Bohrer, André Platzer
2020 J jnl
Refining Constructive Hybrid Games.
CoRR
Rose Bohrer, André Platzer
2019 J jnl
A Formal Safety Net for Waypoint Following in Ground Robots.
CoRR
Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer
2019 J jnl
A Formal Safety Net for Waypoint-Following in Ground Robots.
IEEE Robotics Autom. Lett.
Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer
2019 J jnl
Interval Arithmetic on 32-bit Words.
Arch. Formal Proofs
Rose Bohrer
2019 J jnl
Toward Structured Proofs for Dynamic Logics.
CoRR
Rose Bohrer, André Platzer
2019 A conf
dL
CADE
Rose Bohrer, Manuel Fernández, André Platzer
2018 A* conf
A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow.
LICS
Rose Bohrer, André Platzer
2018 — conf
CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation.
ADHS
Rose Bohrer, Adriel Luo, Xue An Chuang, André Platzer
2018 — conf
TWAM: A Certifying Abstract Machine for Logic Programs.
VSTTE
Rose Bohrer, Karl Crary
2018 J jnl
TWAM: A Certifying Abstract Machine for Logic Programs.
CoRR
Rose Bohrer, Karl Crary
2018 A* conf
VeriPhy: verified controller executables from verified cyber-physical system models.
PLDI
Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer
2017 B conf
Bellerophon: Tactical Theorem Proving for Hybrid Systems.
ITP
Nathan Fulton, Stefan Mitsch, Rose Bohrer, André Platzer
2017 J jnl
Differential Dynamic Logic.
Arch. Formal Proofs
Rose Bohrer
2017 B conf
Formally verified differential dynamic logic.
CPP
Rose Bohrer, Vincent Rahli, Ivana Vukotic, Marcus Völp, André Platzer