António Maria Lobo César Alarcão Ravara
AuthID: R-000-2C4
11
TITLE: Java Typestate Checker
AUTHORS: Mota, J; Giunti, M; Ravara, A;
PUBLISHED: 2021, SOURCE: 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
AUTHORS: Mota, J; Giunti, M; Ravara, A;
PUBLISHED: 2021, SOURCE: 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
12
TITLE: Cameleer: A Deductive Verification Tool for OCaml
AUTHORS: Pereira, M; Ravara, A;
PUBLISHED: 2021, SOURCE: 33rd International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, PT II, CAV 2021, VOLUME: 12760
AUTHORS: Pereira, M; Ravara, A;
PUBLISHED: 2021, SOURCE: 33rd International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, PT II, CAV 2021, VOLUME: 12760
13
TITLE: Retrofitting Typestates into Rust
AUTHORS: Duarte, J; Ravara, A;
PUBLISHED: 2021, SOURCE: 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
AUTHORS: Duarte, J; Ravara, A;
PUBLISHED: 2021, SOURCE: 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
15
TITLE: Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
AUTHORS: Bravetti, M; Francalanza, A; Golovanov, I; Hüttel, H; Jakobsen, MS; Kettunen, MK; Ravara, A;
PUBLISHED: 2020, SOURCE: 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
AUTHORS: Bravetti, M; Francalanza, A; Golovanov, I; Hüttel, H; Jakobsen, MS; Kettunen, MK; Ravara, A;
PUBLISHED: 2020, SOURCE: 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
16
TITLE: A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm
AUTHORS: Antonio Ravara;
PUBLISHED: 2018, SOURCE: 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, ISSUE: 278
AUTHORS: Antonio Ravara;
PUBLISHED: 2018, SOURCE: 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, ISSUE: 278
INDEXED IN: 
Scopus 
WOS
Scopus WOS17
TITLE: Revisiting concurrent separation logic
AUTHORS: Soares, P; Ravara, A; de Sousa, SM ;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 89
AUTHORS: Soares, P; Ravara, A; de Sousa, SM ;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 89
20
TITLE: From object-oriented code with assertions to behavioural types Full Text
AUTHORS: Cláudio Vasconcelos; António Ravara;
PUBLISHED: 2017, SOURCE: Proceedings of the ACM Symposium on Applied Computing, VOLUME: Part F128005
AUTHORS: Cláudio Vasconcelos; António Ravara;
PUBLISHED: 2017, SOURCE: Proceedings of the ACM Symposium on Applied Computing, VOLUME: Part F128005
