Announcements

Paper accepted at FASE

December 22, 2014

Our paper on scenario exploration has been accepted at the 18th International Conference on Fundamental Approaches to Software Engineering (FASE).

PTCRISync project

December 15, 2014

We have been commissioned by the FCT to participate in the development of an ORCID-based synchronization framework for the Portuguese Current Research Information System (PTCRIS).

Joined BESTCASE project

November 5, 2014

I've joined the BESTCASE project on languages and tools for critical real time systems as a post-doctoral researcher.

PhD thesis defended

November 1, 2014

I've successfully defended my PhD thesis at the University of Minho.

Paper accepted at SoSyM

October 16, 2014

Our paper on least-change bidirectional model transformations has been accepted at the Springer's International Journal on Software and Systems Modeling (SoSyM).

Paper accepted at VL/HCC

April 20, 2014

Our paper on bidirectional spreadsheet formulas has been accepted at IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).

Paper accepted at BX

January 10, 2014

Our paper on multidirectional model transformation has been accepted at the International Workshop on Bidirectional Transformations (BX).

Paper accepted at FASE

December 18, 2013

Our paper on target-oriented model finding has been accepted at the 17th International Conference on Fundamental Approaches to Software Engineering (FASE).

Echo at ASE'13

November 15, 2013

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

III FATBIT Meeting

October 3, 2013

We've just presented our ongoing work at the III FATBIT Meeting.

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

II FATBIT Meeting

July 17, 2013

We've just presented our ongoing work at the II FATBIT Meeting.

Paper accepted at BX

June 25, 2013

Our paper on least-change bidirectional transformation has been accepted at the International Workshop on Bidirectional Transformations (BX).

Paper accepted at FASE

December 20, 2012

Our paper on bidirectional QVT-R transformations has been accepted at the International Conference on Fundamental Approaches to Software Engineering (FASE).

Paper accepted at RAMiCS

June 20, 2012

Our paper on relations as executable specifications has been accepted at the International Conference Relational and Algebraic Methods in Computer Science (RAMiCS).