André Santos and Miguel Costa have successfully defended their MSc theses on ROS software quality.
This is the content of the announcement. Lets see how it looks like.
Our project on trustworthy software design has been recommended for funding.
Our paper on an ORCID-based synchronization framework has been accepted at F1000Research in the ORCID-Casrai joint conference channel.
Our paper on scenario exploration has been accepted at the 18th International Conference on Fundamental Approaches to Software Engineering (FASE).
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).
Interested in algebraic and relation methods in computer science? Please consider submitting to
I've joined the BESTCASE project on languages and tools for critical real time systems as a post-doctoral researcher.
I've successfully defended my PhD thesis at the University of Minho.
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.