Verification and Analysis for Safety and Security of Applications in Life

Información del proyecto

VASSAL

Identificador del acuerdo de subvención: 101160022

DOI

10.3030/101160022

Fecha de la firma de la CE 10 Mayo 2024

Fecha de inicio 1 Junio 2024

Fecha de finalización 31 Mayo 2027

Financiado con arreglo a

• Widening participation and spreading excellence

Coste total

Sin datos

Aportación de la UE

€ 1 499 875,00

Coordinado por

VYSOKE UCENI TECHNICKE V BRNE
Czechia

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

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.

Publicaciones

Conference proceedings (8)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration

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

Small Decision Trees for MDPs with Deductive Synthesis

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

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

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

Decentralized Planning Using Probabilistic Hyperproperties

Autores: Pontiggia F., Macák F., Andriushchenko R., Chiari M., Češka M.
Editor: Association for Computing Machinery
DOI: 10.5555/3709347.3743804

RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper)

Autores: Tomáš Dacík ORCID-Logo, Tomáš Vojnar ORCID-Logo
Editor: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.ECOOP.2025.37

Regular Grammars for Sets of Graphs of Tree-Width 2

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

Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs

Autores: Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen
Publicado en: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025
Editor: 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

Autores: David Chocholatý, Vojtěch Havlena, Lukáš Holík, Jan Hranička, Ondřej Lengál, Juraj Síč
Publicado en: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Editor: 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

Autores: Beatrice Melani, Ezio Bartocci, Michele Chiari
Publicado en: ACM Transactions on Embedded Computing Systems, Edición 24, 2025, ISSN 1539-9087
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3759917