Tool

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.

PTCRISync v1.1

September 15, 2017

Version 1.1 of the PTCRISync synchronization framework has been released.

PTCRISync v1.0

April 1, 2017

Version 1.0 of the PTCRISync synchronization framework has been released.

New MSc's

December 10, 2016

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

Echo at ASE'13

November 15, 2013

I've just presented our tool Echo at ASE'13.

Tool Demo accepted at ASE

September 13, 2013

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