Kristin Y. Rozier

Affiliations:
  • Iowa State University, USA
  • NASA, USA (former)


According to our database1, Kristin Y. Rozier authored at least 50 papers between 2010 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
What's in a Name? Linear Temporal Logic Literally Represents Time Lines.
Proceedings of the IEEE Working Conference on Software Visualization, 2023

Mission-Time LTL (MLTL) Formula Validation via Regular Expressions.
Proceedings of the iFM 2023 - 18th International Conference, 2023

Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023

Maximum Satisfiability of Mission-Time Linear Temporal Logic.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023

Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints.
Proceedings of the Formal Methods for Industrial Critical Systems, 2023

Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community.
Proceedings of the Formal Methods in Computer-Aided Design, 2023

R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022
Threatpost Attack Stories 2021 (TAS21).
Dataset, March, 2022

Integrating runtime verification into an automated UAS traffic management system.
Innov. Syst. Softw. Eng., 2022

Satisfiability checking for Mission-time LTL (MLTL).
Inf. Comput., 2022

Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Translating SysML Activity Diagrams for nuXmv Verification of an Autonomous Pancreas.
Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types.
Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2021
Incremental design-space model checking via reusable reachable state approximations.
Formal Methods Syst. Des., 2021

Towards a framework for certification of reliable autonomous systems.
Auton. Agents Multi Agent Syst., 2021

Integrating Runtime Verification into a Sounding Rocket Control System.
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Summarising a Framework for the Certification of Reliable Autonomous Systems.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020
SAT-based explicit LTLf satisfiability checking.
Artif. Intell., 2020

Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019
Intersection and Rotation of Assumption Literals Boosts Bug-Finding.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

On Teaching Applied Formal Methods in Aerospace Engineering.
Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

From Simulation to Runtime Verification and Back: Connecting Single-Run Verification Techniques.
Proceedings of the 2019 Spring Simulation Conference, 2019

Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties.
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

Satisfiability Checking for Mission-Time LTL.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
More Scalable LTL Model Checking via Discovering Design-Space Dependencies ( D^3 D 3 ).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

MLTL Benchmark Generation via Formula Progression.
Proceedings of the Runtime Verification - 18th International Conference, 2018

A Broader View on Verification: From Static to Runtime and Back (Track Summary).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Characterizing Data Dependence Constraints for Dynamic Reliability Using n-Queens Attack Domains.
Leibniz Trans. Embed. Syst., 2017

R2U2: monitoring and diagnosis of security threats for unmanned aerial systems.
Formal Methods Syst. Des., 2017

R2U2: Tool Overview.
Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems.
Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

FuseIC3: An algorithm for checking large design spaces.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016
Specification: The Biggest Bottleneck in Formal Methods and Autonomy.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

Runtime Analysis with R2U2: A Tool Exhibition Report.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Cascading Solution to Data Dependence Constraints with Z3.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2016

Model Checking at Scale: Automated Air Traffic Control Design Space Exploration.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Characterizing Data Dependence Constraints for Dynamic Reliability Using <i>N</i>-Queens Attack Domains.
Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Comparing Different Functional Allocations in Automated Air Traffic Control Design.
Proceedings of the Formal Methods in Computer-Aided Design, 2015

2014
Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems.
Proceedings of the Runtime Verification - 5th International Conference, 2014

Probabilistic model checking for comparative analysis of automated air traffic control systems.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014

2012
Optimized temporal monitors for SystemC.
Formal Methods Syst. Des., 2012

Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking.
Proceedings of the Hardware and Software: Verification and Testing, 2012

2011
Linear Temporal Logic Symbolic Model Checking.
Comput. Sci. Rev., 2011

A Multi-encoding Approach for LTL Symbolic Satisfiability Checking.
Proceedings of the FM 2011: Formal Methods, 2011

2010
LTL satisfiability checking.
Int. J. Softw. Tools Technol. Transf., 2010


  Loading...