Collaborated with:
M.Sammartino N.Foster D.Kozen S.Smolka J.Visser ∅ T.Kappé Praveen Kumar 0003 G.v.Heerdt J.Hsu P.Brunet F.Zanasi L.D'Antoni T.Ferreira K.Mamouras M.Reitblatt J.Moerman B.Klin Michal Szynwelski David M. Kahn
Talks about:
probabilist (3) automata (3) learn (3) network (2) algebra (2) verif (2) kleen (2) uninterpret (1) framework (1) coalgebra (1)
Person: Alexandra Silva 0001
DBLP: 0001:Alexandra_Silva
Contributed to:
Wrote 10 papers:
- Haskell-2006-SilvaV #database #relational
- Strong types for relational databases (AS0, JV), pp. 25–36.
- ESOP-2016-FosterKMR0 #probability
- Probabilistic NetKAT (NF, DK, KM, MR, AS0), pp. 282–309.
- ESOP-2018-KappeB0Z #algebra #concurrent
- Concurrent Kleene Algebra: Free Model and Completeness (TK, PB, AS0, FZ), pp. 856–882.
- CSL-2016-Silva #algebra #learning
- Coalgebraic Learning (AS0), p. 1.
- CSL-2017-HeerdtS0 #automaton #category theory #framework #learning #named
- CALF: Categorical Automata Learning Framework (GvH, MS, AS0), p. 24.
- CAV-2019-DAntoniFS0 #automaton
- Symbolic Register Automata (LD, TF, MS, AS0), pp. 3–21.
- POPL-2017-MoermanS0KS #automaton #learning
- Learning nominal automata (JM, MS, AS0, BK, MS), pp. 613–625.
- POPL-2017-SmolkaKFK0 #network #probability #semantics
- Cantor meets scott: semantic foundations for probabilistic networks (SS, PK0, NF, DK, AS0), pp. 557–571.
- PLDI-2019-SmolkaKKFHK0 #network #probability #scalability #verification
- Scalable verification of probabilistic networks (SS, PK0, DMK, NF, JH, DK, AS0), pp. 190–203.
- POPL-2020-SmolkaFHKKS #algebra #linear #source code #testing #verification
- Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time (SS, NF, JH, TK, DK, AS0), p. 28.