A integração de técnicas BIM (Building Information Modeling) no projeto e na construção de estruturas de madeira

Dissertação de mestrado integrado em Engenharia Civil

Análise de sustentabilidade de soluções construtivas inovadoras para a reabilitação de edifícios antigos

Dissertação de mestrado integrado em Engenharia Civil

Monitoring for a decidable fragment of MTL-∫

Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTL-R, we propose a new approach for the runtime verification of hard real-time systems. The novelty of our technique is that it is based on incremental evaluation, allowing us to e↵ectively treat duration properties (which play a crucial role in real-time systems). We describe the two levels of operation of our approach: offline simplification by quantifier removal techniques; and online evaluation of a three-valued interpretation for formulas of our fragment. Our experiments show the applicability of this mechanism as well as the validity of the provided complexity results.

Upgrade of an industrial building: BIM model of the as-built situation and evaluation of modifications

Dissertação de mestrado integrado in Civil Engineering

A integração do Building Information Modeling (BIM) num projeto de reabilitação

Dissertação de mestrado integrado em Engenharia Civil

Real-time monitoring of progression towards renal failure in primary care patients

First published online: December 16, 2014.

Valorização patrimonial e urbana de Braga através da criação de circuitos turísticos

Projeto de mestrado em Património e Turismo Cultural

Incorporation of hybrid phase change materials in plastering mortars for increased energy efficiency in buildings

Tese de Doutoramento em Engenharia Civil.