Contact

All Stories

  1. Formal Methods in Industry

    Article • Formal Aspects of Computing, December 2024, ACM (Association for Computing Machinery)

    Prof. Dr. Kristin Yvonne Rozier, Ivo ter Horst

  2. MLTL Multi-type: A Typed Logic for Cyber-Physical Systems

    Article • ACM Transactions on Embedded Computing Systems, November 2024, ACM (Association for Computing Machinery)

    Prof. Dr. Kristin Yvonne Rozier, Gokul Hariharan

  3. R2U2: Runtime Verification Takes Off! (Keynote)

    Article • September 2024, ACM (Association for Computing Machinery)

    Prof. Dr. Kristin Yvonne Rozier

  4. A Hierarchy of Monitoring Properties for Autonomous Systems

    Article • January 2023, American Institute of Aeronautics and Astronautics (AIAA)

    Prof. Dr. Kristin Yvonne Rozier

  5. NASA Formal Methods

    Article • January 2023, Springer Science + Business Media

    Prof. Dr. Kristin Yvonne Rozier

  6. Satisfiability checking for Mission-time LTL (MLTL)

    Article • Information and Computation, November 2022, Elsevier

    Prof. Dr. Kristin Yvonne Rozier

  7. Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry

    Article • January 2022, Springer Science + Business Media

    Prof. Dr. Kristin Yvonne Rozier

  8. MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types

    Article • January 2022, Springer Science + Business Media

    Prof. Dr. Kristin Yvonne Rozier

  9. Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I

    Article • January 2022, Springer Science + Business Media

    Prof. Dr. Kristin Yvonne Rozier

  10. In conversation with a (highly passionate) temporal logician

    Article • January 2022, Sci-Comm Consulting Ltd

    Prof. Dr. Kristin Yvonne Rozier

  11. OpenUAS Version 1.0

    Article • June 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Dr. Kristin Yvonne Rozier

  12. A Case Study in Formal Specification and Runtime Verification of a CubeSat Communications System

    Article • January 2021, American Institute of Aeronautics and Astronautics (AIAA)

    Prof. Dr. Kristin Yvonne Rozier

  13. Integrating Runtime Verification into a Sounding Rocket Control System

    Article • January 2021, Springer Science + Business Media

    Prof. Dr. Kristin Yvonne Rozier

  14. Towards a framework for certification of reliable autonomous systems

    Article • Autonomous Agents and Multi-Agent Systems, December 2020, Springer Science + Business Media

    Prof. Dr. Kristin Yvonne Rozier

  15. SAT-based explicit LTLf satisfiability checking

    Article • Artificial Intelligence, December 2020, Elsevier

    Prof. Dr. Kristin Yvonne Rozier

  16. Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks

    Article • Journal of Aerospace Information Systems, July 2020, American Institute of Aeronautics and Astronautics (AIAA)

    Prof. Dr. Kristin Yvonne Rozier

  17. Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2

    Article • January 2020, Springer Science + Business Media

    Prof. Dr. Kristin Yvonne Rozier

  18. Integrating Runtime Verification into an Automated UAS Traffic Management System

    Article • January 2020, Springer Science + Business Media

    Prof. Dr. Kristin Yvonne Rozier

  19. Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties

    Article • October 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Dr. Kristin Yvonne Rozier

  20. From Simulation to Runtime Verification and Back: Connecting Single-Run Verification Techniques

    Article • April 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Dr. Kristin Yvonne Rozier

  21. On Teaching Applied Formal Methods in Aerospace Engineering

    Article • January 2019, Springer Science + Business Media

    Prof. Dr. Kristin Yvonne Rozier

  22. NASA Formal Methods

    Article • January 2019, Springer Science + Business Media

    Prof. Dr. Kristin Yvonne Rozier

  23. More Scalable LTL Model Checking via Discovering Design-Space Dependencies ( $$D^{3}$$ D 3 )

    Article • January 2018, Springer Science + Business Media

    Prof. Dr. Kristin Yvonne Rozier

  24. FuseIC3: An algorithm for checking large design spaces

    Article • October 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Dr. Kristin Yvonne Rozier

  25. A Case Study in Safety, Security, and Availability of Wireless-Enabled Aircraft Communication Networks

    Article • June 2017, American Institute of Aeronautics and Astronautics (AIAA)

    Prof. Dr. Kristin Yvonne Rozier

  26. Specification: The Biggest Bottleneck in Formal Methods and Autonomy

    Article • January 2016, Springer Science + Business Media

    Prof. Dr. Kristin Yvonne Rozier

  27. Comparing different functional allocations in automated air traffic control design

    Article • September 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Dr. Kristin Yvonne Rozier

  28. Characterizing Data Dependence Constraints for Dynamic Reliability Using N-Queens Attack Domains

    Article • January 2015, Springer Science + Business Media

    Prof. Dr. Kristin Yvonne Rozier

  29. Formal specification and verification of a coordination protocol for an automated air traffic control system

    Article • Science of Computer Programming, December 2014, Elsevier

    Prof. Dr. Kristin Yvonne Rozier

  30. Probabilistic model checking for comparative analysis of automated air traffic control systems

    Article • November 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Dr. Kristin Yvonne Rozier

  31. Reproducibility, correctness, and buildability: The three principles for ethical public dissemination of computer science and engineering research

    Article • May 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Dr. Kristin Yvonne Rozier

  32. Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems

    Article • January 2014, Springer Science + Business Media

    Prof. Dr. Kristin Yvonne Rozier

  33. NASA Formal Methods

    Article • January 2014, Springer Science + Business Media

    Prof. Dr. Kristin Yvonne Rozier

  34. Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking

    Article • January 2013, Springer Science + Business Media

    Prof. Dr. Kristin Yvonne Rozier

  35. Optimized temporal monitors for SystemC

    Article • Formal Methods in System Design, January 2012, Springer Science + Business Media

    Prof. Dr. Kristin Yvonne Rozier

  36. Linear Temporal Logic Symbolic Model Checking

    Article • Computer Science Review, May 2011, Elsevier

    Prof. Dr. Kristin Yvonne Rozier

  37. LTL satisfiability checking

    Article • International Journal on Software Tools for Technology Transfer, March 2010, Springer Science + Business Media

    Prof. Dr. Kristin Yvonne Rozier

  38. LTL Satisfiability Checking

    Article • Springer Science + Business Media

    Dr Moshe Y. Vardi, Prof. Dr. Kristin Yvonne Rozier

  39. R2U2: Tool Overview

    Article • EasyChair

    Prof. Dr. Kristin Yvonne Rozier

  40. On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems

    Article • EasyChair

    Prof. Dr. Kristin Yvonne Rozier