Announcements

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.

New MSc's

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

MAP-i Students Visit HASLab

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

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.

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.