António Maria Lobo César Alarcão Ravara
AuthID: R-000-2C4
1
TITLE: Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable
AUTHORS: Barroso, Pedro; Pereira, Mario; Ravara, Antonio;
PUBLISHED: 2023, SOURCE: 14th International Working Conference on Verified Software - Theories, Tools and Experiments (VSTTE) in VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022, VOLUME: 13800
AUTHORS: Barroso, Pedro; Pereira, Mario; Ravara, Antonio;
PUBLISHED: 2023, SOURCE: 14th International Working Conference on Verified Software - Theories, Tools and Experiments (VSTTE) in VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022, VOLUME: 13800
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Taming stateful computations in Rust with typestates?
AUTHORS: Duarte, Jose; Ravara, Antonio;
PUBLISHED: 2022, SOURCE: JOURNAL OF COMPUTER LANGUAGES, VOLUME: 72
AUTHORS: Duarte, Jose; Ravara, Antonio;
PUBLISHED: 2022, SOURCE: JOURNAL OF COMPUTER LANGUAGES, VOLUME: 72
INDEXED IN: Scopus WOS
Scopus WOS3
TITLE: A Java typestate checker supporting inheritance Full Text
AUTHORS: Bacchiani, Lorenzo; Bravetti, Mario; Giunti, Marco; Mota, Joao; Ravara, Antonio;
PUBLISHED: 2022, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 221
AUTHORS: Bacchiani, Lorenzo; Bravetti, Mario; Giunti, Marco; Mota, Joao; Ravara, Antonio;
PUBLISHED: 2022, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 221
INDEXED IN: WOS
WOS4
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
INDEXED IN: Scopus WOS
Scopus WOS5
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 WOS6
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
INDEXED IN: Scopus WOS 
DBLP
Scopus WOS DBLP7
TITLE: Behavioural types: From theory to tools english
AUTHORS: Gay, S ; Ravara, A;
PUBLISHED: 2017, SOURCE: Behavioural Types: from Theory to Tools English
AUTHORS: Gay, S ; Ravara, A;
PUBLISHED: 2017, SOURCE: Behavioural Types: from Theory to Tools English
9
TITLE: Special Section on Foundations of Coordination Languages and Software (FOCLASA 2012) Foreword Full Text
AUTHORS: Natallia Kokash; Antonio Ravara;
PUBLISHED: 2016, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 115
AUTHORS: Natallia Kokash; Antonio Ravara;
PUBLISHED: 2016, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 115
INDEXED IN: WOS
WOS