Asynchronous Composition of Local Interface LTL Properties

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

Assumption-Based Runtime Verification of Infinite-State Systems

von Cimatti, Alessandro
Veröffentlicht in RV (21. : 2021 : Online) Runtime Verification (2021)

Searching for Ribbon-Shaped Paths in Fair Transition Systems

von Bozzano, Marco
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)

Computer safety, reliability, and security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings

Veröffentlicht 2017

Computer safety, reliability, and security : SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS : Trento, Italy, September 12, 2017 : proceedings

Veröffentlicht 2017

Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems

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

Model-Based Safety Analysis of Mode Transitions

von Bozzano, Marco
Veröffentlicht in SAFECOMP (39. : 2020 : Lissabon; Online) Computer safety, reliability, and security (2020)

Model-based Analysis Support for Dependable Complex Systems in CHESS

von Debiasi, Alberto
Veröffentlicht in MODELSWARD (Veranstaltung : 9. : 2021 : Online) MODELSWARD 2021 (2021)

Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis

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

Safe Decomposition of Startup Requirements: Verification and Synthesis

von Cimatti, Alessandro
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

A first-order logic characterisation of safety and co-safety languages

von Cimatti, Alessandro
Veröffentlicht in FOSSACS (25. : 2022 : München) Foundation of software science and computation structures (2022)

Verified software : theories, tools and experiments : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022 : revised selected papers

Veröffentlicht 2023

Computer safety, reliability, and security : 42nd international conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings

Veröffentlicht 2023

COMPASTA: Extending TASTE with Formal Design and Verification Functionality

von Bombardelli, Alberto
Veröffentlicht in IMBSA (8. : 2022 : München) Model-based safety and assessment (2022)

Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development

von König, Lukas
Veröffentlicht in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (30. : 2024 : Luxemburg) Tools and algorithms for the construction and analysis of systems ; Part 2 (2024)

A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems

von Larsen, Peter Gorm
Veröffentlicht in SIMULTECH (10. : 2020 : Online) SIMULTECH 2020 (2020)

RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets

von Bozzano, Marco
Veröffentlicht in International Conference on Applied Intelligence and Informatics (2. : 2022 : Reggio di Calabria) The use of artificial intelligence for space applications (2023)

HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems

von Larsen, Peter Gorm
Veröffentlicht in SIMULTECH (10. : 2020 : Online) Simulation and modeling methodologies, technologies and applications (2022)

A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems

von Vara, Jose Luis de la
Veröffentlicht in QUATIC (14. : 2021 : Online) Quality of Information and Communications Technology (2021)

Computer safety, reliability, and security : SAFECOMP 2023 workshops : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023 : proceedings

Veröffentlicht 2023