Alexandra Martins da Silva
AuthID: R-000-NF7
21
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
DBLP22
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
DBLP23
TITLE: A Completeness Theorem for Probabilistic Regular Expressions
AUTHORS: Wojciech Rozowski; Alexandra Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2310.08779
AUTHORS: Wojciech Rozowski; Alexandra Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2310.08779
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP24
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
DBLP25
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
DBLP26
TITLE: Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks
AUTHORS: Jana Wagemaker; Nate Foster; Tobias Kappé; Dexter Kozen; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2201.10485
AUTHORS: Jana Wagemaker; Nate Foster; Tobias Kappé; Dexter Kozen; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2201.10485
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP27
TITLE: Processes Parametrised by an Algebraic Theory
AUTHORS: Todd Schmid; Wojciech Rozowski; Alexandra Silva; Jurriaan Rot;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2202.06901
AUTHORS: Todd Schmid; Wojciech Rozowski; Alexandra Silva; Jurriaan Rot;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2202.06901
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP28
TITLE: Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks
AUTHORS: Jana Wagemaker; Nate Foster; Tobias Kappé; Dexter Kozen; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2022, SOURCE: Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, VOLUME: 13240
AUTHORS: Jana Wagemaker; Nate Foster; Tobias Kappé; Dexter Kozen; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2022, SOURCE: Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, VOLUME: 13240
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP29
TITLE: Guarded Kleene Algebra with Tests: Automata Learning
AUTHORS: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2204.14153
AUTHORS: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2204.14153
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP30
TITLE: Processes Parametrised by an Algebraic Theory
AUTHORS: Todd Schmid; Wojciech Rozowski; Alexandra Silva; Jurriaan Rot;
PUBLISHED: 2022, SOURCE: 49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, July 4-8, 2022, Paris, France., VOLUME: 229
AUTHORS: Todd Schmid; Wojciech Rozowski; Alexandra Silva; Jurriaan Rot;
PUBLISHED: 2022, SOURCE: 49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, July 4-8, 2022, Paris, France., VOLUME: 229
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP