Concepedia

Kristin Yvonne Rozier

KY

17

Publications

721

Citations

13

H-Index

2010

Active since

Affiliations

Ames Research Center(Current)

Iowa State University

Stinger Ghaffarian Technologies (United States)

Rice University

TU Wien

Kristin Yvonne Rozier is an author at Ames Research Center specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringVerificationFormal MethodsFormal VerificationSpace EngineeringComputer EngineeringAutomated ReasoningAutomation

Publications per year

2010–2024

16

Publications

17

Linear Temporal Logic Symbolic Model Checking

Kristin Yvonne Rozier · Computer Science Review · 2010 · 159 citations

Logical Automaton, Engineering, Automated Reasoning +6

LTL satisfiability checking

Kristin Yvonne Rozier, Moshe Y. Vardi · International Journal on Software Tools for Technology Transfer · 2010 · 95 citations

Engineering, Automated Reasoning, Verification +7

R2U2: monitoring and diagnosis of security threats for unmanned aerial systems

Patrick Moosbrugger, Kristin Yvonne Rozier, Johann Schumann · Formal Methods in System Design · 2017 · 83 citations · Full text

Security Diagnostics, Security Properties, Engineering +14

Towards a framework for certification of reliable autonomous systems

Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier et al. · Autonomous Agents and Multi-Agent Systems · 2020 · 73 citations · Full text

Optimized temporal monitors for SystemC

Deian Tabakov, Kristin Yvonne Rozier, Moshe Y. Vardi · Formal Methods in System Design · 2012 · 50 citations

Engineering, Performance Monitoring, Temporal Monitors +6

Rows per page

1–5 of 17