Publications
Publications (Peer-Reviewed)
- paper
- paper
- paper
- paper
- paper
- paper
- Jenna Elwing, Laura Gamboa-Guzman, Jeremy Sorkin, Chiara Travesset, Zili Wang, and Kristin Yvonne Rozier. “Mission-Time LTL (MLTL) Formula Validation via Regular Expressions.” In Proceedings of the 18th International Conference on integrated Formal Methods (iFM), volume 14300 of Lecture Notes in Computer Science (LNCS), Formal Methods subline, Springer, Leiden, The Netherlands, November 13-15, 2023. PDF BibTeX Website Slides
- Runming Li, Keerthana Gurushankar, Marijn J.~H.~Heule, and Kristin Y.~Rozier. “What’s in a Name? Linear Temporal Logic Literally Represents Time Lines.” In Proceedings of the 11th IEEE Working Conference on Software Visualization (VISSOFT 2023), Botota, Columbia, October 1–2, 2023. Artifact awarded the “Open Research Objects (ORO)” and “Research Objects Reviewed (ROR)” badges for reproducibility (each artifact separately received at least three peer-reviews). DOI:10.1109/VISSOFT60811.2023.00018 PDF BibTeX Website Slides
- Chris Johannsen, Brian Kempa, Phillip Jones, Kristin Yvonne Rozier and Tichakorn Wongpiromsarn. “Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints.” In Proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems (FMICS), volume TBD of Lecture Notes in Computer Science (LNCS), Springer, Antwerp, Belgium, September 20-22, 2023. PDF BibTeX Website Slides
- Pei Zhang, Alexis Aurandt, Rohit Dureja, Phillip Jones, and Kristin Y. Rozier. “Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines.” In Proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), volume TBD of Lecture Notes in Computer Science (LNCS), Springer, Antwerp, Belgium, September 19–21, 2023. PDF BibTeX Website Slides
- Gokul Hariharan, Phillip H. Jones, Kristin Y. Rozier, and Tichakorn Wongpiromsarn. “Maximum Satisfiability in Mission-time Linear Temporal Logic.” In Proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), volume TBD of Lecture Notes in Computer Science (LNCS), Springer, Antwerp, Belgium, September 19–21, 2023.
- Chris Johannsen, Phillip Jones, Brian Kempa, Kristin Yvonne Rozier, and 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.” In Proceedings of the 35th International Conference on Computer Aided Verification (CAV), Springer-Verlag, Paris, France, July 17-22, 2023. PDF BibTeX Website Slides
- Laura P.~Gamboa Guzman, and Kristin Yvonne Rozier. “Stalnaker’s Epistemic Logic in Isabelle/HOL.” In Proceedings of the 18th Logical and Semantic Frameworks with Applications (LSFA), Springer, Rome, Italy, July 1–2, 2023. PDF BibTeX Website Slides
- 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 Website Slides
- 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 Website
- 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. 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 Website
- 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 Website
- 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 PDF BibTeX Website
- 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 Website 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 Website Video
- Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Holger Schlingloff, Michael Winikoff, and Neil Yorke-Smith. “Towards a Framework for Certification of Reliable Autonomous Systems.” In 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) Journal-first (JAAMAS) track, Springer, London, UK (Virtual), May 3-7, 2021. PDF SpringerLink BibTeX
- Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Holger Schlingloff, Michael Winikoff, and Neil Yorke-Smith. “Towards a Framework for Certification of Reliable Autonomous Systems.” In Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), volume 35, number 8, Springer, January, 2021. DOI: https://doi.org/10.1007/s10458-020-09487-2 PDF SpringerLink BibTeX
- Jianwen Li, Yueling Zhang, Geguang Pu, Kristin Y. Rozier, and Moshe Y. Vardi. “SAT-based Explicit LTLf Satisfiability Checking.” In Artificial Intelligence Journal, Elsevier, 2020. PDF BibTeX
- Rohit Dureja, Jason Baumgartner, Robert Kanzelman, Mark Williams, and Kristin Yvonne Rozier. “Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration.” In Proceedings of the Twentieth International Conference on Formal Methods in Computer-Aided Design (FMCAD), IEEE, September 21-24, 2020. PDF BibTeX Website EasyChair-SmartSlides Short Video Long Video
- Matthew Cauwels, Abigail Hammer, Benjamin Hertz, Phillip Jones, and Kristin Yvonne Rozier. “Integrating Runtime Verification into an Automated UAS Traffic Management System.” In Proceedings of DETECT: international workshop on moDeling, vErification and Testing of dEpendable CriTical systems, volume 1269 of Communications in Computer and Information Science (CCIS),pages 340{357, Springer, L’Aquila, Italy, September 14-18, 2020. DOI: https://doi.org/10.1007/978-3-030-59155-7 26 PDF BibTeX Website Video Presentation
- Brian Kempa, Pei Zhang, Phillip Jones, Joseph Zambreno, and Kristin Yvonne Rozier. “Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2.” In Proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), volume 12288 of Lecture Notes in Computer Science (LNCS), pages 196-214, Springer-Verlag, Vienna, Austria, September 1-3, 2020. DOI: 10.1007/978-3-030-57628-8_12 PDF BibTeX Website Teaser Presentation
- Rohit Dureja, and Kristin Yvonne Rozier. “Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks.” Journal of Aerospace Information Systems (JAIS), volume 17, number 7, pages 322-335, AIAA, 2020. DOI:10.2514/1.I010769. PDF BibTeX
- Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman and Kristin Yvonne Rozier. “Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties.” In Formal Methods in Computer-Aided Design (FMCAD), IEEE/ACM, San Jose, California, USA, October 22-25, 2019. DOI:10.23919/FMCAD.2019 .8894265. PDF EasyChair-Preprint BibTeX Website
- Kristin Yvonne Rozier. “On Teaching Applied Formal Methods in Aerospace Engineering.” In Proceedings of the Formal Methods Teaching Workshop (FMTea) at the 3rd World Congress on Formal Methods, Springer Lecture Notes in Computer Science (LNCS), Porto, Portugal, October 7, 2019. PDF (Springer Link PDF) BibTeX EasyChair-SmartSlides
- Jianwen Li, Moshe Vardi, and Kristin Yvonne Rozier. “Satisfiability Checking for Mission-Time LTL.”In Proceedings of the 31st International Conference on Computer Aided Verification (CAV), Springer-Verlag, New York, New York, USA, July 15-18, 2019. PDF (Springer Link) BibTeX Slides
- Rohit Dureja, Jianwen Li, Geguang Pu, Kristin Yvonne Rozier and Moshe Vardi. “Intersection and Rotation of Assumption Literals Boosts Bug-Finding.” In Proceedings of the 11th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), volume 12031 of Lecture Notes in Computer Science (LNCS), pages 180-192, Springer-Verlag, New York, New York, USA, July 13–14, 2019. PDF (Springer Link) BibTeX Website
- Kristin Yvonne Rozier. “From Simulation to Runtime Verification and Back: Connecting Single-Run Verification Techniques.” In 2019 Spring Simulation Conference (SpringSim’19). Tucson, Arizona, April 29 – May 2, 2019. PDF BibTeX
- Jianwen Li, Yueling Zhang, Geguang Pu, Kristin Y. Rozier, and Moshe Y. Vardi. “SAT-based Explicit LTLf Satisfiability Checking.” In Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19). Honolulu, Hawaii, January 27 – February 1, 2019. PDF BibTeX
- Jianwen Li and Kristin Yvonne Rozier. “MLTL Benchmark Generation via Formula Progression.” In Proceedings of the 18th International Conference on Runtime Verification (RV18), Springer-Verlag, Limassol, Cyprus, November 10-13, 2018. PDF BibTeX
- Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, and Moshe Vardi. “SimpleCAR: An Efficient Bug-Finding Tool Based On Approximate Reachability.” In Proceedings of the 30th International Conference on Computer Aided Verification (CAV), Springer-Verlag, Oxford, UK, 2018. PDF BibTeX Website&Models EasyChair-SmartSlides
- Rohit Dureja and Kristin Yvonne Rozier. “More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D3).” In 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), part I, volume 10805 of Lecture Notes in Computer Science (LNCS), pages 309-327, Springer-Verlag, Thessaloniki, Greece, 14-21 April 2018. (Received the “Artifact Evaluated Stamp” — highest mark from Artifact Evaluation Review Committee) PDF BibTeX Additional Proofs/Results Website Benchmarks/Code/Datasets
- Rohit Dureja and Kristin Yvonne Rozier. “FuseIC3: An Algorithm for Checking Large Design Spaces.” In Formal Methods in Computer-Aided Design (FMCAD), IEEE/ACM, Vienna, Austria, October 2-6, 2017. PDF BibTeX Website Video
- Kristin Yvonne Rozier. “On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems.” In International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (RV-CUBES), held in conjunction with the 17th International Conference on Runtime Verification (RV), Kalpa Publications, Seattle, Washington, USA, September 13-16, 2017. DOI:10.29007/pld3 PDF BibTeX Slides
- Kristin Yvonne Rozier, and Johann Schumann. “R2U2: Tool Overview.” In International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (RV-CUBES), held in conjunction with the 17th International Conference on Runtime Verification (RV), Kalpa Publications, Seattle, Washington, USA, September 13-16, 2017. DOI:10.29007/5pch PDF BibTeX
- Patrick Moosbrugger, Kristin Y. Rozier, and Johann Schumann. “R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems.” In Formal Methods in System Design Journal (FMSD), pages 1–31, Springer-Verlag, April, 2017. DOI:10.1007/s10703-017-0275-x. PDF Journal Version BibTeX
- Eric W.D. Rozier, Kristin Yvonne Rozier, and Ulya Bayram. “Characterizing Data Dependence Constraints for Dynamic Reliability Using n-Queens Attack Domains.” In Leibniz Transactions on Embedded Systems (LITES) Special Issue on Quantitative Evaluation of Systems (QEST), volume 4, issue 1, article number 5, pg. 05:1-5:26, February, 2017. DOI: 10.4230/LITES-v004-i001-a005. PDF BibTeX
- Johann Schumann, Patrick Moosbrugger, and Kristin Y. Rozier. “Runtime Analysis with R2U2: A Tool Exhibition Report.” In Proceedings of the 16th International Conference on Runtime Verification (RV16), Springer-Verlag, Madrid, Spain, September, 2016. PDF BibTeX Website Demo
- Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, and Kristin Yvonne Rozier. “Model Checking at Scale: Automated Air Traffic Control Design Space Exploration.” In Proceedings of the 28th International Conference on Computer Aided Verification (CAV), Springer-Verlag, Toronto, Ontario, Canada, 2016. (Received the “Artifact Evaluated Stamp” — highest mark from Artifact Evaluation Review Committee http://barghouthi.github.io/ cav16-aec/) PDF BibTeX Website&Models
- Kristin Yvonne Rozier. “Specification: The Biggest Bottleneck in Formal Methods and Autonomy.” In Proceedings of the 8th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), volume 9971 of Lecture Notes in Computer Science (LNCS), pages 1–19, Springer-Verlag, Toronto, Canada, July 17–18, 2016. (Invited) PDF BibTeX
- Eric W.D. Rozier and Kristin Yvonne Rozier. “Cascading Solution of Data Dependency Constraints in Z3.” In International Symposium on Artificial Intelligence and Mathematics (ISAIM), AAAI, Ft. Lauderdale, Florida, January 4–6, 2016. (Invited) PDF BibTeX
- Eric W.D. Rozier and Kristin Yvonne Rozier. “SMT-Driven Intelligent Storage for Big Data.’” In Proceedings of the Ninth International Workshop on Constraints in Formal Verification (CFV), IEEE, Austin, Texas, USA, November 5, 2015. (Invited) PDF BibTeX
- Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta and Kristin Y. Rozier.“Comparing Different Functional Allocations in Automated Air Traffic Control Design.” In Formal Methods in Computer-Aided Design (FMCAD 2015), IEEE/ACM, Austin, Texas, USA, September 27-30, 2015. PDF BibTeX Slides
- Johann Schumann, Patrick Moosbrugger, and Kristin Y. Rozier. “R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems.” In Proceedings of the 15th International Conference on Runtime Verification (RV15), Springer-Verlag, Vienna, Austria, September 22–25, 2015. PDF BibTeX
- Ulya Bayram, Kristin Yvonne Rozier, and Eric W. D. Rozier. “Characterizing Data Dependence Constraints for Dynamic Reliability Using N-Queens Attack Domains.” In Proceedings of the 12th International Conference on Quantitative Evaluation of SysTems (QEST 2015), Madrid, Spain, September 1–3, 2015. PDF BibTeX
- Johann Schumann, Kristin Y. Rozier, Thomas Reinbacher, Ole J. Mengshoel, Timmy Mbaya, and Corey Ippolito. “Towards Real-time, On-board, Hardware-supported Sensor and Software Health Management for Unmanned Aerial Systems.” In International Journal of Prognostics and Health Management (IJPHM), volume 6, number 1, pages 1–27, PHM Society, June, 2015. PDF BibTeX
- Zhao, Yang, and Rozier, Kristin Yvonne. “Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System.” In Science of Computer Programming Journal, volume 96, number 3, pages 337-353, Elsevier, December, 2014. DOI:10.1016/j.scico.2014.04.002 PS PDF (Journal version: PDF) BibTeX Software/Models
- Zhao, Yang, and Rozier, Kristin Yvonne. “Probabilistic Model Checking for Comparative Analysis of Automated Air Traffic Control Systems.” In IEEE/ACM 2014 International Conference on Computer-Aided Design (ICCAD), IEEE/ACM, November, 2014. PDF BibTeX Software/Models Slides
- Johannes Geist, Kristin Yvonne Rozier, and Johann Schumann. “Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems.” In 14th International Conference on Runtime Verification (RV14), Springer-Verlag, Toronto, Canada, September 22-25, 2014. DOI:10.1007/978-3-319-11164-3_18 PDF (Proceedings version: PDF) BibTeX Experiments/Downloads
- Rozier, Kristin Yvonne, and Rozier, Eric. “Reproducibility, Correctness, and Buildability: the Three Principles for Ethical Public Dissemination of Computer Science and Engineering Research,” In IEEE International Symposium on Ethics in Engineering, Science, and Technology, Ethics’2014, May 23-24, 2014. PDF BibTeX Slides
- Badger, Julia, and Rozier, Kristin Yvonne, (Eds.): Proceedings of the Sixth NASA Formal Methods Symposium (NFM 2014), Houston, Texas, U.S.A., April 29-May 1, 2014. Lecture Notes in Computer Science (LNCS), volume 8430, Springer 2014. Springer Link BibTeX
- Thomas Reinbacher, Kristin Y. Rozier, and Johann Schumann. “Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems.” In 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 8413 of Lecture Notes in Computer Science (LNCS), pages 357–372, Springer-Verlag, Grenoble, France, 5-13 April 2014. PDF (Proceedings version: PDF) (Springer Link) BibTeX Tools and Simulation Traces
- Johann Schumann, Kristin Y. Rozier, Thomas Reinbacher, Ole J. Mengshoel, Timmy Mbaya, and Corey Ippolito. “Towards Real-time, On-board, Hardware-supported Sensor and Software Health Management for Unmanned Aerial Systems.” In 2013 Annual Conference of the Prognostics and Health Management Society (PHM2013), pages 381–401. October, 2013. PDF BibTeX
- Rozier, Kristin Y., and Vardi, Moshe Y. “Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking.” In 8th Haifa Verification Conference (HVC2012), volume 7857 of Lecture Notes in Computer Science (LNCS), pages 243–259, Springer-Verlag, 2012. PS PDF BibTeX Slides
- Zhao, Yang, and Rozier, Kristin Yvonne. “Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System.” In 12th International Workshop on Automated Verification of Critical Systems (AVoCS2012), volume 53, pages 43-57 of Electronic Communications of the EASST, 2012. DOI:10.14279/tuj.eceasst.53.787 PS PDF (Journal version: PDF) BibTeX Software/Models
- Tabakov, Deian, Rozier, Kristin Y., and Vardi, Moshe Y. “Optimized Temporal Monitors for SystemC.” In Formal Methods in System Design Journal, volume 41, number 3, pages 236-268, Springer, January, 2012. PS (tarball) PDF (Journal version: PDF) BibTeX Software
- Rozier, Kristin Y., and Vardi, Moshe Y. “A Multi-Encoding Approach for LTL Symbolic Satisfiability Checking.” In 17th International Symposium on Formal Methods (FM2011), volume 6664 of Lecture Notes in Computer Science (LNCS), pages 417–431. Springer-Verlag, 2011. PS PDF (Proceedings version: PDF) BibTeX Slides Software
- Rozier, Kristin Y. “Linear Temporal Logic Symbolic Model Checking.” In Computer Science Review Journal, volume 5, number 2, pages 163-203, Elsevier, May, 2011. PDF BibTeX
- Rozier, Kristin Y., and Vardi, Moshe Y. “LTL Satisfiability Checking.” In International Journal on Software Tools for Technology Transfer (STTT), pages 123–137, Springer-Verlag, March, 2010. PS PDF (original LNCS publication: PDF) BibTeX Software
- Rozier, Kristin Y., and Vardi, Moshe Y. “LTL Satisfiability Checking.” In14th Workshop on Model Checking Software (SPIN ’07), volume 4595 of Lecture Notes in Computer Science (LNCS), pages 149-167. Springer-Verlag, 2007. PS PDF (original LNCS publication: PDF) BibTeX Software
- Burley, Casey L., Brooks, Thomas F., Rozier, Kristin Y., et al. “Rotor wake vortex definition evaluation of 3-C PIV results of the HART-II study,”International Journal of Aeroacoustics, volume 5, pages 1-38, January 2006. PDF BibTeX
Workshop Papers
- Justin Bradley, Cody Fleming, Kristin Y. Rozier, and Amy Pritchett. “Impact and Influence of Cyber-Physical Systems Research on Autonomous Aerospace Systems.” AIAA SciTech, National Harbor, Maryland, January 23–27, 2023. DOI: PDF BibTeX
- Sebastian Schirmer, Christoph Torens, Johann C. Dauer, Jan Baumeister, Bernd Finkbeiner, and Kristin Y. Rozier. “A Hierarchy of Monitoring Properties for Autonomous Systems.” AIAA SciTech, National Harbor, Maryland, January 23–27, 2023. DOI: 10.2514/6.2023-2588 PDF BibTeX
- Zachary A. Luppen, Dae Young Lee, and Kristin Yvonne Rozier. “A Case Study in Formal Specification and Runtime Verification of a CubeSat Communications System.” AIAA SciTech, Session on Formal Methods for Intelligent Aerospace Systems, Nashville, Tennessee, January 11–15, 2021. DOI: https://doi.org/10.2514/6.2021-0997 (Invited) PDF BibTeX
- Kristin Yvonne Rozier. “Temporal Logic Satisfiability From Specification Debugging to Benchmark Generation.” In Forth Women in Logic Workshop (WiL), June 30, 2020. PDF BibTeX Abstract Slides
- Wolfgang Ahrendt, Marieke Huisman, Giles Reger, and Kristin Yvonne Rozier. “A Broader View on Verification: From Static to Runtime and Back (Track Summary).” In 8th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA), volume 11245 of LNCS, pages 3-7, Springer, November, 2018. PDF BibTeX
- Rohit Dureja, Eric W.D. Rozier, and Kristin Y. Rozier. “A Case Study in Safety, Security, and Availability of Wireless-Enabled Aircraft Communication Networks.” In AIAA AVIATION, 5–9 June, 2017. PDF (Proceedings version: PDF) BibTeX
Technical Reports
- Kristin Yvonne Rozier and Giles Reger. “The International Runtime Verification Competition 2019.” Online: PDF
- Michael Lowry, Anupa Bajwa, Patrick Quach, Gabor Karsai, Kristin Y. Rozier, Sanjai Rayadurgam. “Autonomy Operating System for UAVs.” Online report, April 19, 2017. PDF NTRS BibTeX
- Kristin Yvonne Rozier, Johann Schumann, and Corey Ippolito. “Intelligent Hardware-Enabled Sensor and Software Safety and Health Management for Autonomous UAS.” Technical Memorandum NASA/TM-2015-218817, May, 2015. PDF BibTeX
Magazine Articles
- Rozier, Kristin Yvonne. “Year In Review: Intelligent Systems,” Aerospace America, volume 52, number 11, page 45, December 2014. PDF BibTeX
- Rozier, Kristin Yvonne. “Year In Review: Intelligent Systems,” Aerospace America, volume 51, number 11, page 43, December 2013. PDF BibTeX
- Rozier, Kristin Yvonne. “Year In Review: Intelligent Systems,” Aerospace America, volume 50, number 11, page 42, December 2012. PDF BibTeX
- Rozier, Kristin Yvonne. “Year In Review: Intelligent Systems,” Aerospace America, volume 49, number 11, page 39, December 2011. PDF BibTeX
- Harvey, Seth, Ingham, Michel, Rozier, Kristin Yvonne. “Year In Review: Intelligent Systems,” Aerospace America, volume 48, number 11, page 41, December 2010. PDF BibTeX
Conference Proceedings
- Alexander Nadel, and Kristin Yvonne Rozier, (Eds.). Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023. Volume 4, pp. 1–317). TU Wien Academic Press, 2023. DOI https://doi.org/10.34727/2023/isbn.978-3-85448-060-0.
- Kristin Yvonne Rozier and Swarat Chaudhuri, (Eds.): Proceedings of the Fifteenth NASA Formal Methods Symposium (NFM 2023), Houston, Texas, U.S.A., May 16–18, 2023. Lecture Notes in Computer Science (LNCS), volume 13903, Springer 2023, eBook ISBN 978-3-031-33170-1, Print ISBN 978-3-031-33169-5.
- Julia Badger and Kristin Yvonne Rozier. NASA Formal Methods: Proceedings of the 11th International Symposium, NFM 2019, volume 11460, Lecture Notes in Computer Science (LNCS), Springer International Publishing, May, 2019, DOI 10.1007/978-3-030-20652-9. Preface BibTeX
- Julia Badger and Kristin Yvonne Rozier. NASA Formal Methods: Proceedings of the 6th International Symposium, NFM 2014, volume 8430, Lecture Notes in Computer Science (LNCS), Springer International Publishing, April-May, 2014. BibTeX
- Rozier, Kristin Yvonne, ed.: Proceedings of the Sixth NASA Langley Formal Methods Workshop (LFM 2008), NASA/CP-2008-215309, May 2008. PDF BibTeX