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 .

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