Verification and Analysis for Safety and Security of Applications in Life

Informations projet

VASSAL

N° de convention de subvention: 101160022

DOI

10.3030/101160022

Date de signature de la CE 10 Mai 2024

Date de début 1 Juin 2024

Date de fin 31 Mai 2027

Financé au titre de

• Widening participation and spreading excellence

Coût total

Aucune donnée

Contribution de l’UE

€ 1 499 875,00

Coordonné par

VYSOKE UCENI TECHNICKE V BRNE
Czechia

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (6)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration

Auteurs: Florian Sextl, Adam Rogalewicz, Tomáš Vojnar, Florian Zuleger
Publié dans: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-91121-7_10

Small Decision Trees for MDPs with Deductive Synthesis

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

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

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

Regular Grammars for Sets of Graphs of Tree-Width 2

Auteurs: Marius Bozga, Radu Iosif, Florian Zuleger
Publié dans: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025
Éditeur: IEEE
DOI: 10.48550/ARXIV.2408.01226

Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs

Auteurs: Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen
Publié dans: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025
Éditeur: 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

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

Auteurs: Beatrice Melani, Ezio Bartocci, Michele Chiari
Publié dans: ACM Transactions on Embedded Computing Systems, Numéro 24, 2025, ISSN 1539-9087
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3759917