| 2024 | FMCAD | Toward Exhaustive Sequential Redundancy Removal. | Rohit Dureja, Jason Baumgartner, Raj Kumar Gajavelly, Robert Kanzelman, Kristin Y. Rozier |
| 2023 | FMCAD | Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community. | Kristin Y. Rozier, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi |
| 2023 | FMICS | Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints. | Chris Johannsen, Brian Kempa, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn |
| 2022 | CAV | MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types. | Gokul Hariharan, Brian Kempa, Tichakorn Wongpiromsarn, Phillip H. Jones, Kristin Y. Rozier |
| 2022 | COMPSAC | Translating SysML Activity Diagrams for nuXmv Verification of an Autonomous Pancreas. | Orion Staskal, Josh Simac, Logan Swayne, Kristin Y. Rozier |
| 2020 | ECSA | Integrating Runtime Verification into an Automated UAS Traffic Management System. | Matthew Cauwels, Abigail Hammer, Benjamin Hertz, Phillip H. Jones, Kristin Y. Rozier |
| 2020 | FMCAD | Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration. | Rohit Dureja, Jason Baumgartner, Robert Kanzelman, Mark Williams, Kristin Y. Rozier |
| 2019 | AAAI | SAT-Based Explicit LTLf Satisfiability Checking. | Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi |
| 2019 | CAV | Satisfiability Checking for Mission-Time LTL. | Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier |
| 2019 | FMCAD | Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties. | Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, Kristin Y. Rozier |
| 2018 | RV | MLTL Benchmark Generation via Formula Progression. | Jianwen Li, Kristin Y. Rozier |
| 2016 | ISAIM | Cascading Solution to Data Dependence Constraints with Z3. | Eric William Davis Rozier, Kristin Y. Rozier |
| 2016 | RV | Runtime Analysis with R2U2: A Tool Exhibition Report. | Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier |
| 2015 | FMCAD | Comparing Different Functional Allocations in Automated Air Traffic Control Design. | Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier |
| 2015 | RV | R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems. | Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier |
| 2014 | ICCAD | Probabilistic model checking for comparative analysis of automated air traffic control systems. | Yang Zhao, Kristin Y. Rozier |
| 2014 | RV | Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems. | Johannes Geist, Kristin Y. Rozier, Johann Schumann |
| 2011 | FM | A Multi-encoding Approach for LTL Symbolic Satisfiability Checking. | Kristin Y. Rozier, Moshe Y. Vardi |