PhD Students

Anne Kersten Kauer (co-supervision)
Formal Specification, Verification and Analysis of Long-running Transactions (2013)

Cátia Raquel de Jesus Vaz
A Formal Approach to Long Running Transactions (2010)

Carlos Alberto Lourenço dos Santos (co-supervision)
Modelo Conceptual para Auditoria Organizacional Contínua com Análise em Tempo Real (2007)


MSc Students

Miguel Ramos Duque (2015)
Specification of a partial replication protocol with TLA+


Miguel José Avó Aires Teixeira (2015)
Transactional memory scheduler with irrevocable support and selective rollback


Diogo Miguel Gaspar de Sousa (2013)
Preventing Atomicity Violations with Contracts


Paulo Jorge Abreu Duarte Ferreira (2012)
Information Flow Analysis using Data-dependent Logical Propositions


Ana Cristina Martins Ferreira (2010)
Refinamento de Diagramas de Classes: Análise e Verificação em Alloy


Rui Filipe Vital Guerreiro da Costa (2010)
Mecanismos de Recuperação para Serviços Web

Maria de Fátima Rodrigues Reis (2009)
Verificação de Protocolos de e-Voting

Eunice Conceição Lee da Silva (2009)
Verificação de Coerência de diagramas UML com Alloy

Hermínio Miguel Jacinto da Silva Sanches (2008)
Um Perfil UML 2.0 para Modelação de Processos de Negócio

Miguel Ângelo Brazia Santos (2007)
Estudo Comparativo de Métodos de Verificação de uma Urgência Hospitalar