Announcements

Best Students programme

April 9, 2017

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

PTCRISync v1.0

April 1, 2017

Version 1.0 of the PTCRISync synchronization framework has been released.

Paper accepted at FormaliSE

March 1, 2017

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

February 5, 2017

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

New MSc's

December 10, 2016

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

MAP-i Students Visit HASLab

December 10, 2016

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

Paper accepted at TSE

September 30, 2016

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

TRUST Kickoff

September 19, 2016

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

Paper accepted at IROS

July 3, 2016

Our paper on the quality assessment of ROS repositories has been accepted at the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Paper accepted at MEDI

June 30, 2016

Our paper on a formalization of ETL patterns has been accepted at the International Conference on Model and Data Engineering (MEDI).

Paper accepted at FSE

May 28, 2016

Our paper on a temporal extension to the Alloy language has been accepted at the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE).

Joined NanoSTIMA project

April 20, 2016

I joined the NanoSTIMA project on high-assurance medical cyber-physical systems as a post-doctoral researcher.

New MSc's

December 20, 2015

André Santos and Miguel Costa have successfully defended their MSc theses on ROS software quality.

TRUST recommended for funding

August 30, 2015

Our project on trustworthy software design has been recommended for funding.

Paper at F1000Research

August 12, 2015

Our paper on an ORCID-based synchronization framework has been accepted at F1000Research in the ORCID-Casrai joint conference channel.