Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness
(ICALP 2021)
Todd Schmid, Tobias Kappé, Dexter Kozen, and Alexandra Silva
Learning Pomset Automata
(FOSSACS 2021)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, and Alexandra Silva
Actor-Based Model Checking for SDN Networks
(J. LAMP)
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, and Alexandra Silva
Learning Automata with Side-Effects
(CMCS 2020)
Gerco van Heerdt, Matteo Sammartino, and Alexandra Silva
Preservation of Equations by Monoidal Monads
(MFCS 2020)
Louis Parlant, Jurriaan Rot, Alexandra Silva, and Bas Westerbaan
Partially Observable Concurrent Kleene Algebra
(CONCUR 2020)
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, and Alexandra Silva
Models of Concurrent Kleene Algebra (Invited Talk)
(LPAR 2020)
Alexandra Silva
Learning Weighted Automata over Principal Ideal Domains
(FOSSACS 2020)
Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, and Alexandra Silva
Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness
(FOSSACS 2020)
Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, and Fabio Zanasi
A Categorical Framework for Learning Generalised Tree Automata
(preprint)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, and Alexandra Silva
Semantics of Higher-Order Probabilistic Programs with Conditioning
(POPL 2020)
Fredrik Dahlqvist and Dexter Kozen
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time
(POPL 2020)
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, and Alexandra Silva
Conditional transition systems with upgrades
(J. Sci. Comp. Prog)
Harsh Beohar, Barbara König, Sebastian Küpper, and Alexandra Silva
An Algebraic Framework to Reason About Concurrency (Invited Talk)
(FSTTCS 2019)
Alexandra Silva
Completeness and Incompleteness of Synchronous Kleene Algebra
(MPC 2019)
Jana Wagemaker, Marcello Bonsangue, Tobias Kappé, Jurriaan Rot, and Alexandra Silva
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk)
(MFCS 2019)
Alexandra Silva
Soft component automata: Composition, compilation, logic, and verification
(J. Sci. Comp. Prog)
Tobias Kappé, Benjamin Lion, Farhad Arbab, and Carolyn Talcott
Kleene Algebra with Observations
(CONCUR 2019)
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, and Fabio Zanasi
Symbolic Register Automata
(CAV 2019)
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, and Alexandra Silva
A Kleene Theorem for Nominal Automata
(ICALP 2019)
Paul Brunet and Alexandra Silva
Scalable Verification of Probabilistic Networks
(PLDI 2019)
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, and Alexandra Silva
Tree Automata as Algebras: Minimisation and Determinisation
(CALCO 2019)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, and Alexandra Silva
A (co)algebraic theory of succinct automata
(J. LAMP)
Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, and Alexandra Silva
On series-parallel pomset languages: Rationality, context-freeness and automata
(J. LAMP)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, and Fabio Zanasi
Layer by Layer – Combining Monads
(ICTAC 2018)
Fredrik Dahlqvist, Louis Parlant, and Alexandra Silva
Convex Language Semantics for Nondeterministic Probabilistic Automata
(ICTAC 2018)
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, and Alexandra Silva
Decision problems for Clark-congruential languages
(ICGI 2018)
Makoto Kanazawa and Tobias Kappé
Equivalence checking for weak bi-Kleene algebra
(preprint)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, and Fabio Zanasi
SDN-Actors: Modeling and Verification of SDN Programs
(FM 2018)
Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, and Alexandra Silva
Almost Sure Productivity
(ICALP 2018)
Alejandro Aguirre, Gilles Barthe, Justin Hsu, and Alexandra Silva
Constraint-Based Synthesis of Coupling Proofs
(CAV 2018)
Aws Albarghouthi and Justin Hsu
Borel Kernels and their Approximation, Categorically
(MFPS 2018)
Fredrik Dahlqvist, Alexandra Silva, Vincent Danos, and Ilias Garnier
Compositional semantics for new paradigms: probabilistic, hybrid and beyond
(preprint)
Fredrik Dahlqvist and Renato Neves
Gerco van Heerdt, Bart Jacobs, Tobias Kappé, and Alexandra Silva
Concurrent Kleene Algebra: Free Model and Completeness
(ESOP 2018)
Tobias Kappé, Paul Brunet, Alexandra Silva, and Fabio Zanasi
An Assertion-Based Program Logic for Probabilistic Programs
(ESOP 2018)
Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, and Pierre-Yves Strub
Florence Clerc, Vincent Danos, Fredrik Dahlqvist, and Ilias Garnier
A coalgebraic treatment of conditional transition systems with upgrades
(LMCS)
Harsh Beohar, Barbara König, Sebastian Küper, Alexandra Silva, and Thorsten Wiẞmann
Synthesizing coupling proofs of differential privacy
(POPL 2018)
Aws Albarghouthi and Justin Hsu
Proving expected sensitivity of probabilistic programs
(POPL 2018)
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, and Pierre-Yves Strub
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
(LMCS)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, and Alexandra Silva
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk)
(FSCD 2017)
Alexandra Silva
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages
(CONCUR 2017)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, and Fabio Zanasi
The Power of Convex Algebras
(CONCUR 2017)
Filippo Bonchi, Alexandra Silva, and Ana Sokolova
On Decidability of Concurrent Kleene Algebra
(CONCUR 2017)
Paul Brunet, Damien Pous, and Georg Struth
CALF: Categorical Automata Learning Framework
(CSL 2017)
Gerco van Heerdt, Matteo Sammartino, and Alexandra Silva
Reversible Kleene lattices
(MFCS 2017)
Paul Brunet
Probabilistic Program Equivalence for NetKAT
(preprint)
Steffen Smolka, Praveen Kumar, Nate Foster, Justin Hsu, David Kahn, Dexter Kozen, and Alexandra Silva
Coalgebraic completeness-via-canonicity for distributive substructural logics
(J. LAMP)
Fredrik Dahlqvist and David Pym
The Positivication of Coalgebraic Logics
(CALCO 2017)
Fredrik Dahlqvist and Alexander Kurz
Optimizing automata learning via monads
(preprint)
Gerco van Heerdt, Matteo Sammartino, and Alexandra Silva
Learning nominal automata
(POPL 2017)
Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, and Michał Szynwelski
Cantor meets Scott: semantic foundations for probabilistic networks
(POPL 2017)
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, and Alexandra silva
