Kristin Yvonne Rozier

51 papers A 1B 6C 3Journal 9Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	Model Checking Software - 31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings SPIN Gidon Ernst, Kristin Yvonne Rozier
2025	—	`ed.`	Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I FM (1) André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
2025	—	`ed.`	Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II FM (2) André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
2025	J	`jnl`	Formal Methods in Industry. Formal Aspects Comput. Maurice H. ter Beek, Rod Chapman, Rance Cleaveland, Hubert Garavel, Rong Gu, Ivo ter Horst, Jeroen J. A. Keiren, Thierry Lecomte, Michael Leuschel, Kristin Yvonne Rozier, Augusto Sampaio, Cristina Seceleanu, Martyn Thomas, Tim A. C. Willemse, Lijun Zhang
2025	C	`conf`	Formalizing MLTL Formula Progression in Isabelle/HOL. CICM Katherine Kosaian, Zili Wang, Elizabeth Sloan, Kristin Yvonne Rozier
2025	—	`conf`	Formally Verifying a Transformation from MLTL Formulas to Regular Expressions. TACAS (1) Zili Wang, Katherine Kosaian, Kristin Yvonne Rozier
2025	J	`jnl`	Formally Verifying a Transformation from MLTL Formulas to Regular Expressions. CoRR Zili Wang, Katherine Kosaian, Kristin Yvonne Rozier
2025	—	`conf`	Infinite-State Liveness Checking with rlive. CAV (1) Alessandro Cimatti, Alberto Griggio, Christopher Johannsen, Kristin Yvonne Rozier, Stefano Tonetta
2025	—	`conf`	Language Partitioning for Mission-Time Linear Temporal Logic. NFM Alec Rosentrater, Zili Wang, Katherine Kosaian, Kristin Yvonne Rozier
2025	J	`jnl`	Neurosymbolic Feature Extraction for Identifying Forced Labor in Supply Chains. CoRR Zili Wang, Frank Montabon, Kristin Yvonne Rozier
2025	B	`conf`	R2U2 Playground: Visualization of a Real-time, Temporal Logic Runtime Monitor. FMCAD Alexis A. Aurandt, Kristin Yvonne Rozier, Phillip H. Jones
2025	B	`conf`	Scalable MLTL Runtime Monitoring and Satisfiability via Bit-Vector Encoding. FMCAD Christopher Johannsen, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn
2025	—	`conf`	Towards a Safe, Verified Runtime Monitor for Embedded Systems: R2U2 in Embedded Rust. NFM Alexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier
2025	—	`conf`	Understanding Time in Space: Improving Timeline Understandability for Uncrewed Space Systems. SpaceCHI Elizabeth Sloan, Kristin Yvonne Rozier
2024	C	`conf`	Formalizing Coppersmith's Method in Isabelle/HOL. CICM Katherine Kosaian, Yong Kiam Tan, Kristin Yvonne Rozier
2024	—	`conf`	MoXI: An Intermediate Language for Symbolic Model Checking. SPIN Kristin Yvonne Rozier, Rohit Dureja, Ahmed Irfan, Chris Johannsen, Karthik Nukala, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi
2024	C	`conf`	Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems. FMICS Alexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn
2024	—	`conf`	R2U2: Runtime Verification Takes Off! (Keynote). VORTEX@ISSTA Kristin Yvonne Rozier
2024	—	`conf`	The MoXI Model Exchange Tool Suite. CAV (1) Chris Johannsen, Karthik Nukala, Rohit Dureja, Ahmed Irfan, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi, Kristin Yvonne Rozier
2023	B	`ed.`	Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023 FMCAD Alexander Nadel, Kristin Yvonne Rozier
2023	—	`conf`	Maximum Satisfiability of Mission-Time Linear Temporal Logic. FORMATS Gokul Hariharan, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn
2023	B	`conf`	Mission-Time LTL (MLTL) Formula Validation via Regular Expressions. iFM Jenna Elwing, Laura P. Gamboa Guzman, Jeremy Sorkin, Chiara Travesset, Zili Wang, Kristin Yvonne Rozier
2023	J	`jnl`	Model Learning for Improved Trustworthiness in Autonomous Systems (Dagstuhl Seminar 23492). Dagstuhl Reports Ellen Enkel, Nils Jansen, Mohammad Reza Mousavi, Kristin Yvonne Rozier
2023	—	`conf`	Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines. FORMATS Pei Zhang, Alexis A. Aurandt, Rohit Dureja, Phillip H. Jones, Kristin Yvonne Rozier
2023	—	`ed.`	NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings NFM Kristin Yvonne Rozier, Swarat Chaudhuri
2023	—	`conf`	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) Chris Johannsen, Phillip H. Jones, Brian Kempa, Kristin Yvonne Rozier, Pei Zhang
2023	B	`conf`	What's in a Name? Linear Temporal Logic Literally Represents Time Lines. VISSOFT Runming Li, Keerthana Gurushankar, Marijn J. H. Heule, Kristin Yvonne Rozier
2022	—	`conf`	Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry. NFM Zachary Luppen, Michael Jacks, Nathan Baughman, Muhamed Stilic, Ryan Nasers, Benjamin Hertz, James W. Cutler, Dae-Young Lee, Kristin Yvonne Rozier
2022	—	`conf`	Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I. NFM Alexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier
2021	—	`conf`	Integrating Runtime Verification into a Sounding Rocket Control System. NFM Benjamin Hertz, Zachary Luppen, Kristin Yvonne Rozier
2021	J	`jnl`	Towards a framework for certification of reliable autonomous systems. Auton. Agents Multi Agent Syst. Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
2020	—	`conf`	Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2. FORMATS Brian Kempa, Pei Zhang, Phillip H. Jones, Joseph Zambreno, Kristin Yvonne Rozier
2020	J	`jnl`	Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks. J. Aerosp. Inf. Syst. Rohit Dureja, Kristin Yvonne Rozier
2020	J	`jnl`	Towards a Framework for Certification of Reliable Autonomous Systems. CoRR Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
2019	—	`conf`	From Simulation to Runtime Verification and Back: Connecting Single-Run Verification Techniques. SpringSim Kristin Yvonne Rozier
2019	—	`ed.`	NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings NFM Julia M. Badger, Kristin Yvonne Rozier
2019	—	`conf`	On Teaching Applied Formal Methods in Aerospace Engineering. FMTea Kristin Yvonne Rozier
2018	—	`conf`	A Broader View on Verification: From Static to Runtime and Back (Track Summary). ISoLA (2) Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier
2018	—	`conf`	More Scalable LTL Model Checking via Discovering Design-Space Dependencies ( D^3 D 3 ). TACAS (1) Rohit Dureja, Kristin Yvonne Rozier
2018	—	`conf`	SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability. CAV (2) Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Y. Vardi
2017	B	`conf`	FuseIC3: An algorithm for checking large design spaces. FMCAD Rohit Dureja, Kristin Yvonne Rozier
2017	—	`conf`	On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems. RV-CuBES Kristin Yvonne Rozier
2017	—	`conf`	R2U2: Tool Overview. RV-CuBES Kristin Yvonne Rozier, Johann Schumann
2016	—	`conf`	Model Checking at Scale: Automated Air Traffic Control Design Space Exploration. CAV (2) Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier
2016	—	`conf`	Specification: The Biggest Bottleneck in Formal Methods and Autonomy. VSTTE Kristin Yvonne Rozier
2015	—	`conf`	Characterizing Data Dependence Constraints for Dynamic Reliability Using QEST Ulya Bayram, Kristin Yvonne Rozier, Eric William Davis Rozier
2014	J	`jnl`	Formal specification and verification of a coordination protocol for an automated air traffic control system. Sci. Comput. Program. Yang Zhao, Kristin Yvonne Rozier
2014	—	`ed.`	NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings NASA Formal Methods Julia M. Badger, Kristin Yvonne Rozier
2014	A	`conf`	Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems. TACAS Thomas Reinbacher, Kristin Yvonne Rozier, Johann Schumann
2012	—	`conf`	Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking. Haifa Verification Conference Kristin Yvonne Rozier, Moshe Y. Vardi
2012	J	`jnl`	Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Yang Zhao, Kristin Yvonne Rozier