Announcements

Paper accepted at IRC

February 20, 2019

Our work on the Static-time Extraction and Analysis of the ROS Computation Graph has just been accepted at the 3rd International Conference on Robotic Computing (IRC).

Paper accepted at A-TEST

September 20, 2018

Our work on Property-based Testing for the Robot Operating System has been accepted at the 9th International Workshop on Automated Software Testing (A-TEST).

Tool demo at ASE

July 18, 2018

Our Electrum tool demo has been accepted at the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).

Experience report at ICFP

July 6, 2018

Our experience report about the re-organization of the LI1 unit has been accepted at the 2018 International Conference on Functional Programming (ICFP).

Electrum video and tutorial

June 5, 2018

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

Paper accepted at F-IDE

May 25, 2018

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

May 5, 2018

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

SAFER recommended for funding

April 26, 2018

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

Papers accepted at ABZ

April 26, 2018

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

April 1, 2018

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

Electrum v1.0

February 15, 2018

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

PTCRISync v1.1

September 15, 2017

Version 1.1 of the PTCRISync synchronization framework has been released.

Paper accepted at IROS

July 1, 2017

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

July 1, 2017

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

June 1, 2017

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