Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL

von Bae, Kyungmin
Veröffentlicht in FACS (19. : 2023 : Online) Formal aspects of component software (2024)

STLMC: Robust STL Model Checking of Hybrid Systems Using SMT

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

Rewriting logic and its applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, revised selected papers

Veröffentlicht 2022

An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVS

von Lee, Jaehun
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 3: Adaptation and learning (2022)

Special issue on Formal Aspects of Component Software (FACS 2018)

Veröffentlicht 2020

Hybrid SynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL

von Lee, Jaehun
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

Formal aspects of component software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018 : proceedings

Veröffentlicht 2018