Identificação
Identificação pessoal
- Nome completo
- Marco Vieira
Identificadores de autor
- Ciência ID
- 201C-9C3E-D522
- ORCID iD
- 0000-0001-5103-8541
- Google Scholar ID
- l3cF0LoAAAAJ
- Researcher Id
- L-4087-2014
- Scopus Author Id
- 7202140748
Endereços de correio eletrónico
- mvieira@dei.uc.pt (Profissional)
Moradas
- DEI - Polo 2 Univeridade de Coimbra, 3030-290, Coimbra, Coimbra, Portugal (Profissional)
Websites
- https://eden.dei.uc.pt/~mvieira/ (Profissional)
- https://dblp.uni-trier.de/pers/hd/v/Vieira:Marco (Académico)
- https://www.cisuc.uc.pt/en/people/marco-vieira (Académico)
Domínios de atuação
- Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática
Idiomas
Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
---|---|---|---|---|---|
Português (Idioma materno) | |||||
Inglês | Utilizador proficiente (C1) | Utilizador proficiente (C2) | Utilizador proficiente (C2) | Utilizador proficiente (C2) | Utilizador proficiente (C2) |
Formação
Grau | Classificação | |
---|---|---|
2014/07/09
Concluído
|
Ciências e Tecnologias da Informação (Título de Agregado)
Universidade de Coimbra, Portugal
|
Aprovado |
2005/12/19
Concluído
|
Engenharia Informática (Doutoramento)
Especialização em Sem especialidade
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
"Testes Padronizados de Confiabilidade para Sistemas Transaccionais" (TESE/DISSERTAÇÃO)
|
|
2003/04/29
Concluído
|
Engenharia Informática (Mestrado)
Universidade de Coimbra, Portugal
"Optimização e Avaliação do Desempenho e Recuperação em SGBD na Presença de Falhas de Operador" (TESE/DISSERTAÇÃO)
|
Muito Bom |
1999/02/19
Concluído
|
Engenharia Informática (Licenciatura)
Universidade de Coimbra, Portugal
|
17 |
1996/09/12
Concluído
|
Engenharia Informática e de Sistemas (Bacharelato)
Instituto Politécnico de Coimbra, Portugal
|
17 |
Projetos
Bolsa
Designação | Financiadores | |
---|---|---|
2010/11 - 2014/04 | Assuring Dependability in Architecture-based Adaptive Systems
Investigador
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
|
Fundação para a Ciência e a Tecnologia, I.P. |
Projeto
Designação | Financiadores | |
---|---|---|
2023/01 - Atual | NEXUS Innovation Pact – Digital and Green Transition for Transports, Logistics and Mobility
02/C05-i01.01/2022.PC645112083-00000059
Co-Investigador Responsável (Co-IR)
Universidade de Coimbra, Portugal
|
Em curso
|
2019/01 - 2022/12 | ADVANCE: Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
Investigador
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
|
European Commission
Em curso
|
2020/05 - 2022/11 | AIDA: Adaptive, Intelligent and Distributed Assurance Platform
Investigador responsável
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
|
Agência Nacional de Inovação SA
Em curso
|
2018/07/26 - 2022/07/25 | Monitoring and Measuring the Trustworthiness of Critical Cloud Systems
PTDC/EEI-COM/32504/2017
Universidade de Coimbra, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
2019/07 - 2021/06 | TalkConnect - Voice Architecture over Distributed Network
Investigador responsável
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
|
Agência Nacional de Inovação SA
Em curso
|
2018/07 - 2021/06 | METRICS: Monitoring and Measuring the Trustworthiness of Critical Cloud Systems
Investigador
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
|
Fundação para a Ciência e a Tecnologia, I.P.
Em curso
|
2017/01/09 - 2021/01/08 | MobiWise: from mobile sensing to mobility advising
SAICTPAC/0011/2015
Instituto de Telecomunicações Lisboa, Portugal
Universidade de Aveiro, Portugal Universidade de Coimbra, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
2017/11 - 2019/10 | ATMOSPHERE: Adaptive, Trustworthy, Manageable, Orchestrated, Secure, Privacy-assuring, Hybrid Ecosystem for REsilient Cloud
Computing
Investigador responsável
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
|
European Commission
Concluído
|
2016/01 - 2017/12 | EUBrasilCloudFORUM: Fostering an International dialogue between Europe and Brazil
H2020-EUB-2015-689495
Investigador responsável
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
|
Research Executive Agency |
2016/01 - 2017/12 | EUBra-BIGSEA: EUrope-BRAzil Collaboration on BIG Data Scientific REsearch thorugh Cloud-Centric Applications
H2020-EUB-2015-690116
Investigador responsável
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
|
Research Executive Agency
Concluído
|
2014/01 - 2017/12 | DEVASSES - DEsign, Verification and VAlidation of large-scale, dynamic Service SystEmS
FP7-PEOPLE-2013-IRSES-612569
Investigador responsável
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
|
Research Executive Agency
Concluído
|
2014/01 - 2016/12 | CABRIOLET – Model-Oriented Approach and Intelligent Knowledge-Based System for Evolvable Academia-Industry Cooperation in
Electronic and Computer Engineering
544497-TEMPUS-1-2013-1-UK-TEMPUS-JPHES
Investigador responsável
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
|
Research Executive Agency
Concluído
|
2013/01 - 2016/12 | CECRIS – CErtification of CRItical Systems
FP7-PEOPLE-2012-IAPP-324334
Investigador responsável
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
|
Research Executive Agency
Concluído
|
2014/01 - 2015/06 | V-SIS: Validation of Critical Sytems
FEDER-08/SI/2012 F3-38923
Investigador responsável
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
|
Agência Nacional de Inovação SA
Concluído
|
2014/04 - 2015/03 | An Exploratory Study of Distributed Cloud Application Failures
Investigador
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
|
Fundação para a Ciência e a Tecnologia, I.P.
Concluído
|
2014/01/01 - 2014/12/31 | Strategic Project - UI 326 - 2014
PEst-OE/EEI/UI0326/2014
Universidade de Coimbra, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
2010/11/01 - 2014/04/30 | Assuring Dependability in Architecture-based Adaptive Systems
CMU-PT/ELE/0030/2009
Universidade de Coimbra, Portugal
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
2010/11/01 - 2014/04/30 | Assuring Dependability in Architecture-based Adaptive Systems
CMU-PT/ELE/0030/2009
Universidade de Coimbra, Portugal
Universidade de Coimbra Departamento de Engenharia Civil, Portugal Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
2007/01/01 - 2011/08/31 | FCTUC Activities Plan under the Software Engineering sub area of the Information Processing and Networking focus area of the
CMU-Portugal Program
CMU-Pt/0003/2007
Universidade de Coimbra, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
2005/08/20 - 2008/11/30 | TACID - Timely ACID Transactions in DBMS
POSC/EIA/61568/2004
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
2005/07/01 - 2007/12/31 | mCrash - Dependability Evaluation of Mobile Devices´ System Software.
POSC/EIA/62772/2004
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
Produções
Publicações
Artigo em conferência |
|
Artigo em revista |
|
Capítulo de livro |
|
Livro |
|
Outros
Outra produção |
|
Atividades
Orientação
Título / Tema Papel desempenhado |
Curso (Tipo) Instituição / Organização |
|
---|---|---|
2020 - Atual | Techniques and Tools for the Classification of Bug Reports
Coorientador
|
Universidade de Coimbra, Portugal
|
2020 - Atual | Security Monitoring and Actuation
Orientador
|
Universidade de Coimbra, Portugal
|
2020 - Atual | Intrusion Detection and Tolerance in Container-based Scenarios
Orientador
|
Universidade de Coimbra, Portugal
|
2019 - Atual | Improving Trustworthiness through Self-adaptation of Cloud Services
Orientador
|
Universidade de Coimbra, Portugal
|
2019 - Atual | Models for Availability and Security Risk Evaluation in Cloud Computing with Moving Target Defense
Orientador
|
Universidade de Coimbra, Portugal
|
2018 - Atual | Security Benchmarking for Virtualized Environments
Coorientador
|
Universidade de Coimbra, Portugal
|
2016 - Atual | Blended Security Analysis for Web Applications: Techniques and Tools
Coorientador
|
Universidade de Coimbra, Portugal
|
2016 - Atual | Trustworthiness Benchmarking of Complex Software Systems
Orientador
|
Universidade de Coimbra, Portugal
|
2017 - 2023 | Advanced Online Failure Prediction through Machine Learning
Orientador
|
Universidade de Coimbra, Portugal
|
2014 - 2018/04 | Certification of Embedded Systems: Quantitative Analysis and Irrefutable Evidences
Orientador
|
Universidade de Coimbra, Portugal
|
2012 - 2018/03 | Security Benchmarking for Web Service Frameworks
Coorientador
|
Universidade de Coimbra, Portugal
|
2012 - 2016/12 | Configuration Security Assessment and Benchmarking of Mobile Devices
Coorientador
|
Universidade Estadual de Campinas, Brasil
|
2010 - 2016/12 | EQualPI: a Framework to Evaluate the Quality of the Implementation of the CMMI Practices
Coorientador
|
Universidade do Porto, Portugal
|
2009 - 2016/01 | Software Fault Injection for Failure Prediction Assessment and Improvement
Orientador
|
Universidade de Coimbra, Portugal
|
2011 - 2015/11 | Reference Architecture for Data Privacy in Web Applications
Coorientador
|
Universidade Estadual de Campinas, Brasil
|
2010 - 2014/12 | Techniques for Evaluating and Improving Data Security in Data Warehousing
Coorientador
|
Universidade de Coimbra, Portugal
|
2010 - 2014/11 | Benchmarking the Resilience of Satellite Simulation Infrastructures based on HLS
Coorientador
|
Instituto Nacional de Pesquisas Espaciais, Brasil
|
2009 - 2014/03 | Methodologies and Tools for the Development of Non-vulnerable Web Services
Orientador
|
Universidade de Coimbra, Portugal
|
2007 - 2013/07 | Security Benchmarking of Transactional Systems
Orientador
|
Universidade de Coimbra, Portugal
|
2007 - 2012/09 | Advancing Software Services Robustness: Techniques for Assessment and Improvement
Orientador
|
Universidade de Coimbra, Portugal
|
2006 - 2011/05 | Security Evaluation in Database Centric Web Applications
Orientador
|
Universidade de Coimbra, Portugal
|
Organização de evento
Nome do evento Tipo de evento (Tipo de participação) |
Instituição / Organização | |
---|---|---|
2023 - Atual | General Co-Chair of the 14th ACM/SPEC International Conference on Performance Engineering (ICPE) (2023)
Conferência (Presidente da Comissão Organizadora)
|
|
2023 - 2033 | General Co-Chair - 2023 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2023) (2023)
Conferência (Presidente da Comissão Organizadora)
|
|
2020 - 2020 | General Co-Chair - 2020 IEEE International Symposium on Software Reliability Engineering (ISSRE 2020) (2020 - 2020)
Conferência (Presidente da Comissão Organizadora)
|
|
2018 - 2018 | PC Co-Chair - 2018 IEEE/IFIP International Conference on Dependable and Secure Computing (DSN 2018) (2018 - 2018)
Conferência (Membro da Comissão Científica)
|
|
2016 - 2016 | Conference Coordinator - 2016 IEEE/IFIP International Conference on Dependable and Secure Computing (DSN 2016) (2016 - 2016)
Conferência (Membro da Comissão Organizadora)
|
|
2016 - 2016 | PC Chair - 2016 European Dependable Computing Conference (EDCC 2016) (2016 - 2016)
Conferência (Membro da Comissão Científica)
|
|
2016 - 2016 | PC Co-Chair - 2016 Latin America Dependable Computing (LADC 2016) (2016 - 2016)
Conferência (Membro da Comissão Científica)
|
|
2015 - 2015 | PC Co-Chair - 2015 IEEE International Symposium on Software Reliability Engineering (ISSRE 2015) (2015 - 2015)
Conferência (Membro da Comissão Científica)
|
Arbitragem científica em revista
Nome da revista (ISSN) | Editora | |
---|---|---|
2022/03 - Atual | Service Oriented Computing and Applications Journal (1863-2394) | Springer |
2018 - Atual | IEEE Transactions on Dependable and Secure Computing (1545-597) | IEEE |
Membro de associação
Nome da associação | Tipo de participação | |
---|---|---|
2023 - Atual | Chair of the IFIP WG10.4 on Dependable Computing and Fault Tolerance | |
2014 - Atual | Member of the Standard Performance Evaluation Corporation – Research Group (SPECResearch) – http://www.spec.org; former chair of the IDS Benchmarking Working Group – http://research.spec.org/working-groups/ids-benchmarking-working-group.html | |
2010 - Atual | Principal representative of the University of Coimbra in the Transaction Processing Performance Council (TPC) – http://www.tpc.org | |
2010 - Atual | Member of the ERCIM SERENE (Software Engineering for Resilient Systems) WG | |
2014 - 2014 | IFIP WG 10.4 on Dependable Computing and Fault Tolerance (IFIP WG 10.4) – http://www.dependability.org/wg10.4/ | Vice-Chair since 2019 |
Membro de comissão
Descrição da atividade Tipo de participação |
Instituição / Organização | |
---|---|---|
2021 - Atual | Steering Committee Vice-Chair - IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
Membro
|
|
2017 - Atual | Steering Committee Member - Latin America Dependable Computing (LADC)
Membro
|
|
2017 - Atual | Steering Committee Member - International Symposium on Software Reliability Engineering (ISSRE)
Membro
|
Distinções
Prémio
2024 | Distinguished Paper Award EDCC 2024 |
2021 | Distinguished Paper Award EDCC 2021 |
2019 | Distinguished Paper Award EDCC 2019 |
2018 | Distinguished Paper Award EDCC 2018 |
2014 | ACM SIGSOFT QoSA Distinguished Paper Award |
2010 | ICWS 2010 Best Paper Award |
2009 | Prémio "William C. Carter" |
1999 | Prémio Henrique Teixeira Bastos
Universidade de Coimbra, Portugal
|