Kristin Yvonne Rozier

Iowa State University

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

  1. 1
    Satisfiability Checking for Mission-Time LTL
    37 citations · 2019
  2. 2
    Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2
    32 citations · 2020
  3. 3
    R2U2: Tool Overview
    19 citations · 2018
  4. 4
    On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems
    8 citations · 2018
  5. 5
    Satisfiability checking for Mission-time LTL (MLTL)
    6 citations · 2022

Key Collaborators

MYMoshe Y. Vardi2 shared papersJLJianwen Li2 shared papersPZPei Zhang1 shared papersBKBrian Kempa1 shared papersPHPhillip H. Jones1 shared papersJSJohann Schumann1 shared papersJZJoseph Zambreno1 shared papers
Not generated yet