Skip to main content
European Commission logo
English English
CORDIS - EU research results
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary

Probabilistic Foundations for Networks

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

Coalgebraic completeness-via-canonicity for distributive substructural logics

Author(s): Fredrik Dahlqvist, David Pym
Published in: Journal of Logical and Algebraic Methods in Programming, Issue 93, 2017, Page(s) 1-22, ISSN 2352-2208
Publisher: Elsevier
DOI: 10.1016/j.jlamp.2017.07.002

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic

Author(s): "J{\""{o}}rg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva"
Published in: Logical methods in Computer Science, 2018, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.23638/LMCS-14(1:3)2018

Proving expected sensitivity of probabilistic programs

Author(s): Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Published in: Proceedings of the ACM on Programming Languages, Issue 2/POPL, 2017, Page(s) 1-29, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3158145

A coalgebraic treatment of conditional transition systems with upgrades

Author(s): "Harsh Beohar, Barbara K{\""{o}}nig, Sebastian K{\""{u}}per, Alexandra Silva, Thorsten Wi{\ss}mann"
Published in: Logical Methods in Computer Science, 2018, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.23638/LMCS-14(1:19)2018

Synthesizing coupling proofs of differential privacy

Author(s): Aws Albarghouthi, Justin Hsu
Published in: Proceedings of the ACM on Programming Languages, Issue 2/POPL, 2017, Page(s) 1-30, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3158146

The Positivication of Coalgebraic Logics

Author(s): Fredrik Dahlqvist, Alexander Kurz
Published in: 2017, ISBN 978-3-95977-033-0
Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CALCO.2017.9

CALF: Categorical Automata Learning Framework

Author(s): Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
Published in: 2017
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CSL.2017.29

On Decidability of Concurrent Kleene Algebra

Author(s): Paul Brunet, Damien Pous, Georg Struth
Published in: 2017
Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2017.28

Reversible Kleene lattices

Author(s): Paul Brunet
Published in: 2017
Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.MFCS.2017.66

Pointless learning (long version)

Author(s): Clerc, Florence; Danos, Vincent; Dahlqvist, Fredrik; Garnier, Ilias
Published in: Accepted to the 20th International Conference on Foundations of Software Science and Computation .. 2017, Issue 1, 2017, Page(s) 355-369, ISBN 978-3-662-54458-7
Publisher: Springer
DOI: 10.1007/978-3-662-54458-7_21

Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages

Author(s): Tobias Kappe, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
Published in: 2017
Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2017.25

Cantor meets scott: semantic foundations for probabilistic networks

Author(s): Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017, 2017, Page(s) 557-571, ISBN 9781-450346603
Publisher: ACM Press
DOI: 10.1145/3009837.3009843

Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk)

Author(s): Alexandra Silva
Published in: 2017
Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSCD.2017.3

Learning nominal automata

Author(s): Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michał Szynwelski
Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017, 2017, Page(s) 613-625, ISBN 9781-450346603
Publisher: ACM Press
DOI: 10.1145/3009837.3009879

The Power of Convex Algebras

Author(s): Filippo Bonchi, Alexandra Silva, Ana Sokolova
Published in: 2017
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2017.23

Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages

Author(s): Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio
Published in: In: Meyer, R and Nestmann;, U, (eds.) Proceedings of the CONCUR 2017 : 28th International Conference on Concurrency Theory. (pp. 25:1-25:16). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik: Dagstuhl, Germany. (2017), Issue 3, 2017
Publisher: Lipics

Decision problems for Clark-congruential languages

Author(s): Kanazawa, Makoto; Kappé, Tobias
Published in: Proceedings of Machine Learning Research, Issue 1, 2018
Publisher: Proceedings of Machine Learning Research

Borel Kernels and their Approximation, Categorically

Author(s): Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Alexandra Silva
Published in: 2018
Publisher: ENTCS

Almost Sure Productivity

Author(s): Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva
Published in: 2018
Publisher: Lipics
DOI: 10.4230/LIPIcs.ICALP.2018.113

CALF: Categorical automata learning framework

Author(s): Van Heerdt, G.; Sammartino, M.; Silva, A.
Published in: In: Goranko, V and Dam, M, (eds.) Proceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). (pp. 29:1-29:24). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik: Dagstuhl, Germany. (2017), Issue 1, 2017
Publisher: Lipics

Convex Language Semantics for Nondeterministic Probabilistic Automata

Author(s): Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
Published in: Theoretical Aspects of Computing – ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, Issue 11187, 2018, Page(s) 472-492, ISBN 978-3-030-02507-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-02508-3_25

Constraint-Based Synthesis of Coupling Proofs

Author(s): Aws Albarghouthi, Justin Hsu
Published in: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, Issue 10981, 2018, Page(s) 327-346, ISBN 978-3-319-96144-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-96145-3_18

Learning to Coordinate

Author(s): Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva
Published in: It's All About Coordination, Issue 10865, 2018, Page(s) 139-159, ISBN 978-3-319-90088-9
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-90089-6_10

SDN-Actors: Modeling and Verification of SDN Programs

Author(s): Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva
Published in: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, Issue 10951, 2018, Page(s) 550-567, ISBN 978-3-319-95581-0
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-95582-7_33

An Assertion-Based Program Logic for Probabilistic Programs

Author(s): Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Published in: Programming Languages and Systems, Issue 10801, 2018, Page(s) 117-144, ISBN 978-3-319-89883-4
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-89884-1_5

Layer by Layer – Combining Monads

Author(s): Fredrik Dahlqvist, Louis Parlant, Alexandra Silva
Published in: Theoretical Aspects of Computing – ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, Issue 11187, 2018, Page(s) 153-172, ISBN 978-3-030-02507-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-02508-3_9

Concurrent Kleene Algebra: Free Model and Completeness

Author(s): Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
Published in: Programming Languages and Systems, Issue 10801, 2018, Page(s) 856-882, ISBN 978-3-319-89883-4
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-89884-1_30

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available