Kristin Y. Rozier

35 papers A* 1A 2B 11C 1Misc 1Journal 13Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
MLTL Multi-type: A Typed Logic for Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst.
Gokul Hariharan, Brian Kempa, Tichakorn Wongpiromsarn, Phillip H. Jones, Kristin Y. Rozier
2026 J jnl
WEST: Interactive validation of Mission-time Linear Temporal Logic (MLTL).
Sci. Comput. Program.
Zili Wang, Laura P. Gamboa Guzman, Kristin Y. Rozier
2024 J jnl
Formalizing MLTL Formula Progression in Isabelle/HOL.
CoRR
Katherine Kosaian, Zili Wang, Elizabeth Sloan, Kristin Y. Rozier
2024 B conf
Toward Exhaustive Sequential Redundancy Removal.
FMCAD
Rohit Dureja, Jason Baumgartner, Raj Kumar Gajavelly, Robert Kanzelman, Kristin Y. Rozier
2023 B conf
Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community.
FMCAD
Kristin Y. Rozier, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi
2023 C conf
Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints.
FMICS
Chris Johannsen, Brian Kempa, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn
2023 — conf
Stalnaker's Epistemic Logic in Isabelle/HOL.
LSFA/HCVS
Laura P. Gamboa Guzman, Kristin Y. Rozier
2022 J jnl
Integrating runtime verification into an automated UAS traffic management system.
Innov. Syst. Softw. Eng.
Abigail Hammer, Matthew Cauwels, Benjamin Hertz, Phillip H. Jones, Kristin Y. Rozier
2022 — conf
MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types.
NSV/FoMLAS@CAV
Gokul Hariharan, Brian Kempa, Tichakorn Wongpiromsarn, Phillip H. Jones, Kristin Y. Rozier
2022 J jnl
Satisfiability checking for Mission-time LTL (MLTL).
Inf. Comput.
Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier
2022 B conf
Translating SysML Activity Diagrams for nuXmv Verification of an Autonomous Pancreas.
COMPSAC
Orion Staskal, Josh Simac, Logan Swayne, Kristin Y. Rozier
2021 J jnl
Incremental design-space model checking via reusable reachable state approximations.
Formal Methods Syst. Des.
Rohit Dureja, Kristin Y. Rozier
2021 A conf
Summarising a Framework for the Certification of Reliable Autonomous Systems.
AAMAS
Michael Fisher, Viviana Mascardi, Kristin Y. Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
2020 B conf
Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration.
FMCAD
Rohit Dureja, Jason Baumgartner, Robert Kanzelman, Mark Williams, Kristin Y. Rozier
2020 — conf
Integrating Runtime Verification into an Automated UAS Traffic Management System.
ECSA Companion
Matthew Cauwels, Abigail Hammer, Benjamin Hertz, Phillip H. Jones, Kristin Y. Rozier
2020 J jnl
SAT-based explicit LTLf satisfiability checking.
Artif. Intell.
Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier
2019 B conf
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties.
FMCAD
Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, Kristin Y. Rozier
2019 — conf
Intersection and Rotation of Assumption Literals Boosts Bug-Finding.
VSTTE
Rohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi, Kristin Y. Rozier
2019 A* conf
SAT-Based Explicit LTLf Satisfiability Checking.
AAAI
Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi
2019 — conf
Satisfiability Checking for Mission-Time LTL.
CAV (2)
Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier
2018 B conf
MLTL Benchmark Generation via Formula Progression.
RV
Jianwen Li, Kristin Y. Rozier
2018 J jnl
SAT-based Explicit LTLf Satisfiability Checking.
CoRR
Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi
2017 J jnl
Characterizing Data Dependence Constraints for Dynamic Reliability Using n-Queens Attack Domains.
Leibniz Trans. Embed. Syst.
Eric William Davis Rozier, Kristin Y. Rozier, Ulya Bayram
2017 J jnl
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems.
Formal Methods Syst. Des.
Patrick Moosbrugger, Kristin Y. Rozier, Johann Schumann
2016 Misc conf
Cascading Solution to Data Dependence Constraints with Z3.
ISAIM
Eric William Davis Rozier, Kristin Y. Rozier
2016 B conf
Runtime Analysis with R2U2: A Tool Exhibition Report.
RV
Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier
2015 B conf
Comparing Different Functional Allocations in Automated Air Traffic Control Design.
FMCAD
Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier
2015 B conf
R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems.
RV
Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier
2014 A conf
Probabilistic model checking for comparative analysis of automated air traffic control systems.
ICCAD
Yang Zhao, Kristin Y. Rozier
2014 B conf
Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems.
RV
Johannes Geist, Kristin Y. Rozier, Johann Schumann
2012 J jnl
Optimized temporal monitors for SystemC.
Formal Methods Syst. Des.
Deian Tabakov, Kristin Y. Rozier, Moshe Y. Vardi
2011 B conf
A Multi-encoding Approach for LTL Symbolic Satisfiability Checking.
FM
Kristin Y. Rozier, Moshe Y. Vardi
2011 J jnl
Linear Temporal Logic Symbolic Model Checking.
Comput. Sci. Rev.
Kristin Y. Rozier
2010 J jnl
LTL satisfiability checking.
Int. J. Softw. Tools Technol. Transf.
Kristin Y. Rozier, Moshe Y. Vardi
2007 — conf
LTL Satisfiability Checking.
SPIN
Kristin Y. Rozier, Moshe Y. Vardi