Model checking

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

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

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

Joined NanoSTIMA project

April 20, 2016

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

TRUST recommended for funding

August 30, 2015

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

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

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.