João Mota

According to our database, João Mota authored at least 7 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper).

João Mota, Marco Giunti, António Ravara

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

A Java typestate checker supporting inheritance.

Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, António Ravara

Sci. Comput. Program., 2022

On using VeriFast, VerCors, Plural, and KeY to check object usage.

João Mota, Marco Giunti, António Ravara

CoRR, 2022

2021

Java Typestate Checker.

João Mota, Marco Giunti, António Ravara

Proceedings of the Coordination Models and Languages, 2021

2020

Typestates to Automata and back: a tool.

André Trindade, João Mota, António Ravara

Proceedings of the Proceedings 13th Interaction and Concurrency Experience, 2020

2018

Traffic Simulation of Lane-Merging of Autonomous Vehicles in the Context of Platooning.

Gil Domingues, João Cabral, João Mota, Pedro Pontes, Zafeiris Kokkinogenis, Rosaldo J. F. Rossetti

Proceedings of the IEEE International Smart Cities Conference, 2018

2008

Agrafo: a visual interface for grouping and browsing digital photos.

João Mota, Manuel J. Fonseca, Daniel Gonçalves, Joaquim A. Jorge

Proceedings of the working conference on Advanced Visual Interfaces, 2008