Kristin Yvonne Rozier
Papers
5
Total Citations
102
H-Index
5
About
No biography available yet.
Research Focus
Computer science5 · 102 citations
Programming language5 · 102 citations
Formal verification4 · 96 citations
Model checking4 · 83 citations
Temporal logic3 · 75 citations
Linear temporal logic3 · 75 citations
Debugging2 · 69 citations
Operating system3 · 64 citations
Runtime verification3 · 59 citations
Distributed computing3 · 59 citations
Embedded system3 · 59 citations
Real-time computing2 · 51 citations
Key Achievements
5
H-Index
5
Papers
102
Total Citations
20
Avg Citations/Paper
🏆 Most Cited Paper
Satisfiability Checking for Mission-Time LTL
37 citations · 2019
📈 Most Prolific Year: 2018 (2 Papers)
🤝 Key Collaborators: 7
🏛 Institutions: Iowa State University
Top Papers
- 1Satisfiability Checking for Mission-Time LTL37 citations · 2019
- 2Embedding Online Runtime Verification for Fault Disambiguation on Robonaut232 citations · 2020
- 3R2U2: Tool Overview19 citations · 2018
- 4
- 5Satisfiability checking for Mission-time LTL (MLTL)6 citations · 2022
Key Collaborators
Not generated yet