António Maria Lobo César Alarcão Ravara
AuthID: R-000-2C4
11
TÃTULO: A Java typestate checker supporting inheritance[Formula presented]
AUTORES: Bacchiani, L; Bravetti, M; Giunti, M; Mota, J; Ravara, A;
PUBLICAÇÃO: 2022, FONTE: Science of Computer Programming, VOLUME: 221
AUTORES: Bacchiani, L; Bravetti, M; Giunti, M; Mota, J; Ravara, A;
PUBLICAÇÃO: 2022, FONTE: Science of Computer Programming, VOLUME: 221
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID12
TÃTULO: Taming stateful computations in Rust with typestates?
AUTORES: Duarte, Jose; Ravara, Antonio;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF COMPUTER LANGUAGES, VOLUME: 72
AUTORES: Duarte, Jose; Ravara, Antonio;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF COMPUTER LANGUAGES, VOLUME: 72
13
TÃTULO: A Java typestate checker supporting inheritance Full Text
AUTORES: Bacchiani, Lorenzo; Bravetti, Mario; Giunti, Marco; Mota, Joao; Ravara, Antonio;
PUBLICAÇÃO: 2022, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 221
AUTORES: Bacchiani, Lorenzo; Bravetti, Mario; Giunti, Marco; Mota, Joao; Ravara, Antonio;
PUBLICAÇÃO: 2022, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 221
14
TÃTULO: Java Typestate Checker
AUTORES: Mota, J; Giunti, M; Ravara, A;
PUBLICAÇÃO: 2021, FONTE: 23rd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12717 LNCS
AUTORES: Mota, J; Giunti, M; Ravara, A;
PUBLICAÇÃO: 2021, FONTE: 23rd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12717 LNCS
15
TÃTULO: Cameleer: A Deductive Verification Tool for OCaml
AUTORES: Pereira, M; Ravara, A;
PUBLICAÇÃO: 2021, FONTE: 33rd International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, PT II, CAV 2021, VOLUME: 12760
AUTORES: Pereira, M; Ravara, A;
PUBLICAÇÃO: 2021, FONTE: 33rd International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, PT II, CAV 2021, VOLUME: 12760
16
TÃTULO: Retrofitting Typestates into Rust
AUTORES: Duarte, J; Ravara, A;
PUBLICAÇÃO: 2021, FONTE: 25th Brazilian Symposium on Programming Languages, SBLP 2021, held in conjunction with the Brazilian Conference on Software: Theory and Practice, CBSoft 2021 in ACM International Conference Proceeding Series
AUTORES: Duarte, J; Ravara, A;
PUBLICAÇÃO: 2021, FONTE: 25th Brazilian Symposium on Programming Languages, SBLP 2021, held in conjunction with the Brazilian Conference on Software: Theory and Practice, CBSoft 2021 in ACM International Conference Proceeding Series
17
TÃTULO: Typestates to automata and back: A tool Full Text
AUTORES: Trindade, A; Mota, J; Ravara, A;
PUBLICAÇÃO: 2020, FONTE: 13th Interaction and Concurrency Experience, ICE 2020 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 324
AUTORES: Trindade, A; Mota, J; Ravara, A;
PUBLICAÇÃO: 2020, FONTE: 13th Interaction and Concurrency Experience, ICE 2020 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 324
18
TÃTULO: Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
AUTORES: Bravetti, M; Francalanza, A; Golovanov, I; Hüttel, H; Jakobsen, MS; Kettunen, MK; Ravara, A;
PUBLICAÇÃO: 2020, FONTE: 18th Asian Symposium on Programming Languages and Systems, APLAS 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12470 LNCS
AUTORES: Bravetti, M; Francalanza, A; Golovanov, I; Hüttel, H; Jakobsen, MS; Kettunen, MK; Ravara, A;
PUBLICAÇÃO: 2020, FONTE: 18th Asian Symposium on Programming Languages and Systems, APLAS 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12470 LNCS
19
TÃTULO: A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm
AUTORES: Antonio Ravara;
PUBLICAÇÃO: 2018, FONTE: 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS) held as a Satellite Event of the Federated Logic Conference (FLoC) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 278, NÚMERO: 278
AUTORES: Antonio Ravara;
PUBLICAÇÃO: 2018, FONTE: 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS) held as a Satellite Event of the Federated Logic Conference (FLoC) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 278, NÚMERO: 278
INDEXADO EM: Scopus 
WOS
Scopus WOS20
TÃTULO: Revisiting concurrent separation logic
AUTORES: Soares, P; Ravara, A; de Sousa, SM ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 89
AUTORES: Soares, P; Ravara, A; de Sousa, SM ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 89
