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
-
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: 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 AccessFile -
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
-
A Java typestate checker supporting inheritance
Bacchiani, L., Bravetti, M., Giunti, M., Mota, J. & Ravara, A., 1 Sept 2022, In: Science Of Computer Programming. 221, 8 p., 102844.Research output: Contribution to journal › Article › peer-review
Open AccessFile3 Citations (Scopus)40 Downloads (Pure) -
Taming stateful computations in Rust with typestates
Duarte, J. & Ravara, A., Oct 2022, In: Journal of Computer Languages. 72, 13 p., 101154.Research output: Contribution to journal › Article › peer-review
Open AccessFile4 Downloads (Pure)