Concepedia
Statistics
Publications
17
Citations
721
H-Index
13
Active since
2010
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
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
1–5 of 17