Kristin Yvonne Rozier

Kristin Yvonne Rozier's AcademicInfluence.com Rankings

Engineering

#8341

World Rank

#9870

Historical Rank

Aerospace Engineering

#179

World Rank

#197

Historical Rank

engineering Degrees

Kristin Yvonne Rozier

Computer Science

#11341

World Rank

#12008

Historical Rank

Software Engineering

#387

World Rank

#393

Historical Rank

Database

#9770

World Rank

#10342

Historical Rank

computer-science Degrees

Download Badge

Engineering
Computer Science

Why Is Kristin Yvonne Rozier Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Kristin Yvonne Rozier is an American aerospace engineer and computer scientist whose research investigates formal methods including temporal logic and model checking for the formal verification of safety-critical systems, especially those involving air transport, unmanned aerial vehicles, and air traffic control. She is Black & Veatch Associate Professor of Aerospace Engineering, Computer Science, Electrical and Computer Engineering, and Mathematics at Iowa State University, where she heads the Laboratory for Temporal Logic.

(See a Problem?)

Kristin Yvonne Rozier's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

LTL satisfiability checking (2007) (203)
Linear Temporal Logic Symbolic Model Checking (2011) (115)
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems (2017) (96)
Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems (2014) (76)
A Multi-encoding Approach for LTL Symbolic Satisfiability Checking (2011) (51)
Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems (2014) (48)
Towards Real-time, On-board, Hardware-supported Sensor and Software Health Management for Unmanned Aerial Systems (2020) (46)
Formal specification and verification of a coordination protocol for an automated air traffic control system (2012) (42)
Towards a framework for certification of reliable autonomous systems (2020) (36)
Specification: The Biggest Bottleneck in Formal Methods and Autonomy (2016) (34)
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration (2016) (32)
SAT-based Explicit LTLf Satisfiability Checking (2018) (22)
More Scalable LTL Model Checking via Discovering Design-Space Dependencies ( D^3 D 3 ) (2018) (19)
Comparing different functional allocations in automated air traffic control design (2015) (18)
Probabilistic model checking for comparative analysis of automated air traffic control systems (2014) (17)
Runtime Analysis with R2U2: A Tool Exhibition Report (2016) (17)
Satisfiability Checking for Mission-Time LTL (2019) (15)
Reproducibility, correctness, and buildability: The three principles for ethical public dissemination of computer science and engineering research (2014) (13)
R2U2: Tool Overview (2017) (13)
FuseIC3: An algorithm for checking large design spaces (2017) (11)
R 2 U 2 : Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems ? (2015) (11)
Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking (2012) (10)
MLTL Benchmark Generation via Formula Progression (2018) (8)
SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability (2018) (8)
Intelligent Hardware-Enabled Sensor and Software Safety and Health Management for Autonomous UAS (2015) (7)
From Simulation to Runtime Verification and Back: Connecting Single-Run Verification Techniques (2019) (7)
Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2 (2020) (6)
Integrating runtime verification into an automated UAS traffic management system (2020) (5)
Characterizing Data Dependence Constraints for Dynamic Reliability Using n-Queens Attack Domains (2015) (5)
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems (2017) (5)
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties (2019) (4)
On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems (2017) (4)
R 2 U 2 : Tool Overview ∗ (4)
Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks (2020) (3)
On Teaching Applied Formal Methods in Aerospace Engineering (2019) (3)
Explicit or symbolic translation of linear temporal logic to automata (2012) (3)
R2U2 in Space: System and Software Health Management for Small Satellites (2016) (2)
Intersection and Rotation of Assumption Literals Boosts Bug-Finding (2019) (2)
A Case Study in Safety, Security, and Availability of Wireless-Enabled Aircraft Communication Networks (2017) (2)
Translating SysML Activity Diagrams for nuXmv Verification of an Autonomous Pancreas (2022) (2)
NASA Formal Methods (2014) (2)
Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration (2020) (2)
11-7-2018 SAT-based Explicit LTLf Satisfiability Checking (2018) (1)
SMT-Driven Intelligent Storage for Big Data (2015) (1)
Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry (2022) (1)
Correction: A Case Study in Formal Specification and Runtime Verification of a CubeSat Communications System (2020) (1)
A Broader View on Verification: From Static to Runtime and Back (Track Summary) (2018) (1)
Comparative Safety Analysis of Wireless Communication Networks in Avionics (2016) (0)
Proceedings of the Sixth NASA Langley Formal Methods Workshop (2008) (0)
Symbolic LTL Compilation for Model Checking: Extended Abstract (2007) (0)
A Hierarchy of Monitoring Properties for Autonomous Systems (2023) (0)
Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I (2022) (0)
Incremental design-space model checking via reusable reachable state approximations (2021) (0)
OpenUAS Version 1.0 (2021) (0)
Summarising a Framework for the Certification of Reliable Autonomous Systems (2021) (0)
Integrating Runtime Verification into a Sounding Rocket Control System (2021) (0)
EasyChair Preprint No 1411 Scalable Verification of Designs with Multiple Properties (0)
Iowa State University From the SelectedWorks of Kristin Yvonne Rozier 2012 Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System (2017) (0)
Standardisation for Runtime Verification Tools On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems ∗ (2017) (0)
Proceedings of the Sixth NASA Langley Formal Methods (LFM) Workshop (2008) (0)
Iowa State University From the SelectedWorks of Kristin Yvonne Rozier December , 2012 Optimized temporal monitors for SystemC (2017) (0)
Cascading Solution to Data Dependence Constraints with Z3 (2016) (0)
Welcome to MVD 2016 (2016) (0)
An International Workshop on Competitions , Usability , Benchmarks , Evaluation , and Standardisation for Runtime Verification Tools R 2 U 2 : Tool Overview ∗ (0)
MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types (2022) (0)
NASA Formal Methods (2019) (0)
From One To Many: Checking A Set Of Models (2019) (0)
Satisfiability checking for Mission-time LTL (MLTL) (2022) (0)
Iowa State University From the SelectedWorks of Kristin Yvonne Rozier May , 2010 LTL satisfiability checking (2017) (0)
Proceedings of the 6th International Symposium on NASA Formal Methods - Volume 8430 (2014) (0)
Optimized temporal monitors for SystemC (2012) (0)
Scalable Verification of Designs with Multiple Properties (2019) (0)
In conversation with a (highly passionate) temporal logician (2022) (0)

This paper list is powered by the following services:

Other Resources About Kristin Yvonne Rozier

en.wikipedia.org

What Schools Are Affiliated With Kristin Yvonne Rozier?

Kristin Yvonne Rozier is affiliated with the following schools:

Kristin Yvonne Rozier's Academic­Influence.com Rankings

Why Is Kristin Yvonne Rozier Influential?

Kristin Yvonne Rozier's Published Works

Published Works

Other Resources About Kristin Yvonne Rozier

What Schools Are Affiliated With Kristin Yvonne Rozier?

Kristin Yvonne Rozier's AcademicInfluence.com Rankings