Antonio Ravara
Universidade Nova de Lisboa
H-index: 19
Europe-Portugal
Top articles of Antonio Ravara
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
TRAC: a tool for data-aware coordination (with an application to smart contracts) | arXiv preprint arXiv:2404.19523 | Joao Afonso Elvis Konjoh Selabi Maurizio Murgia Antonio Ravara Emilio Tuosto | 2024/4/30 |
Anticipation of Method Execution in Mixed Consistency Systems | Marco Giunti Hervé Paulino António Ravara | 2023/3/27 | |
On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper) | João Mota Marco Giunti António Ravara | 2023 | |
AtomiS: Data-Centric Synchronization Made Practical | Proceedings of the ACM on Programming Languages | Hervé Paulino Ana Almeida Matos Jan Cederquist Marco Giunti João Matos | 2023/10/16 |
Sound Atomicity Inference for Data-Centric Synchronization | arXiv preprint arXiv:2309.05483 | Hervé Paulino Ana Almeida Matos Jan Cederquist Marco Giunti João Matos | 2023/9/11 |
Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated … | Kirstin Peters Tim AC Willemse | 2021 | |
A Java typestate checker supporting inheritance | Science of Computer Programming | Lorenzo Bacchiani Mario Bravetti Marco Giunti João Mota António Ravara | 2022/9/1 |
Leroy and Blazy were right: their memory model soundness proof is automatable (Extended Version) | arXiv preprint arXiv:2212.02425 | Pedro Barroso Mário Pereira António Ravara | 2022/12/5 |
Taming stateful computations in Rust with typestates | Journal of Computer Languages | José Duarte António Ravara | 2022/10/1 |
Retrofitting typestates into rust | José Duarte António Ravara | 2021/9/27 | |
Cameleer: A Deductive Verification Tool for OCaml | Mário Pereira António Ravara | 2021/7/15 | |
Java typestate checker | João Mota Marco Giunti António Ravara | 2021/6/8 | |
Cameleer: a Deductive Verification Tool for OCaml (extended version) | arXiv preprint arXiv:2104.11050 | Mário Pereira António Ravara | 2021/4/22 |
Behavioural types for memory and method safety in a core object-oriented language | Mario Bravetti Adrian Francalanza Iaroslav Golovanov Hans Hüttel Mathias S Jakobsen | 2020/11/24 | |
Typestates to Automata and back: a tool | arXiv preprint arXiv:2009.08769 | André Trindade João Mota António Ravara | 2020/9/17 |
Animated logic: correct functional conversion to conjunctive normal form | arXiv preprint arXiv:2003.05081 | Pedro Barroso Mário Pereira António Ravara | 2020/3/11 |