Research output per year
Research output per year
Personal profile
Education/Academic qualification
Mathematics, Doctorate, Typing Non-uniform Concurrent Objects, Universidade Técnica de Lisboa
Award Date: 22 Dec 2000
Fingerprint
Dive into the research topics where António Maria Lobo César Alarcão Ravara is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
TRAC: A Tool for Data-Aware Coordination
Afonso, J., Konjoh Selabi, E., Murgia, M., Ravara, A. & Tuosto, E., Jun 2024, Coordination Models and Languages: 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings. Castellani, I. & Tiezzi, F. (eds.). Cham: Springer, p. 239-257 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14676 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Anticipation of Method Execution in Mixed Consistency Systems
Giunti, M., Paulino, H. & Ravara, A., 27 Mar 2023, SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing. New York: ACM - Association for Computing Machinery, p. 1394-1401 8 p. (Proceedings of the ACM Symposium on Applied Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile1 Citation (Scopus)16 Downloads (Pure) -
AtomiS: Data-Centric Synchronization Made Practical
Paulino, H., Almeida Matos, A., Cederquist, J., Giunti, M., Matos, J. & Ravara, A., 16 Oct 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, 30 p., 226.Research output: Contribution to journal › Article › peer-review
Open AccessFile21 Downloads (Pure) -
Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable
Barroso, P., Pereira, M. & Ravara, A., 1 Feb 2023, Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers. Lal, A. & Tonetta, S. (eds.). Cham: Springer, p. 20-32 13 p. (Lecture Notes in Computer Science; vol. 13800).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage
Mota, J., Giunti, M. & Ravara, A., Jul 2023, 37th European Conference on Object-Oriented Programming, ECOOP 2023. Ali, K. & Salvaneschi, G. (eds.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 29 p. 40. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 263).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile1 Citation (Scopus)32 Downloads (Pure)