Announcements

Joined NanoSTIMA project

I joined the NanoSTIMA project on high-assurance medical cyber-physical systems as a post-doctoral researcher.

New MSc's

André Santos and Miguel Costa have successfully defended their MSc theses on ROS software quality.

TRUST recommended for funding

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

Paper at F1000Research

Our paper on an ORCID-based synchronization framework has been accepted at F1000Research in the ORCID-Casrai joint conference channel.

Paper accepted at FASE

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

PTCRISync project

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

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

PhD thesis defended

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

Paper accepted at SoSyM

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

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

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

Paper accepted at FASE

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

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

III FATBIT Meeting

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

Tool Demo accepted at ASE

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