RTAMT: Online Robustness Monitors from STL

von Nickovic, Dejan
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

Runtime verification : 20th international conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020 : proceedings

Veröffentlicht 2020

On the Complexity of Timed Pattern Matching

von Asarin, Eugene
Veröffentlicht in FORMATS (19. : 2021 : Online) Formal Modeling and Analysis of Timed Systems (2021)

Formal methods for industrial critical systems : 25th international conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings

Veröffentlicht 2020

Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems

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

Weakness Monitors for Fail-Aware Systems

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

Mining Shape Expressions with Shapelt

von Bartocci, Ezio
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2021)

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties

von Maderbacher, Benedikt
Veröffentlicht in SPIN (29. : 2023 : Paris) Model checking software (2023)

Information-flow Interfaces

von Bartocci, Ezio
Veröffentlicht in FASE (25. : 2022 : München) Fundamental approaches to software engineering (2022)

Flavors of Sequential Information Flow

von Bartocci, Ezio
Veröffentlicht in VMCAI (23. : 2022 : Philadelphia, Pa.) Verification, Model Checking, and Abstract Interpretation (2022)

Formal Specification for Learning-Enabled Autonomous Systems

von Bensalem, Saddek
Veröffentlicht in Software verification and formal methods for ML-enabled autonomous systems (2022)