TRUST Kickoff

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

Paper accepted at IROS

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

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

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

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

GREENS 2016: "The Influence of the Java Collection Framework on Overall Energy Consumption"

5th International Workshop on Green and Sustainable Software, Workshop in conjunction with ICSE 2016 (

New MSc's

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

2 PhD grants awarded by FCT

Announcement Title Test

This is the content of the announcement. Lets see how it looks like.

TRUST recommended for funding

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