Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Verification and Analysis for Safety and Security of Applications in Life

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (opens in new window)

Author(s): Florian Sextl, Adam Rogalewicz, Tomáš Vojnar, Florian Zuleger
Published in: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-91121-7_10

Small Decision Trees for MDPs with Deductive Synthesis (opens in new window)

Author(s): Roman Andriushchenko, Milan Češka, Sebastian Junges, Filip Macák
Published in: Lecture Notes in Computer Science, Computer Aided Verification, 2025
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-98679-6_8

RacerF: Data Race Detection with Frama-C (Competition Contribution) (opens in new window)

Author(s): Tomáš Dacík, Tomáš Vojnar
Published in: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-90660-2_20

Regular Grammars for Sets of Graphs of Tree-Width 2 (opens in new window)

Author(s): Marius Bozga, Radu Iosif, Florian Zuleger
Published in: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025
Publisher: IEEE
DOI: 10.48550/ARXIV.2408.01226

Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs (opens in new window)

Author(s): Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen
Published in: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025
Publisher: 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 (opens in new window)

Author(s): David Chocholatý, Vojtěch Havlena, Lukáš Holík, Jan Hranička, Ondřej Lengál, Juraj Síč
Published in: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-90653-4_2

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators (opens in new window)

Author(s): Beatrice Melani, Ezio Bartocci, Michele Chiari
Published in: ACM Transactions on Embedded Computing Systems, Issue 24, 2025, ISSN 1539-9087
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3759917

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0