Hardware and software : verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17 - 19, 2015, proceedings

Veröffentlicht 2015

Incorporating Monitors in Reactive Synthesis Without Paying the Price

von Azzopardi, Shaun
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)

Runtime Verification Meets Controller Synthesis

von Azzopardi, Shaun
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

Actions over Core-Closed Knowledge Bases

von Cauli, Claudia
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

Symbolic Solution of Emerson-Lei Games for Reactive Synthesis

von Hausmann, Daniel
Veröffentlicht in International Conference on Foundations of Software Science and Computation Structures (27. : 2024 : Luxemburg Stadt) Foundations of software science and computation structures ; Part 1 (2024)

Model Checking Reconfigurable Interacting Systems

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

A PO Characterisation of Reconfiguration

von Alrahman, Yehia Abd
Veröffentlicht in ICTAC (19. : 2022 : Tiflis) Theoretical aspects of computing - ICTAC 2022 (2022)

RECONFIGURABLE INTERACTION FOR MAS MODELLING

von Alrahman, Yehia Abd
Veröffentlicht in AAMAS (19. : 2020 : Online) International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) ; Volume 1 of 3 (2021)

Tools and algorithms for the construction and analysis of systems : 19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practi...

Veröffentlicht 2013

Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning

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

Fair ω-Regular Games

von Hausmann, Daniel
Veröffentlicht in International Conference on Foundations of Software Science and Computation Structures (27. : 2024 : Luxemburg Stadt) Foundations of software science and computation structures ; Part 1 (2024)