COntext-free model checking for Recursive PrObabilistic pRogrAms

Projektinformationen

CORPORA

ID Finanzhilfevereinbarung: 101107303

DOI

10.3030/101107303

Projekt abgeschlossen

EK-Unterschriftsdatum 2 März 2023

Startdatum 1 September 2023

Enddatum 31 August 2025

Finanziert unter

• Marie Skłodowska-Curie Actions (MSCA)

Gesamtkosten

Keine Daten

EU-Beitrag

€ 183 600,96

Koordiniert durch

TECHNISCHE UNIVERSITAET WIEN
Austria

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

Data Management Plan (1)

Data Management Plan

The Data Management Plan describes the data management life cyclefor all data sets that will be collected processed or generated by the action It is adocument describing what data will be collected processed or generated andfollowing what methodology and standards whether and how this data will beshared andor made open and how it will be curated and preserved

Documents, reports (1)

Communication, Dissemination & Exploitation Plan

The plan describes the planned measures to maximize the impact ofthe project, including the dissemination and exploitation measures that are planned,and the target group(s) addressed. Regarding communication measures and publicengagement strategy, the aim is to inform and reach out to society and show theactivities performed, and the use and the benefits the project will have for citizens.

Veröffentlichungen

Peer reviewed articles (2)

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, 2025, ISSN 0000-0000
Herausgeber: ACM
DOI: 10.48550/ARXIV.2507.21598

Information Systems

Autoren: Michele Chiari; Bin Xiang; Sergio Canzoneri; Galia Novakova Nedeltcheva; Elisabetta Di Nitto; Lorenzo Blasi; Debora Benedetto; Laurentiu Niculut; Igor Škof
Veröffentlicht in: Information Systems, 2024, ISSN 0306-4379
Herausgeber: Elsevier
DOI: 10.1016/J.IS.2024.102422

Conference proceedings (5)

Cyclic Operator Precedence Grammars for Improved Parallel Parsing

Autoren: Michele Chiari, Dino Mandrioli, Matteo Pradella
Veröffentlicht in: Lecture Notes in Computer Science, Developments in Language Theory, 2024
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-66159-4_8

Boosting Parallel Parsing through Cyclic Operator Precedence Grammars

Autoren: Michele Chiari, Michele Giornetta, Dino Mandrioli, Matteo Pradella
Veröffentlicht in: Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineering, 2025
Herausgeber: ACM
DOI: 10.1145/3732771.3742712

Decentralized Planning Using Probabilistic Hyperproperties

Autoren: Francesco Pontiggia, Filip Macák, Roman Andriushchenko, Michele Chiari, Milan Ceska
Veröffentlicht in: Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025, Detroit, MI, USA, May 19-23, 2025, 2025, ISBN 9798400714269
Herausgeber: International Foundation for Autonomous Agents and Multiagent Systems
DOI: 10.48550/ARXIV.2502.13621

SMT-Based Symbolic Model-Checking for Operator Precedence Languages

Autoren: Michele Chiari; Luca Geatti; Nicola Gigante; Matteo Pradella
Veröffentlicht in: Lecture Notes in Computer Science, Ausgabe 14681, 2024, ISBN 9783031656262
Herausgeber: Springer
DOI: 10.48550/ARXIV.2405.11327

POPACheck: A Model Checker for Probabilistic Pushdown Automata

Autoren: Francesco Pontiggia, Ezio Bartocci, Michele Chiari
Veröffentlicht in: Lecture Notes in Computer Science, Computer Aided Verification, 2025, ISBN 978-3-031-98679-6
Herausgeber: Springer Nature Switzerland
DOI: 10.48550/ARXIV.2502.03956