Kristin Yvonne Rozier

Iowa State University

论文数

5

总引用数

102

H-Index

5

关于

暂无简介。

研究焦点

Computer science5 · 102 次引用
Programming language5 · 102 次引用
Formal verification4 · 96 次引用
Model checking4 · 83 次引用
Temporal logic3 · 75 次引用
Linear temporal logic3 · 75 次引用
Debugging2 · 69 次引用
Operating system3 · 64 次引用
Runtime verification3 · 59 次引用
Distributed computing3 · 59 次引用
Embedded system3 · 59 次引用
Real-time computing2 · 51 次引用

主要成就

5
H 指数
5
论文
102
总引用数
20
篇均引用
🏆 最高被引论文
Satisfiability Checking for Mission-Time LTL
37 次引用 · 2019
📈 最高产年份: 2018 (2 论文)
🤝 主要合作者: 7
🏛 所属机构: Iowa State University

代表论文

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

主要合作者

MYMoshe Y. Vardi2 篇合著论文JLJianwen Li2 篇合著论文PZPei Zhang1 篇合著论文BKBrian Kempa1 篇合著论文PHPhillip H. Jones1 篇合著论文JSJohann Schumann1 篇合著论文JZJoseph Zambreno1 篇合著论文
尚未生成