Kristin Yvonne Rozier

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 26

Top Topics

Autonomous Systems

Top Venues

Publications

Alexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn
Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems. FMICS (2024)
Katherine Kosaian, Yong Kiam Tan, Kristin Yvonne Rozier
Formalizing Coppersmith's Method in Isabelle/HOL. CICM (2024)
Chris Johannsen, Karthik Nukala, Rohit Dureja, Ahmed Irfan, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi, Kristin Yvonne Rozier
The MoXI Model Exchange Tool Suite. CAV (1) (2024)
Gokul Hariharan, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn
Maximum Satisfiability of Mission-Time Linear Temporal Logic. FORMATS (2023)
Runming Li, Keerthana Gurushankar, Marijn J. H. Heule, Kristin Yvonne Rozier
What's in a Name? Linear Temporal Logic Literally Represents Time Lines. VISSOFT (2023)
Ellen Enkel, Nils Jansen, Mohammad Reza Mousavi, Kristin Yvonne Rozier
Model Learning for Improved Trustworthiness in Autonomous Systems (Dagstuhl Seminar 23492). Dagstuhl Reports 13 (12) (2023)
Chris Johannsen, Phillip H. Jones, Brian Kempa, Kristin Yvonne Rozier, Pei Zhang
R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software. CAV (3) (2023)
Jenna Elwing, Laura Gamboa-Guzman, Jeremy Sorkin, Chiara Travesset, Zili Wang, Kristin Yvonne Rozier
Mission-Time LTL (MLTL) Formula Validation via Regular Expressions. iFM (2023)
Pei Zhang, Alexis A. Aurandt, Rohit Dureja, Phillip H. Jones, Kristin Yvonne Rozier
Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines. FORMATS (2023)
Zachary Luppen, Michael Jacks, Nathan Baughman, Muhamed Stilic, Ryan Nasers, Benjamin Hertz, James W. Cutler, Dae Young Lee, Kristin Yvonne Rozier
Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry. NFM (2022)
Alexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier
Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I. NFM (2022)
Benjamin Hertz, Zachary Luppen, Kristin Yvonne Rozier
Integrating Runtime Verification into a Sounding Rocket Control System. NFM (2021)
Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
Towards a framework for certification of reliable autonomous systems. Auton. Agents Multi Agent Syst. 35 (1) (2021)
Rohit Dureja, Kristin Yvonne Rozier
Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks. J. Aerosp. Inf. Syst. 17 (7) (2020)
Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
Towards a Framework for Certification of Reliable Autonomous Systems. CoRR (2020)
Brian Kempa, Pei Zhang, Phillip H. Jones, Joseph Zambreno, Kristin Yvonne Rozier
Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2. FORMATS (2020)
Kristin Yvonne Rozier
From Simulation to Runtime Verification and Back: Connecting Single-Run Verification Techniques. SpringSim (2019)
Kristin Yvonne Rozier
On Teaching Applied Formal Methods in Aerospace Engineering. FMTea (2019)
Rohit Dureja, Kristin Yvonne Rozier
More Scalable LTL Model Checking via Discovering Design-Space Dependencies ( D^3 D 3 ). TACAS (1) (2018)
Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Y. Vardi
SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability. CAV (2) (2018)
Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier
A Broader View on Verification: From Static to Runtime and Back (Track Summary). ISoLA (2) (2018)
Kristin Yvonne Rozier
On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems. RV-CuBES (2017)
Kristin Yvonne Rozier, Johann Schumann
R2U2: Tool Overview. RV-CuBES (2017)
Rohit Dureja, Kristin Yvonne Rozier
FuseIC3: An algorithm for checking large design spaces. FMCAD (2017)
Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration. CAV (2) (2016)
Kristin Yvonne Rozier
Specification: The Biggest Bottleneck in Formal Methods and Autonomy. VSTTE (2016)
Ulya Bayram, Kristin Yvonne Rozier, Eric William Davis Rozier
-Queens Attack Domains. QEST (2015)
Thomas Reinbacher, Kristin Yvonne Rozier, Johann Schumann
Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems. TACAS (2014)
Yang Zhao, Kristin Yvonne Rozier
Formal specification and verification of a coordination protocol for an automated air traffic control system. Sci. Comput. Program. 96 (2014)
Kristin Yvonne Rozier, Moshe Y. Vardi
Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking. Haifa Verification Conference (2012)
Yang Zhao, Kristin Yvonne Rozier
Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)