João Mota

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 6

Top Topics

Complex Objects

Top Venues

Sci. Comput. Program.

Publications

João Mota, Marco Giunti, António Ravara
On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper). ECOOP (2023)
Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, António Ravara
A Java typestate checker supporting inheritance. Sci. Comput. Program. 221 (2022)
João Mota, Marco Giunti, António Ravara
On using VeriFast, VerCors, Plural, and KeY to check object usage. CoRR (2022)
João Mota, Marco Giunti, António Ravara
Java Typestate Checker. COORDINATION (2021)
André Trindade, João Mota, António Ravara
Typestates to Automata and back: a tool. ICE (2020)
Gil Domingues, João Cabral, João Mota, Pedro Pontes, Zafeiris Kokkinogenis, Rosaldo J. F. Rossetti
Traffic Simulation of Lane-Merging of Autonomous Vehicles in the Context of Platooning. ISC2 (2018)
João Mota, Manuel J. Fonseca, Daniel Gonçalves, Joaquim A. Jorge
Agrafo: a visual interface for grouping and browsing digital photos. AVI (2008)