Skip to contents

  1. Nadel, Alexander [Editor]; Rozier, Kristin Yvonne [Editor]

    Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Erscheinungsort nicht ermittelbar]: TU Wien Academic Press, 2023

    Published in: Conference Series: Formal Methods in Computer-Aided Design

  2. Platzer, André [Editor]; Rozier, Kristin Yvonne [Editor]; Pradella, Matteo [Editor]; Rossi, Matteo [Editor]

    Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I - [1st ed. 2025.]

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer Nature Switzerland, 2025. ; Cham: Imprint: Springer, 2025.

    Published in: Lecture Notes in Computer Science ; 14933

  3. Platzer, Andre [Editor]; Rozier, Kristin Yvonne [Editor]; Pradella, Matteo [Editor]; Rossi, Matteo [Editor]

    Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II - [1st ed. 2025.]

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer Nature Switzerland, 2025. ; Cham: Imprint: Springer, 2025.

    Published in: Lecture Notes in Computer Science ; 14934

  4. Enkel, Ellen [Author]; Jansen, Nils [Author]; Mousavi, Mohammad Reza [Author]; Rozier, Kristin Yvonne [Author] ; Ellen Enkel and Nils Jansen and Mohammad Reza Mousavi and Kristin Yvonne Rozier [Contributor]

    Model Learning for Improved Trustworthiness in Autonomous Systems (Dagstuhl Seminar 23492)

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024

  5. Reinbacher, Thomas; Rozier, Kristin Yvonne; Schumann, Johann

    Tools and Algorithms for the Construction and Analysis of Systems: Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Berlin Heidelberg, 2014

    Published in: Tools and Algorithms for the Construction and Analysis of Systems (2014), Seite 357-372

  6. Ahrendt, Wolfgang; Huisman, Marieke; Reger, Giles; Rozier, Kristin Yvonne

    Leveraging Applications of Formal Methods, Verification and Validation. Verification: A Broader View on Verification: From Static to Runtime and Back (Track Summary)

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer International Publishing, 2018

    Published in: Leveraging Applications of Formal Methods, Verification and Validation. Verification (2018), Seite 3-7