Alexandra Martins da Silva
AuthID: R-000-NF7
21
TITLE: Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
AUTHORS: Wojciech Rozowski; Tobias Kappé; Dexter Kozen; Todd Schmid; Alexandra Silva;
PUBLISHED: 2023, SOURCE: 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany, VOLUME: 261
AUTHORS: Wojciech Rozowski; Tobias Kappé; Dexter Kozen; Todd Schmid; Alexandra Silva;
PUBLISHED: 2023, SOURCE: 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany, VOLUME: 261
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP22
TITLE: Deterministic stream-sampling for probabilistic programming: semantics and verification
AUTHORS: Fredrik Dahlqvist; Alexandra Silva; William Smith;
PUBLISHED: 2023, SOURCE: LICS
AUTHORS: Fredrik Dahlqvist; Alexandra Silva; William Smith;
PUBLISHED: 2023, SOURCE: LICS
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP23
TITLE: Symbolic Semantics for Probabilistic Programs
AUTHORS: Erik Voogd; Einar Broch Johnsen; Alexandra Silva; Zachary J Susag; Andrzej Wasowski;
PUBLISHED: 2023, SOURCE: Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, VOLUME: 14287
AUTHORS: Erik Voogd; Einar Broch Johnsen; Alexandra Silva; Zachary J Susag; Andrzej Wasowski;
PUBLISHED: 2023, SOURCE: Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, VOLUME: 14287
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP24
TITLE: Symbolic Semantics for Probabilistic Programs (extended version)
AUTHORS: Erik Voogd; Einar Broch Johnsen; Alexandra Silva; Zachary J Susag; Andrzej Wasowski;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2307.09951
AUTHORS: Erik Voogd; Einar Broch Johnsen; Alexandra Silva; Zachary J Susag; Andrzej Wasowski;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2307.09951
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP25
TITLE: Conflict-Aware Active Automata Learning
AUTHORS: Tiago Ferreira; Léo Henry; Raquel Fernandes da Silva; Alexandra Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2308.14781
AUTHORS: Tiago Ferreira; Léo Henry; Raquel Fernandes da Silva; Alexandra Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2308.14781
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP26
TITLE: Joint Distributions in Probabilistic Semantics
AUTHORS: Dexter Kozen; Alexandra Silva; Erik Voogd;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2309.06913
AUTHORS: Dexter Kozen; Alexandra Silva; Erik Voogd;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2309.06913
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP27
TITLE: Automata Learning with an Incomplete Teacher (Artifact)
AUTHORS: Mark Moeller; Thomas Wiener; Alaia Solko Breslin; Caleb Koch; Nate Foster; Alexandra Silva;
PUBLISHED: 2023, SOURCE: Dagstuhl Artifacts Ser., VOLUME: 9, ISSUE: 2
AUTHORS: Mark Moeller; Thomas Wiener; Alaia Solko Breslin; Caleb Koch; Nate Foster; Alexandra Silva;
PUBLISHED: 2023, SOURCE: Dagstuhl Artifacts Ser., VOLUME: 9, ISSUE: 2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP28
TITLE: Conflict-Aware Active Automata Learning
AUTHORS: Tiago Ferreira; Léo Henry; Raquel Fernandes da Silva; Alexandra Silva;
PUBLISHED: 2023, SOURCE: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., VOLUME: 390
AUTHORS: Tiago Ferreira; Léo Henry; Raquel Fernandes da Silva; Alexandra Silva;
PUBLISHED: 2023, SOURCE: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., VOLUME: 390
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP29
TITLE: Formalizing Moessner's theorem and generalizations in Nuprl
AUTHORS: Mark Bickford; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2022, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 124
AUTHORS: Mark Bickford; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2022, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 124
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP30
TITLE: Prognosis: Closed-Box Analysis of Network Protocol Implementations
AUTHORS: Tiago Ferreira; Harrison Brewton; Loris D'Antoni; Alexandra Silva;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2201.02577
AUTHORS: Tiago Ferreira; Harrison Brewton; Loris D'Antoni; Alexandra Silva;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2201.02577
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP