Announcements

Electrum video and tutorial

If you're interested in getting started with Electrum, checkout this introductory video and this step-by-step tutorial.

Paper accepted at F-IDE

Our preliminary work on improving the visualization of Alloy instances has just been accepted at the Workshop on Formal Integrated Development Environment (F-IDE).

Workshop on the Future of Alloy

The TRUST team has presented its work at the Workshop on the Future of Alloy.

SAFER recommended for funding

Our SAFER project on promoting the safety of robotic software has been recommended for funding by the FCT.

Papers accepted at ABZ

We've just had two papers accepted at ABZ, one on the ERTMS case study and a possible action layer for Electrum.

Hall of Fame LI1

We've launched a "Hall of Fame" for the best LI1 student projects.

Electrum v1.0

Version 1.0 of the Electrum Analyzer has been released, as well as the underlying Pardinus solver v1.0.

PTCRISync v1.1

Version 1.1 of the PTCRISync synchronization framework has been released.

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).

PTCRISync at ORCID

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.