António Maria Lobo César Alarcão Ravara
AuthID: R-000-2C4
1
TITLE: TRAC: A Tool for Data-Aware Coordination. (with an Application to Smart Contracts)
AUTHORS: João Afonso; Elvis Konjoh Selabi; Maurizio Murgia; António Ravara; Emilio Tuosto;
PUBLISHED: 2024, SOURCE: 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
AUTHORS: João Afonso; Elvis Konjoh Selabi; Maurizio Murgia; António Ravara; Emilio Tuosto;
PUBLISHED: 2024, SOURCE: 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
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
3
TITLE: Anticipation of Method Execution in Mixed Consistency Systems
AUTHORS: Giunti, Marco; Paulino, Herve ; Ravara, Antonio;
PUBLISHED: 2023, SOURCE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023
AUTHORS: Giunti, Marco; Paulino, Herve ; Ravara, Antonio;
PUBLISHED: 2023, SOURCE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023
4
TITLE: Preface
AUTHORS: Marieke Huisman; António Ravara;
PUBLISHED: 2023, SOURCE: 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
AUTHORS: Marieke Huisman; António Ravara;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID5
TITLE: On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage Full Text
AUTHORS: João Mota; Marco Giunti; António Ravara;
PUBLISHED: 2023, SOURCE: 37th European Conference on Object-Oriented Programming, ECOOP 2023 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 263
AUTHORS: João Mota; Marco Giunti; António Ravara;
PUBLISHED: 2023, SOURCE: 37th European Conference on Object-Oriented Programming, ECOOP 2023 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 263
INDEXED IN: Scopus 
Handle
Scopus Handle IN MY: ORCID
ORCID6
TITLE: AtomiS: Data-Centric Synchronization Made Practical
AUTHORS: Paulino, Herve ; Matos, Ana Almeida; Cederquist, Jan; Giunti, Marco; Matos, Joao; Ravara, Antonio;
PUBLISHED: 2023, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, ISSUE: OOPSLA
AUTHORS: Paulino, Herve ; Matos, Ana Almeida; Cederquist, Jan; Giunti, Marco; Matos, Joao; Ravara, Antonio;
PUBLISHED: 2023, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, ISSUE: OOPSLA
7
TITLE: 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
AUTHORS: Marieke Huisman; António Ravara;
PUBLISHED: 2023
AUTHORS: Marieke Huisman; António Ravara;
PUBLISHED: 2023
INDEXED IN: 
Openlibrary
Openlibrary8
TITLE: A Java typestate checker supporting inheritance[Formula presented]
AUTHORS: Bacchiani, L; Bravetti, M; Giunti, M; Mota, J; Ravara, A;
PUBLISHED: 2022, SOURCE: Science of Computer Programming, VOLUME: 221
AUTHORS: Bacchiani, L; Bravetti, M; Giunti, M; Mota, J; Ravara, A;
PUBLISHED: 2022, SOURCE: Science of Computer Programming, VOLUME: 221
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID9
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
10
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
