Back to advisors
KR

Kristin-Yvonne Rozier

Associate Professor · Department of Computer Science

Iowa State University · United States
Software Engineering and Programming LanguagesTheoretical Foundations

Education

  • Ph.D., Computer Science, Rice University, 2012
  • M.S., Computer Science, College of William and Mary, 2001
  • C.S., Computer Science, College of William and Mary, 2000

Selected publications

  • Gokul Hariharan, Brian Kempa, Tichakorn Wongpiromsarn, Phillip H. Jones, and Kristin Y. Rozier. “MLTL Multi-type (MLTLM): A Logic for Reasoning about Signals of Different Types.” In Proceedings of the 15th International Workshop on Numerical Software Verification (NSV), a workshop of FLoC. Springer, Haifa, Israel, August 11, 2022. PDF BibTeX
  • Orion Staskal, Josh Simac, Logan Swayne, and Kristin Yvonne Rozier. “Translating SysML Activity Diagrams for nuXmv Verification of an Autonomous Pancreas.” In Proceedings of SESS 2022: Software Engineering for Smart Systems, a workshop of IEEE COMPSAC: Computers, Software & Applications in an Uncertain World. IEEE, Virtual, June 27-July 1, 2022. PDF BibTeX
  • Brian Kempa, Chris Johannsen, Kristin Yvonne Rozier. “Improving Usability and Trust in Real-Time Verification of a Large-Scale Complex Safety-Critical System.” In Ada User Journal, Work in Progress (WiP) track, 2022. PDF BibTeX Slides
  • Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier. “Satisfiability Checking for Mission-time LTL.” In Information and Computation Journal, Elsevier, volume 104923, ISSN 0890-5401, May, 2022. DOI https://doi.org/10.1016/j.ic.2022.104923.104923. PDF ScienceDirect Link BibTeX
  • Alexis Aurandt, Phillip Jones, and Kristin Yvonne Rozier. “Runtime Verification Triggers Real-time, Autonomous Fault Recovery on the CySat-I.” In Proceedings of the 14th NASA Formal Methods Symposium (NFM 2022), Caltech, California, USA, May 24-27, 2022. PDF BibTeX
  • Zachary Luppen, Michael Jacks, Nathan Baughman, Benjamin Hertz, James Cutler, Dae Young Lee, and Kristin Yvonne Rozier. “Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry.” In Proceedings of the 14th NASA Formal Methods Symposium (NFM 2022), Caltech, California, USA, May 24-27, 2022. PDF BibTeX
  • Rohit Dureja and Kristin Yvonne Rozier. “Incremental Design-space Model Checking Via Reusable Reachable State Approximations” In Formal Methods in System Design (FMSD) Journal, Springer, 2022. DOI: https://doi.org/10.1007/s10703-022-00389-5 PDF SpringerLink BibTeX
  • Abigail Hammer, Matthew Cauwels, Benjamin Hertz, Phillip Jones, and Kristin Yvonne Rozier. “Integrating Runtime Verification into an Automated UAS Traffic Management System.” In Innovations in Systems and Software Engineering: A NASA Journal, Springer, July, 2021. DOI: https://doi.org/10.1007/s11334-021-00407-5 BibTeX
  • Christopher Johannsen, Marcella Anderson, William Burken, Ellie Diersen, John Edgren, Colton Glick, Stephanie Jou, Adhyaksh Kumar, John Levandowski, Evelyn Moyer, Taylor Roquet, Alexander VandeLoo, and Kristin Yvonne Rozier. “OpenUAS Version 1.0.” In Proceedings of the 2021 IEEE International Conference on Unmanned Aircraft Systems (ICUAS), IEEE, Athens, Greece (Virtual), June 15-18, 2021. PDF BibTeX Video
  • Benjamin Hertz, Zachary Luppen and Kristin Yvonne Rozier. “Integrating Runtime Verification into a Sounding Rocket Control System.” In Proceedings of the 13th NASA Formal Methods Symposium (NFM 2021), Springer, Virtual, May 24-28, 2021. PDF SpringerLink BibTeX Video

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.