Rose Bohrer

Carnegie Mellon University

Papers

2

Total Citations

70

H-Index

2

About

No biography available yet.

Research Focus

Theoretical computer science2 · 70 citations
Automated theorem proving2 · 70 citations
Computer science2 · 70 citations
Controller (irrigation)2 · 70 citations
Cyber-physical system2 · 70 citations
Embedded system2 · 70 citations
Executable2 · 70 citations
HOL2 · 70 citations
Nondeterministic algorithm2 · 70 citations
Operating system2 · 70 citations
Physical system2 · 70 citations
Programmable logic controller2 · 70 citations

Key Achievements

2
H-Index
2
Papers
70
Total Citations
35
Avg Citations/Paper
🏆 Most Cited Paper
VeriPhy: verified controller executables from verified cyber-physical system models
59 citations · 2018
📈 Most Prolific Year: 2018 (2 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: Carnegie Mellon University

Top Papers

  1. 1
    VeriPhy: verified controller executables from verified cyber-physical system models
    59 citations · 2018
  2. 2
    VeriPhy: verified controller executables from verified cyber-physical system models
    11 citations · 2018

Key Collaborators

APAndré Platzer2 shared papersYKYong Kiam Tan2 shared papersMOMagnus O. Myreen2 shared papersSMStefan Mitsch2 shared papers
Not generated yet