MDE

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).

Paper accepted at FormaliSE

March 1, 2017

Our paper on the verification of a ROS-based robotic system using timed automata has been accepted at the FME Workshop on Formal Methods in Software Engineering (FormaliSE).

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).
Macedo N, Jorge T, Cunha A.  2016.  A feature-based classification of model repair approaches. IEEE Transactions on Software Engineering. repair16.pdf

Paper accepted at TSE

September 30, 2016

Our survey on model repair techniques has just been accepted at the IEEE Transactions on Software Engineering (TSE).

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).