Projects
Filter Projects: 2018 - 2021
PassCert
Exploring the Impact of Formal Verification on the Adoption of Password Security Software
From 2021 to 2022, financed by FCT Carnegie Mellon
DATAHELP
Data2Help: Data Science for Optimization of Emergency Medical Services
From 2019 to 2021, financed by FCT
SecurityAware
Abordagem refinada para detectar e corrigir vulnerabilidades
From 2020 to 2021, financed by FCT
FaultLocker
FAULT LOCalization and repair tooKit for dEpendable softwaRe
From 2018 to 2021, financed by FCT
ICST 2020
IEEE International Conference on Software Testing, Verification and Validation
From 2019 to 2020, financed by Conference Registration
MIXEDUP
From 2018 to 2020, financed by FCT
CoMEDy
From 2016 to 2019, financed by FCT
ERGODiC
Formal methods for the analysis of modular gEnetic ReGulatOry network DynamiCs
From 2016 to 2019, financed by FCT (PTDC/EEICTP/2914/2014)
CANTROL
From 2016 to 2019, financed by FCT
IFCT
Towards a semi-automatic model revision of logical regulatory network
From 2015 to 2018, financed by FCT