Kristin Y. Rozier

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 22

Top Topics

Epistemic Logic

Activity Diagrams

Top Venues

Formal Methods Syst. Des.

Publications

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