António Maria Lobo César Alarcão Ravara
AuthID: R-000-2C4
1
TÃTULO: TRAC: A Tool for Data-Aware Coordination. (with an Application to Smart Contracts)
AUTORES: João Afonso; Elvis Konjoh Selabi; Maurizio Murgia; António Ravara; Emilio Tuosto;
PUBLICAÇÃO: 2024, FONTE: 26th International Conference on Coordination Models and Languages, COORDINATION 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14676 LNCS
AUTORES: João Afonso; Elvis Konjoh Selabi; Maurizio Murgia; António Ravara; Emilio Tuosto;
PUBLICAÇÃO: 2024, FONTE: 26th International Conference on Coordination Models and Languages, COORDINATION 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14676 LNCS
2
TÃTULO: Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable
AUTORES: Barroso, Pedro; Pereira, Mario; Ravara, Antonio;
PUBLICAÇÃO: 2023, FONTE: 14th International Working Conference on Verified Software - Theories, Tools and Experiments (VSTTE) in VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022, VOLUME: 13800
AUTORES: Barroso, Pedro; Pereira, Mario; Ravara, Antonio;
PUBLICAÇÃO: 2023, FONTE: 14th International Working Conference on Verified Software - Theories, Tools and Experiments (VSTTE) in VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022, VOLUME: 13800
3
TÃTULO: Anticipation of Method Execution in Mixed Consistency Systems
AUTORES: Giunti, Marco; Paulino, Herve ; Ravara, Antonio;
PUBLICAÇÃO: 2023, FONTE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023
AUTORES: Giunti, Marco; Paulino, Herve ; Ravara, Antonio;
PUBLICAÇÃO: 2023, FONTE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023
4
TÃTULO: Preface
AUTORES: Marieke Huisman; António Ravara;
PUBLICAÇÃO: 2023, FONTE: 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13910 LNCS
AUTORES: Marieke Huisman; António Ravara;
PUBLICAÇÃO: 2023, FONTE: 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13910 LNCS
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID5
TÃTULO: On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage Full Text
AUTORES: João Mota; Marco Giunti; António Ravara;
PUBLICAÇÃO: 2023, FONTE: 37th European Conference on Object-Oriented Programming, ECOOP 2023 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 263
AUTORES: João Mota; Marco Giunti; António Ravara;
PUBLICAÇÃO: 2023, FONTE: 37th European Conference on Object-Oriented Programming, ECOOP 2023 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 263
INDEXADO EM: Scopus 
Handle
Scopus Handle NO MEU: ORCID
ORCID6
TÃTULO: AtomiS: Data-Centric Synchronization Made Practical
AUTORES: Paulino, Herve ; Matos, Ana Almeida; Cederquist, Jan; Giunti, Marco; Matos, Joao; Ravara, Antonio;
PUBLICAÇÃO: 2023, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, NÚMERO: OOPSLA
AUTORES: Paulino, Herve ; Matos, Ana Almeida; Cederquist, Jan; Giunti, Marco; Matos, Joao; Ravara, Antonio;
PUBLICAÇÃO: 2023, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, NÚMERO: OOPSLA
7
TÃTULO: 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 Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
AUTORES: Marieke Huisman; António Ravara;
PUBLICAÇÃO: 2023
AUTORES: Marieke Huisman; António Ravara;
PUBLICAÇÃO: 2023
INDEXADO EM: 
Openlibrary
Openlibrary8
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
ORCID9
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
10
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
