Integrating Runtime Verification into a Sounding Rocket Control System

von Hertz, Benjamin
Veröffentlicht in NFM (13. : 2021 : Online) NASA Formal Methods (2021)

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

von Aurandt, Alexis
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

NASA formal methods : 15th international symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023 : proceedings

Veröffentlicht 2023

NASA formal methods : 11th international symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings

Veröffentlicht 2019

Maximum Satisfiability of Mission-Time Linear Temporal Logic

von Hariharan, Gokul
Veröffentlicht in FORMATS (21. : 2023 : Antwerpen) Formal modeling and analysis of timed systems (2023)

Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2

von Kempa, Brian
Veröffentlicht in FORMATS (18. : 2020 : Online) Formal modeling and analysis of timed systems (2020)

Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines

von Zhang, Pei
Veröffentlicht in FORMATS (21. : 2023 : Antwerpen) Formal modeling and analysis of timed systems (2023)

Formal methods

Veröffentlicht 2025

Formal methods : 26th international symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings

Formal methods

Veröffentlicht 2025

NASA formal methods : 6th international symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 ; proceedings

Veröffentlicht 2014

Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry

von Luppen, Zachary
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)