Personal information

Activities

Funding (5)

Verificação de Segurança para Software Robótico

2018-07-01 to 2021-06-30 | Contract
Fundação para a Ciência e a Tecnologia (Lisboa, PT)
GRANT_NUMBER:

PTDC/CCI-INF/29583/2017

Source: check_circle
CIÊNCIAVITAE

Análise e Verificação de Programas Concorrentes Críticos

2012-05-01 to 2015-04-30 | Contract
Fundação para a Ciência e a Tecnologia (Lisboa, PT)
GRANT_NUMBER:

PTDC/EIA-CCO/117590/2010

Source: check_circle
CIÊNCIAVITAE

CROSS - Uma infra-estrutura para a certificação e re-engenharia de Software Livre

2010-03-15 to 2013-06-14 | Contract
Fundação para a Ciência e a Tecnologia (Lisboa, PT)
GRANT_NUMBER:

PTDC/EIA-CCO/108995/2008

Source: check_circle
CIÊNCIAVITAE

FAVAS: A FormAl Verification PlAtform for real-time Systems

2010-02-01 to 2013-01-31 | Contract
Fundação para a Ciência e a Tecnologia (Lisboa, PT)
GRANT_NUMBER:

PTDC/EIA-CCO/105034/2008

Source: check_circle
CIÊNCIAVITAE

RESCUE, Execução Fiável e Segura de Programas em Sistemas Embebidos

2008-01-01 to 2011-03-31 | Contract
Fundação para a Ciência e a Tecnologia (Lisboa, PT)
GRANT_NUMBER:

PTDC/EIA/65862/2006

Source: check_circle
CIÊNCIAVITAE