Alexandra Martins da Silva
AuthID: R-000-NF7
11
TÃTULO: Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
AUTORES: Linpeng Zhang; Noam Zilberstein; Benjamin Lucien Kaminski; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: Proc. ACM Program. Lang., VOLUME: 8, NÚMERO: OOPSLA2
AUTORES: Linpeng Zhang; Noam Zilberstein; Benjamin Lucien Kaminski; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: Proc. ACM Program. Lang., VOLUME: 8, NÚMERO: OOPSLA2
INDEXADO EM:
DBLP

NO MEU:
DBLP

12
TÃTULO: A Cyclic Proof System for Guarded Kleene Algebra with Tests
AUTORES: Jan Rooduijn; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II, VOLUME: 14740
AUTORES: Jan Rooduijn; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II, VOLUME: 14740
INDEXADO EM:
DBLP

NO MEU:
DBLP

13
TÃTULO: On Iteration in Discrete Probabilistic Programming
AUTORES: Mateo Torres Ruiz; Robin Piedeleu; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2024, FONTE: 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, July 10-13, 2024, Tallinn, Estonia, VOLUME: 299
AUTORES: Mateo Torres Ruiz; Robin Piedeleu; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2024, FONTE: 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, July 10-13, 2024, Tallinn, Estonia, VOLUME: 299
INDEXADO EM:
DBLP

NO MEU:
DBLP

14
TÃTULO: 35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada
AUTORES: Rupak Majumdar; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: CONCUR, VOLUME: 311
AUTORES: Rupak Majumdar; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: CONCUR, VOLUME: 311
INDEXADO EM:
DBLP

NO MEU:
DBLP

15
TÃTULO: A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
AUTORES: Robin Piedeleu; Mateo Torres Ruiz; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2408.14701
AUTORES: Robin Piedeleu; Mateo Torres Ruiz; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2408.14701
INDEXADO EM:
DBLP

NO MEU:
DBLP

16
TÃTULO: Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021
AUTORES: Aws Albarghouthi; Rustan R M Leino; Alexandra Silva; Caterina Urban;
PUBLICAÇÃO: 2024, FONTE: Formal Methods Syst. Des., VOLUME: 63, NÚMERO: 1
AUTORES: Aws Albarghouthi; Rustan R M Leino; Alexandra Silva; Caterina Urban;
PUBLICAÇÃO: 2024, FONTE: Formal Methods Syst. Des., VOLUME: 63, NÚMERO: 1
INDEXADO EM:
DBLP

NO MEU:
DBLP

17
TÃTULO: Correct and Complete Symbolic Execution for Free
AUTORES: Erik Voogd; Einar Broch Johnsen; Åsmund Aqissiaq Arild Kløvstad; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: Integrated Formal Methods - 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings, VOLUME: 15234
AUTORES: Erik Voogd; Einar Broch Johnsen; Åsmund Aqissiaq Arild Kløvstad; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: Integrated Formal Methods - 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings, VOLUME: 15234
INDEXADO EM:
DBLP

NO MEU:
DBLP

18
TÃTULO: Total Outcome Logic: Proving Termination and Nontermination in Programs with Branching
AUTORES: James Li; Noam Zilberstein; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2411.00197
AUTORES: James Li; Noam Zilberstein; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2411.00197
INDEXADO EM:
DBLP

NO MEU:
DBLP

19
TÃTULO: Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
AUTORES: Noam Zilberstein; Alexandra Silva; Joseph Tassarotti;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2411.11662
AUTORES: Noam Zilberstein; Alexandra Silva; Joseph Tassarotti;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2411.11662
INDEXADO EM:
DBLP

NO MEU:
DBLP

20
TÃTULO: A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
AUTORES: Todd Schmid; Tobias Kappé; Alexandra Silva;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2301.11301
AUTORES: Todd Schmid; Tobias Kappé; Alexandra Silva;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2301.11301
INDEXADO EM:
DBLP

NO MEU:
DBLP
