???global.info.a_carregar???
Marco Vieira is a Full Professor at the Department of Informatics Engineering (DEI) at the University of Coimbra (UC). His research interests include dependability and security assessment and benchmarking, fault injection, failure prediction, static analysis and software testing, subjects in which I’ve authored or co-authored more than 250 papers in refereed conferences and journals. I’ve participated and coordinated several national and international research projects. Marco Vieira is currently Chair of the IFIP WF 10.4 on Dependable Computing and Fault Tolerance, Associate Editor of the IEEE Transactions on Dependable and Secure Computing (TDSC), Steering Committee Vice-Chair of the IEEE/IFIP Intl. Conference on Dependable Systems and Networks (DSN), member of the Steering Committee of the IEEE Intl. Symposium on Software Reliability Engineering (ISSRE), member of the Steering Committee of Latin-American Symposium on Dependable and Secure Computing (LADC) and I served as Program Chair on the program committees of the major conferences of the dependability area.
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.

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
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
  1. 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
  2. Iury Araujo; Nuno Antunes; Marco Vieira. "Intrusion Detection and Tolerance for Microservice Applications". 2023.
    10.1145/3615366.3622794
  3. Jessica Castro; Nuno Laranjeiro; Marco Vieira. "Generating Realistic Attack Data for Microservices: Framework and Case Study". 2023.
    10.1145/3615366.3615377
  4. Bukhtawar Zamir; João R. Campos; Marco Vieira. "Advanced Machine Learning for Runtime Data Generation". 2023.
    10.1145/3615366.3622793
  5. João R. Campos; Rodrigo Machado; Marco Vieira. "Leveraging Time Series Autocorrelation Through Numerical Differentiation for Improving Failure Prediction". 2023.
    10.1145/3615366.3615423
  6. Iury Araujo; Nuno Antunes; Marco Vieira. "Evaluation of Machine Learning for Intrusion Detection in Microservice Applications". 2023.
    10.1145/3615366.3615375
  7. 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
  8. 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
  9. 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
  10. Jessica Castro; Nuno Laranjeiro; Marco Vieira. "Detecting DoS Attacks in Microservice Applications: Approach and Case Study". 2022.
    10.1145/3569902.3569916
  11. 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
  12. 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
  13. Torquato, M.; Vieira, M.. "VM Migration Scheduling as Moving Target Defense against Memory DoS Attacks: An Empirical Study". 2021.
    10.1109/ISCC53001.2021.9631397
  14. 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
  15. Torquato, M.; MacIel, P.; Vieira, M.. "Analysis of VM migration scheduling as moving target defense against insider attacks". 2021.
    10.1145/3412841.3441899
  16. Torquato, M.; MacIel, P.; Vieira, M.. "Security and Availability Modeling of VM Migration as Moving Target Defense". 2020.
    10.1109/PRDC50213.2020.00016
  17. 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
  18. Torquato, M.; Goncalves, C.F.; Vieira, M.. "An Availability Model for DSS and OLTP Applications in Virtualized Environments". 2020.
    10.1109/EDCC51268.2020.00023
  19. 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
  20. Vieira, M.; Madeira, H.. "Message from the ISSRE 2020 general chairs". 2020.
    10.1109/ISSREW51248.2020.00005
  21. Gonçalves, C.F.; Antunes, N.; Vieira, M.. "Evaluating the Applicability of Robustness Testing in Virtualized Environments". 2019.
    10.1109/LADC.2018.00027
  22. Medeiros, N.; Ivaki, N.; Costa, P.; Vieira, M.. "An approach for trustworthiness benchmarking using software metrics". 2019.
    10.1109/PRDC.2018.00019
  23. 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
  24. Torquato, M.; Torquato, L.; Maciel, P.; Vieira, M.. "IaaS cloud availability planning using models and genetic algorithms". 2019.
    10.1109/LADC48089.2019.8995734
  25. 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
  26. Torquato, M.; Vieira, M.. "An experimental study of software aging and rejuvenation in dockerd". 2019.
    10.1109/EDCC.2019.00014
  27. 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
  28. Torquato, M.; Guedes, E.; MacIel, P.; Vieira, M.. "A hierarchical model for virtualized data center availability evaluation". 2019.
    10.1109/EDCC.2019.00029
  29. 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
  30. 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.
  31. 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
  32. Bertolino, A.; Amaral, V.; Rupino, P.; Vieira, M.. "Preface: QUATIC 2018". 2018.
    10.1109/QUATIC.2018.00005
  33. Campos, J.R.; Vieira, M.; Costa, E.. "Exploratory Study of Machine Learning Techniques for Supporting Failure Prediction". 2018.
    10.1109/EDCC.2018.00014
  34. Martins, B.; Laranjeiro, N.; Vieira, M.. "INTENSE: INteroperability TEstiNg as a SErvice". 2017.
    10.1109/ICWS.2017.95
  35. 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
  36. 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
  37. 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
  38. 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
  39. Medeiros, N.; Ivaki, N.; Costa, P.; Vieira, M.. "Software Metrics as Indicators of Security Vulnerabilities". 2017.
    10.1109/ISSRE.2017.11
  40. Elia, I.A.; Antunes, N.; Laranjeiro, N.; Vieira, M.. "An Analysis of OpenStack Vulnerabilities". 2017.
    10.1109/EDCC.2017.29
  41. Algaith, A.; Elia, I.A.; Gashi, I.; Vieira, M.. "Diversity with intrusion detection systems: An empirical study". 2017.
    10.1109/NCA.2017.8171327
  42. 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
  43. Vecchiato, D.; Vieira, M.; Martins, E.. "Risk Assessment of User-Defined Security Configurations for Android Devices". 2016.
    10.1109/ISSRE.2016.30
  44. Vieira, M.. "Message from Program Chair". 2016.
    10.1109/EDCC.2016.5
  45. Silva, N.; Vieira, M.. "Software for embedded systems: A quality assessment based on improved ODC taxonomy". 2016.
    10.1145/2851613.2851908
  46. 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
  47. Vieira, M.; Moraes, R.. "Message from the LADC 2016 program committee chairs". 2016.
    10.1109/LADC.2016.6
  48. 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
  49. 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
  50. Silva, N.; Vieira, M.; Ricci, D.; Cotroneo, D.. "Consolidated view on space software engineering problems - an empirical study". 2015.
  51. Vecchiato, D.; Vieira, M.; Martins, E.. "A security configuration assessment for android devices". 2015.
    10.1145/2695664.2695679
  52. Braz, A.; Rubira, C.M.F.; Vieira, M.. "Development of Complex Software with Agile Method". 2015.
    10.1109/Agile.2015.18
  53. Antunes, N.; Vieira, M.. "On the Metrics for Benchmarking Vulnerability Detection Tools". 2015.
    10.1109/DSN.2015.30
  54. 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
  55. 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
  56. Elia, I.A.; Laranjeiro, N.; Vieira, M.. "Test-Based Interoperability Certification for Web Services". 2015.
    10.1109/DSN.2015.26
  57. Irrera, I.; Vieira, M.. "Towards Assessing Representativeness of Fault Injection-Generated Failure Data for Online Failure Prediction". 2015.
    10.1109/DSN-W.2015.24
  58. Laranjeiro, N.; Furtado, P.; Vieira, M.. "IEEE Services Visionary Track on Dependable and Secure Services (DSS 2015)". 2015.
    10.1109/SERVICES.2015.52
  59. Areias, C.; Cunha, J.C.; Vieira, M.. "Studying the Propagation of Failures in SOAs". 2015.
    10.1109/DSN-W.2015.18
  60. Nunes, P.J.C.; Fonseca, J.; Vieira, M.. "PhpSAFE: A Security Analysis Tool for OOP Web Application Plugins". 2015.
    10.1109/DSN.2015.16
  61. 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
  62. Oliveira, R.A.; Laranjeiro, N.; Vieira, M.. "Characterizing the performance of web service frameworks under security attacks". 2015.
    10.1145/2695664.2695927
  63. Angrisani, L.; Vieira, M.. "Welcome message from the general chairmen". 2015.
    10.1109/IWMN.2015.7322963
  64. 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
  65. Silva, N.; Vieira, M.. "Experience report: Orthogonal classification of safety critical issues". 2014.
    10.1109/ISSRE.2014.25
  66. Fonseca, J.; Vieira, M.. "A practical experience on the impact of plugins in web security". 2014.
    10.1109/SRDS.2014.20
  67. Silva, N.; Vieira, M.. "Towards making safety-critical systems safer: Learning from mistakes". 2014.
    10.1109/ISSREW.2014.97
  68. Elia, I.A.; Laranjeiro, N.; Vieira, M.. "Understanding interoperability issues of web service frameworks". 2014.
    10.1109/DSN.2014.40
  69. Santos, L.E.; Curado, M.; Vieira, M.. "A research agenda for benchmarking the resilience of software defined networks". 2014.
    10.1109/ISSREW.2014.22
  70. 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
  71. Elia, I.A.; Laranjeiro, N.; Vieira, M.. "A field perspective on the interoperability of web services". 2014.
    10.1109/SCC.2014.19
  72. Irrera, I.; Vieira, M.. "A practical approach for generating failure data for assessing and comparing failure prediction algorithms". 2014.
    10.1109/PRDC.2014.19
  73. 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
  74. 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
  75. Elia, I.A.; Laranjeiro, N.; Vieira, M.. "ITWS: An extensible tool for interoperability testing of web services". 2014.
    10.1109/ICWS.2014.65
  76. Irrera, I.; Duraes, J.; Vieira, M.. "On the need for training failure prediction algorithms in evolving software systems". 2014.
    10.1109/HASE.2014.38
  77. 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
  78. 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
  79. 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
  80. 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
  81. Almeida, R.; Araujo Neto, A.; Vieira, M.. "SCoRe: An across-the-board metric for computer systems resilience benchmarking". 2013.
    10.1109/DSNW.2013.6615542
  82. Antunes, N.; Vieira, M.. "SOA-scanner: An integrated tool to detect vulnerabilities in service-based infrastructures". 2013.
    10.1109/SCC.2013.28
  83. 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
  84. Silva, N.; Vieira, M.. "Certification of embedded systems: Quantitative analysis and irrefutable evidences". 2013.
    10.1109/ISSREW.2013.6688854
  85. 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
  86. Irrera, I.; Pereira, C.; Vieira, M.. "The time dimension in predicting failures: A case study". 2013.
    10.1109/LADC.2013.25
  87. Ivaki, N.; Laranjeiro, N.; Vieira, M.. "Towards evaluating the impact of data quality on service applications". 2013.
    10.1109/DSNW.2013.6615509
  88. Oliveira, R.A.; Laranjeiro, N.; Vieira, M.. "WSFAggressor: An extensible web service framework attacking tool". 2012.
    10.1145/2405146.2405148
  89. Almeida, R.; Vieira, M.. "Changeloads: A fundamental piece on the SASO systems benchmarking puzzle". 2012.
    10.1109/SASOW.2012.25
  90. Antunes, N.; Vieira, M.. "Detecting vulnerabilities in Service Oriented Architectures". 2012.
    10.1109/ISSREW.2012.33
  91. Antunes, N.; Vieira, M.. "Evaluating and improving penetration testing in web services". 2012.
    10.1109/ISSRE.2012.26
  92. Azevedo, D.R.; Ambrósio, A.M.; Vieira, M.. "Applying data mining for detecting anomalies in satellites". 2012.
    10.1109/EDCC.2012.19
  93. Almeida, R.; Vieira, M.. "Changeloads for resilience benchmarking of self-adaptive systems: A risk-based approach". 2012.
    10.1109/EDCC.2012.30
  94. 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
  95. 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
  96. 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
  97. 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
  98. Margarido, I.L.; Vidal, R.M.; Vieira, M.. "Lessons learnt in the implementation of CMMI® maturity level 5". 2012.
    10.1109/QUATIC.2012.37
  99. Neto, A.A.; Vieira, M.. "Trustworthiness benchmarking of web applications using static code analysis". 2011.
    10.1109/ARES.2011.37
  100. 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
  101. Ceccarelli, A.; Vieira, M.; Bondavalli, A.. "A testing service for lifelong validation of dynamic SOA". 2011.
    10.1109/HASE.2011.18
  102. Santos, R.J.; Bernardino, J.; Vieira, M.. "Balancing security and performance for enhancing data privacy in data warehouses". 2011.
    10.1109/TrustCom.2011.33
  103. 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
  104. Rui, O.; Laranjeiro, N.; Vieira, M.. "A composed approach for automatic classification of web services robustness". 2011.
    10.1109/SCC.2011.19
  105. Santos, R.J.; Bernardino, J.; Vieira, M.. "A data masking technique for data warehouses". 2011.
    10.1145/2076623.2076632
  106. Ceccarelli, A.; Vieira, M.; Bondavalli, A.. "A service discovery approach for testing dynamic SOAs". 2011.
    10.1109/ISORCW.2011.23
  107. 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
  108. Neto, A.A.; Vieira, M.. "Selecting software packages for secure database installations". 2011.
    10.1109/ARES.2011.19
  109. Neto, A.A.; Vieira, M.. "TO BEnchmark or NOT to BEnchmark security: That is the question". 2011.
    10.1109/DSNW.2011.5958810
  110. Neto, A.A.; Vieira, M.. "Towards benchmarking the trustworthiness of web applications code". 2011.
    10.1145/1978582.1978589
  111. Almeida, R.; Vieira, M.. "Benchmarking the resilience of self-adaptive software systems: Perspectives and challenges". 2011.
    10.1145/1988008.1988035
  112. Lopes Margarido, I.; Faria, J.P.; Vidal, R.M.; Vieira, M.. "Classification of defect types in requirements specifications: Literature review, proposal and assessment". 2011.
  113. 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
  114. 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
  115. Laranjeiro, N.; Oliveira, R.; Vieira, M.. "Applying text classification algorithms in web services robustness testing". 2010.
    10.1109/SRDS.2010.36
  116. 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
  117. Almeida, R.; Madeira, H.; Vieira, M.. "From performance to resilience benchmarking". 2010.
    10.1109/ICDCSW.2010.69
  118. Fonseca, J.; Vieira, M.; Madeira, H.. "The web attacker perspective - A field study". 2010.
    10.1109/ISSRE.2010.21
  119. 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
  120. Almeida, R.; Madeira, H.; Vieira, M.. "Benchmarking the resilience of self-adaptive systems: A new research challenge". 2010.
    10.1109/SRDS.2010.50
  121. Antunes, N.; Vieira, M.. "Benchmarking vulnerability detection tools for web services". 2010.
    10.1109/ICWS.2010.76
  122. Elia, I.A.; Fonseca, J.; Vieira, M.. "Comparing SQL injection detection tools using attack injection: An experimental study". 2010.
    10.1109/ISSRE.2010.32
  123. Neto, A.A.; Vieira, M.; Madeira, H.. "An appraisal to assess the security of database configurations". 2009.
    10.1109/DEPEND.2009.17
  124. Neto, A.A.; Vieira, M.. "Appraisals based on security best practices for software configurations". 2009.
    10.1109/LADC.2009.18
  125. Neto, A.A.; Vieira, M.. "Benchmarking untrustworthiness in DBMS configurations". 2009.
    10.1109/LADC.2009.23
  126. 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
  127. Araújo Neto, A.; Vieira, M.. "A trust-based benchmark for DBMS configurations". 2009.
    10.1109/PRDC.2009.31
  128. Laranjeiro, N.; Vieira, M.; Madeira, H.. "Improving web services robustness". 2009.
    10.1109/ICWS.2009.27
  129. 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
  130. 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
  131. Antunes, N.; Vieira, M.. "Detecting SQL injection vulnerabilities in web services". 2009.
    10.1109/LADC.2009.21
  132. Antunes, N.; Laranjeiro, N.; Vieira, M.; Madeira, H.. "Effective detection of SQL/XPath Injection vulnerabilities in web services". 2009.
    10.1109/SCC.2009.23
  133. Laranjeiro, N.; Vieira, M.. "Extending test-driven development for robust web services". 2009.
    10.1109/DEPEND.2009.25
  134. Vieira, M.; Antunes, N.; Madeira, H.. "Using web security scanners to detect vulnerabilities in web services". 2009.
    10.1109/DSN.2009.5270294
  135. Fonseca, J.; Vieira, M.; Madeira, H.. "Vulnerability & attack injection for web applications". 2009.
    10.1109/DSN.2009.5270349
  136. 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
  137. Neto, A.A.; Vieira, M.. "Untrustworthiness: A trust-based security metric". 2009.
    10.1109/CRISIS.2009.5411967
  138. Neto, A.A.; Vieira, M.. "Towards assessing the security of DBMS configurations". 2008.
    10.1109/DSN.2008.4630074
  139. Fonseca, J.; Vieira, M.; Madeira, H.. "Training security assurance teams using vulnerability injection". 2008.
    10.1109/PRDC.2008.43
  140. Laranjeiro, N.; Canelas, S.; Vieira, M.. "Wsrbench: An on-line tool for robustness benchmarking". 2008.
    10.1109/SCC.2008.123
  141. 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
  142. 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
  143. Direito, B.; Dourado, A.; Vieira, M.; Sales, F.. "Classification of epileptic EEG data using multidimensional scaling". 2008.
    10.1109/ICBBE.2008.134
  144. Laranjeiro, N.; Vieira, M.; Madeira, H.. "Timing failures detection in web services". 2008.
    10.1109/APSCC.2008.236
  145. Laranjeiro, N.; Vieira, M.; Madeira, H.. "Experimental robustness evaluation of JMS middleware". 2008.
    10.1109/SCC.2008.129
  146. Fonseca, J.; Vieira, M.. "Mapping software faults with web security vulnerabilities". 2008.
    10.1109/DSN.2008.4630094
  147. Fonseca, J.; Vieira, M.; Madeira, H.. "Online detection of malicious data access using DBMS auditing". 2008.
    10.1145/1363686.1363921
  148. 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
  149. Laranjeiro, N.; Vieira, M.. "Towards fault tolerance in web services compositions". 2007.
    10.1145/1316550.1316552
  150. Vieira, M.; Laranjeiro, N.; Madeira, H.. "Assessing robustness of web-services infrastructures". 2007.
    10.1109/DSN.2007.16
  151. Vieira, M.; Laranjeiro, N.; Madeira, H.. "Benchmarking the robustness of web services". 2007.
    10.1109/PRDC.2007.24
  152. Vieira, M.; Laranjeiro, N.. "Comparing web services performance and recovery in the presence of faults". 2007.
    10.1109/ICWS.2007.63
  153. Fonseca, J.; Vieira, M.; Madeira, H.. "Monitoring database application behavior for intrusion detection". 2006.
    10.1109/PRDC.2006.46
  154. Vieira, M.; Madeira, H.. "Towards a security benchmark for database management systems". 2005.
    10.1109/DSN.2005.93
  155. Pintér, G.; Madeira, H.; Vieira, M.; Majzik, I.; Pataricza, A.. "A data mining approach to identify key factors in dependability experiments". 2005.
  156. Vieira, M.; Madeira, H.. "Detection of malicious transactions in DBMS". 2005.
    10.1109/PRDC.2005.31
  157. Vieira, M.; Madeira, H.. "Portable faultloads based on operator faults for DBMS dependability benchmarking". 2004.
  158. Vieira, M.; Madeira, H.. "Benchmarking the Dependability of Different OLTP Systems". 2003.
    10.1109/DSN.2003.1209940
  159. 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
  160. Vieira, M.; Madeira, H.. "A dependability benchmark for OLTP application environments". 2003.
  161. Vieira, M.; Madeira, H.. "Recovery and performance balance of a COTS DBMS in the presence of operator faults". 2002.
    10.1109/DSN.2002.1029007
  162. Vieira, M.; Madeira, H.. "Definition of fault loads based on operator faults for DMBS recovery benchmarking". 2002.
    10.1109/PRDC.2002.1185646
  163. Costa, D.; Rilho, T.; Vieira, M.; Madeira, H.. "ESFFI - A novel technique for the emulation of software faults in COTS components". 2001.
  164. 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. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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.
  47. 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
  48. 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.
  49. António Casimiro; Marco Vieira; Henrique Madeira. "Middleware Support for Time-Elastic Database Applications". (2007): http://hdl.handle.net/10451/15017.
  50. 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
  51. 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
  52. Marco Vieira; António Casimiro; Henrique Madeira. "TACID Transactions". (2005): http://hdl.handle.net/10451/15092.
  53. 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
  54. 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.
  32. Fonseca, J.; Vieira, M.; Madeira, H.. Integrated intrusion detection in databases. 2007.
  33. Fonseca, J.; Vieira, M.; Madeira, H.. Detecting malicious SQL. 2007.
  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. 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
  2. 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.
  3. 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.
  4. 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 - 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