publications

updated list in DBLP and Google Scholar

2025

  1. Leveraging LLMs for Trustworthy Software Engineering: Insights and Challenges
    Marco Vieira
    Computer, 2025
  3. Predicting Failures in Complex Systems
    Joao Campos, Ernesto Costa, and Marco Vieira
    Computer, 2025
  4. Blending Static and Dynamic Analysis for Web Application Vulnerability Detection: Methodology and Case Study
    Paulo Jorge Costa Nunes, José Fonseca, and Marco Vieira
    IEEE Access, 2025
  5. Evaluation of time-based virtual machine migration as moving target defense against host-based attacks
    Matheus Torquato, Paulo R. M. Maciel, and Marco Vieira
    J. Syst. Softw., 2025

2024

  1. Mining Vulnerability and Code Repositories to Study Software Security
    João Rafael Henriques, José D’Abruzzo Pereira, and Marco Vieira
    In Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing, LADC 2024, Recife, Brazil, November 26-29, 2024, 2024
  2. Availability and Performance Analysis of Cloud Services
    Gustavo Callou, and Marco Vieira
    In Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing, LADC 2024, Recife, Brazil, November 26-29, 2024, 2024
  3. BugHub: A Large Scale Issue Report Dataset
    Renato Andrade, Nuno Laranjeiro, and Marco Vieira
    In 19th European Dependable Computing Conference, EDCC 2024, Leuven, Belgium, April 8-11, 2024, 2024

2023

  1. Detecting Anomalies Through Sequential Performance Analysis in Virtualized Environments
    Charles F. Gonçalves, Daniel Sadoc Menasché, Alberto Avritzer, and 2 more authors
    IEEE Access, 2023
  2. Security Evaluation of Authentication Requirements in IoT Gateways
    Diego R. Gomes, Fernando Antônio Aires Lins, Obionor O. Nóbrega, and 3 more authors
    J. Netw. Syst. Manag., 2023
  3. Trustworthiness models to categorize and prioritize code for security improvement
    Nadia Patricia Da Silva Medeiros, Naghmeh Ivaki, Pedro Costa, and 1 more author
    J. Syst. Softw., 2023
  4. Online Failure Prediction for Complex Systems: Methodology and Case Studies
    João R. Campos, Ernesto Costa, and Marco Vieira
    IEEE Trans. Dependable Secur. Comput., 2023
  5. Techniques and Tools for Runtime Security Monitoring and Analysis of Microservices
    Jessica Castro, Nuno Laranjeiro, and Marco Vieira
    In 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Supplemental Volume, Porto, Portugal, June 27-30, 2023
  6. Intrusion Injection for Virtualized Systems: Concepts and Approach
    Charles F. Gonçalves, Nuno Antunes, and Marco Vieira
    In 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, DSN 2023, Porto, Portugal, June 27-30, 2023
  7. Exploring Logic Scoring of Preference for DoS Attack Detection in Microservice Applications
    Jessica Castro, Nuno Laranjeiro, and Marco Vieira
    In IEEE International Conference on Web Services, ICWS 2023, Chicago, IL, USA, July 2-8, 2023
  8. Generating Realistic Attack Data for Microservices: Framework and Case Study
    Jessica Castro, Nuno Laranjeiro, and Marco Vieira
    In 12th Latin-American Symposium on Dependable and Secure Computing, LADC 2023, La Paz, Bolivia, October 16-18, 2023
  9. Leveraging Time Series Autocorrelation Through Numerical Differentiation for Improving Failure Prediction
    João R. Campos, Rodrigo Machado, and Marco Vieira
    In 12th Latin-American Symposium on Dependable and Secure Computing, LADC 2023, La Paz, Bolivia, October 16-18, 2023
  10. Evaluation of Machine Learning for Intrusion Detection in Microservice Applications
    Iury Araújo, Nuno Antunes, and Marco Vieira
    In 12th Latin-American Symposium on Dependable and Secure Computing, LADC 2023, La Paz, Bolivia, October 16-18, 2023
  11. Are safety-critical systems really survivable to attacks?
    Helber Silva, Marco Vieira, and Augusto Neto
    In IEEE International Systems Conference, SysCon 2023, Vancouver, BC, Canada, April 17-20, 2023

2022

  2. Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation
    Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, and 16 more authors
    ACM SIGSOFT Softw. Eng. Notes, 2022
  3. A Multi-Criteria Analysis of Benchmark Results With Expert Support for Security Tools
    Miquel Martı́nez, Juan Carlos Ruiz, Nuno Antunes, and 2 more authors
    IEEE Trans. Dependable Secur. Comput., 2022
  4. A Dataset of Linux Failure Data for Dependability Evaluation and Improvement
    João R. Campos, Ernesto Costa, and Marco Vieira
    In 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN Workshops 2022, Baltimore, MD, USA, June 27-30, 2022, 2022
  5. On the Applicability of Machine Learning-based Online Failure Prediction for Modern Complex Systems
    João R. Campos, Ernesto Costa, and Marco Vieira
    In 18th European Dependable Computing Conference, EDCC 2022, Zaragoza, Spain, September 12-15, 2022
  6. Software Rejuvenation Meets Moving Target Defense: Modeling of Time-Based Virtual Machine Migration Approach
    Matheus Torquato, Paulo Romero Martins Maciel, and Marco Vieira
    In IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022
  7. On the Use of Deep Graph CNN to Detect Vulnerable C Functions
    José D’Abruzzo Pereira, Nuno Lourenço, and Marco Vieira
    In Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC 2022, Fortaleza/CE, Brazil, November 21-24, 2022
  8. Compliance Evaluation of Cryptographic Security Requirements on IoT Gateways
    Eduardo F. Felix, Fernando Antônio Aires Lins, Obionor O. Nóbrega, and 3 more authors
    In Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC 2022, Fortaleza/CE, Brazil, November 21-24, 2022
  9. Detecting DoS Attacks in Microservice Applications: Approach and Case Study
    Jessica Castro, Nuno Laranjeiro, and Marco Vieira
    In Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC 2022, Fortaleza/CE, Brazil, November 21-24, 2022
  10. On the use of the TMA Framework to promote self-adaptation capabilities in TalkConnect
    José D’Abruzzo Pereira, João David Ribeiro, João Pires, and 3 more authors
    In Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC 2022, Fortaleza/CE, Brazil, November 21-24, 2022
  11. A Software Vulnerability Dataset of Large Open Source C/C++ Projects
    José D’Abruzzo Pereira, João Henggeler Antunes, and Marco Vieira
    In 27th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2022, Beijing, China, November 28 - Dec. 1, 2022

2021

  1. Characterizing Buffer Overflow Vulnerabilities in Large C/C++ Projects
    José D’Abruzzo Pereira, Naghmeh Ramezani Ivaki, and Marco Vieira
    IEEE Access, 2021
  2. Security Requirements and Solutions for IoT Gateways: A Comprehensive Study
    Fernando Antônio Aires Lins, and Marco Vieira
    IEEE Internet Things J., 2021
  3. Data Processing on Edge and Cloud: A Performability Evaluation and Sensitivity Analysis
    Lucas Santos, Benedito Cunha, Iure Fé, and 2 more authors
    J. Netw. Syst. Manag., 2021
  4. Machine Learning to Combine Static Analysis Alerts with Software Metrics to Detect Security Vulnerabilities: An Empirical Study
    José D’Abruzzo Pereira, João R. Campos, and Marco Vieira
    In 17th European Dependable Computing Conference, EDCC 2021, Munich, Germany, September 13-16, 2021
  5. An Empirical Study On Software Metrics and Machine Learning to Identify Untrustworthy Code
    Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa, and 1 more author
    In 17th European Dependable Computing Conference, EDCC 2021, Munich, Germany, September 13-16, 2021
  6. VM Migration Scheduling as Moving Target Defense against Memory DoS Attacks: An Empirical Study
    Matheus Torquato, and Marco Vieira
    In IEEE Symposium on Computers and Communications, ISCC 2021, Athens, Greece, September 5-8, 2021
  7. PyMTDEvaluator: A Tool for Time-Based Moving Target Defense Evaluation: Tool description paper
    Matheus Torquato, Paulo Maciel, and Marco Vieira
    In 32nd IEEE International Symposium on Software Reliability Engineering, ISSRE 2021, Wuhan, China, October 25-28, 2021
  8. On Building a Vulnerability Dataset with Static Information from the Source Code
    José D’Abruzzo Pereira, João Henggeler Antunes, and Marco Vieira
    In 10th Latin-American Symposium on Dependable Computing, LADC 2021, Florianópolis, Brazil, November 22-26, 2021
  9. Analysis of VM migration scheduling as moving target defense against insider attacks
    Matheus Torquato, Paulo Romero Martins Maciel, and Marco Vieira
    In SAC ’21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021

2020

  1. Vulnerable Code Detection Using Software Metrics and Machine Learning
    Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa, and 1 more author
    IEEE Access, 2020
  2. Moving target defense in cloud computing: A systematic mapping study
    Matheus Torquato, and Marco Vieira
    Comput. Secur., 2020
  3. An approach for benchmarking the security of web service frameworks
    Rui André Oliveira, Miquel Martı́nez Raga, Nuno Laranjeiro, and 1 more author
    Future Gener. Comput. Syst., 2020
  4. Availability and reliability modeling of VM migration as rejuvenation on a system under varying workload
    Matheus Torquato, Paulo R. M. Maciel, and Marco Vieira
    Softw. Qual. J., 2020
  5. An Availability Model for DSS and OLTP Applications in Virtualized Environments
    Matheus Torquato, Charles F. Gonçalves, and Marco Vieira
    In 16th European Dependable Computing Conference, EDCC 2020, Munich, Germany, September 7-10, 2020
  6. On the Use of Open-Source C/C++ Static Analysis Tools in Large Projects
    José D’Abruzzo Pereira, and Marco Vieira
    In 16th European Dependable Computing Conference, EDCC 2020, Munich, Germany, September 7-10, 2020
  7. A platform to enable self-adaptive cloud applications using trustworthiness properties
    José D’Abruzzo Pereira, Rui Silva, Nuno Antunes, and 4 more authors
    In SEAMS ’20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June - 3 July, 2020
  8. A Model-Based Approach to Anomaly Detection Trading Detection Time and False Alarm Rate
    Charles F. Gonçalves, Daniel S. Menasché, Alberto Avritzer, and 2 more authors
    In Mediterranean Communication and Computer Networking Conference, MedComNet 2020, Arona, Italy, June 17-19, 2020
  9. Security and Availability Modeling of VM Migration as Moving Target Defense
    Matheus Torquato, Paulo R. M. Maciel, and Marco Vieira
    In 25th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2020, Perth, Australia, December 1-4, 2020
  10. On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study
    João R. Campos, Ernesto Costa, and Marco Vieira
    In Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, 2020
  11. A Model-Based Approach to Anomaly Detection Trading Detection Time and False Alarm Rate
    Charles F. Gonçalves, Daniel S. Menasché, Alberto Avritzer, and 2 more authors
    CoRR, 2020

2019

  1. An Integrated Big and Fast Data Analytics Platform for Smart Urban Transportation Management
    Sandro Fiore, Donatello Elia, Carlos Eduardo S. Pires, and 16 more authors
    IEEE Access, 2019
  3. Improving Failure Prediction by Ensembling the Decisions of Machine Learning Models: A Case Study
    João R. Campos, Ernesto Costa, and Marco Vieira
    IEEE Access, 2019
  4. An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios
    Paulo Jorge Costa Nunes, Ibéria Medeiros, José Fonseca, and 3 more authors
    Computing, 2019
  5. BIGSEA: A Big Data analytics platform for public transportation information
    Andy S. Alic, Jussara M. Almeida, Giovanni Aloisio, and 23 more authors
    Future Gener. Comput. Syst., 2019
  6. Understanding How to Use Static Analysis Tools for Detecting Cryptography Misuse in Software
    Alexandre Melo Braga, Ricardo Dahab, Nuno Antunes, and 2 more authors
    IEEE Trans. Reliab., 2019
  7. An Experimental Study of Software Aging and Rejuvenation in Dockerd
    Matheus Torquato, and Marco Vieira
    In 15th European Dependable Computing Conference, EDCC 2019, Naples, Italy, September 17-20, 2019
  8. A Hierarchical Model for Virtualized Data Center Availability Evaluation
    Matheus Torquato, Erico A. C. Guedes, Paulo R. M. Maciel, and 1 more author
    In 15th European Dependable Computing Conference, EDCC 2019, Naples, Italy, September 17-20, 2019
  9. Propheticus: Machine Learning Framework for the Development of Predictive Models for Reliable and Secure Software
    João R. Campos, Marco Vieira, and Ernesto Costa
    In 30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, 2019
  10. Trustworthiness Assessment of Web Applications: Approach and Experimental Study using Input Validation Coding Practices
    Cristiano Inácio Lemes, Vincent Naessens, and Marco Vieira
    In 30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, 2019
  11. An Exploratory Study on Machine Learning to Combine Security Vulnerability Alerts from Static Analysis Tools
    José D’Abruzzo Pereira, João R. Campos, and Marco Vieira
    In 9th Latin-American Symposium on Dependable Computing, LADC 2019, Natal, Brazil, November 19-21, 2019
  12. IaaS Cloud Availability Planning using Models and Genetic Algorithms
    Matheus Torquato, Lucas Torquato, Paulo R. M. Maciel, and 1 more author
    In 9th Latin-American Symposium on Dependable Computing, LADC 2019, Natal, Brazil, November 19-21, 2019
  13. Towards Models for Availability and Security Evaluation of Cloud Computing with Moving Target Defense
    Matheus Torquato, and Marco Vieira
    CoRR, 2019

2018

  1. A Europe-Brazil Context for Secure Data Analytics in the Cloud
    Paulo Silva, Tânia Basso, Nuno Antunes, and 4 more authors
    IEEE Secur. Priv., 2018
  2. Fog orchestration for the Internet of Everything: state-of-the-art and research challenges
    Karima Velasquez, David Perez Abreu, Marcio R. M. Assis, and 8 more authors
    J. Internet Serv. Appl., 2018
  3. Introduction to the special issue on software reliability engineering
    Marco Vieira, and Katinka Wolter
    J. Syst. Softw., 2018
  4. Toward characterizing HTML defects on the Web
    Joaquim Mendes, Nuno Laranjeiro, and Marco Vieira
    Softw. Pract. Exp., 2018
  5. Benchmarking Static Analysis Tools for Web Security
    Paulo Jorge Costa Nunes, Iberia Medeiros, José Fonseca, and 3 more authors
    IEEE Trans. Reliab., 2018
  6. Exploratory Study of Machine Learning Techniques for Supporting Failure Prediction
    João R. Campos, Marco Vieira, and Ernesto Costa
    In 14th European Dependable Computing Conference, EDCC 2018, Iaşi, Romania, September 10-14, 2018
  7. Finding SQL Injection and Cross Site Scripting Vulnerabilities with Diverse Static Analysis Tools
    Areej Algaith, Paulo Jorge Costa Nunes, José Fonseca, and 2 more authors
    In 14th European Dependable Computing Conference, EDCC 2018, Iaşi, Romania, September 10-14, 2018
  8. GIS and Data: Three applications to enhance Mobility
    Andy S. Alic, Jussara M. Almeida, Wagner Meira Jr., and 19 more authors
    In XIX Brazilian Symposium on Geoinformatics - GEOINFO 2018, Campina Grande, PB, Brazil, December 5-7, 2018
  9. Interacting SRN Models for Availability Evaluation of VM Migration as Rejuvenation on a System under Varying Workload
    Matheus Torquato, and Marco Vieira
    In 2018 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Memphis, TN, USA, October 15-18, 2018
  10. Evaluating the Applicability of Robustness Testing in Virtualized Environments
    Charles F. Gonçalves, Nuno Antunes, and Marco Vieira
    In 8th Latin-American Symposium on Dependable Computing, LADC 2018, Foz do Iguaçu, Brazil, October 8-10, 2018
  11. An Approach for Trustworthiness Benchmarking Using Software Metrics
    Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa, and 1 more author
    In 23rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018, Taipei, Taiwan, December 4-7, 2018
  12. Propheticus: Generalizable Machine Learning Framework
    João R. Campos, Marco Vieira, and Ernesto Costa
    CoRR, 2018

2017

  1. Designing vulnerability testing tools for web services: approach, components, and tools
    Nuno Antunes, and Marco Vieira
    Int. J. Inf. Sec., 2017
  2. Service-Oriented Architectures for a Flexible and Safe Use of Unmanned Aerial Vehicles
    Douglas Rodrigues, Rayner Melo Pires, Emerson Alberto Marconato, and 4 more authors
    IEEE Intell. Transp. Syst. Mag., 2017
  3. A field study on root cause analysis of defects in space software
    Nuno Silva, João Carlos Cunha, and Marco Vieira
    Reliab. Eng. Syst. Saf., 2017
  4. Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems
    Javier Cámara, Rogério Lemos, Nuno Laranjeiro, and 2 more authors
    IEEE Trans. Dependable Secur. Comput., 2017
  5. Editorial: Security and Dependability of Cloud Systems and Services
    Stefano Russo, and Marco Vieira
    IEEE Trans. Serv. Comput., 2017
  6. Editorial: Security and Dependability of Cloud Systems and Services - Part II
    Stefano Russo, and Marco Vieira
    IEEE Trans. Serv. Comput., 2017
  7. PRIVAaaS: privacy approach for a distributed cloud-based data analytics platforms
    Tânia Basso, Regina Moraes, Nuno Antunes, and 3 more authors
    In Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGRID 2017, Madrid, Spain, May 14-17, 2017, 2017
  8. On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study
    Paulo Jorge Costa Nunes, Iberia Medeiros, José Fonseca, and 3 more authors
    In 13th European Dependable Computing Conference, EDCC 2017, Geneva, Switzerland, September 4-8, 2017
  9. An Analysis of OpenStack Vulnerabilities
    Ivano Alessandro Elia, Nuno Antunes, Nuno Laranjeiro, and 1 more author
    In 13th European Dependable Computing Conference, EDCC 2017, Geneva, Switzerland, September 4-8, 2017
  10. Towards an Approach for Trustworthiness Assessment of Software as a Service
    Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Nunes Da Costa, and 1 more author
    In IEEE International Conference on Edge Computing, EDGE 2017, Honolulu, HI, USA, June 25-30, 2017
  11. Evaluating a Corpus of Root Causes and Measures to Guide RCA Processes in Critical Software
    Nuno Silva, Marco Vieira, João Carlos Cunha, and 1 more author
    In 18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Singapore, January 12-14, 2017
  12. INTENSE: INteroperability TEstiNg as a SErvice
    Bruno Martins, Nuno Laranjeiro, and Marco Vieira
    In 2017 IEEE International Conference on Web Services, ICWS 2017, Honolulu, HI, USA, June 25-30, 2017
  13. Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study
    Alexandre Melo Braga, Ricardo Dahab, Nuno Antunes, and 2 more authors
    In 28th IEEE International Symposium on Software Reliability Engineering, ISSRE 2017, Toulouse, France, October 23-26, 2017
  14. Software Metrics as Indicators of Security Vulnerabilities
    Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa, and 1 more author
    In 28th IEEE International Symposium on Software Reliability Engineering, ISSRE 2017, Toulouse, France, October 23-26, 2017
  15. Diversity with intrusion detection systems: An empirical study
    Areej Algaith, Ivano Alessandro Elia, Ilir Gashi, and 1 more author
    In 16th IEEE International Symposium on Network Computing and Applications, NCA 2017, Cambridge, MA, USA, October 30 - November 1, 2017

2016

  1. The Perils of Android Security Configuration
    Daniel Vecchiato, Marco Vieira, and Eliane Martins
    Computer, 2016
  2. XSX: Lightweight Encryption for Data Warehousing Environments
    Ricardo Jorge Santos, Marco Vieira, and Jorge Bernardino
    In Big Data Analytics and Knowledge Discovery - 18th International Conference, DaWaK 2016, Porto, Portugal, September 6-8, 2016, Proceedings, 2016
  3. Quantifying the Attack Detection Accuracy of Intrusion Detection Systems in Virtualized Environments
    Aleksandar Milenkoski, K. R. Jayaram, Nuno Antunes, and 2 more authors
    In 27th IEEE International Symposium on Software Reliability Engineering, ISSRE 2016, Ottawa, ON, Canada, October 23-27, 2016
  4. Risk Assessment of User-Defined Security Configurations for Android Devices
    Daniel Vecchiato, Marco Vieira, and Eliane Martins
    In 27th IEEE International Symposium on Software Reliability Engineering, ISSRE 2016, Ottawa, ON, Canada, October 23-27, 2016
  5. Software for embedded systems: a quality assessment based on improved ODC taxonomy
    Nuno Silva, and Marco Vieira
    In Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016
  6. Adapting the Orthogonal Defect Classification Taxonomy to the Space Domain
    Nuno Silva, and Marco Vieira
    In Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings, 2016
  7. The 2016 IEEE Services Emerging Technology Track on Dependable and Secure Services (DSS 2016)
    Nuno Laranjeiro, Naghmeh Ramezani Ivaki, and Marco Vieira
    In IEEE World Congress on Services, SERVICES 2016, San Francisco, CA, USA, June 27 - July 2, 2016

2015

  1. Evaluating Computer Intrusion Detection Systems: A Survey of Common Practices
    Aleksandar Milenkoski, Marco Vieira, Samuel Kounev, and 2 more authors
    ACM Comput. Surv., 2015
  2. Choosing the right NoSQL database for the job: a quality attribute evaluation
    João Ricardo Lourenço, Bruno Cabral, Paulo Carreiro, and 2 more authors
    J. Big Data, 2015
  3. A benchmarking process to assess software requirements documentation for space applications
    Paulo C. Véras, Emı́lia Villani, Ana Maria Ambrosio, and 2 more authors
    J. Syst. Softw., 2015
  4. Assessing the security of web service frameworks against Denial of Service attacks
    Rui André Oliveira, Nuno Laranjeiro, and Marco Vieira
    J. Syst. Softw., 2015
  5. A Practical Approach Towards Automatic Testing of Web Services Interoperability
    Ivano Alessandro Elia, Nuno Laranjeiro, and Marco Vieira
    Int. J. Web Serv. Res., 2015
  7. Development of Complex Software with Agile Method
    Alan Braz, Cecı́lia Mary Fischer Rubira, and Marco Vieira
    In 2015 Agile Conference, AGILE 2015, National Harbor, MD, USA, August 3-7, 2015
  8. No SQL in Practice: A Write-Heavy Enterprise Application
    João Ricardo Lourenço, Veronika Abramova, Bruno Cabral, and 3 more authors
    In 2015 IEEE International Congress on Big Data, New York City, NY, USA, June 27 - July 2, 2015
  9. Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues
    Nuno Silva, Marco Vieira, Dario Ricci, and 1 more author
    In IEEE International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2015, Rio de Janeiro, Brazil, June 22-25, 2015, 2015
  10. Towards Assessing Representativeness of Fault Injection-Generated Failure Data for Online Failure Prediction
    Ivano Irrera, and Marco Vieira
    In IEEE International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2015, Rio de Janeiro, Brazil, June 22-25, 2015, 2015
  11. Studying the Propagation of Failures in SOAs
    Cristiana Areias, João Carlos Cunha, and Marco Vieira
    In IEEE International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2015, Rio de Janeiro, Brazil, June 22-25, 2015, 2015
  12. Test-Based Interoperability Certification for Web Services
    Ivano Alessandro Elia, Nuno Laranjeiro, and Marco Vieira
    In 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, Rio de Janeiro, Brazil, June 22-25, 2015
  13. phpSAFE: A Security Analysis Tool for OOP Web Application Plugins
    Paulo Jorge Costa Nunes, José Fonseca, and Marco Vieira
    In 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, Rio de Janeiro, Brazil, June 22-25, 2015
  14. On the Metrics for Benchmarking Vulnerability Detection Tools
    Nuno Antunes, and Marco Vieira
    In 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, Rio de Janeiro, Brazil, June 22-25, 2015
  15. Adaptive Failure Prediction for Computer Systems: A Framework and a Case Study
    Ivano Irrera, Marco Vieira, and João Durães
    In 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015
  16. Evaluation of Intrusion Detection Systems in Virtualized Environments Using Attack Injection
    Aleksandar Milenkoski, Bryan D. Payne, Nuno Antunes, and 4 more authors
    In Research in Attacks, Intrusions, and Defenses - 18th International Symposium, RAID 2015, Kyoto, Japan, November 2-4, 2015, Proceedings, 2015
  17. Requirements, design and evaluation of a privacy reference architecture for web applications and services
    Tânia Basso, Regina Moraes, Mario Jino, and 1 more author
    In Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015
  18. Characterizing the performance of web service frameworks under security attacks
    Rui André Oliveira, Nuno Laranjeiro, and Marco Vieira
    In Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015
  19. A security configuration assessment for android devices
    Daniel Vecchiato, Marco Vieira, and Eliane Martins
    In Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015
  20. IEEE Services Visionary Track on Dependable and Secure Services (DSS 2015)
    Nuno Laranjeiro, Pedro Furtado, and Marco Vieira
    In 2015 IEEE World Congress on Services, SERVICES 2015, New York City, NY, USA, June 27 - July 2, 2015
  21. NoSQL Databases: A Software Engineering Perspective
    João Ricardo Lourenço, Veronika Abramova, Marco Vieira, and 2 more authors
    In New Contributions in Information Systems and Technologies - Volume 1 [WorldCIST’15, Azores, Portugal, April 1-3, 2015], 2015

2014

  1. Penetration Testing for Web Services
    Nuno Antunes, and Marco Vieira
    Computer, 2014
  2. Testing the robustness of controllers for self-adaptive systems
    Javier Cámara, Rogério Lemos, Nuno Laranjeiro, and 2 more authors
    J. Braz. Comput. Soc., 2014
  3. Approaches and Challenges in Database Intrusion Detection
    Ricardo Jorge Santos, Jorge Bernardino, and Marco Vieira
    SIGMOD Rec., 2014
  4. Analysis of Field Data on Web Security Vulnerabilities
    José Fonseca, Nuno Seixas, Marco Vieira, and 1 more author
    IEEE Trans. Dependable Secur. Comput., 2014
  5. Evaluation of Web Security Mechanisms Using Vulnerability & Attack Injection
    José Fonseca, Marco Vieira, and Henrique Madeira
    IEEE Trans. Dependable Secur. Comput., 2014
  6. A Technique for Deploying Robust Web Services
    Nuno Laranjeiro, Marco Vieira, and Henrique Madeira
    IEEE Trans. Serv. Comput., 2014
  7. A Field Perspective on the Interoperability of Web Services
    Ivano Alessandro Elia, Nuno Laranjeiro, and Marco Vieira
    In IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27 - July 2, 2014
  8. Understanding Interoperability Issues of Web Service Frameworks
    Ivano Alessandro Elia, Nuno Laranjeiro, and Marco Vieira
    In 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2014, Atlanta, GA, USA, June 23-26, 2014
  9. Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (Short Paper)
    Denise Rotondi Azevedo, Ana Maria Ambrosio, and Marco Vieira
    In 2014 Tenth European Dependable Computing Conference, Newcastle, United Kingdom, May 13-16, 2014
  10. On the Need for Training Failure Prediction Algorithms in Evolving Software Systems
    Ivano Irrera, João Durães, and Marco Vieira
    In 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014
  11. ITWS: An Extensible Tool for Interoperability Testing of Web Services
    Ivano Alessandro Elia, Nuno Laranjeiro, and Marco Vieira
    In 2014 IEEE International Conference on Web Services, ICWS, 2014, Anchorage, AK, USA, June 27 - July 2, 2014
  12. Experience Report: An Analysis of Hypercall Handler Vulnerabilities
    Aleksandar Milenkoski, Bryan D. Payne, Nuno Antunes, and 2 more authors
    In 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014
  13. Experience Report: Orthogonal Classification of Safety Critical Issues
    Nuno Silva, and Marco Vieira
    In 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014
  14. Towards Making Safety-Critical Systems Safer: Learning from Mistakes
    Nuno Silva, and Marco Vieira
    In 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
  15. A Research Agenda for Benchmarking the Resilience of Software Defined Networks
    Luis Eduardo Santos, Marı́lia Curado, and Marco Vieira
    In 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
  16. A Practical Approach for Generating Failure Data for Assessing and Comparing Failure Prediction Algorithms
    Ivano Irrera, and Marco Vieira
    In 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014
  17. Empirical resilience evaluation of an architecture-based self-adaptive software system
    Javier Cámara, Pedro Correia, Rogério Lemos, and 1 more author
    In QoSA’14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30 - July 04, 2014
  18. Robustness evaluation of the rainbow framework for self-adaptation
    Javier Cámara, Rogério Lemos, Nuno Laranjeiro, and 2 more authors
    In Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014
  19. IEEE International Workshop on Dependable and Secure Services (DSS 2014)
    Nuno Laranjeiro, Pedro Furtado, and Marco Vieira
    In 2014 IEEE World Congress on Services, SERVICES 2014, Anchorage, AK, USA, June 27 - July 2, 2014
  20. A Practical Experience on the Impact of Plugins in Web Security
    Jose Carlos Coelho Martins Fonseca, and Marco Paulo Amorim Vieira
    In 33rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2014, Nara, Japan, October 6-9, 2014
  21. Technical Information on Vulnerabilities of Hypercall Handlers
    Aleksandar Milenkoski, Marco Vieira, Bryan D. Payne, and 2 more authors
    CoRR, 2014
  22. On Benchmarking Intrusion Detection Systems in Virtualized Environments
    Aleksandar Milenkoski, Samuel Kounev, Alberto Avritzer, and 2 more authors
    CoRR, 2014

2013

  1. Architecture-based resilience evaluation for self-adaptive systems
    Javier Cámara, Rogério Lemos, Marco Vieira, and 2 more authors
    Computing, 2013
  2. SOA-Scanner: An Integrated Tool to Detect Vulnerabilities in Service-Based Infrastructures
    Nuno Antunes, and Marco Vieira
    In 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28 - July 3, 2013
  3. A Specific Encryption Solution for Data Warehouses
    Ricardo Jorge Santos, Deolinda M. L. D. Rasteiro, Jorge Bernardino, and 1 more author
    In Database Systems for Advanced Applications, 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part II, 2013
  4. An XML-Based Policy Model for Access Control in Web Applications
    Tânia Basso, Nuno Antunes, Regina Moraes, and 1 more author
    In Database and Expert Systems Applications - 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part II, 2013
  5. SCoRe: An across-the-board metric for computer systems resilience benchmarking
    Raquel Almeida, Afonso Araújo Neto, and Marco Vieira
    In 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, DSN Workshops 2013, Budapest, Hungary, June 24-27, 2013
  6. Towards evaluating the impact of data quality on service applications
    Naghmeh Ramezani Ivaki, Nuno Laranjeiro, and Marco Vieira
    In 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, DSN Workshops 2013, Budapest, Hungary, June 24-27, 2013
  7. A view on the past and future of fault injection
    Nuno Silva, Ricardo Barbosa, João Carlos Cunha, and 1 more author
    In 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013
  8. Certification of embedded systems: Quantitative analysis and irrefutable evidences
    Nuno Silva, and Marco Vieira
    In IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings, 2013
  9. A monitoring and testing framework for critical off-the-shelf applications and services
    Nuno Antunes, Francesco Brancati, Andrea Ceccarelli, and 2 more authors
    In IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings, 2013
  10. Robustness Evaluation of Controllers in Self-Adaptive Software Systems
    Javier Cámara, Rogério Lemos, Nuno Laranjeiro, and 2 more authors
    In Sixth Latin-American Symposium on Dependable Computing, LADC 2013, Rio de Janeiro, Brazil, April 1-5, 2013
  11. The Time Dimension in Predicting Failures: A Case Study
    Ivano Irrera, Carlos Pereira, and Marco Vieira
    In Sixth Latin-American Symposium on Dependable Computing, LADC 2013, Rio de Janeiro, Brazil, April 1-5, 2013
  12. Assessing the Impact of Virtualization on the Generation of Failure Prediction Data
    Ivano Irrera, João Durães, Henrique Madeira, and 1 more author
    In Sixth Latin-American Symposium on Dependable Computing, LADC 2013, Rio de Janeiro, Brazil, April 1-5, 2013
  13. HLA Middleware Robustness and Scalability Evaluation in the Context of Satellite Simulators
    Denise Rotondi Azevedo, Ana Maria Ambrosio, and Marco Vieira
    In IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013

2012

  1. Defending against Web Application Vulnerabilities
    Nuno Antunes, and Marco Vieira
    Computer, 2012
  2. A robustness testing approach for SOAP Web services
    Nuno Laranjeiro, Marco Vieira, and Henrique Madeira
    J. Internet Serv. Appl., 2012
  3. Experimental Evaluation of Web Service Frameworks in the Presence of Security Attacks
    Rui André Oliveira, Nuno Laranjeiro, and Marco Vieira
    In 2012 IEEE Ninth International Conference on Services Computing, Honolulu, HI, USA, June 24-29, 2012
  4. Leveraging 24/7 Availability and Performance for Distributed Real-Time Data Warehouses
    Ricardo Jorge Santos, Jorge Bernardino, and Marco Vieira
    In 36th Annual IEEE Computer Software and Applications Conference, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012
  5. Evaluating the Feasibility Issues of Data Confidentiality Solutions from a Data Warehousing Perspective
    Ricardo Jorge Santos, Jorge Bernardino, and Marco Vieira
    In Data Warehousing and Knowledge Discovery - 14th International Conference, DaWaK 2012, Vienna, Austria, September 3-6, 2012. Proceedings, 2012
  6. Changeloads for Resilience Benchmarking of Self-Adaptive Systems: A Risk-Based Approach
    Raquel Almeida, and Marco Vieira
    In 2012 Ninth European Dependable Computing Conference, Sibiu, Romania, May 8-11, 2012
  7. Applying Data Mining for Detecting Anomalies in Satellites
    Denise Rotondi Azevedo, Ana Maria Ambrosio, and Marco Vieira
    In 2012 Ninth European Dependable Computing Conference, Sibiu, Romania, May 8-11, 2012
  8. DBMS Application Layer Intrusion Detection for Data Warehouses
    Ricardo Jorge Santos, Jorge Bernardino, and Marco Vieira
    In Building Sustainable Information Systems, Proceedings of the 2012 International Conference on Information Systems Development, ISD 2012, Monash University Prato Centre, Prato, Italy, August 29-30, 2012, 2012
  9. Detecting Vulnerabilities in Service Oriented Architectures
    Nuno Antunes, and Marco Vieira
    In 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012
  10. Evaluating and Improving Penetration Testing in Web Services
    Nuno Antunes, and Marco Vieira
    In 23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27-30, 2012
  11. Towards a Framework to Evaluate and Improve the Quality of Implementation of CMMI\textregistered Practices
    Isabel Lopes Margarido, João Pascoal Faria, Raul Moreira Vidal, and 1 more author
    In Product-Focused Software Process Improvement - 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings, 2012
  12. Lessons Learnt in the Implementation of CMMI Maturity Level 5
    Isabel Lopes Margarido, Raul Moreira Vidal, and Marco Vieira
    In 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings, 2012
  13. Changeloads: A Fundamental Piece on the SASO Systems Benchmarking Puzzle
    Raquel Almeida, and Marco Vieira
    In Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Lyon, France, September 10-14, 2012
  14. Incorporating Recovery from Failures into a Data Integration Benchmark
    Len Wyatt, Brian Caufield, Marco Vieira, and 1 more author
    In Selected Topics in Performance Evaluation and Benchmarking - 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers, 2012
  15. Securing Data Warehouses from Web-Based Intrusions
    Ricardo Jorge Santos, Jorge Bernardino, Marco Vieira, and 1 more author
    In Web Information Systems Engineering - WISE 2012 - 13th International Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings, 2012
  16. Field Studies on Resilience: Measurements and Repositories
    João Durães, José Fonseca, Henrique Madeira, and 1 more author
    In Resilience Assessment and Evaluation of Computing Systems, 2012
  17. Fault Injection
    Raul Barbosa, Johan Karlsson, Henrique Madeira, and 1 more author
    In Resilience Assessment and Evaluation of Computing Systems, 2012
  18. Resilience Benchmarking
    Marco Vieira, Henrique Madeira, Kai Sachs, and 1 more author
    In Resilience Assessment and Evaluation of Computing Systems, 2012
  19. Robustness Testing Techniques and Tools
    Zoltán Micskei, Henrique Madeira, Alberto Avritzer, and 3 more authors
    In Resilience Assessment and Evaluation of Computing Systems, 2012
  20. Resilience Assessment and Evaluation of Computing Systems
    Katinka Wolter, Alberto Avritzer, Marco Vieira, and 1 more author
    2012
  21. EDCC 2012 - Fast Abstracts & Student Forum Proceedings
    Marco Vieira, and Ilir Gashi
    CoRR, 2012

2011

  1. Selecting Secure Web Applications Using Trustworthiness Benchmarking
    Afonso Araújo Neto, and Marco Vieira
    Int. J. Dependable Trust. Inf. Syst., 2011
  2. Security Gaps in Databases: A Comparison of Alternative Software Products for Web Applications Support
    Afonso Araújo Neto, and Marco Vieira
    Int. J. Secur. Softw. Eng., 2011
  3. Selecting Software Packages for Secure Database Installations
    Afonso Araújo Neto, and Marco Vieira
    In Sixth International Conference on Availability, Reliability and Security, ARES 2011, Vienna, Austria, August 22-26, 2011
  4. Trustworthiness Benchmarking of Web Applications Using Static Code Analysis
    Afonso Araújo Neto, and Marco Vieira
    In Sixth International Conference on Availability, Reliability and Security, ARES 2011, Vienna, Austria, August 22-26, 2011
  5. Enhancing Penetration Testing with Attack Signatures and Interface Monitoring for the Detection of Injection Vulnerabilities in Web Services
    Nuno Antunes, and Marco Vieira
    In IEEE International Conference on Services Computing, SCC 2011, Washington, DC, USA, 4-9 July, 2011
  6. A Composed Approach for Automatic Classification of Web Services Robustness
    Rui André Oliveira, Nuno Laranjeiro, and Marco Vieira
    In IEEE International Conference on Services Computing, SCC 2011, Washington, DC, USA, 4-9 July, 2011
  7. 24/7 Real-Time Data Warehousing: A Tool for Continuous Actionable Knowledge
    Ricardo Jorge Santos, Jorge Bernardino, and Marco Vieira
    In Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, 18-22 July 2011, 2011
  8. TO BEnchmark or NOT TO BEnchmark security: That is the question
    Afonso Araújo Neto, and Marco Vieira
    In IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), Hong Kong, China, June 27-30, 2011
  9. A survey on data security in data warehousing: Issues, challenges and opportunities
    Ricardo Jorge Santos, Jorge Bernardino, and Marco Vieira
    In Proceedings of EUROCON 2011, International Conference on Computer as a Tool, 27-29 April 2011, Lisbon, Portugal, 2011
  10. Towards benchmarking the trustworthiness of web applications code
    Afonso Araújo Neto, and Marco Vieira
    In Proceedings of the 13th European Workshop on Dependable Computing, EWDC ’11, Pisa, Italy, May 11-12, 2011
  11. A Testing Service for Lifelong Validation of Dynamic SOA
    Andrea Ceccarelli, Marco Vieira, and Andrea Bondavalli
    In 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011
  12. Application of SOA in Safety-Critical Embedded Systems
    Douglas Rodrigues, Rayner Melo Pires, Júlio Cezar Estrella, and 5 more authors
    In Convergence and Hybrid Information Technology - 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings, 2011
  13. Benchmarking the resilience of self-adaptive software systems: perspectives and challenges
    Raquel Almeida, and Marco Vieira
    In 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011
  14. A data masking technique for data warehouses
    Ricardo Jorge Santos, Jorge Bernardino, and Marco Vieira
    In 15th International Database Engineering and Applications Symposium (IDEAS 2011), September 21 - 27, 2011, Lisbon, Portugal, 2011
  15. A Service Discovery Approach for Testing Dynamic SOAs
    Andrea Ceccarelli, Marco Vieira, and Andrea Bondavalli
    In 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORC Workshops 2011, Newport Beach, CA, USA, March 28-31, 2011
  16. Implementing Software Effort Estimation in a Medium-sized Company
    João Carlos Cunha, Sérgio Cruz, Marco Costa, and 2 more authors
    In 34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011
  17. Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics
    Marco Vieira, Henrique Madeira, Sérgio Cruz, and 2 more authors
    In 34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011
  18. Balancing Security and Performance for Enhancing Data Privacy in Data Warehouses
    Ricardo Jorge Santos, Jorge Bernardino, and Marco Vieira
    In IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, Changsha, China, 16-18 November, 2011

2010

  1. Dependability Benchmarking for OLTP Systems - A Mandatory Path
    Marco Vieira
    2010
  2. Benchmarking Untrustworthiness: An Alternative to Security Measurement
    Afonso Araújo Neto, and Marco Vieira
    Int. J. Dependable Trust. Inf. Syst., 2010
  3. From Performance to Resilience Benchmarking
    Raquel Almeida, Henrique Madeira, and Marco Vieira
    In 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 21-25 June 2010, Genova, Italy, 2010
  4. Benchmarking Vulnerability Detection Tools for Web Services
    Nuno Antunes, and Marco Vieira
    In IEEE International Conference on Web Services, ICWS 2010, Miami, Florida, USA, July 5-10, 2010
  5. Errors on Space Software Requirements: A Field Study and Application Scenarios
    Paulo C. Véras, Emı́lia Villani, Ana Maria Ambrosio, and 3 more authors
    In IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010, San Jose, CA, USA, 1-4 November 2010, 2010
  6. Comparing SQL Injection Detection Tools Using Attack Injection: An Experimental Study
    Ivano Alessandro Elia, José Fonseca, and Marco Vieira
    In IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010, San Jose, CA, USA, 1-4 November 2010, 2010
  7. The Web Attacker Perspective - A Field Study
    José Fonseca, Marco Vieira, and Henrique Madeira
    In IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010, San Jose, CA, USA, 1-4 November 2010, 2010
  8. Towards Identifying the Best Variables for Failure Prediction Using Injection of Realistic Software Faults
    Ivano Irrera, João Durães, Marco Vieira, and 1 more author
    In 16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010, Tokyo, Japan, December 13-15, 2010
  9. A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks
    Nuno Laranjeiro, Marco Vieira, and Henrique Madeira
    In 16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010, Tokyo, Japan, December 13-15, 2010
  10. Benchmarking Software Requirements Documentation for Space Application
    Paulo C. Véras, Emı́lia Villani, Ana Maria Ambrosio, and 3 more authors
    In Computer Safety, Reliability, and Security, 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings, 2010
  11. Applying Text Classification Algorithms in Web Services Robustness Testing
    Nuno Laranjeiro, Rui André Oliveira, and Marco Vieira
    In 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31 - November 3, 2010
  12. Benchmarking the Resilience of Self-Adaptive Systems: A New Research Challenge
    Raquel Almeida, Henrique Madeira, and Marco Vieira
    In 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31 - November 3, 2010
  13. How to Advance TPC Benchmarks with Dependability Aspects
    Raquel Almeida, Meikel Poess, Raghunath Othayoth Nambiar, and 2 more authors
    In Performance Evaluation, Measurement and Characterization of Complex Systems - Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers, 2010

2009

  1. Effective Detection of SQL/XPath Injection Vulnerabilities in Web Services
    Nuno Antunes, Nuno Laranjeiro, Marco Vieira, and 1 more author
    In 2009 IEEE International Conference on Services Computing (SCC 2009), 21-25 September 2009, Bangalore, India, 2009
  2. Untrustworthiness: A trust-based security metric
    Afonso Araújo Neto, and Marco Vieira
    In CRiSIS 2009, Post-Proceedings of the Fourth International Conference on Risks and Security of Internet and Systems, Toulouse, France, October 19-22, 2009
  3. Predicting Timing Failures in Web Services
    Nuno Laranjeiro, Marco Vieira, and Henrique Madeira
    In Database Systems for Advanced Applications, DASFAA 2009 International Workshops: BenchmarX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20-23, 2009
  4. Protecting Database Centric Web Services against SQL/XPath Injection Attacks
    Nuno Laranjeiro, Marco Vieira, and Henrique Madeira
    In Database and Expert Systems Applications, 20th International Conference, DEXA 2009, Linz, Austria, August 31 - September 4, 2009. Proceedings, 2009
  5. Vulnerability & attack injection for web applications
    José Fonseca, Marco Vieira, and Henrique Madeira
    In Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, Estoril, Lisbon, Portugal, June 29 - July 2, 2009
  6. Using web security scanners to detect vulnerabilities in web services
    Marco Vieira, Nuno Antunes, and Henrique Madeira
    In Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, Estoril, Lisbon, Portugal, June 29 - July 2, 2009
  7. Student Forum
    Marco Vieira
    In Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, Estoril, Lisbon, Portugal, June 29 - July 2, 2009
  8. BIRF: Keeping Software Development under Control across the Organization
    Paulo Marques, Paulo Gomes, Marco Vieira, and 3 more authors
    In The Fourth International Conference on Software Engineering Advances, ICSEA 2009, 20-25 September 2009, Porto, Portugal, 2009
  9. Improving Web Services Robustness
    Nuno Laranjeiro, Marco Vieira, and Henrique Madeira
    In IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009, 2009
  10. Looking at Web Security Vulnerabilities from the Programming Language Perspective: A Field Study
    Nuno Seixas, José Fonseca, Marco Vieira, and 1 more author
    In ISSRE 2009, 20th International Symposium on Software Reliability Engineering, Mysuru, Karnataka, India, 16-19 November 2009, 2009
  11. Benchmarking Untrustworthiness in DBMS Configurations
    Afonso Araújo Neto, and Marco Vieira
    In Fourth Latin-American Symposium on Dependable Computing, LADC 2009, João Pessoa, Brazil, 1-4 September 2009, 2009
  12. Detecting SQL Injection Vulnerabilities in Web Services
    Nuno Antunes, and Marco Vieira
    In Fourth Latin-American Symposium on Dependable Computing, LADC 2009, João Pessoa, Brazil, 1-4 September 2009, 2009
  13. Appraisals Based on Security Best Practices for Software Configurations
    Afonso Araújo Neto, and Marco Vieira
    In Fourth Latin-American Symposium on Dependable Computing, LADC 2009, João Pessoa, Brazil, 1-4 September 2009, 2009
  14. A Trust-Based Benchmark for DBMS Configurations
    Afonso Araújo Neto, and Marco Vieira
    In 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2009, Shanghai, China, 16-18 November 2009, 2009
  15. Comparing the Effectiveness of Penetration Testing and Static Code Analysis on the Detection of SQL Injection Vulnerabilities in Web Services
    Nuno Antunes, and Marco Vieira
    In 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2009, Shanghai, China, 16-18 November 2009, 2009
  16. From Performance to Dependability Benchmarking: A Mandatory Path
    Marco Vieira, and Henrique Madeira
    In Performance Evaluation and Benchmarking, First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers, 2009

2008

  1. Deploying fault tolerant web service compositions
    Nuno Laranjeiro, and Marco Vieira
    Comput. Syst. Sci. Eng., 2008
  2. Experimental Robustness Evaluation of JMS Middleware
    Nuno Laranjeiro, Marco Vieira, and Henrique Madeira
    In 2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA, 2008
  3. wsrbench: An On-Line Tool for Robustness Benchmarking
    Nuno Laranjeiro, Salvador Canelas, and Marco Vieira
    In 2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA, 2008
  4. Timing Failures Detection in Web Services
    Nuno Laranjeiro, Marco Vieira, and Henrique Madeira
    In Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008, Yilan, Taiwan, 9-12 December 2008, 2008
  5. Combining Energy and Wavelet Transform for Epileptic Seizure Prediction in an Advanced Computational System
    Bruno Direito, António Dourado, Marco Vieira, and 1 more author
    In Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, BMEI 2008, May 28-30, 2008, Sanya, Hainan, China - Volume 2, 2008
  6. Redundant Array of Inexpensive Nodes for DWS
    Jorge Vieira, Marco Vieira, Marco Costa, and 1 more author
    In Database Systems for Advanced Applications, 13th International Conference, DASFAA 2008, New Delhi, India, March 19-21, 2008. Proceedings, 2008
  7. RAIN: Always on Data Warehousing
    Jorge Vieira, Marco Vieira, Marco Costa, and 1 more author
    In Database Systems for Advanced Applications, 13th International Conference, DASFAA 2008, New Delhi, India, March 19-21, 2008. Proceedings, 2008
  8. Efficient Data Distribution for DWS
    Raquel Almeida, Jorge Vieira, Marco Vieira, and 2 more authors
    In Data Warehousing and Knowledge Discovery, 10th International Conference, DaWaK 2008, Turin, Italy, September 2-5, 2008, Proceedings, 2008
  9. Towards assessing the security of DBMS configurations
    Afonso Araújo Neto, and Marco Vieira
    In The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008, June 24-27, 2008, Anchorage, Alaska, USA, Proceedings, 2008
  10. Mapping software faults with web security vulnerabilities
    José Fonseca, and Marco Vieira
    In The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008, June 24-27, 2008, Anchorage, Alaska, USA, Proceedings, 2008
  11. Supporting Fraud Analysis in Mobile Telecommunications Using Case-Based Reasoning
    Pedro Almeida, Marco Jorge, Luı́s Cortesão, and 3 more authors
    In Advances in Case-Based Reasoning, 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings, 2008
  12. Robustness Validation in Service-Oriented Architectures
    Nuno Laranjeiro, Marco Vieira, and Henrique Madeira
    In Architecting Dependable Systems VI, 2008
  13. An Application for Electroencephalogram Mining for Epileptic Seizure Prediction
    Bruno Direito, António Dourado, Francisco Sales, and 1 more author
    In Advances in Data Mining. Medical Applications, E-Commerce, Marketing, and Theoretical Aspects, 8th Industrial Conference, ICDM 2008, Leipzig, Germany, July 16-18, 2008, Proceedings, 2008
  14. Training Security Assurance Teams Using Vulnerability Injection
    José Fonseca, Marco Vieira, and Henrique Madeira
    In 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, 15-17 December 2008, Taipei, Taiwan, 2008
  15. Assessing and Comparing Security of Web Servers
    Naaliel Mendes, Afonso Araújo Neto, João Durães, and 2 more authors
    In 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, 15-17 December 2008, Taipei, Taiwan, 2008
  16. Online detection of malicious data access using DBMS auditing
    José Fonseca, Marco Vieira, and Henrique Madeira
    In Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008

2007

  1. Towards Timely ACID Transactions in DBMS
    Marco Vieira, António Casimiro Costa, and Henrique Madeira
    In Advances in Databases: Concepts, Systems and Applications, 12th International Conference on Database Systems for Advanced Applications, DASFAA 2007, Bangkok, Thailand, April 9-12, 2007, Proceedings, 2007
  2. Assessing Robustness of Web-Services Infrastructures
    Marco Vieira, Nuno Laranjeiro, and Henrique Madeira
    In The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings, 2007
  3. Comparing Web Services Performance and Recovery in the Presence of Faults
    Marco Vieira, and Nuno Laranjeiro
    In 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA, 2007
  4. Integrated Intrusion Detection in Databases
    José Fonseca, Marco Vieira, and Henrique Madeira
    In Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings, 2007
  5. Do You Know... How to Analyze and Share Results from Dependability Evaluation Experiments?
    Marco Vieira, and Henrique Madeira
    In Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings, 2007
  6. Benchmarking the Robustness of Web Services
    Marco Vieira, Nuno Laranjeiro, and Henrique Madeira
    In 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 17-19 December, 2007, Melbourne, Victoria, Australia, 2007
  7. Testing and Comparing Web Vulnerability Scanning Tools for SQL Injection and XSS Attacks
    José Fonseca, Marco Vieira, and Henrique Madeira
    In 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 17-19 December, 2007, Melbourne, Victoria, Australia, 2007
  8. Towards fault tolerance in web services compositions
    Nuno Laranjeiro, and Marco Vieira
    In Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007
  9. Detecting Malicious SQL
    José Fonseca, Marco Vieira, and Henrique Madeira
    In Trust, Privacy and Security in Digital Business, 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007, Proceedings, 2007

2006

  1. Towards Timely ACID Transactions in DBMS
    Marco Vieira, António Casimiro Costa, and Henrique Madeira
    In 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 18-20 December, 2006, University of California, Riverside, USA, 2006
  2. Monitoring Database Application Behavior for Intrusion Detection
    José Fonseca, Marco Vieira, and Henrique Madeira
    In 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 18-20 December, 2006, University of California, Riverside, USA, 2006

2005

  1. Towards a Security Benchmark for Database Management Systems
    Marco Vieira, and Henrique Madeira
    In 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings, 2005
  2. A Data Mining Approach to Identify Key Factors in Dependability Experiments
    Gergely Pintér, Henrique Madeira, Marco Vieira, and 2 more authors
    In Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings, 2005
  3. Detection of Malicious Transactions in DBMS
    Marco Vieira, and Henrique Madeira
    In 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 12-14 December, 2005, Changsha, Hunan, China, 2005

2004

  1. Joint evaluation of recovery and performance of a COTS DBMS in the presence of operator faults
    Marco Vieira, and Henrique Madeira
    Perform. Evaluation, 2004
  2. Portable Faultloads Based on Operator Faults for DBMS Dependability Benchmarking
    Marco Vieira, and Henrique Madeira
    In 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings, 2004
  3. Dependability Benchmarking of Web-Servers
    João Durães, Marco Vieira, and Henrique Madeira
    In Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings, 2004

2003

  1. The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments
    Henrique Madeira, João Pedro Costa, and Marco Vieira
    In 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings, 2003
  2. Benchmarking the Dependability of Different OLTP Systems
    Marco Vieira, and Henrique Madeira
    In 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings, 2003
  3. Plug and Play Fault Injector for Dependability Benchmarking
    Pedro Costa, Marco Vieira, Henrique Madeira, and 1 more author
    In Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings, 2003
  4. Emulation of Software Faults: Representativeness and Usefulness
    Henrique Madeira, João Durães, and Marco Vieira
    In Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings, 2003
  5. A Dependability Benchmark for OLTP Application Environments
    Marco Vieira, and Henrique Madeira
    In Proceedings of 29th International Conference on Very Large Data Bases, VLDB 2003, Berlin, Germany, September 9-12, 2003

2002

  1. Recovery and Performance Balance of a COTS DBMS in the Presence of Operator Faults
    Marco Vieira, and Henrique Madeira
    In 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings, 2002
  2. Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking
    Marco Vieira, and Henrique Madeira
    In 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan, 2002

2001

  1. ESFFI - A Novel Technique for the Emulation of Coftware Faults in COTS Components
    Diamantino Costa, Tiago Rilho, Marco Vieira, and 1 more author
    In 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 17-20 April 2001, Washington, DC, USA, 2001

2000

  1. On the Emulation of Software Faults by Software Fault Injection
    Henrique Madeira, Diamantino Costa, and Marco Vieira
    In 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA, 2000