Skip to contents

Badger, Julia M. [Author] ; Rozier, Kristin Yvonne [Editor]

NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

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

Cham [u.a.]: Springer, 2014

Published in: Lecture notes in computer science ; 8430
Rozier, Kristin Yvonne [Editor]; Chaudhuri, Swarat [Editor]

NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings - [1st ed. 2023.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

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

Published in: Lecture Notes in Computer Science ; 13903
Nadel, Alexander [Editor]; Rozier, Kristin Yvonne [Editor]

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

View online
Schließen

Access

... to E-book (freely accessible)

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
Nadel, Alexander [Editor]; Rozier, Kristin Yvonne [Editor] ; FMCAD 23. 2023 Ames, Iowa

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

View online
Schließen

Access

... to E-book via IEEE Xplore

Close

Bookmarks

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

[Piscataway, NJ]: IEEE, 2023

Published in: Conference series: formal methods in computer-aided design ; volume 4
Badger, Julia M. [Editor]; Rozier, Kristin Yvonne [Editor]

NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Cham: Springer, 2019

Published in: Programming and Software Engineering ; 11460- Springer eBooks ; Computer Science
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.]

View online
Schließen

Access

... to E-book via DOI (freely accessible)

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
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.]

View online
Schließen

Access

... to E-book via DOI (freely accessible)

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
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)

View online
Schließen

Links

... to article via DOI

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
Rozier, Kristin Yvonne

Formal Methods Teaching: On Teaching Applied Formal Methods in Aerospace Engineering

View online
Schließen

Access

Close

Bookmarks

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

Springer International Publishing, 2019

Published in: Formal Methods Teaching (2019), Seite 111-131
Rozier, Kristin Yvonne

Lecture Notes in Computer Science: Specification: The Biggest Bottleneck in Formal Methods and Autonomy

View online
Schließen

Access

Close

Bookmarks

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

Springer International Publishing, 2016

Published in: Lecture Notes in Computer Science (2016), Seite 8-26
Dureja, Rohit; Rozier, Kristin Yvonne

Tools and Algorithms for the Construction and Analysis of Systems: More Scalable LTL Model Checking via Discovering Design-Space Dependencies ( $$D^{3}$$ D 3 )

View online
Schließen

Access

Close

Bookmarks

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

Springer International Publishing, 2018

Published in: Tools and Algorithms for the Construction and Analysis of Systems (2018), Seite 309-327
Zhao, Yang; Rozier, Kristin Yvonne

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

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2014

Published in: Science of Computer Programming, 96 (2014), Seite 337-353
Bayram, Ulya; Rozier, Kristin Yvonne; Rozier, Eric W. D.

Quantitative Evaluation of Systems: Characterizing Data Dependence Constraints for Dynamic Reliability Using N-Queens Attack Domains

View online
Schließen

Access

Close

Bookmarks

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

Springer International Publishing, 2015

Published in: Quantitative Evaluation of Systems (2015), Seite 211-227
Hertz, Benjamin; Luppen, Zachary; Rozier, Kristin Yvonne

Lecture Notes in Computer Science: Integrating Runtime Verification into a Sounding Rocket Control System

View online
Schließen

Access

Close

Bookmarks

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

Springer International Publishing, 2021

Published in: Lecture Notes in Computer Science (2021), Seite 151-159
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

View online
Schließen

Access

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
Rozier, Kristin Yvonne; Vardi, Moshe Y.

Hardware and Software: Verification and Testing: Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking

View online
Schließen

Access

Close

Bookmarks

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

Springer Berlin Heidelberg, 2013

Published in: Hardware and Software: Verification and Testing (2013), Seite 243-259
Hariharan, Gokul; Jones, Phillip H.; Rozier, Kristin Yvonne; Wongpiromsarn, Tichakorn

Lecture Notes in Computer Science: Maximum Satisfiability of Mission-Time Linear Temporal Logic

View online
Schließen

Access

Close

Bookmarks

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

Springer Nature Switzerland, 2023

Published in: Lecture Notes in Computer Science (2023), Seite 86-104
Aurandt, Alexis; Jones, Phillip H.; Rozier, Kristin Yvonne

Lecture Notes in Computer Science: Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I

View online
Schließen

Access

Close

Bookmarks

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

Springer International Publishing, 2022

Published in: Lecture Notes in Computer Science (2022), Seite 816-825
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)

View online
Schließen

Access

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
Elwing, Jenna; Gamboa-Guzman, Laura; Sorkin, Jeremy; Travesset, Chiara; Wang, Zili; Rozier, Kristin Yvonne

Lecture Notes in Computer Science: Mission-Time LTL (MLTL) Formula Validation via Regular Expressions

View online
Schließen

Access

Close

Bookmarks

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

Springer Nature Switzerland, 2024

Published in: Lecture Notes in Computer Science (2024), Seite 279-301

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication