Verification and Analysis for Safety and Security of Applications in Life

Projektinformationen

VASSAL

ID Finanzhilfevereinbarung: 101160022

DOI

10.3030/101160022

EK-Unterschriftsdatum 10 Mai 2024

Startdatum 1 Juni 2024

Enddatum 31 Mai 2027

Finanziert unter

• Widening participation and spreading excellence

Gesamtkosten

Keine Daten

EU-Beitrag

€ 1 499 875,00

Koordiniert durch

VYSOKE UCENI TECHNICKE V BRNE
Czechia

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

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.

Veröffentlichungen

Conference proceedings (8)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration

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

Small Decision Trees for MDPs with Deductive Synthesis

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

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

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

Decentralized Planning Using Probabilistic Hyperproperties

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

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

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

Regular Grammars for Sets of Graphs of Tree-Width 2

Autoren: Marius Bozga, Radu Iosif, Florian Zuleger
Veröffentlicht in: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025
Herausgeber: IEEE
DOI: 10.48550/ARXIV.2408.01226

Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs

Autoren: Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen
Veröffentlicht in: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025
Herausgeber: 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

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

Autoren: Beatrice Melani, Ezio Bartocci, Michele Chiari
Veröffentlicht in: ACM Transactions on Embedded Computing Systems, Ausgabe 24, 2025, ISSN 1539-9087
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3759917