High-assurance Robotics Software, at DI, University of Minho, Braga, Portugal, 10/14/2015:

In this presentation I talked about some recent work, done in HASLab, and future perspectives on high-assurance robotics software.

Exploring Scenario Exploration, 8 Apr 2015 4/8/2015:
By Nuno Macedo, HASLab/INESC TEC & Universidade do Minho
Monitoring Energy Consumption in Android Applications, at Braga, 9/29/2014:

My Master's Thesis Presentation

Compiling CAO: from Cryptographic Specifications to C Implementations, at POST14, Grenoble, France, 4/8/2014:

Tool demo presented at POST14 (part of ETAPS 2014: 5-13 April 2014, Grenoble, France).

Spreadsheet Engineering, at EECS Colloquium - Oregon State University, 2/24/2014:

Spreadsheets play a pivotal role in modern society as they are inherently multi-purpose and widely used both by individuals to cope with simple needs as well as large companies as integrators of complex systems and as support for informing business decisions. Spreadsheets have probably passed the point of no return in terms of importance: it is estimated that 95% of all U.S. firms use them for financial reporting, 90% of all analysts in industry perform calculations in spreadsheets, and 50% of all spreadsheets are the basis for decisions.

pH1: Middleware transacional para NoSQL, at HASLab, 1/27/2014
As bases de dados NoSQL optam por não oferecer importantes abstracções tipicamente encontradas em sistemas relacionais, por forma a atingir elevada escalabilidade e disponibilidade: garantias transacionais e critérios de coerência de dados fortes.
Apresentamos o pH1, um middleware transacional com Snapshot Isolation como nível de isolamento, que se posiciona sobre uma base de dados NoSQL, mitigando o acréscimo de dificuldade que se verifica no desenvolvimento de aplicações sobre bases de dados NoSQL.