Projects
Filter Projects: 2019 - 2022
ICST 2020
IEEE International Conference on Software Testing, Verification and Validation
From 2019 to 2022, financed by Conference Registration
MIXEDUP
From 2018 to 2022, financed by FCT
DATAHELP
Data2Help: Data Science for Optimization of Emergency Medical Services
From 2019 to 2022, financed by FCT
PassCert
Exploring the Impact of Formal Verification on the Adoption of Password Security Software
From 2021 to 2022, financed by FCT Carnegie Mellon
FaultLocker
FAULT LOCalization and repair tooKit for dEpendable softwaRe
From 2018 to 2022, financed by FCT
SecurityAware
Abordagem refinada para detectar e corrigir vulnerabilidades
From 2020 to 2022, 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)