Verification and Analysis for Safety and Security of Applications in Life

Informazioni relative al progetto

VASSAL

ID dell’accordo di sovvenzione: 101160022

DOI

10.3030/101160022

Data della firma CE 10 Maggio 2024

Data di avvio 1 Giugno 2024

Data di completamento 31 Maggio 2027

Finanziato da

• Widening participation and spreading excellence

Costo totale

Nessun dato

Contributo UE

€ 1 499 875,00

Coordinato da

VYSOKE UCENI TECHNICKE V BRNE
Czechia

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Documents, reports (3)

Quality Assurance and Risk management plan

The project’s quality management principles in a comprehensive manner to help partner beneficiaries carry out their activities with a high standard of quality. and describes the management procedures with details of risk management.

First version of the Dissemination and Exploitation (D&E) Plan, including Communication Activities

Creating a first version of the Dissemination, Exploitation (D&E) Plan, including Communication Activities.

Integration and Networking plan

To develop and execute integration and networking strategy to elevate the position in networks and to establish, maintain and develop long-term beneficial interactions and relations with stakeholders/ecosystem.

Data Management Plan (1)

First version of the Data Management Plan (DMP)

Plan for the data management describing the data management methods, how the data will be generated, processed, collected, stored and documented.

Pubblicazioni

Conference proceedings (6)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration

Autori: Florian Sextl, Adam Rogalewicz, Tomáš Vojnar, Florian Zuleger
Pubblicato in: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-91121-7_10

Small Decision Trees for MDPs with Deductive Synthesis

Autori: Roman Andriushchenko, Milan Češka, Sebastian Junges, Filip Macák
Pubblicato in: Lecture Notes in Computer Science, Computer Aided Verification, 2025
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-98679-6_8

RacerF: Data Race Detection with Frama-C (Competition Contribution)

Autori: Tomáš Dacík, Tomáš Vojnar
Pubblicato in: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-90660-2_20

Regular Grammars for Sets of Graphs of Tree-Width 2

Autori: Marius Bozga, Radu Iosif, Florian Zuleger
Pubblicato in: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025
Editore: IEEE
DOI: 10.48550/ARXIV.2408.01226

Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs

Autori: Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen
Pubblicato in: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025
Editore: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/IJCAI.2025/947

Z3-Noodler 1.3: Shepherding Decision Procedures for Strings with Model Generation

Autori: David Chocholatý, Vojtěch Havlena, Lukáš Holík, Jan Hranička, Ondřej Lengál, Juraj Síč
Pubblicato in: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-90653-4_2

Peer reviewed articles (1)

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators

Autori: Beatrice Melani, Ezio Bartocci, Michele Chiari
Pubblicato in: ACM Transactions on Embedded Computing Systems, Numero 24, 2025, ISSN 1539-9087
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3759917