Alexandra Martins da Silva


AuthID: R-000-NF7

Publications Awaiting Confirmation

11
TITLE: Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
AUTHORS: Noam Zilberstein; Angelina Saliling; Alexandra Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2305.04842
INDEXED IN: DBLP
IN MY: DBLP
12
TITLE: Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
AUTHORS: Noam Zilberstein; Derek Dreyer; Alexandra Silva;
PUBLISHED: 2023, SOURCE: Proc. ACM Program. Lang., VOLUME: 7, ISSUE: OOPSLA1
INDEXED IN: DBLP
IN MY: DBLP
13
TITLE: Generators and Bases for Monadic Closures
AUTHORS: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLISHED: 2023, SOURCE: 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA, VOLUME: 270
INDEXED IN: DBLP
IN MY: DBLP
14
TITLE: Automata Learning with an Incomplete Teacher
AUTHORS: Mark Moeller; Thomas Wiener; Alaia Solko Breslin; Caleb Koch; Nate Foster; Alexandra Silva;
PUBLISHED: 2023, SOURCE: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, VOLUME: 263
INDEXED IN: DBLP
IN MY: DBLP
15
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
INDEXED IN: DBLP
IN MY: DBLP
16
TITLE: Deterministic stream-sampling for probabilistic programming: semantics and verification
AUTHORS: Fredrik Dahlqvist; Alexandra Silva; William Smith;
PUBLISHED: 2023, SOURCE: LICS
INDEXED IN: DBLP
IN MY: DBLP
17
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
INDEXED IN: DBLP
IN MY: DBLP
18
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
INDEXED IN: DBLP
IN MY: DBLP
19
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
INDEXED IN: DBLP
IN MY: DBLP
20
TITLE: Joint Distributions in Probabilistic Semantics
AUTHORS: Dexter Kozen; Alexandra Silva; Erik Voogd;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2309.06913
INDEXED IN: DBLP
IN MY: DBLP
Page 2 of 10. Total results: 100.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service