Announcements

Tutorial accepted at IROS

May 13, 2021

Our tutorial on Improving the Software Quality of ROS Applications with HAROS has been accepted by the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Paper accepted at SCP

May 10, 2021

Our extended experience report on teaching Alloy with an automated assessment platform has been accepted at the Science of Computer Programming (SCP) journal.

Paper accepted at IJRC

April 13, 2021

Our extended paper on ROSY, an elegant language to teach the pure reactive nature of robot programming, has just been accepted at the International Journal of Robotic Computing (IJRC).

Paper accepted at RoSE

March 15, 2021

Our work on HAROS, a framework for promoting high-assurance ROS software, has been accepted at the 3rd International Workshop on Robotics Software Engineering (RoSE).

Paper award

December 15, 2020

Our work on merging cloned Alloy models with colorful refactorings has been awarded the 2nd best paper award at SBMF'20.

Paper award

November 18, 2020

Our paper on ROSY has received the Gerhard Kraetzschmar Award of IRC'20 for contibutions in the field of "Software Development for Robotics".

Paper accepted at SBMF

November 18, 2020

Our work on merging cloned Alloy models with colorful refactorings has been accepted at the 23rd Brazilian Symposium on Formal Methods (SBMF).

Moved to DEI/FEUP

September 30, 2020

I've moved to DEI/FEUP as an Assistant Professor.

Paper accepted at IROS

July 17, 2020

Our work on the verification of system-wide safety properties of ROS applications has been accepted at IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Papers accepted at ABZ

April 7, 2020

Our experience report on teaching Alloy with an automated assessment platform, and an answer to the case study call on validating multiple variants of an automotive light system with Electrum, have been accepted at ABZ'20.

Papers accepted at IRC

February 7, 2020

Our paper on ROSY, an elegant language to teach the pure reactive nature of robot programming, has just been accepted at the International Conference on Robotic Computing (IRC). 

Alloy/Electrum Tutorial at FM

September 11, 2019

We will be giving a tutorial on Formal software design with Alloy and Electrum at the 3rd World Congress on Formal Methods in October.

Paper accepted at SETTA

September 9, 2019

Our paper on the analysis of software design variants with a colorful Alloy has just been accepted at the International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA).

Paper accepted at F-IDE

September 7, 2019

Our paper on simulation under arbitrary temporal logic constraints has just been accepted at the Workshop on Formal Integrated Development Environment (F-IDE) at FM.

Paper accepted at STTT

July 15, 2019

Our extended work on the ERTMS case study has been accepted for publication at the International Journal on Software Tools for Technology Transfer (STTT).