Paper accepted at IROS

Our paper on mining the usage patterns of ROS primitives in robotic software has been accepted at the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Paper accepted at ATVA

Our paper on exploiting partial knowledge for efficient model finding has just been accepted at the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA).


A post divulging the PTCRISync has just been published at the ORCID blog.

Best Students programme

We've just received the students from the Best Students programme at UMinho 2017 at our laboratory.

PTCRISync v1.0

Version 1.0 of the PTCRISync synchronization framework has been released.

Paper accepted at FormaliSE

Our paper on the verification of a ROS-based robotic system using timed automata has been accepted at the FME Workshop on Formal Methods in Software Engineering (FormaliSE).

Joined ScalABLE 4.0 Project

I joined the H2020 ScalABLE 4.0 project on scalable automation for flexible production systems.

MAP-i Students Visit HASLab

We've just received the new MAP-i students at HASLab.

New MSc's

Eduardo Pessoa and José Pereira have successfully defended their MSc theses on trustworthy software design.

Paper accepted at TSE

Our survey on model repair techniques has just been accepted at the IEEE Transactions on Software Engineering (TSE).

DALI Project started Sep 2016

TRUST project started Sep 2016

TRUST Kickoff

The TRUST project has just kicked off with a joint workshop with the DALI project.