Alexandra Martins da Silva


AuthID: R-000-NF7

Publications Requiring Validation

11
TITLE: A Categorical Approach to DIBI Models
AUTHORS: Tao Gu; Jialu Bao; Justin Hsu; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2024, SOURCE: 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, July 10-13, 2024, Tallinn, Estonia, VOLUME: 299
INDEXED IN: DBLP
IN MY: DBLP
12
TITLE: KATch: A Fast Symbolic Verifier for NetKAT
AUTHORS: Mark Moeller; Jules Jacobs; Olivier Savary Bélanger; David Darais; Cole Schlesinger; Steffen Smolka; Nate Foster; Alexandra Silva;
PUBLISHED: 2024, SOURCE: Proc. ACM Program. Lang., VOLUME: 8, ISSUE: PLDI
INDEXED IN: DBLP
IN MY: DBLP
13
TITLE: Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
AUTHORS: Linpeng Zhang; Noam Zilberstein; Benjamin Lucien Kaminski; Alexandra Silva;
PUBLISHED: 2024, SOURCE: Proc. ACM Program. Lang., VOLUME: 8, ISSUE: OOPSLA2
INDEXED IN: DBLP
IN MY: DBLP
14
TITLE: A Cyclic Proof System for Guarded Kleene Algebra with Tests
AUTHORS: Jan Rooduijn; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2024, SOURCE: Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II, VOLUME: 14740
INDEXED IN: DBLP
IN MY: DBLP
15
TITLE: On Iteration in Discrete Probabilistic Programming
AUTHORS: Mateo Torres Ruiz; Robin Piedeleu; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2024, SOURCE: 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, July 10-13, 2024, Tallinn, Estonia, VOLUME: 299
INDEXED IN: DBLP
IN MY: DBLP
16
TITLE: 35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada
AUTHORS: Rupak Majumdar; Alexandra Silva;
PUBLISHED: 2024, SOURCE: CONCUR, VOLUME: 311
INDEXED IN: DBLP
IN MY: DBLP
17
TITLE: A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
AUTHORS: Robin Piedeleu; Mateo Torres Ruiz; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2408.14701
INDEXED IN: DBLP
IN MY: DBLP
18
TITLE: Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021
AUTHORS: Aws Albarghouthi; Rustan R M Leino; Alexandra Silva; Caterina Urban;
PUBLISHED: 2024, SOURCE: Formal Methods Syst. Des., VOLUME: 63, ISSUE: 1
INDEXED IN: DBLP
IN MY: DBLP
19
TITLE: Correct and Complete Symbolic Execution for Free
AUTHORS: Erik Voogd; Einar Broch Johnsen; Åsmund Aqissiaq Arild Kløvstad; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2024, SOURCE: Integrated Formal Methods - 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings, VOLUME: 15234
INDEXED IN: DBLP
IN MY: DBLP
20
TITLE: Total Outcome Logic: Proving Termination and Nontermination in Programs with Branching
AUTHORS: James Li; Noam Zilberstein; Alexandra Silva;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2411.00197
INDEXED IN: DBLP
IN MY: DBLP
Page 2 of 12. Total results: 119.

footer slogan

Useful Links

Get Help

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