| Java typestate checker J Mota, M Giunti, A Ravara International Conference on Coordination Languages and Models, 121-133, 2021 | 16 | 2021 |
| A Java typestate checker supporting inheritance L Bacchiani, M Bravetti, M Giunti, J Mota, A Ravara Science of Computer Programming 221, 102844, 2022 | 9 | 2022 |
| Typestates to Automata and back: a tool A Trindade, J Mota, A Ravara arXiv preprint arXiv:2009.08769, 2020 | 8 | 2020 |
| Coping with the reality: adding crucial features to a typestate-oriented language JD da Luz Mota NOVA School of Science and Technology, 2021 | 7* | 2021 |
| On using VeriFast, VerCors, Plural, and KeY to check object usage J Mota, M Giunti, A Ravara arXiv preprint arXiv:2209.05136, 2022 | 4 | 2022 |
| Behavioural up/down casting for statically typed languages L Bacchiani, M Bravetti, M Giunti, J Mota, A Ravara Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2024 | | 2024 |
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonVerified email at fct.unl.pt
