Automated Probabilistic Black-Box Verification

Informations projet

AutoProbe

N° de convention de subvention: 101002697

DOI

10.3030/101002697

Date de signature de la CE 4 Février 2021

Date de début 1 Avril 2021

Date de fin 31 Mars 2026

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 2 000 000,00

Contribution de l’UE

€ 2 000 000,00

Coordonné par

UNIVERSITY COLLEGE LONDON
United Kingdom

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (16)

Processes Parametrised by an Algebraic Theory

Auteurs: Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
Publié dans: 2022
Éditeur: Dagstuhl
DOI: 10.4230/lipics.icalp.2022.132

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity

Auteurs: Różowski, Wojciech; Kappé, Tobias; Kozen, Dexter; Schmid, Todd; Silva, Alexandra
Publié dans: 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, Numéro 4, 2023
Éditeur: LIPICS
DOI: 10.4230/lipics.icalp.2023.136

Generators and Bases for Monadic Closures

Auteurs: Zetzsche, Stefan; Silva, Alexandra; Sammartino, Matteo
Publié dans: Numéro 11, 2023
Éditeur: Leibniz International Proceedings in Informatics (LIPIcs)
DOI: 10.48550/arxiv.2010.10223

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

Auteurs: Schmid, Todd; Kappé, Tobias; Silva, Alexandra; Wies, Thomas
Publié dans: Programming Languages and Systems ISBN: 9783031300431, Numéro 4, 2023
Éditeur: Springer
DOI: 10.1007/978-3-031-30044-8_12

A Complete Diagrammatic Calculus for Automata Simulation

Auteurs: Antoine, Thibaut; Piedeleu, Robin; Silva, Alexandra; Zanasi, Fabio
Publié dans: 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), Numéro 16, 2025
Éditeur: Leibniz International Proceedings in Informatics (LIPIcs)

On Iteration in Discrete Probabilistic Programming

Auteurs: Torres-Ruiz, Mateo; Piedeleu, Robin; Silva, Alexandra; Zanasi, Fabio
Publié dans: Numéro 15, 2024
Éditeur: Leibniz International Proceedings in Informatics (LIPIcs)

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

Auteurs: D'Angelo, Keri; Gurke, Sebastian; Kirss, Johanna Maria; König, Barbara; Najafi, Matina; Różowski, Wojciech; Wild, Paul
Publié dans: Numéro 17, 2024
Éditeur: Leibniz International Proceedings in Informatics (LIPIcs)
DOI: 10.48550/arxiv.2404.19632

Prognosis: Closed-Box Analysis of Network Protocol Implementations

Auteurs: Tiago Ferreira, Harrisson Brewton, Loris D'Antoni, Alexandra Silva
Publié dans: 2021
Éditeur: arxiv
DOI: 10.48550/arxiv.2201.02577

Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks

Auteurs: Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Publié dans: 2022
Éditeur: Springer
DOI: 10.48550/arxiv.2201.10485

Processes Parametrised by an Algebraic Theory

Auteurs: Schmid, Todd; Różowski, Wojciech; Rot, Jurriaan; Silva, Alexandra
Publié dans: Bojanczyk, M. (ed.), ICALP 2022: 49th International Colloquium on Automata, Languages, and Programming, pp. 132:1-132:20, Numéro 10, 2022
Éditeur: Leibniz International Proceedings in Informatics (LIPIcs)
DOI: 10.48550/arxiv.2202.06901

On Star Expressions and Coalgebraic Completeness Theorems

Auteurs: Schmid, Todd; Rot, Jurriaan; Silva, Alexandra
Publié dans: Numéro 11, 2021
Éditeur: ArXiv
DOI: 10.48550/arxiv.2106.08074

A Complete Inference System for Probabilistic Infinite Trace Equivalence

Auteurs: Cîrstea, Corina; Moss, Lawrence S.; Noquez, Victoria; Schmid, Todd; Silva, Alexandra; Sokolova, Ana
Publié dans: Numéro 21, 2025
Éditeur: Leibniz International Proceedings in Informatics (LIPIcs

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

Auteurs: Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
Publié dans: 2021
Éditeur: Dagstuhl
DOI: 10.4230/lipics.icalp.2021.142

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions

Auteurs: Różowski, Wojciech
Publié dans: Numéro 12, 2024
Éditeur: Leibniz International Proceedings in Informatics (LIPIcs)
DOI: 10.48550/arxiv.2404.13352

A Bunched Logic for Conditional Independence

Auteurs: Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
Publié dans: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, Page(s) 1-14
Éditeur: IEEE
DOI: 10.1109/lics52264.2021.9470712

Guarded Kleene Algebra with Tests: Automata Learning

Auteurs: Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
Publié dans: 2022
Éditeur: Arxiv
DOI: 10.48550/arxiv.2204.14153

Other (1)

Tree-Based Adaptive Model Learning

Auteurs: Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
Publié dans: 2022
Éditeur: Arxiv
DOI: 10.48550/arxiv.2209.00122

Peer reviewed articles (4)

ProbNV: probabilistic verification of network control planes

Auteurs: Nick Giannarakis, Alexandra Silva, David Walker
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 5, 2025, Page(s) 1-30, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3473595

Distribution Bisimilarity via the Power of Convex Algebras

Auteurs: Filippo Bonchi, Alexandra Silva, Ana Sokolova
Publié dans: Logical Methods in Computer Science, Numéro Volume 17, Numéro 3, 2023, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-17(3:10)2021

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

Auteurs: Noam Zilberstein, Angelina Saliling, Alexandra Silva
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 8, 2025, Page(s) 276-304, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3649821

Active Learning of Symbolic NetKAT Automata

Auteurs: Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, Alexandra Silva
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 9, 2025, Page(s) 1119-1142, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3729295

Book chapters (1)

Correct and Complete Symbolic Execution for Free

Auteurs: Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot, Alexandra Silva
Publié dans: Lecture Notes in Computer Science, Integrated Formal Methods, 2025, Page(s) 237-255
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-76554-4_13