Announcements

Paper accepted at IROS

Our work on the verification of system-wide safety properties of ROS applications has been accepted at IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Papers accepted at ABZ

Our experience report on teaching Alloy with an automated assessment platform, and an answer to the case study call on validating multiple variants of an automotive light system with Electrum, have been accepted at ABZ'20.

Papers accepted at IRC

Our paper on ROSY, an elegant language to teach the pure reactive nature of robot programming, has just been accepted at the International Conference on Robotic Computing (IRC). 

Alloy/Electrum Tutorial at FM

We will be giving a tutorial on Formal software design with Alloy and Electrum at the 3rd World Congress on Formal Methods in October.

Paper accepted at SETTA

Our paper on the analysis of software design variants with a colorful Alloy has just been accepted at the International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA).

Paper accepted at F-IDE

Our paper on simulation under arbitrary temporal logic constraints has just been accepted at the Workshop on Formal Integrated Development Environment (F-IDE) at FM.

Paper accepted at STTT

Our extended work on the ERTMS case study has been accepted for publication at the International Journal on Software Tools for Technology Transfer (STTT).

Paper accepted at IRC

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

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

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

Experience report at ICFP

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

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.