Generation of Formal Requirements from Structured Natural Language

von Giannakopoulou, Dimitra
Veröffentlicht in REFSQ (26. : 2020 : Online) Requirements engineering: foundation for software quality (2020)

Towards Autonomous Piloting: Communicating with Air Traffic Control

von Lowry, Michael
Veröffentlicht in AIAA SciTech Forum and Exposition (2019 : San Diego, Calif.) Intelligent systems ; Volume 2 of 2 (2019)

Capture, Analyze, Diagnose: Realızability Checking Of Requirements in FRET

von Katis, Andreas
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET

von Mavridou, Anastasia
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)