Alloy

Workshop on the Future of Alloy

May 5, 2018

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

Carvalho M, Belo O, Macedo N.  2017.  Checking the Correctness of What-If Scenarios. 11th IFIP WG 8.9 Working Conference (CONFENIS 2017).

Best Students programme

April 9, 2017

We've just received the students from the Best Students programme at UMinho 2017 at our laboratory.

New MSc's

December 10, 2016

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

Macedo N, Brunel J, Chemouil D, Cunha A, Kuperberg D.  2016.  Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations. 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016). 14.pdf
Oliveira B, Belo O, Macedo N.  2016.  Towards a Formal Validation of ETL Patterns Behavior. 6th International Conference on Model and Data Engineering (MEDI 2016).

TRUST Kickoff

September 19, 2016

The TRUST project has just kicked off with a joint workshop with the DALI project.

Paper accepted at MEDI

June 30, 2016

Our paper on a formalization of ETL patterns has been accepted at the International Conference on Model and Data Engineering (MEDI).

Paper accepted at FSE

May 28, 2016

Our paper on a temporal extension to the Alloy language has been accepted at the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE).

TRUST recommended for funding

August 30, 2015

Our project on trustworthy software design has been recommended for funding.