Automated Probabilistic Black-Box Verification

Informazioni relative al progetto

AutoProbe

ID dell’accordo di sovvenzione: 101002697

DOI

10.3030/101002697

Data della firma CE 4 Febbraio 2021

Data di avvio 1 Aprile 2021

Data di completamento 31 Marzo 2026

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

€ 2 000 000,00

Contributo UE

€ 2 000 000,00

Coordinato da

UNIVERSITY COLLEGE LONDON
United Kingdom

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 (16)

Processes Parametrised by an Algebraic Theory

Autori: Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
Pubblicato in: 2022
Editore: Dagstuhl
DOI: 10.4230/lipics.icalp.2022.132

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity

Autori: Różowski, Wojciech; Kappé, Tobias; Kozen, Dexter; Schmid, Todd; Silva, Alexandra
Pubblicato in: Różowski , W , Kappé , T , Kozen , D , Schmid , T & Silva , A 2023 , Probabilistic Guarded KAT Modulo Bisimilarity : Completeness and Complexity . in K Etessami , U Feige & G Puppis (eds) , 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023 . vol. 261 , 136 , Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing , Leibniz International Proceed, Numero 4, 2023
Editore: LIPICS
DOI: 10.4230/lipics.icalp.2023.136

Generators and Bases for Monadic Closures

Autori: Zetzsche, Stefan; Silva, Alexandra; Sammartino, Matteo
Pubblicato in: Numero 11, 2023
Editore: Leibniz International Proceedings in Informatics (LIPIcs)
DOI: 10.48550/arxiv.2010.10223

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests

Autori: Schmid, Todd; Kappé, Tobias; Silva, Alexandra; Wies, Thomas
Pubblicato in: Programming Languages and Systems ISBN: 9783031300431, Numero 4, 2023
Editore: Springer
DOI: 10.1007/978-3-031-30044-8_12

A Complete Diagrammatic Calculus for Automata Simulation

Autori: Antoine, Thibaut; Piedeleu, Robin; Silva, Alexandra; Zanasi, Fabio
Pubblicato in: 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), Numero 16, 2025
Editore: Leibniz International Proceedings in Informatics (LIPIcs)

On Iteration in Discrete Probabilistic Programming

Autori: Torres-Ruiz, Mateo; Piedeleu, Robin; Silva, Alexandra; Zanasi, Fabio
Pubblicato in: Numero 15, 2024
Editore: Leibniz International Proceedings in Informatics (LIPIcs)

Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques

Autori: D'Angelo, Keri; Gurke, Sebastian; Kirss, Johanna Maria; König, Barbara; Najafi, Matina; Różowski, Wojciech; Wild, Paul
Pubblicato in: Numero 17, 2024
Editore: Leibniz International Proceedings in Informatics (LIPIcs)
DOI: 10.48550/arxiv.2404.19632

Prognosis: Closed-Box Analysis of Network Protocol Implementations

Autori: Tiago Ferreira, Harrisson Brewton, Loris D'Antoni, Alexandra Silva
Pubblicato in: 2021
Editore: arxiv
DOI: 10.48550/arxiv.2201.02577

Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks

Autori: Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Pubblicato in: 2022
Editore: Springer
DOI: 10.48550/arxiv.2201.10485

Processes Parametrised by an Algebraic Theory

Autori: Schmid, Todd; Różowski, Wojciech; Rot, Jurriaan; Silva, Alexandra
Pubblicato in: Bojanczyk, M. (ed.), ICALP 2022: 49th International Colloquium on Automata, Languages, and Programming, pp. 132:1-132:20, Numero 10, 2022
Editore: Leibniz International Proceedings in Informatics (LIPIcs)
DOI: 10.48550/arxiv.2202.06901

On Star Expressions and Coalgebraic Completeness Theorems

Autori: Schmid, Todd; Rot, Jurriaan; Silva, Alexandra
Pubblicato in: Numero 11, 2021
Editore: ArXiv
DOI: 10.48550/arxiv.2106.08074

A Complete Inference System for Probabilistic Infinite Trace Equivalence

Autori: Cîrstea, Corina; Moss, Lawrence S.; Noquez, Victoria; Schmid, Todd; Silva, Alexandra; Sokolova, Ana
Pubblicato in: Numero 21, 2025
Editore: Leibniz International Proceedings in Informatics (LIPIcs

Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness

Autori: Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
Pubblicato in: 2021
Editore: Dagstuhl
DOI: 10.4230/lipics.icalp.2021.142

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions

Autori: Różowski, Wojciech
Pubblicato in: Numero 12, 2024
Editore: Leibniz International Proceedings in Informatics (LIPIcs)
DOI: 10.48550/arxiv.2404.13352

A Bunched Logic for Conditional Independence

Autori: Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
Pubblicato in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, Pagina/e 1-14
Editore: IEEE
DOI: 10.1109/lics52264.2021.9470712

Guarded Kleene Algebra with Tests: Automata Learning

Autori: Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
Pubblicato in: 2022
Editore: Arxiv
DOI: 10.48550/arxiv.2204.14153

Other (1)

Tree-Based Adaptive Model Learning

Autori: Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
Pubblicato in: 2022
Editore: Arxiv
DOI: 10.48550/arxiv.2209.00122

Peer reviewed articles (4)

ProbNV: probabilistic verification of network control planes

Autori: Nick Giannarakis, Alexandra Silva, David Walker
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 5, 2025, Pagina/e 1-30, ISSN 2475-1421
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3473595

Distribution Bisimilarity via the Power of Convex Algebras

Autori: Filippo Bonchi, Alexandra Silva, Ana Sokolova
Pubblicato in: Logical Methods in Computer Science, Numero Volume 17, Numero 3, 2023, ISSN 1860-5974
Editore: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-17(3:10)2021

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects

Autori: Noam Zilberstein, Angelina Saliling, Alexandra Silva
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 8, 2025, Pagina/e 276-304, ISSN 2475-1421
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3649821

Active Learning of Symbolic NetKAT Automata

Autori: Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, Alexandra Silva
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 9, 2025, Pagina/e 1119-1142, ISSN 2475-1421
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3729295

Book chapters (1)

Correct and Complete Symbolic Execution for Free

Autori: Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot, Alexandra Silva
Pubblicato in: Lecture Notes in Computer Science, Integrated Formal Methods, 2025, Pagina/e 237-255
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-76554-4_13