Assistant Professor (email)
If you're interested in getting started with Electrum, checkout this introductory video and this step-by-step tutorial.
Version 1.1 of the PTCRISync synchronization framework has been released.
Version 1.0 of the PTCRISync synchronization framework has been released.
Eduardo Pessoa and José Pereira have successfully defended their MSc theses on trustworthy software design.
I've just presented our tool Echo at ASE'13.
Our tool demo of Echo has been accepted at the IEEE/ACM International Conference on Automated Software Engineering (ASE).