Verification and Analysis for Safety and Security of Applications in Life

Informacje na temat projektu

VASSAL

Identyfikator umowy o grant: 101160022

DOI

10.3030/101160022

Data podpisania przez KE 10 Maja 2024

Data rozpoczęcia 1 Czerwca 2024

Data zakończenia 31 Maja 2027

Finansowanie w ramach

• Widening participation and spreading excellence

Koszt całkowity

Brak danych

Wkład UE

€ 1 499 875,00

Koordynowany przez

VYSOKE UCENI TECHNICKE V BRNE
Czechia

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (6)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration

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

Small Decision Trees for MDPs with Deductive Synthesis

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

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

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

Regular Grammars for Sets of Graphs of Tree-Width 2

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

Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs

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

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

Autorzy: Beatrice Melani, Ezio Bartocci, Michele Chiari
Opublikowane w: ACM Transactions on Embedded Computing Systems, Numer 24, 2025, ISSN 1539-9087
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3759917