| Java typestate checker J Mota, M Giunti, A Ravara International Conference on Coordination Languages and Models, 121-133, 2021 | 18 | 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 | 2 | 2022 |
| On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper) J Mota, M Giunti, A Ravara 37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023 | 1 | 2023 |
| Behavioural Up/down Casting For Statically Typed Languages L Bacchiani, M Bravetti, M Giunti, J Mota, A Ravara 38th European Conference on Object-Oriented Programming (ECOOP 2024), 2024 | | 2024 |
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonVerified email at fct.unl.pt
