???global.info.a_carregar???
Marco Vieira is a Professor at the University of Coimbra. His research focuses on trustworthy computing and trustworthiness assessment, with an emphasis on software security, dependability benchmarking, security assessment, and vulnerability detection, as well as techniques such as fault injection, intrusion injection, failure prediction, static analysis, and software testing. Marco Vieira has authored or co-authored over 250 papers in leading conferences and journals, significantly contributing to the fields of dependable computing and cybersecurity. He has led and participated in numerous international research projects, collaborating with both academia and industry to advance reliable and secure software development practices. He currently chairs the IFIP WG 10.4 on Dependable Computing and Fault Tolerance, serves as an Associate Editor for the IEEE Transactions on Dependable and Secure Computing, and holds leadership roles in the steering committees of major conferences in the computer systems dependability and software reliability domains. Marco is passionate about leveraging AI and ML to enhance trustworthy software engineering. His current research explores the use of LLMs for secure and efficient code generation, vulnerability detection, and automated security issue management, among other aspects.
Ler resumo completo ↓
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

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
Provided by PTCRIS: 111193
111193
Investigador
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
 Fundação para a Ciência e a Tecnologia, I.P.
2011/01 - 2012/12 Menon@WS - Metodologias para o Desenvolvimento de Web Services não Vulneráveis
688269667747676580698347994472011DRI
 Fundação para a Ciência e a Tecnologia

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
823788
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
POCI-01-0247-FEDER-045907
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
POCI-01-0247-FEDER-039676
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
FCT POCI-01-0145-FEDER-032504
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
777154
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
Provided by PTCRIS: 135567
135567
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
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
  1. Gustavo Callou; Marco Vieira. "Availability and Performance Analysis of Cloud Services". 2024.
    10.1145/3697090.3697105
  2. João Rafael Henriques; José D'Abruzzo Pereira; Marco Vieira. "Mining Vulnerability and Code Repositories to Study Software Security". 2024.
    10.1145/3697090.3697103
  3. Andrade, R.; Laranjeiro, N.; Vieira, M.. "BugHub: A Large Scale Issue Report Dataset". 2024.
    10.1109/EDCC61798.2024.00016
  4. Pereira, L.S.; Almeida, A.; Delicato, F.C.; Cavalcante, E.; Batista, T.; Motta, R.; Vieira, M.. "Leveraging Middleware to Support Digital Twin System Development". 2024.
    10.1109/SWC62898.2024.00319
  5. Andre Almeida; Thais Batista; Everton Cavalcante; Flávia Delicato; Rebeca Motta; Marco Vieira. "Middleware for Digital Twins: A Systematic Mapping Study". 2023.
    10.1145/3631319.3632302
  6. Iury Araujo; Nuno Antunes; Marco Vieira. "Intrusion Detection and Tolerance for Microservice Applications". 2023.
    10.1145/3615366.3622794
  7. Jessica Castro; Nuno Laranjeiro; Marco Vieira. "Generating Realistic Attack Data for Microservices: Framework and Case Study". 2023.
    10.1145/3615366.3615377
  8. Bukhtawar Zamir; João R. Campos; Marco Vieira. "Advanced Machine Learning for Runtime Data Generation". 2023.
    10.1145/3615366.3622793
  9. João R. Campos; Rodrigo Machado; Marco Vieira. "Leveraging Time Series Autocorrelation Through Numerical Differentiation for Improving Failure Prediction". 2023.
    10.1145/3615366.3615423
  10. Iury Araujo; Nuno Antunes; Marco Vieira. "Evaluation of Machine Learning for Intrusion Detection in Microservice Applications". 2023.
    10.1145/3615366.3615375
  11. Pereira, J.D.; Vieira, M.. "An Approach to Characterize the Security of Open-Source Functions using LSP". 2023.
    10.1109/ISSRE59848.2023.00073
  12. Goncalves, C.F.; Antunes, N.; Vieira, M.. "Intrusion Injection for Virtualized Systems: Concepts and Approach". 2023.
    10.1109/DSN58367.2023.00047
  13. Silva, H.; Vieira, M.; Neto, A.. "Are safety-critical systems really survivable to attacks?". 2023.
    10.1109/SysCon53073.2023.10131114
  14. Castro, J.; Laranjeiro, N.; Vieira, M.. "Exploring Logic Scoring of Preference for DoS Attack Detection in Microservice Applications". 2023.
    10.1109/ICWS60048.2023.00076
  15. Castro, J.; Laranjeiro, N.; Vieira, M.. "Techniques and Tools for Runtime Security Monitoring and Analysis of Microservices". 2023.
    10.1109/DSN-S58398.2023.00052
  16. Felix, E.F.; Lins, F.A.A.; Gomes, D.R.; Nobrega, O.O.; Jesus, B.A.; Vieira, M.. "Evaluating Cryptographic Security Requirements in IoT Gateways". 2023.
    10.1109/WF-IoT58464.2023.10539403
  17. Campos, J.R.; Costa, E.; Vieira, M.. "Online Failure Prediction Through Fault Injection and Machine Learning: Methodology and Case Study". 2023.
    10.1109/ISSRE59848.2023.00021
  18. José D'Abruzzo Pereira; Nuno Lourenço; Marco Vieira. "On the Use of Deep Graph CNN to Detect Vulnerable C Functions". 2022.
    10.1145/3569902.3569913
  19. Eduardo F. Felix; Fernando A. A. Lins; Obionor O. Nóbrega; Diego R. Gomes; Bruno A. Jesus; Marco Vieira. "Compliance Evaluation of Cryptographic Security Requirements on IoT Gateways". 2022.
    10.1145/3569902.3569915
  20. José D'Abruzzo Pereira; João David Ribeiro; João Pires; Pedro Moita; Nuno Laranjeiro; Marco Vieira. "On the use of the TMA Framework to promote self-adaptation capabilities in TalkConnect". 2022.
    10.1145/3569902.3569953
  21. Jessica Castro; Nuno Laranjeiro; Marco Vieira. "Detecting DoS Attacks in Microservice Applications: Approach and Case Study". 2022.
    10.1145/3569902.3569916
  22. Campos, J.R.; Costa, E.; Vieira, M.. "A Dataset of Linux Failure Data for Dependability Evaluation and Improvement". 2022.
    10.1109/DSN-W54100.2022.00024
  23. Campos, J.R.; Costa, E.; Vieira, M.. "On the Applicability of Machine Learning-based Online Failure Prediction for Modern Complex Systems". 2022.
    10.1109/EDCC57035.2022.00019
  24. Pereira, J.D.; Campos, J.R.; Vieira, M.. "Machine Learning to Combine Static Analysis Alerts with Software Metrics to Detect Security Vulnerabilities: An Empirical Study". 2021.
    10.1109/EDCC53658.2021.00008
  25. Medeiros, N.; Ivaki, N.; Costa, P.; Vieira, M.. "An Empirical Study on Software Metrics and Machine Learning to Identify Untrustworthy Code". 2021.
    10.1109/EDCC53658.2021.00020
  26. Torquato, M.; Vieira, M.. "VM Migration Scheduling as Moving Target Defense against Memory DoS Attacks: An Empirical Study". 2021.
    10.1109/ISCC53001.2021.9631397
  27. Pereira, J.D.; Antunes, J.H.; Vieira, M.. "On Building a Vulnerability Dataset with Static Information from the Source Code". 2021.
    10.1109/LADC53747.2021.9672589
  28. Torquato, M.; MacIel, P.; Vieira, M.. "Analysis of VM migration scheduling as moving target defense against insider attacks". 2021.
    10.1145/3412841.3441899
  29. Torquato, M.; MacIel, P.; Vieira, M.. "Security and Availability Modeling of VM Migration as Moving Target Defense". 2020.
    10.1109/PRDC50213.2020.00016
  30. Pereira, J.D.; Silva, R.; Antunes, N.; Silva, J.L.M.; De França, B.; Moraes, R.; Vieira, M.. "A platform to enable self-adaptive cloud applications using trustworthiness properties". 2020.
    10.1145/3387939.3391608
  31. Torquato, M.; Goncalves, C.F.; Vieira, M.. "An Availability Model for DSS and OLTP Applications in Virtualized Environments". 2020.
    10.1109/EDCC51268.2020.00023
  32. D'abruzzo Pereira, J.; Vieira, M.. "On the Use of Open-Source C/C++ Static Analysis Tools in Large Projects". 2020.
    10.1109/EDCC51268.2020.00025
  33. Vieira, M.; Madeira, H.. "Message from the ISSRE 2020 general chairs". 2020.
    10.1109/ISSREW51248.2020.00005
  34. Gonçalves, C.F.; Antunes, N.; Vieira, M.. "Evaluating the Applicability of Robustness Testing in Virtualized Environments". 2019.
    10.1109/LADC.2018.00027
  35. Medeiros, N.; Ivaki, N.; Costa, P.; Vieira, M.. "An approach for trustworthiness benchmarking using software metrics". 2019.
    10.1109/PRDC.2018.00019
  36. Lemes, C.I.; Naessens, V.; Vieira, M.. "Trustworthiness Assessment of Web Applications: Approach and Experimental Study using Input Validation Coding Practices". 2019.
    10.1109/ISSRE.2019.00050
  37. Torquato, M.; Torquato, L.; Maciel, P.; Vieira, M.. "IaaS cloud availability planning using models and genetic algorithms". 2019.
    10.1109/LADC48089.2019.8995734
  38. Pereira, J.D.; Campos, J.R.; Vieira, M.. "An exploratory study on machine learning to combine security vulnerability alerts from static analysis tools". 2019.
    10.1109/LADC48089.2019.8995685
  39. Torquato, M.; Vieira, M.. "An experimental study of software aging and rejuvenation in dockerd". 2019.
    10.1109/EDCC.2019.00014
  40. Campos, J.R.; Vieira, M.; Costa, E.. "Propheticus: Machine Learning Framework for the Development of Predictive Models for Reliable and Secure Software". 2019.
    10.1109/ISSRE.2019.00026
  41. Torquato, M.; Guedes, E.; MacIel, P.; Vieira, M.. "A hierarchical model for virtualized data center availability evaluation". 2019.
    10.1109/EDCC.2019.00029
  42. Torquato, M.; Vieira, M.. "Interacting SRN Models for Availability Evaluation of VM Migration as Rejuvenation on a System under Varying Workload". 2018.
    10.1109/ISSREW.2018.00022
  43. Alic, A.S.; Almeida, J.; Meira, W.; Guedes, D.; dos Santos, W.; Blanquer, I.; Fiore, S.; et al. "GIS and data: Three applications to enhance mobility". 2018.
  44. Algaith, A.; Nunes, P.; José, F.; Gashi, I.; Vieira, M.. "Finding SQL Injection and Cross Site Scripting Vulnerabilities with Diverse Static Analysis Tools". 2018.
    10.1109/EDCC.2018.00020
  45. Bertolino, A.; Amaral, V.; Rupino, P.; Vieira, M.. "Preface: QUATIC 2018". 2018.
    10.1109/QUATIC.2018.00005
  46. Campos, J.R.; Vieira, M.; Costa, E.. "Exploratory Study of Machine Learning Techniques for Supporting Failure Prediction". 2018.
    10.1109/EDCC.2018.00014
  47. Martins, B.; Laranjeiro, N.; Vieira, M.. "INTENSE: INteroperability TEstiNg as a SErvice". 2017.
    10.1109/ICWS.2017.95
  48. Basso, T.; Moraes, R.; Antunes, N.; Vieira, M.; Santos, W.; Meira, W.. "PRIVAaaS: Privacy Approach for a Distributed Cloud-Based Data Analytics Platforms". 2017.
    10.1109/CCGRID.2017.136
  49. Braga, A.; Dahab, R.; Antunes, N.; Laranjeiro, N.; Vieira, M.. "Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study". 2017.
    10.1109/ISSRE.2017.27
  50. Medeiros, N.P.D.S.; Ivaki, N.R.; Costa, P.N.D.; Vieira, M.P.A.. "Towards an Approach for Trustworthiness Assessment of Software as a Service". 2017.
    10.1109/IEEE.EDGE.2017.39
  51. Nunes, P.; Medeiros, I.; Fonseca, J.; Neves, N.; Correia, M.; Vieira, M.. "On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study". 2017.
    10.1109/EDCC.2017.16
  52. Medeiros, N.; Ivaki, N.; Costa, P.; Vieira, M.. "Software Metrics as Indicators of Security Vulnerabilities". 2017.
    10.1109/ISSRE.2017.11
  53. Elia, I.A.; Antunes, N.; Laranjeiro, N.; Vieira, M.. "An Analysis of OpenStack Vulnerabilities". 2017.
    10.1109/EDCC.2017.29
  54. Algaith, A.; Elia, I.A.; Gashi, I.; Vieira, M.. "Diversity with intrusion detection systems: An empirical study". 2017.
    10.1109/NCA.2017.8171327
  55. Silva, N.; Vieira, M.; Cunha, J.; Chillarege, R.. "Evaluating a corpus of root causes and measures to guide rca processes in critical software". 2017.
    10.1109/HASE.2017.19
  56. Vecchiato, D.; Vieira, M.; Martins, E.. "Risk Assessment of User-Defined Security Configurations for Android Devices". 2016.
    10.1109/ISSRE.2016.30
  57. Vieira, M.. "Message from Program Chair". 2016.
    10.1109/EDCC.2016.5
  58. Silva, N.; Vieira, M.. "Software for embedded systems: A quality assessment based on improved ODC taxonomy". 2016.
    10.1145/2851613.2851908
  59. Laranjeiro, N.; Ivaki, N.; Vieira, M.. "The 2016 IEEE Services Emerging Technology Track on Dependable and Secure Services (DSS 2016)". 2016.
    10.1109/SERVICES.2016.34
  60. Vieira, M.; Moraes, R.. "Message from the LADC 2016 program committee chairs". 2016.
    10.1109/LADC.2016.6
  61. Milenkoski, A.; Jayaram, K.R.; Antunes, N.; Vieira, M.; Kounev, S.. "Quantifying the Attack Detection Accuracy of Intrusion Detection Systems in Virtualized Environments". 2016.
    10.1109/ISSRE.2016.39
  62. Irrera, I.; Vieira, M.; Duraes, J.. "Adaptive Failure Prediction for Computer Systems: A Framework and a Case Study". Trabalho apresentado em IEEE 16th International Symposium on High Assurance Systems Engineering, 2015.
    10.1109/HASE.2015.29
  63. Silva, N.; Vieira, M.; Ricci, D.; Cotroneo, D.. "Consolidated view on space software engineering problems - an empirical study". 2015.
  64. Vecchiato, D.; Vieira, M.; Martins, E.. "A security configuration assessment for android devices". 2015.
    10.1145/2695664.2695679
  65. Braz, A.; Rubira, C.M.F.; Vieira, M.. "Development of Complex Software with Agile Method". 2015.
    10.1109/Agile.2015.18
  66. Antunes, N.; Vieira, M.. "On the Metrics for Benchmarking Vulnerability Detection Tools". 2015.
    10.1109/DSN.2015.30
  67. Lourenco, J.R.; Abramova, V.; Cabral, B.; Bernardino, J.; Carreiro, P.; Vieira, M.. "No SQL in Practice: A Write-Heavy Enterprise Application". 2015.
    10.1109/BigDataCongress.2015.90
  68. Basso, T.; Moraes, R.; Jino, M.; Vieira, M.. "Requirements, design and evaluation of a privacy reference architecture for web applications and services". 2015.
    10.1145/2695664.2695774
  69. Elia, I.A.; Laranjeiro, N.; Vieira, M.. "Test-Based Interoperability Certification for Web Services". 2015.
    10.1109/DSN.2015.26
  70. Irrera, I.; Vieira, M.. "Towards Assessing Representativeness of Fault Injection-Generated Failure Data for Online Failure Prediction". 2015.
    10.1109/DSN-W.2015.24
  71. Laranjeiro, N.; Furtado, P.; Vieira, M.. "IEEE Services Visionary Track on Dependable and Secure Services (DSS 2015)". 2015.
    10.1109/SERVICES.2015.52
  72. Areias, C.; Cunha, J.C.; Vieira, M.. "Studying the Propagation of Failures in SOAs". 2015.
    10.1109/DSN-W.2015.18
  73. Nunes, P.J.C.; Fonseca, J.; Vieira, M.. "PhpSAFE: A Security Analysis Tool for OOP Web Application Plugins". 2015.
    10.1109/DSN.2015.16
  74. Silva, N.; Vieira, M.; Ricci, D.; Cotroneo, D.. "Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues". 2015.
    10.1109/DSN-W.2015.19
  75. Oliveira, R.A.; Laranjeiro, N.; Vieira, M.. "Characterizing the performance of web service frameworks under security attacks". 2015.
    10.1145/2695664.2695927
  76. Angrisani, L.; Vieira, M.. "Welcome message from the general chairmen". 2015.
    10.1109/IWMN.2015.7322963
  77. Milenkoski, A.; Payne, B.D.; Antunes, N.; Vieira, M.; Kounev, S.. "Experience report: An analysis of hypercall handler vulnerabilities". 2014.
    10.1109/ISSRE.2014.24
  78. Silva, N.; Vieira, M.. "Experience report: Orthogonal classification of safety critical issues". 2014.
    10.1109/ISSRE.2014.25
  79. Fonseca, J.; Vieira, M.. "A practical experience on the impact of plugins in web security". 2014.
    10.1109/SRDS.2014.20
  80. Silva, N.; Vieira, M.. "Towards making safety-critical systems safer: Learning from mistakes". 2014.
    10.1109/ISSREW.2014.97
  81. Elia, I.A.; Laranjeiro, N.; Vieira, M.. "Understanding interoperability issues of web service frameworks". 2014.
    10.1109/DSN.2014.40
  82. Santos, L.E.; Curado, M.; Vieira, M.. "A research agenda for benchmarking the resilience of software defined networks". 2014.
    10.1109/ISSREW.2014.22
  83. Cámara, J.; Correia, P.; De Lemos, R.; Vieira, M.. "Empirical resilience evaluation of an architecture-based self-adaptive software system". 2014.
    10.1145/2602576.2602577
  84. Elia, I.A.; Laranjeiro, N.; Vieira, M.. "A field perspective on the interoperability of web services". 2014.
    10.1109/SCC.2014.19
  85. Irrera, I.; Vieira, M.. "A practical approach for generating failure data for assessing and comparing failure prediction algorithms". 2014.
    10.1109/PRDC.2014.19
  86. Cámara, J.; De Lemos, R.; Laranjeiro, N.; Ventura, R.; Vieira, M.. "Robustness evaluation of the Rainbow framework for self-adaptation". 2014.
    10.1145/2554850.2554935
  87. Azevedo, D.R.; Ambrosio, A.M.; Vieira, M.. "Towards a resilience benchmarking description language for the context of satellite simulators". 2014.
    10.1109/EDCC.2014.19
  88. Elia, I.A.; Laranjeiro, N.; Vieira, M.. "ITWS: An extensible tool for interoperability testing of web services". 2014.
    10.1109/ICWS.2014.65
  89. Irrera, I.; Duraes, J.; Vieira, M.. "On the need for training failure prediction algorithms in evolving software systems". 2014.
    10.1109/HASE.2014.38
  90. Laranjeiro, N.; Furtado, P.; Vieira, M.. "IEEE international workshop on dependable and secure services (DSS 2014) within IEEE 10th world congress on services 2014". 2014.
    10.1109/SERVICES.2014.43
  91. Silva, N.; Barbosa, R.; Cunha, J.C.; Vieira, M.. "A view on the past and future of fault injection". 2013.
    10.1109/DSN.2013.6575332
  92. Antunes, N.; Brancati, F.; Ceccarelli, A.; Bondavalli, A.; Vieira, M.. "A monitoring and testing framework for critical off-the-shelf applications and services". 2013.
    10.1109/ISSREW.2013.6688923
  93. Camara, J.; De Lemos, R.; Laranjeiro, N.; Ventura, R.; Vieira, M.. "Robustness evaluation of controllers in self-adaptive software systems". 2013.
    10.1109/LADC.2013.17
  94. Almeida, R.; Araujo Neto, A.; Vieira, M.. "SCoRe: An across-the-board metric for computer systems resilience benchmarking". 2013.
    10.1109/DSNW.2013.6615542
  95. Antunes, N.; Vieira, M.. "SOA-scanner: An integrated tool to detect vulnerabilities in service-based infrastructures". 2013.
    10.1109/SCC.2013.28
  96. Irrera, I.; Duraes, J.; Madeira, H.; Vieira, M.. "Assessing the impact of virtualization on the generation of failure prediction data". 2013.
    10.1109/LADC.2013.24
  97. Silva, N.; Vieira, M.. "Certification of embedded systems: Quantitative analysis and irrefutable evidences". 2013.
    10.1109/ISSREW.2013.6688854
  98. Azevedo, D.R.; Ambrosio, A.M.; Vieira, M.. "HLA middleware robustness and scalability evaluation in the context of satellite simulators". 2013.
    10.1109/PRDC.2013.53
  99. Irrera, I.; Pereira, C.; Vieira, M.. "The time dimension in predicting failures: A case study". 2013.
    10.1109/LADC.2013.25
  100. Ivaki, N.; Laranjeiro, N.; Vieira, M.. "Towards evaluating the impact of data quality on service applications". 2013.
    10.1109/DSNW.2013.6615509
  101. Oliveira, R.A.; Laranjeiro, N.; Vieira, M.. "WSFAggressor: An extensible web service framework attacking tool". 2012.
    10.1145/2405146.2405148
  102. Almeida, R.; Vieira, M.. "Changeloads: A fundamental piece on the SASO systems benchmarking puzzle". 2012.
    10.1109/SASOW.2012.25
  103. Antunes, N.; Vieira, M.. "Detecting vulnerabilities in Service Oriented Architectures". 2012.
    10.1109/ISSREW.2012.33
  104. Antunes, N.; Vieira, M.. "Evaluating and improving penetration testing in web services". 2012.
    10.1109/ISSRE.2012.26
  105. Azevedo, D.R.; Ambrósio, A.M.; Vieira, M.. "Applying data mining for detecting anomalies in satellites". 2012.
    10.1109/EDCC.2012.19
  106. Almeida, R.; Vieira, M.. "Changeloads for resilience benchmarking of self-adaptive systems: A risk-based approach". 2012.
    10.1109/EDCC.2012.30
  107. Santos, R.J.; Bernardino, J.; Vieira, M.. "Leveraging 24/7 availability and performance for distributed real-time data warehouses". 2012.
    10.1109/COMPSAC.2012.92
  108. Oliveira, R.A.; Laranjeiro, N.; Vieira, M.. "Experimental evaluation of web service frameworks in the presence of security attacks". 2012.
    10.1109/SCC.2012.52
  109. Cunha, J.C.; Cruz, S.; Costa, M.; Rodrigues, A.R.; Vieira, M.. "Implementing software effort estimation in a medium-sized company". 2012.
    10.1109/SEW.2011.19
  110. Vieira, M.; Madeira, H.; Cruz, S.; Costa, M.; Cunha, J.C.. "Integrating GQM and data warehousing for the definition of software reuse metrics". 2012.
    10.1109/SEW.2011.22
  111. Margarido, I.L.; Vidal, R.M.; Vieira, M.. "Lessons learnt in the implementation of CMMI® maturity level 5". 2012.
    10.1109/QUATIC.2012.37
  112. Neto, A.A.; Vieira, M.. "Trustworthiness benchmarking of web applications using static code analysis". 2011.
    10.1109/ARES.2011.37
  113. Santos, R.J.; Bernardino, J.; Vieira, M.. "A survey on data security in data warehousing: Issues, challenges and opportunities". 2011.
    10.1109/EUROCON.2011.5929314
  114. Ceccarelli, A.; Vieira, M.; Bondavalli, A.. "A testing service for lifelong validation of dynamic SOA". 2011.
    10.1109/HASE.2011.18
  115. Santos, R.J.; Bernardino, J.; Vieira, M.. "Balancing security and performance for enhancing data privacy in data warehouses". 2011.
    10.1109/TrustCom.2011.33
  116. Santos, R.J.; Bernardino, J.; Vieira, M.. "24/7 real-time data warehousing: A tool for continuous actionable knowledge". 2011.
    10.1109/COMPSAC.2011.44
  117. Rui, O.; Laranjeiro, N.; Vieira, M.. "A composed approach for automatic classification of web services robustness". 2011.
    10.1109/SCC.2011.19
  118. Santos, R.J.; Bernardino, J.; Vieira, M.. "A data masking technique for data warehouses". 2011.
    10.1145/2076623.2076632
  119. Ceccarelli, A.; Vieira, M.; Bondavalli, A.. "A service discovery approach for testing dynamic SOAs". 2011.
    10.1109/ISORCW.2011.23
  120. Vieira, M.; Avritzer, A.; Dei Giandomenico, F.. "Message from the first workshop on resilience assessment of critical infrastructures (RACI) chairs". 2011.
    10.1109/LADCW.2011.6
  121. Neto, A.A.; Vieira, M.. "Selecting software packages for secure database installations". 2011.
    10.1109/ARES.2011.19
  122. Neto, A.A.; Vieira, M.. "TO BEnchmark or NOT to BEnchmark security: That is the question". 2011.
    10.1109/DSNW.2011.5958810
  123. Neto, A.A.; Vieira, M.. "Towards benchmarking the trustworthiness of web applications code". 2011.
    10.1145/1978582.1978589
  124. Almeida, R.; Vieira, M.. "Benchmarking the resilience of self-adaptive software systems: Perspectives and challenges". 2011.
    10.1145/1988008.1988035
  125. Lopes Margarido, I.; Faria, J.P.; Vidal, R.M.; Vieira, M.. "Classification of defect types in requirements specifications: Literature review, proposal and assessment". 2011.
  126. Antunes, N.; Vieira, M.. "Enhancing penetration testing with attack signatures and interface monitoring for the detection of injection vulnerabilities in web services". 2011.
    10.1109/SCC.2011.67
  127. Laranjeiro, N.; Vieira, M.; Madeira, H.. "A learning-based approach to secure web services from SQL/XPath Injection attacks". 2010.
    10.1109/PRDC.2010.24
  128. Laranjeiro, N.; Oliveira, R.; Vieira, M.. "Applying text classification algorithms in web services robustness testing". 2010.
    10.1109/SRDS.2010.36
  129. Véras, P.C.; Villani, E.; Ambrosio, A.M.; Silva, N.; Vieira, M.; Madeira, H.. "Errors on space software requirements: A field study and application scenarios". 2010.
    10.1109/ISSRE.2010.30
  130. Almeida, R.; Madeira, H.; Vieira, M.. "From performance to resilience benchmarking". 2010.
    10.1109/ICDCSW.2010.69
  131. Fonseca, J.; Vieira, M.; Madeira, H.. "The web attacker perspective - A field study". 2010.
    10.1109/ISSRE.2010.21
  132. Irrera, I.; Durães, J.; Vieira, M.; Madeira, H.. "Towards identifying the best variables for failure prediction using injection of realistic software faults". 2010.
    10.1109/PRDC.2010.51
  133. Almeida, R.; Madeira, H.; Vieira, M.. "Benchmarking the resilience of self-adaptive systems: A new research challenge". 2010.
    10.1109/SRDS.2010.50
  134. Antunes, N.; Vieira, M.. "Benchmarking vulnerability detection tools for web services". 2010.
    10.1109/ICWS.2010.76
  135. Elia, I.A.; Fonseca, J.; Vieira, M.. "Comparing SQL injection detection tools using attack injection: An experimental study". 2010.
    10.1109/ISSRE.2010.32
  136. Neto, A.A.; Vieira, M.; Madeira, H.. "An appraisal to assess the security of database configurations". 2009.
    10.1109/DEPEND.2009.17
  137. Neto, A.A.; Vieira, M.. "Appraisals based on security best practices for software configurations". 2009.
    10.1109/LADC.2009.18
  138. Neto, A.A.; Vieira, M.. "Benchmarking untrustworthiness in DBMS configurations". 2009.
    10.1109/LADC.2009.23
  139. Marques, P.; Gomes, P.; Vieira, M.; Prieto, J.; Navarro, V.; Pecchioli, M.. "BIRF: Keeping software development under control across the organization". 2009.
    10.1109/ICSEA.2009.73
  140. Araújo Neto, A.; Vieira, M.. "A trust-based benchmark for DBMS configurations". 2009.
    10.1109/PRDC.2009.31
  141. Laranjeiro, N.; Vieira, M.; Madeira, H.. "Improving web services robustness". 2009.
    10.1109/ICWS.2009.27
  142. Seixas, N.; Fonseca, J.; Vieira, M.; Madeira, H.. "Looking at web security vulnerabilities from the programming language perspective: A field study". 2009.
    10.1109/ISSRE.2009.30
  143. Antunes, N.; Vieira, M.. "Comparing the effectiveness of penetration testing and static code analysis on the detection of SQL injection vulnerabilities in web services". 2009.
    10.1109/PRDC.2009.54
  144. Antunes, N.; Vieira, M.. "Detecting SQL injection vulnerabilities in web services". 2009.
    10.1109/LADC.2009.21
  145. Antunes, N.; Laranjeiro, N.; Vieira, M.; Madeira, H.. "Effective detection of SQL/XPath Injection vulnerabilities in web services". 2009.
    10.1109/SCC.2009.23
  146. Laranjeiro, N.; Vieira, M.. "Extending test-driven development for robust web services". 2009.
    10.1109/DEPEND.2009.25
  147. Vieira, M.; Antunes, N.; Madeira, H.. "Using web security scanners to detect vulnerabilities in web services". 2009.
    10.1109/DSN.2009.5270294
  148. Fonseca, J.; Vieira, M.; Madeira, H.. "Vulnerability & attack injection for web applications". 2009.
    10.1109/DSN.2009.5270349
  149. Dini, P.; Helvik, B.E.; Ma, J.; Pasic, A.; Sahoo, R.K.; Tatsubori, M.; Zima, H.P.; et al. "Proceedings - 2009 Second International Conference on Dependability: Preface". 2009.
    10.1109/DEPEND.2009.5
  150. Neto, A.A.; Vieira, M.. "Untrustworthiness: A trust-based security metric". 2009.
    10.1109/CRISIS.2009.5411967
  151. Neto, A.A.; Vieira, M.. "Towards assessing the security of DBMS configurations". 2008.
    10.1109/DSN.2008.4630074
  152. Fonseca, J.; Vieira, M.; Madeira, H.. "Training security assurance teams using vulnerability injection". 2008.
    10.1109/PRDC.2008.43
  153. Laranjeiro, N.; Canelas, S.; Vieira, M.. "Wsrbench: An on-line tool for robustness benchmarking". 2008.
    10.1109/SCC.2008.123
  154. Direito, B.; Dourado, A.; Vieira, M.; Sales, F.. "Combining energy and wavelet transform for epileptic seizure prediction in an advanced computational system". 2008.
    10.1109/BMEI.2008.276
  155. Mendes, N.; Neto, A.A.; Duräes, J.; Vieira, M.; Madeira, H.. "Assessing and comparing security of web servers". 2008.
    10.1109/PRDC.2008.45
  156. Direito, B.; Dourado, A.; Vieira, M.; Sales, F.. "Classification of epileptic EEG data using multidimensional scaling". 2008.
    10.1109/ICBBE.2008.134
  157. Laranjeiro, N.; Vieira, M.; Madeira, H.. "Timing failures detection in web services". 2008.
    10.1109/APSCC.2008.236
  158. Laranjeiro, N.; Vieira, M.; Madeira, H.. "Experimental robustness evaluation of JMS middleware". 2008.
    10.1109/SCC.2008.129
  159. Fonseca, J.; Vieira, M.. "Mapping software faults with web security vulnerabilities". 2008.
    10.1109/DSN.2008.4630094
  160. Fonseca, J.; Vieira, M.; Madeira, H.. "Online detection of malicious data access using DBMS auditing". 2008.
    10.1145/1363686.1363921
  161. Fonseca, J.; Vieira, M.; Madeira, H.. "Testing and comparing web vulnerability scanning tools for SQL injection and XSS attacks". 2007.
    10.1109/PRDC.2007.63
  162. Laranjeiro, N.; Vieira, M.. "Towards fault tolerance in web services compositions". 2007.
    10.1145/1316550.1316552
  163. Vieira, M.; Laranjeiro, N.; Madeira, H.. "Assessing robustness of web-services infrastructures". 2007.
    10.1109/DSN.2007.16
  164. Vieira, M.; Laranjeiro, N.; Madeira, H.. "Benchmarking the robustness of web services". 2007.
    10.1109/PRDC.2007.24
  165. Vieira, M.; Laranjeiro, N.. "Comparing web services performance and recovery in the presence of faults". 2007.
    10.1109/ICWS.2007.63
  166. Fonseca, J.; Vieira, M.; Madeira, H.. "Monitoring database application behavior for intrusion detection". 2006.
    10.1109/PRDC.2006.46
  167. Vieira, M.; Madeira, H.. "Towards a security benchmark for database management systems". 2005.
    10.1109/DSN.2005.93
  168. Pintér, G.; Madeira, H.; Vieira, M.; Majzik, I.; Pataricza, A.. "A data mining approach to identify key factors in dependability experiments". 2005.
  169. Vieira, M.; Madeira, H.. "Detection of malicious transactions in DBMS". 2005.
    10.1109/PRDC.2005.31
  170. Vieira, M.; Madeira, H.. "Portable faultloads based on operator faults for DBMS dependability benchmarking". 2004.
  171. Vieira, M.; Madeira, H.. "Benchmarking the Dependability of Different OLTP Systems". 2003.
    10.1109/DSN.2003.1209940
  172. Madeira, H.; Costa, J.; Vieira, M.. "The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments". 2003.
    10.1109/DSN.2003.1209920
  173. Vieira, M.; Madeira, H.. "A dependability benchmark for OLTP application environments". 2003.
  174. Vieira, M.; Madeira, H.. "Recovery and performance balance of a COTS DBMS in the presence of operator faults". 2002.
    10.1109/DSN.2002.1029007
  175. Vieira, M.; Madeira, H.. "Definition of fault loads based on operator faults for DMBS recovery benchmarking". 2002.
    10.1109/PRDC.2002.1185646
  176. Costa, D.; Rilho, T.; Vieira, M.; Madeira, H.. "ESFFI - A novel technique for the emulation of software faults in COTS components". 2001.
  177. Madeira, H.; Costa, D.; Vieira, M.. "On the emulation of software faults by software fault injection". 2000.
    10.1109/ICDSN.2000.857571
Artigo em revista
  1. Araujo, I.; Vieira, M.. "Enhancing intrusion detection in containerized services: Assessing machine learning models and an advanced representation for system call data". Computers and Security 154 (2025): http://www.scopus.com/inward/record.url?eid=2-s2.0-105000711482&partnerID=MN8TOARS.
    10.1016/j.cose.2025.104438
  2. Paulo Nunes; José Fonseca; Marco Vieira. "Blending Static and Dynamic Analysis for Web Application Vulnerability Detection: Methodology and Case Study". IEEE Access (2025): https://doi.org/10.1109/ACCESS.2024.3522094.
    10.1109/ACCESS.2024.3522094
  3. João R. Campos; Ernesto Costa; Marco Vieira. "Online Failure Prediction for Complex Systems: Methodology and Case Studies". IEEE Transactions on Dependable and Secure Computing (2023): https://doi.org/10.1109/TDSC.2022.3192671.
    10.1109/TDSC.2022.3192671
  4. Charles F. Gonçalves; Daniel Sadoc Menasché; Alberto Avritzer; Nuno Antunes; Marco Vieira. "Detecting Anomalies Through Sequential Performance Analysis in Virtualized Environments". IEEE Access (2023): https://doi.org/10.1109/ACCESS.2023.3293643.
    10.1109/ACCESS.2023.3293643
  5. Gomes, D.R.; Lins, F.A.A.; Nóbrega, O.O.; Felix, E.F.; Jesus, B.A.; Vieira, M.. "Security Evaluation of Authentication Requirements in IoT Gateways". Journal of Network and Systems Management 31 4 (2023): http://www.scopus.com/inward/record.url?eid=2-s2.0-85165375380&partnerID=MN8TOARS.
    10.1007/s10922-023-09754-z
  6. Torquato, M.; Maciel, P.; Vieira, M.. "Model-Based Performability and Dependability Evaluation of a System with VM Migration as Rejuvenation in the Presence of Bursty Workloads". Journal of Network and Systems Management 30 1 (2022): http://www.scopus.com/inward/record.url?eid=2-s2.0-85114890379&partnerID=MN8TOARS.
    10.1007/s10922-021-09619-3
  7. Santos, L.; Cunha, B.; Fé, I.; Vieira, M.; Silva, F.A.. "Data Processing on Edge and Cloud: A Performability Evaluation and Sensitivity Analysis". Journal of Network and Systems Management 29 3 (2021): http://www.scopus.com/inward/record.url?eid=2-s2.0-85102179880&partnerID=MN8TOARS.
    10.1007/s10922-021-09592-x
  8. Jose D'Abruzzo Pereira; Naghmeh Ivaki; Marco Vieira. "Characterizing Buffer Overflow Vulnerabilities in Large C/C++ Projects". IEEE Access 9 (2021): 142879-142892. https://doi.org/10.1109/ACCESS.2021.3120349.
    10.1109/ACCESS.2021.3120349
  9. Torquato, M.; Maciel, P.; Vieira, M.. "Availability and reliability modeling of VM migration as rejuvenation on a system under varying workload". Software Quality Journal (2020): http://www.scopus.com/inward/record.url?eid=2-s2.0-85081602424&partnerID=MN8TOARS.
    10.1007/s11219-019-09474-1
  10. Torquato, M.; Vieira, M.. "Moving target defense in cloud computing: A systematic mapping study". Computers and Security 92 (2020): http://www.scopus.com/inward/record.url?eid=2-s2.0-85079030521&partnerID=MN8TOARS.
    10.1016/j.cose.2020.101742
  11. Martinez, M.; Ruiz, J.C.; Antunes, N.; De Andres, D.; Vieira, M.. "A Multi-criteria Analysis of Benchmark Results With Expert Support for Security Tools". IEEE Transactions on Dependable and Secure Computing (2020): http://www.scopus.com/inward/record.url?eid=2-s2.0-85099105686&partnerID=MN8TOARS.
    10.1109/TDSC.2020.3048202
  12. Lins, F.A.A.; Vieira, M.. "Security Requirements and Solutions for IoT Gateways: A Comprehensive Study". IEEE Internet of Things Journal (2020): http://www.scopus.com/inward/record.url?eid=2-s2.0-85097397257&partnerID=MN8TOARS.
    10.1109/JIOT.2020.3041049
  13. Nadia Medeiros; Naghmeh Ivaki; Pedro Costa; Marco Vieira. "Vulnerable Code Detection Using Software Metrics and Machine Learning". IEEE Access 8 (2020): 219174-219198. https://doi.org/10.1109/ACCESS.2020.3041181.
    10.1109/ACCESS.2020.3041181
  14. Alexandre Braga; Ricardo Dahab; Nuno Antunes; Nuno Laranjeiro; Marco Vieira. "Understanding How to Use Static Analysis Tools for Detecting Cryptography Misuse in Software". IEEE Transactions on Reliability 68 4 (2019): 1384-1403. https://doi.org/10.1109/TR.2019.2937214.
    10.1109/TR.2019.2937214
  15. Silva, P.; Basso, T.; Antunes, N.; Moraes, R.; Vieira, M.; Simoes, P.; Montiero, E.. "A Europe-Brazil Context for Secure Data Analytics in the Cloud". IEEE Security and Privacy 16 6 (2019): 52-60. http://www.scopus.com/inward/record.url?eid=2-s2.0-85061311073&partnerID=MN8TOARS.
    10.1109/MSEC.2018.2875326
  16. Alic, A.S.; Almeida, J.; Aloisio, G.; Andrade, N.; Antunes, N.; Ardagna, D.; Badia, R.M.; et al. "BIGSEA: A Big Data analytics platform for public transportation information". Future Generation Computer Systems 96 (2019): 243-269. http://www.scopus.com/inward/record.url?eid=2-s2.0-85061791021&partnerID=MN8TOARS.
    10.1016/j.future.2019.02.011
  17. Nunes, P.; Medeiros, I.; Fonseca, J.; Neves, N.; Correia, M.; Vieira, M.. "An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios". Computing 101 2 (2019): 161-185. http://www.scopus.com/inward/record.url?eid=2-s2.0-85053903271&partnerID=MN8TOARS.
    10.1007/s00607-018-0664-z
  18. Torquato, M.; Maciel, P.; Vieira, M.. "A Model for Availability and Security Risk Evaluation for Systems with VMM Rejuvenation Enabled by VM Migration Scheduling". IEEE Access 7 (2019): 138315-138326. http://www.scopus.com/inward/record.url?eid=2-s2.0-85077967075&partnerID=MN8TOARS.
    10.1109/ACCESS.2019.2943273
  19. Oliveira, R.A.; Raga, M.M.; Laranjeiro, N.; Vieira, M.. "An approach for benchmarking the security of web service frameworks". Future Generation Computer Systems (2019): http://www.scopus.com/inward/record.url?eid=2-s2.0-85076215804&partnerID=MN8TOARS.
    10.1016/j.future.2019.10.027
  20. Joao R. Campos; Ernesto Costa; Marco Vieira. "Improving Failure Prediction by Ensembling the Decisions of Machine Learning Models: A Case Study". IEEE Access 7 (2019): 177661-177674. https://doi.org/10.1109/ACCESS.2019.2958480.
    10.1109/ACCESS.2019.2958480
  21. Fiore, S.; Elia, D.; Pires, C.E.; Mestre, D.G.; Cappiello, C.; Vitali, M.; Andrade, N.; et al. "An Integrated Big and Fast Data Analytics Platform for Smart Urban Transportation Management". IEEE Access 7 (2019): 117652-117677. http://www.scopus.com/inward/record.url?eid=2-s2.0-85084377904&partnerID=MN8TOARS.
    10.1109/ACCESS.2019.2936941
  22. Paulo Nunes; Iberia Medeiros; Jose C. Fonseca; Nuno Neves; Miguel Correia; Marco Vieira. "Benchmarking Static Analysis Tools for Web Security". IEEE Transactions on Reliability 67 3 (2018): 1159-1175. https://doi.org/10.1109/TR.2018.2839339.
    10.1109/TR.2018.2839339
  23. Mendes, J.; Laranjeiro, N.; Vieira, M.. "Toward characterizing HTML defects on the Web". Software - Practice and Experience 48 3 (2018): 750-757. http://www.scopus.com/inward/record.url?eid=2-s2.0-85029386270&partnerID=MN8TOARS.
    10.1002/spe.2545
  24. Vieira, M.; Wolter, K.. "Introduction to the special issue on software reliability engineering". Journal of Systems and Software 137 (2018): 396-398. http://www.scopus.com/inward/record.url?eid=2-s2.0-85039702464&partnerID=MN8TOARS.
    10.1016/j.jss.2017.12.027
  25. Velasquez, K.; Abreu, D.P.; Assis, M.R.M.; Senna, C.; Aranha, D.F.; Bittencourt, L.F.; Laranjeiro, N.; et al. "Fog orchestration for the Internet of Everything: state-of-the-art and research challenges". Journal of Internet Services and Applications 9 1 (2018): http://www.scopus.com/inward/record.url?eid=2-s2.0-85050190808&partnerID=MN8TOARS.
    10.1186/s13174-018-0086-3
  26. Douglas Rodrigues; Rayner M. Pires; Emerson Alberto Marconato; Cristiana Areias; Joao Carlos Cunha; Kalinka R.L.J. Castelo Branco; Marco Vieira. "Service-Oriented Architectures for a Flexible and Safe Use of Unmanned Aerial Vehicles". IEEE Intelligent Transportation Systems Magazine 9 1 (2017): 97-109. https://doi.org/10.1109/MITS.2016.2611038.
    10.1109/MITS.2016.2611038
  27. Russo, S.; Vieira, M.. "Editorial: Security and dependability of cloud systems and services". IEEE Transactions on Services Computing 10 5 (2017): 673-674. http://www.scopus.com/inward/record.url?eid=2-s2.0-85032586727&partnerID=MN8TOARS.
    10.1109/TSC.2017.2735778
  28. Silva, N.; Cunha, J.C.; Vieira, M.. "A field study on root cause analysis of defects in space software". Reliability Engineering and System Safety 158 (2017): 213-229. http://www.scopus.com/inward/record.url?eid=2-s2.0-84995377851&partnerID=MN8TOARS.
    10.1016/j.ress.2016.08.016
  29. Camara, J.; De Lemos, R.; Laranjeiro, N.; Ventura, R.; Vieira, M.. "Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems". IEEE Transactions on Dependable and Secure Computing 14 1 (2017): 50-64. http://www.scopus.com/inward/record.url?eid=2-s2.0-85027563352&partnerID=MN8TOARS.
    10.1109/TDSC.2015.2429128
  30. Antunes, N.; Vieira, M.. "Designing vulnerability testing tools for web services: approach, components, and tools". International Journal of Information Security 16 4 (2017): 435-457. http://www.scopus.com/inward/record.url?eid=2-s2.0-84974814395&partnerID=MN8TOARS.
    10.1007/s10207-016-0334-0
  31. Vieira, Marco. "Evaluating Computer Intrusion Detection Systems: A Survey of Common Practices". ACM Comput. Surv. 48 1 (2015): 12:1-12:41. http://doi.acm.org/10.1145/2808691.
    10.1145/2808691
  32. Elia, I.A.; Laranjeiro, N.; Vieira, M.. "A practical approach towards automatic testing of web services interoperability". International Journal of Web Services Research 12 3 (2015): 78-103. http://www.scopus.com/inward/record.url?eid=2-s2.0-84944448898&partnerID=MN8TOARS.
    10.4018/IJWSR.2015070104
  33. Oliveira, R.A.; Laranjeiro, N.; Vieira, M.. "Assessing the security of web service frameworks against Denial of Service attacks". Journal of Systems and Software 109 (2015): 18-31. http://www.scopus.com/inward/record.url?eid=2-s2.0-84941268327&partnerID=MN8TOARS.
    10.1016/j.jss.2015.07.006
  34. Paulo C. V\'eras and; Em\'\\ilia Villani and; Ana Maria Ambrosio and; Marco Vieira and; Henrique Madeira. "A benchmarking process to assess software requirements documentation for space applications". Journal of Systems and Software 100 (2015): 103-116. http://dx.doi.org/10.1016/j.jss.2014.10.054.
    10.1016/j.jss.2014.10.054
  35. Nuno Antunes and; Marco Vieira. "Assessing and Comparing Vulnerability Detection Tools for Web Services: Benchmarking Approach and Examples". IEEE T. Services Computing 8 2 (2015): 269-283. http://doi.ieeecomputersociety.org/10.1109/TSC.2014.2310221.
    10.1109/TSC.2014.2310221
  36. Lourenço, J.R.; Cabral, B.; Carreiro, P.; Vieira, M.; Bernardino, J.. "Choosing the right NoSQL database for the job: a quality attribute evaluation". Journal of Big Data 2 1 (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-85013940863&partnerID=MN8TOARS.
    10.1186/s40537-015-0025-0
  37. Nuno Laranjeiro and; Marco Vieira and; Henrique Madeira. "A Technique for Deploying Robust Web Services". IEEE T. Services Computing 7 1 (2014): 68-81. http://doi.ieeecomputersociety.org/10.1109/TSC.2012.39.
    10.1109/TSC.2012.39
  38. Jos\'e Fonseca and; Marco Vieira and; Henrique Madeira. "Evaluation of Web Security Mechanisms Using Vulnerability & Attack Injection". IEEE Trans. Dependable Sec. Comput. 11 5 (2014): 440-453. http://doi.ieeecomputersociety.org/10.1109/TDSC.2013.45.
    10.1109/TDSC.2013.45
  39. Jos\'e Fonseca and; Nuno Seixas and; Marco Vieira and; Henrique Madeira. "Analysis of Field Data on Web Security Vulnerabilities". IEEE Trans. Dependable Sec. Comput. 11 2 (2014): 89-100. http://doi.ieeecomputersociety.org/10.1109/TDSC.2013.37.
    10.1109/TDSC.2013.37
  40. Javier C\'amara and; Rog\'erio de Lemos and; Nuno Laranjeiro and; Rafael Ventura and; Marco Vieira. "Testing the robustness of controllers for self-adaptive systems". J. Braz. Comp. Soc. 20 1 (2014): 1-14. http://dx.doi.org/10.1186/1678-4804-20-1.
    10.1186/1678-4804-20-1
  41. Nuno Antunes and; Marco Vieira. "Penetration Testing for Web Services". IEEE Computer 47 2 (2014): 30-36. http://doi.ieeecomputersociety.org/10.1109/MC.2013.409.
    10.1109/MC.2013.409
  42. Ricardo Jorge Santos and; Jorge Bernardino and; Marco Vieira. "Approaches and Challenges in Database Intrusion Detection". SIGMOD Record 43 3 (2014): 36-47. http://doi.acm.org/10.1145/2694428.2694435.
    10.1145/2694428.2694435
  43. Javier C\'amara and; Rog\'erio de Lemos and; Marco Vieira and; Raquel Almeida and; Rafael Ventura. "Architecture-based resilience evaluation for self-adaptive systems". Computing 95 8 (2013): 689-722. http://dx.doi.org/10.1007/s00607-013-0311-7.
    10.1007/s00607-013-0311-7
  44. Nuno Laranjeiro and; Marco Vieira and; Henrique Madeira. "A robustness testing approach for SOAP Web services". J. Internet Services and Applications 3 2 (2012): 215-232. http://dx.doi.org/10.1007/s13174-012-0062-2.
    10.1007/s13174-012-0062-2
  45. Nuno Antunes and; Marco Vieira. "Defending against Web Application Vulnerabilities". IEEE Computer 45 2 (2012): 66-72. http://doi.ieeecomputersociety.org/10.1109/MC.2011.259.
    10.1109/MC.2011.259
  46. Afonso Ara\'ujo Neto and; Marco Vieira. "Selecting Secure Web Applications Using Trustworthiness Benchmarking". IJDTIS 2 2 (2011): 1-16. http://dx.doi.org/10.4018/jdtis.2011040101.
    10.4018/jdtis.2011040101
  47. Afonso Ara\'ujo Neto and; Marco Vieira. "Security Gaps in Databases: A Comparison of Alternative Software Products for Web Applications Support". IJSSE 2 3 (2011): 42-62. http://dx.doi.org/10.4018/jsse.2011070103.
    10.4018/jsse.2011070103
  48. Afonso Ara\'ujo Neto and; Marco Vieira. "Benchmarking Untrustworthiness: An Alternative to Security Measurement". IJDTIS 1 2 (2010): 32-54. http://dx.doi.org/10.4018/jdtis.2010040102.
    10.4018/jdtis.2010040102
  49. Laranjeiro, N.; Vieira, M.. "Deploying fault tolerant web service compositions". Computer Systems Science and Engineering 23 5 (2008): 337-348. http://www.scopus.com/inward/record.url?eid=2-s2.0-64549157685&partnerID=MN8TOARS.
  50. Pintér, G.; Madeira, H.; Vieira, M.; Majzik, I.; Pataricza, A.. "Integration of OLAP and data mining for analysis of results from dependability evaluation experiments". International Journal of Knowledge Management Studies 2 4 (2008): 480-498. http://www.scopus.com/inward/record.url?eid=2-s2.0-78650926706&partnerID=MN8TOARS.
    10.1504/IJKMS.2008.019753
  51. Mônica Dixit; António Casimiro; Nuno Laranjeiro; Marco Vieira. "Using Experimental Measurements to Assess Dependable Adaptation Support Mechanisms for Timed Transactions". (2008): http://hdl.handle.net/10451/14798.
  52. António Casimiro; Marco Vieira; Henrique Madeira. "Middleware Support for Time-Elastic Database Applications". (2007): http://hdl.handle.net/10451/15017.
  53. Marco Vieira; António Casimiro; Henrique Madeira; Vieira, M.; Costa, A.C.; Madeira, H.. "Towards Timely ACID Transactions in DBMS". 4443 LNCS (2007): http://hdl.handle.net/10451/15116.
    10.1109/PRDC.2006.63
  54. Vieira, M.; Durães, J.; Madeira, H.. "How to specify and validate dependability benchmarks for transactional systems | Especificação e validação de benchmarks de confiabilidade para sistemas transaccionais". IEEE Latin America Transactions 3 1 (2005): 72-81. http://www.scopus.com/inward/record.url?eid=2-s2.0-78149381853&partnerID=MN8TOARS.
    10.1109/TLA.2005.1468665
  55. Marco Vieira; António Casimiro; Henrique Madeira. "TACID Transactions". (2005): http://hdl.handle.net/10451/15092.
  56. Marco Vieira and; Henrique Madeira. "Joint evaluation of recovery and performance of a COTS DBMS in the presence of operator faults". Perform. Eval. 56 1-4 (2004): 187-212. http://dx.doi.org/10.1016/j.peva.2003.07.006.
    10.1016/j.peva.2003.07.006
  57. Marco Vieira; António Casimiro; Henrique Madeira. "Timely ACID Transactions in DBMS". (2004): http://hdl.handle.net/10451/14521.
Capítulo de livro
  1. João R. Campos; Ernesto Costa; Marco Vieira. "On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study". 419-433. Springer International Publishing, 2020.
    10.1007/978-3-030-54549-9_28
  2. Silva, N.; Moreira, F.; Cunha, J.C.; Vieira, M.. "A process for finding and tackling the Main Root Causes that affect critical systems quality". 81-102. 2017.
  3. Laranjeiro, N.; Pereira, G.; Soydemir, S.N.; Barbosa, R.; Bernardino, J.; Areias, C.; Antunes, N.; et al. "Robustness and fault injection for the validation of critical systems". 247-274. 2017.
  4. Rodrigues, D.; Estrella, J.C.; Monaco, F.J.; Branco, K.R.L.J.C.; Antunes, N.; Vieira, M.. "Engineering secure web services". 203-223. 2013.
  5. Neto, A.A.; Vieira, M.. "Assessing the security of software configurations". 953-979. 2013.
  6. Laranjeiro, N.; Vieira, M.. "Adapting test-driven development to build robust web services". 50-70. 2013.
Livro
  1. Silva, N.; Vieira, M.. Adapting the orthogonal defect classification taxonomy to the space domain. 2016.
    10.1007/978-3-319-45477-1_23
  2. Santos, R.J.; Vieira, M.; Bernardino, J.. XSX: Lightweight encryption for data warehousing environments. 2016.
    10.1007/978-3-319-43946-4_19
  3. Lourenço, J.R.; Abramova, V.; Vieira, M.; Cabral, B.; Bernardino, J.. NOSQL databases: A software engineering perspective. 2015.
    10.1007/978-3-319-16486-1_73
  4. Milenkoski, A.; Payne, B.D.; Antunes, N.; Vieira, M.; Kounev, S.; Avritzer, A.; Luft, M.. Evaluation of intrusion detection systems in virtualized environments using attack injection. 2015.
    10.1007/978-3-319-26362-5_22
  5. Majzik, I.; Vieira, M.. Software Engineering for Resilient Systems: 6th International Workshop, SERENE 2014 Budapest, Hungary, October 15-16, 2014 Proceedings. 2014.
    10.1007/978-3-319-12241-0
  6. Majzik, I.; Vieira, M.; Pataricza, A.. Preface. 2014.
  7. Fonseca, J.; Vieira, M.. A survey on secure software development lifecycles. 2013.
    10.4018/978-1-4666-3679-8.ch003
  8. Basso, T.; Antunes, N.; Moraes, R.; Vieira, M.. An XML-based policy model for access control in web applications. 2013.
    10.1007/978-3-642-40173-2_23
  9. Santos, R.J.; Bernardino, J.; Vieira, M.. A hypotension surveillance and prediction system for critical care. 2013.
    10.4018/978-1-4666-3990-4.ch017
  10. Santos, R.J.; Rasteiro, D.; Bernardino, J.; Vieira, M.. A specific encryption solution for data warehouses. 2013.
    10.1007/978-3-642-37450-0_6
  11. Vieira, M.; Cunha, J.C.. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. 2013.
  12. Wyatt, L.; Caufield, B.; Vieira, M.; Poess, M.. Incorporating recovery from failures into a data integration benchmark. 2013.
    10.1007/978-3-642-36727-4_2
  13. Santos, R.J.; Bernardino, J.; Vieira, M.. Evaluating the feasibility issues of data confidentiality solutions from a data warehousing perspective. 2012.
    10.1007/978-3-642-32584-7_33
  14. Santos, R.J.; Bernardino, J.; Vieira, M.; Rasteiro, D.M.L.. Securing data warehouses from web-based intrusions. 2012.
    10.1007/978-3-642-35063-4_53
  15. Lopes Margarido, I.; Pascoal Faria, J.; Moreira Vidal, R.; Vieira, M.. Towards a framework to evaluate and improve the quality of implementation of CMMI® practices. 2012.
    10.1007/978-3-642-31063-8_29
  16. Santos, R.J.; Bernardino, J.; Vieira, M.. Using data masking for balancing security and performance in data warehousing. 2012.
    10.4018/978-1-46662-518-1.ch015
  17. Rodrigues, D.; De Melo Pires, R.; Estrella, J.C.; Vieira, M.; Corrêa, M.; Camargo Jr., J.B.; Branco, K.R.L.J.C.; Trindade Jr., O.. Application of SOA in safety-critical embedded systems. 2011.
    10.1007/978-3-642-24106-2_45
  18. Almeida, R.; Poess, M.; Nambiar, R.; Patil, I.; Vieira, M.. How to advance TPC benchmarks with dependability aspects. 2011.
    10.1007/978-3-642-18206-8_5
  19. Véras, P.C.; Villani, E.; Ambrósio, A.M.; Pontes, R.P.; Vieira, M.; Madeira, H.. Benchmarking software requirements documentation for space application. 2010.
    10.1007/978-3-642-15651-9_9
  20. Vieira, M.; Madeira, H.. From performance to dependability benchmarking: A mandatory Path. 2009.
    10.1007/978-3-642-10424-4_6
  21. Laranjeiro, N.; Vieira, M.; Madeira, H.. Predicting timing failures in web services. 2009.
    10.1007/978-3-642-04205-8_16
  22. Laranjeiro, N.; Vieira, M.; Madeira, H.. Protecting database centric web services against SQL/XPath injection attacks. 2009.
    10.1007/978-3-642-03573-9_22
  23. Laranjeiro, N.; Vieira, M.; Madeira, H.. Robustness validation in service-oriented architectures. 2009.
    10.1007/978-3-642-10248-6_5
  24. Vieira, M.; Durães, J.; Madeira, H.. Dependability Benchmark for OLTP Systems. 2008.
    10.1002/9780470370506.ch5
  25. Durães, J.; Vieira, M.; Madeira, H.. Dependability Benchmarking of Web Servers. 2008.
    10.1002/9780470370506.ch6
  26. Direito, B.; Dourado, A.; Sales, F.; Vieira, M.. An application for electroencephalogram mining for epileptic seizure prediction. 2008.
    10.1007/978-3-540-70720-2_7
  27. Vieira, J.; Vieira, M.; Costa, M.; Madeira, H.. RAIN: Always on data warehousing. 2008.
    10.1007/978-3-540-78568-2_61
  28. Vieira, J.; Vieira, M.; Costa, M.; Madeira, H.. Redundant array of inexpensive nodes for DWS. 2008.
    10.1007/978-3-540-78568-2_49
  29. Almeida, P.; Jorge, M.; Cortesão, L.; Martins, F.; Vieira, M.; Gomes, P.. Supporting fraud analysis in mobile telecommunications using case-based reasoning. 2008.
    10.1007/978-3-540-85502-6_38
  30. Almeida, R.; Vieira, J.; Vieira, M.; Madeira, H.; Bernardino, J.. Efficient data distribution for DWS. 2008.
    10.1007/978-3-540-85836-2_8
  31. Vieira, M.; Madeira, H.. Do you know... How to analyze and share results from dependability evaluation experiments?. 2007.
    10.1007/978-3-540-75294-3_17
  32. Fonseca, J.; Vieira, M.; Madeira, H.. Integrated intrusion detection in databases. 2007.
    10.1007/978-3-540-75294-3_15
  33. Fonseca, J.; Vieira, M.; Madeira, H.. Detecting malicious SQL. 2007.
    10.1007/978-3-540-74409-2_28
  34. Durães, J.; Vieira, M.; Madeira, H.. Dependability benchmarking of web-servers. 2004.
  35. Madeira, H.; Durães, J.; Vieira, M.. Emulation of software faults: Representativeness and usefulness. 2003.
  36. Costa, P.; Vieira, M.; Madeira, H.; Silva, J.G.. Plug and play fault injector for dependability benchmarking. 2003.

Outros

Outra produção
  1. An Empirical Study on the Classification of Bug Reports with Machine Learning. 2025. Andrade, R.; Teixeira, C.; Laranjeiro, N.; Vieira, M.. http://www.scopus.com/inward/record.url?eid=2-s2.0-105000770941&partnerID=MN8TOARS.
    10.48550/arXiv.2503.00660
  2. Evaluation of Time-Based Virtual Machine Migration as Moving Target Defense Against Host-Based Attacks. 2024. Torquato, M.D.; Maciel, P.; Vieira, M.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85189619514&partnerID=MN8TOARS.
    10.2139/ssrn.4777777
  3. VulnLLMEval: A Framework for Evaluating Large Language Models in Software Vulnerability Detection and Patching. 2024. Zibaeirad, A.; Vieira, M.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85204871835&partnerID=MN8TOARS.
    10.48550/arXiv.2409.10756
  4. Engineering Trustworthy Software: A Mission for LLMs. 2024. Vieira, M.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85212321360&partnerID=MN8TOARS.
    10.48550/arXiv.2411.17981
  5. A Model-Based Approach to Anomaly Detection Trading Detection Time and False Alarm Rate. 2020. Gonçalves, C.F.; Menasché, D.S.; Avritzer, A.; Antunes, N.; Vieira, M.; Goncalves, C.F.; Menasche, D.S.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85094694801&partnerID=MN8TOARS.
    10.1109/MedComNet49392.2020.9191549
  6. Towards Models for Availability and Security Evaluation of Cloud Computing with Moving Target Defense. 2019. Torquato, M.; Vieira, M.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85093297686&partnerID=MN8TOARS.
  7. Propheticus: Generalizable machine learning framework: Internal report. 2018. Campos, J.R.; Vieira, M.; Costa, E.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85093331312&partnerID=MN8TOARS.
  8. The Perils of Android Security Configuration. 2016. Vecchiato, D.; Vieira, M.; Martins, E.. http://www.scopus.com/inward/record.url?eid=2-s2.0-84976559356&partnerID=MN8TOARS.
    10.1109/MC.2016.184
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 - 2033 General Co-Chair - 2023 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2023) (2023)
Conferência (Presidente da Comissão Organizadora)
2024 - 2024 General Co-Chair of the 2024 Symposium on Reliable Distributed Systems (SRDS 2024) (2024 - 2024)
Conferência (Presidente da Comissão Organizadora)
2023 - 2023 General Co-Chair of the 14th ACM/SPEC International Conference on Performance Engineering (ICPE) (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