publications

A complete record of my peer-reviewed publications. For the most up-to-date metrics and citations, please refer to my external profiles.

DBLP Google Scholar
Loading publications...

2026

  1. LLMKernelBench: Benchmarking Large Language Models on Software Vulnerability Detection in Linux Kernel
    A. Zibaeirad, R. Nogueira, and M. Vieira
    IEEE Transactions on Reliability, 2026.
  2. Evaluating CI/CD Security Best Practices in the GitHub Actions Documentation
    L. Boschanski, and M. Vieira
    in 20th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2026, 2026.
  3. LLM-Based Robustness Testing of Microservice Applications: An Empirical Study
    H. Tigulla, and M. Vieira
    in 45th IEEE International Symposium on Reliable Distributed Systems, SRDS 2026, 2026.
  4. A Comprehensive Empirical Study of Security Vulnerabilities in IoT Gateway Software
    D. Gomes, F. Aires, and M. Vieira
    IEEE Internet of Things Journal, vol. , no. , pp. 1-1, 2026.
  5. Intrusion Models for Security Assessment: Methodology and Case Study on Xen
    C. Gonçalves, and M. Vieira
    in 35th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2026, 2026.
  6. PROBE: Benchmarking Code Generation in Large Language Models
    R. Nogueira, M. Vieira, and J. Campos
    Empirical Software Engineering, 2026.
  7. Calibration Without Comprehension: Diagnosing the Limits of Fine-Tuning LLMs for Vulnerability Detection in Systems Software
    A. Zibaeirad, and M. Vieira
    in 37th IEEE International Symposium on Software Reliability Engineering, ISSRE 2026, Limassol, Cyprus, 2026.
  8. Unreliable in Practice? A Comprehensive Study of Errors in LLM-Generated Code
    R. Nogueira, M. Vieira, and J. Campos
    in 37th IEEE International Symposium on Software Reliability Engineering, ISSRE 2026, Limassol, Cyprus, 2026.
  9. AutoTrace: From Patches to Triggers via Agentic Interprocedural Exploration
    A. Zibaeirad, M. Vieira, and T. Zimmermann
    in 37th IEEE International Symposium on Software Reliability Engineering, ISSRE 2026, Limassol, Cyprus, 2026.
  10. LLM-Assisted CVE Triage for IoT Gateways: A Human-in-the-Loop Empirical Study
    D. Gomes, F. Aires, and M. Vieira
    in 37th IEEE International Symposium on Software Reliability Engineering, ISSRE 2026, Limassol, Cyprus, 2026.
  11. Predictive and Metaheuristic Admission Control for Accelerated Virtual Network Slice Provisioning
    R. Sousa, F. Silva, and M. Vieira
    in IEEE International Conference on Systems, Man, and Cybernetics, SMC 2026, 2026.
  12. Diversity as a Strategy for Moving Target Defense: A Performance Modeling Approach
    I. Almeida, A. Sabino, I. Fé, L. Lima, M. Vieira, G. Gonçalves, and F. Silva
    in IEEE International Conference on Systems, Man, and Cybernetics, SMC 2026, 2026.
  13. Federated Learning in V2X: An Analytical Approach Based on Stochastic Petri Nets
    L. Silva, I. Fé, I. Cardoso, F. Barbosa, J. Pereira, L. Lopes, L. Feitosa, M. Peixoto, M. Vieira, and F. Silva
    in IEEE International Conference on Systems, Man, and Cybernetics, SMC 2026, 2026.
  14. Diverse LLMs vs. Vulnerabilities: Who Detects and Fixes Them Better?
    A. Zibaeirad, and M. Vieira
    in Proceedings of the 3rd International Workshop on Large Language Models For Code, LLM4Code 2026, Rio de Janeiro, Brazil, April 12-18, 2026, pp. 175–183, 2026.
  15. An Empirical Study on the Classification of Bug Reports with Machine Learning
    R. Andrade, C. Teixeira, N. Laranjeiro, and M. Vieira
    IEEE Open Journal of the Computer Society , vol. , no. 01, pp. 1-13, 2026.
  16. TestForge: Benchmarking LLM-Based Test Case Generation
    M. Vieira, B. Shah, and P. Shah
    in IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2026, Limassol, Cyprus, March 17-20, 2026, pp. 48–59, 2026.
  17. Rethinking Maturity in Next-Generation Maturity Models
    N. Seixas, P. Cunha, M. Vieira, J. Barata, and V. Ribeiro
    IEEE Computer, vol. 59, no. 4, pp. 60–80, 2026.
  18. IoT Security Assessment: A Systematic Literature Review
    T. Slaibi, N. Ivaki, and M. Vieira
    Journal of Systems and Software, pp. 112833, 2026.
  19. Software aging issues and rejuvenation strategies for a container orchestration system
    M. Santos, R. Matos, M. Vieira, and J. Araujo
    Future Generation Computer Systems, vol. 179, pp. 108274, 2026.
  20. SE Perspective on LLMs: Biases in Code Generation, Code Interpretability, and Code Security Risks
    R. Krasniqi, D. Xu, and M. Vieira
    ACM Computing Surveys, vol. 58, no. 5, pp. 137:1–137:16, 2026.
  21. Static Code Analysis for IoT Security: A Systematic Literature Review
    D. Gomes, E. Felix, F. Aires, and M. Vieira
    ACM Computing Surveys, vol. 58, no. 3, pp. 65:1–65:47, 2026.

2025

  1. Benchmarking Software Aging Effects in Container Platforms
    P. Melo, J. Ferreira, J. Araujo, and M. Vieira
    IEEE Transactions on Reliability, vol. 74, no. 4, pp. 5015–5029, 2025.
  2. Why We Should Trust Systems, Not Just Their AI/ML Components
    M. Vieira
    IEEE Computer, vol. 58, no. 11, pp. 84–94, 2025.
  3. Polyglot: An Extensible Framework to Benchmark Code Translation with LLMs
    M. Vieira, P. Shah, B. Shah, and R. Krasniqi
    in 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025, Seoul, Korea, Republic of, November 16-20, 2025, pp. 2363–2375, 2025.
  4. Beyond Functional Correctness: An Empirical Evaluation of Large Language Models for Text-to-Code Generation
    R. Nogueira, M. Vieira, and J. Campos
    in 36th IEEE International Symposium on Software Reliability Engineering, ISSRE 2025, São Paulo, Brazil, October 21-24, 2025, pp. 264–275, 2025.
  5. Robustness Assessment of the Open vSwitch Kernel Module
    J. Flauzino, M. Vieira, and E. Duarte
    in 36th IEEE International Symposium on Software Reliability Engineering, ISSRE 2025, São Paulo, Brazil, October 21-24, 2025, pp. 215–226, 2025.
  6. An Empirical Study of Large Language Models as Experts in Software Trustworthiness Assessment
    S. Jananloo, J. Pereira, and M. Vieira
    in 15th Latin-American Symposium on Dependable and Secure Computing (LADC 2025), pp. 75–93, 2025.
  7. Developing Attack Detection Models for Microservice Applications: A Comprehensive Framework and Its Illustration and Validation on DoS Attacks
    J. Castro, N. Laranjeiro, K. Goseva-Popstojanova, and M. Vieira
    IEEE Transactions on Dependable and Secure Computing, vol. 22, no. 6, pp. 6748–6766, 2025.
  8. A Survey on Survivable Safety-Critical Systems
    H. Silva, M. Vieira, and A. Neto
    IEEE Access, vol. 13, pp. 127770–127787, 2025.
  9. Leveraging LLMs for Trustworthy Software Engineering: Insights and Challenges
    M. Vieira
    IEEE Computer, vol. 58, no. 7, pp. 79–90, 2025.
  11. Predicting Failures in Complex Systems
    J. Campos, E. Costa, and M. Vieira
    IEEE Computer, vol. 58, no. 5, pp. 57–64, 2025.
  12. Blending Static and Dynamic Analysis for Web Application Vulnerability Detection: Methodology and Case Study
    P. Nunes, J. Fonseca, and M. Vieira
    IEEE Access, vol. 13, pp. 3139–3153, 2025.
  13. Evaluation of time-based virtual machine migration as moving target defense against host-based attacks
    M. Torquato, P. Maciel, and M. Vieira
    Journal of Systems and Software, vol. 219, pp. 112222, 2025.

2024

  1. Leveraging Middleware to Support Digital Twin System Development
    L. Pereira, A. Almeida, F. Delicato, E. Cavalcante, T. Batista, R. Motta, and M. Vieira
    in 2024 IEEE Smart World Congress, SWC 2024, Fiji, December 02-07, 2024, pp. 2081–2088, 2024.
  2. Mining Vulnerability and Code Repositories to Study Software Security
    J. Henriques, J. Pereira, and M. Vieira
    in Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing, LADC 2024, Recife, Brazil, November 26-29, 2024, pp. 11–16, 2024.
  3. Availability and Performance Analysis of Cloud Services
    G. Callou, and M. Vieira
    in Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing, LADC 2024, Recife, Brazil, November 26-29, 2024, pp. 262–271, 2024.
  4. BugHub: A Large Scale Issue Report Dataset
    R. Andrade, N. Laranjeiro, and M. Vieira
    in 19th European Dependable Computing Conference, EDCC 2024, Leuven, Belgium, April 8-11, 2024, pp. 9–16, 2024.

2023

  2. Detecting Anomalies Through Sequential Performance Analysis in Virtualized Environments
    C. Gonçalves, D. Menasché, A. Avritzer, N. Antunes, and M. Vieira
    IEEE Access, vol. 11, pp. 70716–70740, 2023.
  3. Security Evaluation of Authentication Requirements in IoT Gateways
    D. Gomes, F. Lins, O. Nóbrega, E. Felix, B. Jesus, and M. Vieira
    Journal of Network and Systems Management, vol. 31, no. 4, pp. 67, 2023.
  5. Trustworthiness models to categorize and prioritize code for security improvement
    N. Medeiros, N. Ivaki, P. Costa, and M. Vieira
    Journal of Systems and Software, vol. 198, pp. 111621, 2023.
  6. Online Failure Prediction for Complex Systems: Methodology and Case Studies
    J. Campos, E. Costa, and M. Vieira
    IEEE Transactions on Dependable and Secure Computing, vol. 20, no. 4, pp. 3520–3534, 2023.
  7. Techniques and Tools for Runtime Security Monitoring and Analysis of Microservices
    J. Castro, N. Laranjeiro, and M. Vieira
    in 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Supplemental Volume, Porto, Portugal, June 27-30, pp. 191–193, 2023.
  8. Intrusion Injection for Virtualized Systems: Concepts and Approach
    C. Gonçalves, N. Antunes, and M. Vieira
    in 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, DSN 2023, Porto, Portugal, June 27-30, pp. 417–430, 2023.
  9. Exploring Logic Scoring of Preference for DoS Attack Detection in Microservice Applications
    J. Castro, N. Laranjeiro, and M. Vieira
    in IEEE International Conference on Web Services, ICWS 2023, Chicago, IL, USA, July 2-8, pp. 573–584, 2023.
  10. Generating Realistic Attack Data for Microservices: Framework and Case Study
    J. Castro, N. Laranjeiro, and M. Vieira
    in 12th Latin-American Symposium on Dependable and Secure Computing, LADC 2023, La Paz, Bolivia, October 16-18, pp. 60–69, 2023.
  11. Leveraging Time Series Autocorrelation Through Numerical Differentiation for Improving Failure Prediction
    J. Campos, R. Machado, and M. Vieira
    in 12th Latin-American Symposium on Dependable and Secure Computing, LADC 2023, La Paz, Bolivia, October 16-18, pp. 70–79, 2023.
  12. Evaluation of Machine Learning for Intrusion Detection in Microservice Applications
    I. AraĂșjo, N. Antunes, and M. Vieira
    in 12th Latin-American Symposium on Dependable and Secure Computing, LADC 2023, La Paz, Bolivia, October 16-18, pp. 126–135, 2023.
  13. Are safety-critical systems really survivable to attacks?
    H. Silva, M. Vieira, and A. Neto
    in IEEE International Systems Conference, SysCon 2023, Vancouver, BC, Canada, April 17-20, pp. 1–8, 2023.

2022

  1. Model-Based Performability and Dependability Evaluation of a System with VM Migration as Rejuvenation in the Presence of Bursty Workloads
    M. Torquato, P. Maciel, and M. Vieira
    Journal of Network and Systems Management, vol. 30, no. 1, pp. 3, 2022.
  2. Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation
    D. Weyns, I. Gerostathopoulos, B. Buhnova, N. Cardozo, E. Cioroaica, I. Dusparic, L. Grunske, P. Jamshidi, C. Julien, J. Michael, G. Moreno, S. Nejati, P. Pelliccione, F. Quin, G. Rodrigues, B. Schmerl, M. Vieira, T. Vogel, and R. Wohlrab
    ACM SIGSOFT Software Engineering Notes, vol. 47, no. 4, pp. 18–24, 2022.
  3. A Multi-Criteria Analysis of Benchmark Results With Expert Support for Security Tools
    M. Martı́nez, J. Ruiz, N. Antunes, D. AndrĂ©s, and M. Vieira
    IEEE Transactions on Dependable and Secure Computing, vol. 19, no. 4, pp. 2151–2164, 2022.
  4. A Dataset of Linux Failure Data for Dependability Evaluation and Improvement
    J. Campos, E. Costa, and M. Vieira
    in 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN Workshops 2022, Baltimore, MD, USA, June 27-30, 2022, pp. 88–95, 2022.
  5. On the Applicability of Machine Learning-based Online Failure Prediction for Modern Complex Systems
    J. Campos, E. Costa, and M. Vieira
    in 18th European Dependable Computing Conference, EDCC 2022, Zaragoza, Spain, September 12-15, pp. 49–56, 2022.
  6. Software Rejuvenation Meets Moving Target Defense: Modeling of Time-Based Virtual Machine Migration Approach
    M. Torquato, P. Maciel, and M. Vieira
    in IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, pp. 205–216, 2022.
  7. On the Use of Deep Graph CNN to Detect Vulnerable C Functions
    J. Pereira, N. Lourenço, and M. Vieira
    in Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC 2022, Fortaleza/CE, Brazil, November 21-24, pp. 45–50, 2022.
  8. Compliance Evaluation of Cryptographic Security Requirements on IoT Gateways
    E. Felix, F. Lins, O. Nóbrega, D. Gomes, B. Jesus, and M. Vieira
    in Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC 2022, Fortaleza/CE, Brazil, November 21-24, pp. 67–72, 2022.
  9. Detecting DoS Attacks in Microservice Applications: Approach and Case Study
    J. Castro, N. Laranjeiro, and M. Vieira
    in Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC 2022, Fortaleza/CE, Brazil, November 21-24, pp. 73–78, 2022.
  10. On the use of the TMA Framework to promote self-adaptation capabilities in TalkConnect
    J. Pereira, J. Ribeiro, J. Pires, P. Moita, N. Laranjeiro, and M. Vieira
    in Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC 2022, Fortaleza/CE, Brazil, November 21-24, pp. 89–90, 2022.
  11. A Software Vulnerability Dataset of Large Open Source C/C++ Projects
    J. Pereira, J. Antunes, and M. Vieira
    in 27th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2022, Beijing, China, November 28 - Dec. 1, pp. 152–163, 2022.

2021

  1. Characterizing Buffer Overflow Vulnerabilities in Large C/C++ Projects
    J. Pereira, N. Ivaki, and M. Vieira
    IEEE Access, vol. 9, pp. 142879–142892, 2021.
  2. Security Requirements and Solutions for IoT Gateways: A Comprehensive Study
    F. Lins, and M. Vieira
    IEEE Internet of Things Journal, vol. 8, no. 11, pp. 8667–8679, 2021.
  3. Data Processing on Edge and Cloud: A Performability Evaluation and Sensitivity Analysis
    L. Santos, B. Cunha, I. Fé, M. Vieira, and F. Silva
    Journal of Network and Systems Management, vol. 29, no. 3, pp. 27, 2021.
  4. Machine Learning to Combine Static Analysis Alerts with Software Metrics to Detect Security Vulnerabilities: An Empirical Study
    J. Pereira, J. Campos, and M. Vieira
    in 17th European Dependable Computing Conference, EDCC 2021, Munich, Germany, September 13-16, pp. 1–8, 2021.
  5. An Empirical Study On Software Metrics and Machine Learning to Identify Untrustworthy Code
    N. Medeiros, N. Ivaki, P. Costa, and M. Vieira
    in 17th European Dependable Computing Conference, EDCC 2021, Munich, Germany, September 13-16, pp. 87–94, 2021.
  6. VM Migration Scheduling as Moving Target Defense against Memory DoS Attacks: An Empirical Study
    M. Torquato, and M. Vieira
    in IEEE Symposium on Computers and Communications, ISCC 2021, Athens, Greece, September 5-8, pp. 1–6, 2021.
  7. PyMTDEvaluator: A Tool for Time-Based Moving Target Defense Evaluation: Tool description paper
    M. Torquato, P. Maciel, and M. Vieira
    in 32nd IEEE International Symposium on Software Reliability Engineering, ISSRE 2021, Wuhan, China, October 25-28, pp. 357–366, 2021.
  8. On Building a Vulnerability Dataset with Static Information from the Source Code
    J. Pereira, J. Antunes, and M. Vieira
    in 10th Latin-American Symposium on Dependable Computing, LADC 2021, Florianópolis, Brazil, November 22-26, pp. 1–2, 2021.
  9. Analysis of VM migration scheduling as moving target defense against insider attacks
    M. Torquato, P. Maciel, and M. Vieira
    in SAC ’21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, pp. 194–202, 2021.

2020

  1. 31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020
    M. Vieira, H. Madeira, N. Antunes, and Z. Zheng
  2. Vulnerable Code Detection Using Software Metrics and Machine Learning
    N. Medeiros, N. Ivaki, P. Costa, and M. Vieira
    IEEE Access, vol. 8, pp. 219174–219198, 2020.
  3. Moving target defense in cloud computing: A systematic mapping study
    M. Torquato, and M. Vieira
    Computers & Security, vol. 92, pp. 101742, 2020.
  4. An approach for benchmarking the security of web service frameworks
    R. Oliveira, M. Raga, N. Laranjeiro, and M. Vieira
    Future Generation Computer Systems, vol. 110, pp. 833–848, 2020.
  5. Availability and reliability modeling of VM migration as rejuvenation on a system under varying workload
    M. Torquato, P. Maciel, and M. Vieira
    Software Quality Journal, vol. 28, no. 1, pp. 59–83, 2020.
  6. An Availability Model for DSS and OLTP Applications in Virtualized Environments
    M. Torquato, C. Gonçalves, and M. Vieira
    in 16th European Dependable Computing Conference, EDCC 2020, Munich, Germany, September 7-10, pp. 85–92, 2020.
  7. On the Use of Open-Source C/C++ Static Analysis Tools in Large Projects
    J. Pereira, and M. Vieira
    in 16th European Dependable Computing Conference, EDCC 2020, Munich, Germany, September 7-10, pp. 97–102, 2020.
  8. A platform to enable self-adaptive cloud applications using trustworthiness properties
    J. Pereira, R. Silva, N. Antunes, J. Silva, B. França, R. Moraes, and M. Vieira
    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, pp. 71–77, 2020.
  9. A Model-Based Approach to Anomaly Detection Trading Detection Time and False Alarm Rate
    C. Gonçalves, D. Menasché, A. Avritzer, N. Antunes, and M. Vieira
    in Mediterranean Communication and Computer Networking Conference, MedComNet 2020, Arona, Italy, June 17-19, pp. 1–8, 2020.
  10. Security and Availability Modeling of VM Migration as Moving Target Defense
    M. Torquato, P. Maciel, and M. Vieira
    in 25th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2020, Perth, Australia, December 1-4, pp. 50–59, 2020.
  11. On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study
    J. Campos, E. Costa, and M. Vieira
    in Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 419–433, 2020.
  12. A Model-Based Approach to Anomaly Detection Trading Detection Time and False Alarm Rate
    C. Gonçalves, D. Menasché, A. Avritzer, N. Antunes, and M. Vieira
    CoRR, vol. abs/2006.08811, 2020.

2019

  1. An Integrated Big and Fast Data Analytics Platform for Smart Urban Transportation Management
    S. Fiore, D. Elia, C. Pires, D. Mestre, C. Cappiello, M. Vitali, N. Andrade, T. Braz, D. Lezzi, R. Moraes, T. Basso, N. Kozievitch, K. Fonseca, N. Antunes, M. Vieira, C. Palazzo, I. Blanquer, W. Jr., and G. Aloisio
    IEEE Access, vol. 7, pp. 117652–117677, 2019.
  2. A Model for Availability and Security Risk Evaluation for Systems With VMM Rejuvenation Enabled by VM Migration Scheduling
    M. Torquato, P. Maciel, and M. Vieira
    IEEE Access, vol. 7, pp. 138315–138326, 2019.
  3. Improving Failure Prediction by Ensembling the Decisions of Machine Learning Models: A Case Study
    J. Campos, E. Costa, and M. Vieira
    IEEE Access, vol. 7, pp. 177661–177674, 2019.
  4. An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios
    P. Nunes, I. Medeiros, J. Fonseca, N. Neves, M. Correia, and M. Vieira
    Computing, vol. 101, no. 2, pp. 161–185, 2019.
  5. BIGSEA: A Big Data analytics platform for public transportation information
    A. Alic, J. Almeida, G. Aloisio, N. Andrade, N. Antunes, D. Ardagna, R. Badia, T. Basso, I. Blanquer, T. Braz, A. Brito, D. Elia, S. Fiore, D. Guedes, M. Lattuada, D. Lezzi, M. Maciel, W. Jr., D. Mestre, R. Moraes, F. Morais, C. Pires, N. Kozievitch, W. Santos, P. Silva, and M. Vieira
    Future Generation Computer Systems, vol. 96, pp. 243–269, 2019.
  6. Understanding How to Use Static Analysis Tools for Detecting Cryptography Misuse in Software
    A. Braga, R. Dahab, N. Antunes, N. Laranjeiro, and M. Vieira
    IEEE Transactions on Reliability, vol. 68, no. 4, pp. 1384–1403, 2019.
  7. An Experimental Study of Software Aging and Rejuvenation in Dockerd
    M. Torquato, and M. Vieira
    in 15th European Dependable Computing Conference, EDCC 2019, Naples, Italy, September 17-20, pp. 1–6, 2019.
  8. A Hierarchical Model for Virtualized Data Center Availability Evaluation
    M. Torquato, E. Guedes, P. Maciel, and M. Vieira
    in 15th European Dependable Computing Conference, EDCC 2019, Naples, Italy, September 17-20, pp. 103–110, 2019.
  9. Propheticus: Machine Learning Framework for the Development of Predictive Models for Reliable and Secure Software
    J. Campos, M. Vieira, and E. Costa
    in 30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, pp. 173–182, 2019.
  10. Trustworthiness Assessment of Web Applications: Approach and Experimental Study using Input Validation Coding Practices
    C. Lemes, V. Naessens, and M. Vieira
    in 30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, pp. 435–445, 2019.
  11. An Exploratory Study on Machine Learning to Combine Security Vulnerability Alerts from Static Analysis Tools
    J. Pereira, J. Campos, and M. Vieira
    in 9th Latin-American Symposium on Dependable Computing, LADC 2019, Natal, Brazil, November 19-21, pp. 1–10, 2019.
  12. IaaS Cloud Availability Planning using Models and Genetic Algorithms
    M. Torquato, L. Torquato, P. Maciel, and M. Vieira
    in 9th Latin-American Symposium on Dependable Computing, LADC 2019, Natal, Brazil, November 19-21, pp. 1–10, 2019.
  13. Towards Models for Availability and Security Evaluation of Cloud Computing with Moving Target Defense
    M. Torquato, and M. Vieira
    CoRR, vol. abs/1909.01392, 2019.

2018

  1. 11th International Conference on the Quality of Information and Communications Technology, QUATIC 2018, Coimbra, Portugal, September 4-7, 2018
    A. Bertolino, V. Amaral, P. Rupino, and M. Vieira
  2. A Europe-Brazil Context for Secure Data Analytics in the Cloud
    P. Silva, T. Basso, N. Antunes, R. Moraes, M. Vieira, P. SimÔes, and E. Monteiro
    IEEE Security & Privacy, vol. 16, no. 6, pp. 52–60, 2018.
  3. Fog orchestration for the Internet of Everything: state-of-the-art and research challenges
    K. Velasquez, D. Abreu, M. Assis, C. Senna, D. Aranha, L. Bittencourt, N. Laranjeiro, M. Curado, M. Vieira, E. Monteiro, and E. Madeira
    Journal of Internet Services and Applications, vol. 9, no. 1, pp. 14:1–14:23, 2018.
  4. Introduction to the special issue on software reliability engineering
    M. Vieira, and K. Wolter
    Journal of Systems and Software, vol. 137, pp. 396–398, 2018.
  5. Toward characterizing HTML defects on the Web
    J. Mendes, N. Laranjeiro, and M. Vieira
    Software: Practice and Experience, vol. 48, no. 3, pp. 750–757, 2018.
  6. Benchmarking Static Analysis Tools for Web Security
    P. Nunes, I. Medeiros, J. Fonseca, N. Neves, M. Correia, and M. Vieira
    IEEE Transactions on Reliability, vol. 67, no. 3, pp. 1159–1175, 2018.
  7. Exploratory Study of Machine Learning Techniques for Supporting Failure Prediction
    J. Campos, M. Vieira, and E. Costa
    in 14th European Dependable Computing Conference, EDCC 2018, IaƟi, Romania, September 10-14, pp. 9–16, 2018.
  8. Finding SQL Injection and Cross Site Scripting Vulnerabilities with Diverse Static Analysis Tools
    A. Algaith, P. Nunes, J. Fonseca, I. Gashi, and M. Vieira
    in 14th European Dependable Computing Conference, EDCC 2018, IaƟi, Romania, September 10-14, pp. 57–64, 2018.
  9. GIS and Data: Three applications to enhance Mobility
    A. Alic, J. Almeida, W. Jr., D. Guedes, W. Santos, I. Blanquer, S. Fiore, N. Kozievitch, N. Andrade, T. Braz, A. Brito, C. Pires, N. Antunes, M. Vieira, P. Silva, D. Ardagna, K. Fonseca, D. Lezzi, D. Elia, R. Moraes, T. Basso, and W. Cavassin
    in XIX Brazilian Symposium on Geoinformatics - GEOINFO 2018, Campina Grande, PB, Brazil, December 5-7, pp. 1–12, 2018.
  10. Interacting SRN Models for Availability Evaluation of VM Migration as Rejuvenation on a System under Varying Workload
    M. Torquato, and M. Vieira
    in 2018 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Memphis, TN, USA, October 15-18, pp. 300–307, 2018.
  11. Evaluating the Applicability of Robustness Testing in Virtualized Environments
    C. Gonçalves, N. Antunes, and M. Vieira
    in 8th Latin-American Symposium on Dependable Computing, LADC 2018, Foz do Iguaçu, Brazil, October 8-10, pp. 161–166, 2018.
  12. An Approach for Trustworthiness Benchmarking Using Software Metrics
    N. Medeiros, N. Ivaki, P. Costa, and M. Vieira
    in 23rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018, Taipei, Taiwan, December 4-7, pp. 84–93, 2018.

2017

  1. Designing vulnerability testing tools for web services: approach, components, and tools
    N. Antunes, and M. Vieira
    International Journal of Information Security, vol. 16, no. 4, pp. 435–457, 2017.
  2. Service-Oriented Architectures for a Flexible and Safe Use of Unmanned Aerial Vehicles
    D. Rodrigues, R. Melo Pires, E. Marconato, C. Areias, J. Cunha, K. Branco, and M. Vieira
    IEEE Intelligent Transportation Systems Magazine, vol. 9, no. 1, pp. 97–109, 2017.
  3. A field study on root cause analysis of defects in space software
    N. Silva, J. Cunha, and M. Vieira
    Reliability Engineering & System Safety, vol. 158, pp. 213–229, 2017.
  4. Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems
    J. Cåmara, R. Lemos, N. Laranjeiro, R. Ventura, and M. Vieira
    IEEE Transactions on Dependable and Secure Computing, vol. 14, no. 1, pp. 50–64, 2017.
  5. Editorial: Security and Dependability of Cloud Systems and Services
    S. Russo, and M. Vieira
    IEEE Transactions on Services Computing, vol. 10, no. 5, pp. 673–674, 2017.
  6. Editorial: Security and Dependability of Cloud Systems and Services - Part II
    S. Russo, and M. Vieira
    IEEE Transactions on Services Computing, vol. 10, no. 6, pp. 927–928, 2017.
  7. PRIVAaaS: privacy approach for a distributed cloud-based data analytics platforms
    T. Basso, R. Moraes, N. Antunes, M. Vieira, W. Santos, and W. Jr.
    in Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGRID 2017, Madrid, Spain, May 14-17, 2017, pp. 1108–1116, 2017.
  8. On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study
    P. Nunes, I. Medeiros, J. Fonseca, N. Neves, M. Correia, and M. Vieira
    in 13th European Dependable Computing Conference, EDCC 2017, Geneva, Switzerland, September 4-8, pp. 121–128, 2017.
  9. An Analysis of OpenStack Vulnerabilities
    I. Elia, N. Antunes, N. Laranjeiro, and M. Vieira
    in 13th European Dependable Computing Conference, EDCC 2017, Geneva, Switzerland, September 4-8, pp. 129–134, 2017.
  10. Towards an Approach for Trustworthiness Assessment of Software as a Service
    N. Medeiros, N. Ivaki, P. Costa, and M. Vieira
    in IEEE International Conference on Edge Computing, EDGE 2017, Honolulu, HI, USA, June 25-30, pp. 220–223, 2017.
  11. Evaluating a Corpus of Root Causes and Measures to Guide RCA Processes in Critical Software
    N. Silva, M. Vieira, J. Cunha, and R. Chillarege
    in 18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Singapore, January 12-14, pp. 17–24, 2017.
  12. INTENSE: INteroperability TEstiNg as a SErvice
    B. Martins, N. Laranjeiro, and M. Vieira
    in 2017 IEEE International Conference on Web Services, ICWS 2017, Honolulu, HI, USA, June 25-30, pp. 792–799, 2017.
  13. Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study
    A. Braga, R. Dahab, N. Antunes, N. Laranjeiro, and M. Vieira
    in 28th IEEE International Symposium on Software Reliability Engineering, ISSRE 2017, Toulouse, France, October 23-26, pp. 170–181, 2017.
  14. Software Metrics as Indicators of Security Vulnerabilities
    N. Medeiros, N. Ivaki, P. Costa, and M. Vieira
    in 28th IEEE International Symposium on Software Reliability Engineering, ISSRE 2017, Toulouse, France, October 23-26, pp. 216–227, 2017.
  15. Diversity with intrusion detection systems: An empirical study
    A. Algaith, I. Elia, I. Gashi, and M. Vieira
    in 16th IEEE International Symposium on Network Computing and Applications, NCA 2017, Cambridge, MA, USA, October 30 - November 1, pp. 19–23, 2017.

2016

  1. The Perils of Android Security Configuration
    D. Vecchiato, M. Vieira, and E. Martins
    IEEE Computer, vol. 49, no. 6, pp. 15–21, 2016.
  2. XSX: Lightweight Encryption for Data Warehousing Environments
    R. Santos, M. Vieira, and J. Bernardino
    in Big Data Analytics and Knowledge Discovery - 18th International Conference, DaWaK 2016, Porto, Portugal, September 6-8, 2016, Proceedings, pp. 281–295, 2016.
  3. Quantifying the Attack Detection Accuracy of Intrusion Detection Systems in Virtualized Environments
    A. Milenkoski, K. Jayaram, N. Antunes, M. Vieira, and S. Kounev
    in 27th IEEE International Symposium on Software Reliability Engineering, ISSRE 2016, Ottawa, ON, Canada, October 23-27, pp. 276–286, 2016.
  4. Risk Assessment of User-Defined Security Configurations for Android Devices
    D. Vecchiato, M. Vieira, and E. Martins
    in 27th IEEE International Symposium on Software Reliability Engineering, ISSRE 2016, Ottawa, ON, Canada, October 23-27, pp. 467–477, 2016.
  5. Software for embedded systems: a quality assessment based on improved ODC taxonomy
    N. Silva, and M. Vieira
    in Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, pp. 1780–1783, 2016.
  6. Adapting the Orthogonal Defect Classification Taxonomy to the Space Domain
    N. Silva, and M. Vieira
    in Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings, pp. 296–308, 2016.
  7. The 2016 IEEE Services Emerging Technology Track on Dependable and Secure Services (DSS 2016)
    N. Laranjeiro, N. Ivaki, and M. Vieira
    in IEEE World Congress on Services, SERVICES 2016, San Francisco, CA, USA, June 27 - July 2, pp. 47, 2016.

2015

  1. Evaluating Computer Intrusion Detection Systems: A Survey of Common Practices
    A. Milenkoski, M. Vieira, S. Kounev, A. Avritzer, and B. Payne
    ACM Computing Surveys, vol. 48, no. 1, pp. 12:1–12:41, 2015.
  2. Choosing the right NoSQL database for the job: a quality attribute evaluation
    J. Lourenço, B. Cabral, P. Carreiro, M. Vieira, and J. Bernardino
    Journal of Big Data, vol. 2, pp. 18, 2015.
  3. A benchmarking process to assess software requirements documentation for space applications
    P. Véras, E. Villani, A. Ambrosio, M. Vieira, and H. Madeira
    Journal of Systems and Software, vol. 100, pp. 103–116, 2015.
  4. Assessing the security of web service frameworks against Denial of Service attacks
    R. Oliveira, N. Laranjeiro, and M. Vieira
    Journal of Systems and Software, vol. 109, pp. 18–31, 2015.
  5. A Practical Approach Towards Automatic Testing of Web Services Interoperability
    I. Elia, N. Laranjeiro, and M. Vieira
    International Journal of Web Services Research, vol. 12, no. 3, pp. 78–103, 2015.
  6. Assessing and Comparing Vulnerability Detection Tools for Web Services: Benchmarking Approach and Examples
    N. Antunes, and M. Vieira
    IEEE Transactions on Services Computing, vol. 8, no. 2, pp. 269–283, 2015.
  7. Development of Complex Software with Agile Method
    A. Braz, C. Rubira, and M. Vieira
    in 2015 Agile Conference, AGILE 2015, National Harbor, MD, USA, August 3-7, pp. 97–101, 2015.
  8. No SQL in Practice: A Write-Heavy Enterprise Application
    J. Lourenço, V. Abramova, B. Cabral, J. Bernardino, P. Carreiro, and M. Vieira
    in 2015 IEEE International Congress on Big Data, New York City, NY, USA, June 27 - July 2, pp. 584–591, 2015.
  9. Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues
    N. Silva, M. Vieira, D. Ricci, and D. Cotroneo
    in IEEE International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2015, Rio de Janeiro, Brazil, June 22-25, 2015, pp. 63–68, 2015.
  10. Towards Assessing Representativeness of Fault Injection-Generated Failure Data for Online Failure Prediction
    I. Irrera, and M. Vieira
    in IEEE International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2015, Rio de Janeiro, Brazil, June 22-25, 2015, pp. 75–80, 2015.
  11. Studying the Propagation of Failures in SOAs
    C. Areias, J. Cunha, and M. Vieira
    in IEEE International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2015, Rio de Janeiro, Brazil, June 22-25, 2015, pp. 81–86, 2015.
  12. Test-Based Interoperability Certification for Web Services
    I. Elia, N. Laranjeiro, and M. Vieira
    in 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, Rio de Janeiro, Brazil, June 22-25, pp. 196–206, 2015.
  13. phpSAFE: A Security Analysis Tool for OOP Web Application Plugins
    P. Nunes, J. Fonseca, and M. Vieira
    in 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, Rio de Janeiro, Brazil, June 22-25, pp. 299–306, 2015.
  14. On the Metrics for Benchmarking Vulnerability Detection Tools
    N. Antunes, and M. Vieira
    in 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, Rio de Janeiro, Brazil, June 22-25, pp. 505–516, 2015.
  15. Adaptive Failure Prediction for Computer Systems: A Framework and a Case Study
    I. Irrera, M. Vieira, and J. Durães
    in 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, pp. 142–149, 2015.
  16. Evaluation of Intrusion Detection Systems in Virtualized Environments Using Attack Injection
    A. Milenkoski, B. Payne, N. Antunes, M. Vieira, S. Kounev, A. Avritzer, and M. Luft
    in Research in Attacks, Intrusions, and Defenses - 18th International Symposium, RAID 2015, Kyoto, Japan, November 2-4, 2015, Proceedings, pp. 471–492, 2015.
  17. Requirements, design and evaluation of a privacy reference architecture for web applications and services
    T. Basso, R. Moraes, M. Jino, and M. Vieira
    in Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, pp. 1425–1432, 2015.
  18. Characterizing the performance of web service frameworks under security attacks
    R. Oliveira, N. Laranjeiro, and M. Vieira
    in Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, pp. 1711–1718, 2015.
  19. A security configuration assessment for android devices
    D. Vecchiato, M. Vieira, and E. Martins
    in Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, pp. 2299–2304, 2015.
  20. IEEE Services Visionary Track on Dependable and Secure Services (DSS 2015)
    N. Laranjeiro, P. Furtado, and M. Vieira
    in 2015 IEEE World Congress on Services, SERVICES 2015, New York City, NY, USA, June 27 - July 2, pp. 302, 2015.
  21. NoSQL Databases: A Software Engineering Perspective
    J. Lourenço, V. Abramova, M. Vieira, B. Cabral, and J. Bernardino
    in New Contributions in Information Systems and Technologies - Volume 1 [WorldCIST’15, Azores, Portugal, April 1-3, 2015], pp. 741–750, 2015.

2014

  2. Penetration Testing for Web Services
    N. Antunes, and M. Vieira
    IEEE Computer, vol. 47, no. 2, pp. 30–36, 2014.
  3. Testing the robustness of controllers for self-adaptive systems
    J. Cåmara, R. Lemos, N. Laranjeiro, R. Ventura, and M. Vieira
    Journal of the Brazilian Computer Society, vol. 20, no. 1, pp. 1:1–1:14, 2014.
  4. Approaches and Challenges in Database Intrusion Detection
    R. Santos, J. Bernardino, and M. Vieira
    SIGMOD Rec., vol. 43, no. 3, pp. 36–47, 2014.
  5. Analysis of Field Data on Web Security Vulnerabilities
    J. Fonseca, N. Seixas, M. Vieira, and H. Madeira
    IEEE Transactions on Dependable and Secure Computing, vol. 11, no. 2, pp. 89–100, 2014.
  6. Evaluation of Web Security Mechanisms Using Vulnerability & Attack Injection
    J. Fonseca, M. Vieira, and H. Madeira
    IEEE Transactions on Dependable and Secure Computing, vol. 11, no. 5, pp. 440–453, 2014.
  7. A Technique for Deploying Robust Web Services
    N. Laranjeiro, M. Vieira, and H. Madeira
    IEEE Transactions on Services Computing, vol. 7, no. 1, pp. 68–81, 2014.
  8. A Field Perspective on the Interoperability of Web Services
    I. Elia, N. Laranjeiro, and M. Vieira
    in IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27 - July 2, pp. 75–82, 2014.
  9. Understanding Interoperability Issues of Web Service Frameworks
    I. Elia, N. Laranjeiro, and M. Vieira
    in 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2014, Atlanta, GA, USA, June 23-26, pp. 323–330, 2014.
  10. Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (Short Paper)
    D. Azevedo, A. Ambrosio, and M. Vieira
    in 2014 Tenth European Dependable Computing Conference, Newcastle, United Kingdom, May 13-16, pp. 194–197, 2014.
  11. On the Need for Training Failure Prediction Algorithms in Evolving Software Systems
    I. Irrera, J. Durães, and M. Vieira
    in 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, pp. 216–223, 2014.
  12. ITWS: An Extensible Tool for Interoperability Testing of Web Services
    I. Elia, N. Laranjeiro, and M. Vieira
    in 2014 IEEE International Conference on Web Services, ICWS, 2014, Anchorage, AK, USA, June 27 - July 2, pp. 409–416, 2014.
  13. Experience Report: An Analysis of Hypercall Handler Vulnerabilities
    A. Milenkoski, B. Payne, N. Antunes, M. Vieira, and S. Kounev
    in 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, pp. 100–111, 2014.
  14. Experience Report: Orthogonal Classification of Safety Critical Issues
    N. Silva, and M. Vieira
    in 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, pp. 156–166, 2014.
  15. Towards Making Safety-Critical Systems Safer: Learning from Mistakes
    N. Silva, and M. Vieira
    in 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, pp. 162–167, 2014.
  16. A Research Agenda for Benchmarking the Resilience of Software Defined Networks
    L. Santos, M. Curado, and M. Vieira
    in 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, pp. 168–173, 2014.
  17. A Practical Approach for Generating Failure Data for Assessing and Comparing Failure Prediction Algorithms
    I. Irrera, and M. Vieira
    in 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, pp. 86–95, 2014.
  18. Empirical resilience evaluation of an architecture-based self-adaptive software system
    J. Cåmara, P. Correia, R. Lemos, and M. Vieira
    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, pp. 63–72, 2014.
  19. Robustness evaluation of the rainbow framework for self-adaptation
    J. Cåmara, R. Lemos, N. Laranjeiro, R. Ventura, and M. Vieira
    in Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, pp. 376–383, 2014.
  20. IEEE International Workshop on Dependable and Secure Services (DSS 2014)
    N. Laranjeiro, P. Furtado, and M. Vieira
    in 2014 IEEE World Congress on Services, SERVICES 2014, Anchorage, AK, USA, June 27 - July 2, pp. 198–199, 2014.
  21. A Practical Experience on the Impact of Plugins in Web Security
    J. Fonseca, and M. Vieira
    in 33rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2014, Nara, Japan, October 6-9, pp. 21–30, 2014.

2013

  2. Architecture-based resilience evaluation for self-adaptive systems
    J. Cåmara, R. Lemos, M. Vieira, R. Almeida, and R. Ventura
    Computing, vol. 95, no. 8, pp. 689–722, 2013.
  3. SOA-Scanner: An Integrated Tool to Detect Vulnerabilities in Service-Based Infrastructures
    N. Antunes, and M. Vieira
    in 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28 - July 3, pp. 280–287, 2013.
  4. A Specific Encryption Solution for Data Warehouses
    R. Santos, D. Rasteiro, J. Bernardino, and M. Vieira
    in Database Systems for Advanced Applications, 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part II, pp. 84–98, 2013.
  5. An XML-Based Policy Model for Access Control in Web Applications
    T. Basso, N. Antunes, R. Moraes, and M. Vieira
    in Database and Expert Systems Applications - 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part II, pp. 274–288, 2013.
  6. SCoRe: An across-the-board metric for computer systems resilience benchmarking
    R. Almeida, A. Neto, and M. Vieira
    in 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, DSN Workshops 2013, Budapest, Hungary, June 24-27, pp. 1–8, 2013.
  7. Towards evaluating the impact of data quality on service applications
    N. Ivaki, N. Laranjeiro, and M. Vieira
    in 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, DSN Workshops 2013, Budapest, Hungary, June 24-27, pp. 1–7, 2013.
  8. A view on the past and future of fault injection
    N. Silva, R. Barbosa, J. Cunha, and M. Vieira
    in 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, June 24-27, pp. 1–2, 2013.
  9. Certification of embedded systems: Quantitative analysis and irrefutable evidences
    N. Silva, and M. Vieira
    in IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings, pp. 15–16, 2013.
  10. A monitoring and testing framework for critical off-the-shelf applications and services
    N. Antunes, F. Brancati, A. Ceccarelli, A. Bondavalli, and M. Vieira
    in IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings, pp. 371–374, 2013.
  11. Robustness Evaluation of Controllers in Self-Adaptive Software Systems
    J. Cåmara, R. Lemos, N. Laranjeiro, R. Ventura, and M. Vieira
    in Sixth Latin-American Symposium on Dependable Computing, LADC 2013, Rio de Janeiro, Brazil, April 1-5, pp. 1–10, 2013.
  12. The Time Dimension in Predicting Failures: A Case Study
    I. Irrera, C. Pereira, and M. Vieira
    in Sixth Latin-American Symposium on Dependable Computing, LADC 2013, Rio de Janeiro, Brazil, April 1-5, pp. 86–91, 2013.
  13. Assessing the Impact of Virtualization on the Generation of Failure Prediction Data
    I. Irrera, J. Durães, H. Madeira, and M. Vieira
    in Sixth Latin-American Symposium on Dependable Computing, LADC 2013, Rio de Janeiro, Brazil, April 1-5, pp. 92–97, 2013.
  14. HLA Middleware Robustness and Scalability Evaluation in the Context of Satellite Simulators
    D. Azevedo, A. Ambrosio, and M. Vieira
    in IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, pp. 312–317, 2013.

2012

  1. Defending against Web Application Vulnerabilities
    N. Antunes, and M. Vieira
    IEEE Computer, vol. 45, no. 2, pp. 66–72, 2012.
  2. A robustness testing approach for SOAP Web services
    N. Laranjeiro, M. Vieira, and H. Madeira
    Journal of Internet Services and Applications, vol. 3, no. 2, pp. 215–232, 2012.
  3. Experimental Evaluation of Web Service Frameworks in the Presence of Security Attacks
    R. Oliveira, N. Laranjeiro, and M. Vieira
    in 2012 IEEE Ninth International Conference on Services Computing, Honolulu, HI, USA, June 24-29, pp. 633–640, 2012.
  4. Leveraging 24/7 Availability and Performance for Distributed Real-Time Data Warehouses
    R. Santos, J. Bernardino, and M. Vieira
    in 36th Annual IEEE Computer Software and Applications Conference, COMPSAC 2012, Izmir, Turkey, July 16-20, pp. 654–659, 2012.
  5. Evaluating the Feasibility Issues of Data Confidentiality Solutions from a Data Warehousing Perspective
    R. Santos, J. Bernardino, and M. Vieira
    in Data Warehousing and Knowledge Discovery - 14th International Conference, DaWaK 2012, Vienna, Austria, September 3-6, 2012. Proceedings, pp. 404–416, 2012.
  6. Changeloads for Resilience Benchmarking of Self-Adaptive Systems: A Risk-Based Approach
    R. Almeida, and M. Vieira
    in 2012 Ninth European Dependable Computing Conference, Sibiu, Romania, May 8-11, pp. 173–184, 2012.
  7. Applying Data Mining for Detecting Anomalies in Satellites
    D. Azevedo, A. Ambrosio, and M. Vieira
    in 2012 Ninth European Dependable Computing Conference, Sibiu, Romania, May 8-11, pp. 212–217, 2012.
  8. DBMS Application Layer Intrusion Detection for Data Warehouses
    R. Santos, J. Bernardino, and M. 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, pp. 493–507, 2012.
  9. Detecting Vulnerabilities in Service Oriented Architectures
    N. Antunes, and M. Vieira
    in 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, pp. 134–139, 2012.
  10. Evaluating and Improving Penetration Testing in Web Services
    N. Antunes, and M. Vieira
    in 23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27-30, pp. 201–210, 2012.
  11. Towards a Framework to Evaluate and Improve the Quality of Implementation of CMMI\textregistered Practices
    I. Margarido, J. Faria, R. Vidal, and M. Vieira
    in Product-Focused Software Process Improvement - 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings, pp. 361–365, 2012.
  12. Lessons Learnt in the Implementation of CMMI Maturity Level 5
    I. Margarido, R. Vidal, and M. Vieira
    in 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings, pp. 47–56, 2012.
  13. Changeloads: A Fundamental Piece on the SASO Systems Benchmarking Puzzle
    R. Almeida, and M. Vieira
    in Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Lyon, France, September 10-14, pp. 93–96, 2012.
  14. Incorporating Recovery from Failures into a Data Integration Benchmark
    L. Wyatt, B. Caufield, M. Vieira, and M. Poess
    in Selected Topics in Performance Evaluation and Benchmarking - 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers, pp. 21–33, 2012.
  15. Securing Data Warehouses from Web-Based Intrusions
    R. Santos, J. Bernardino, M. Vieira, and D. Rasteiro
    in Web Information Systems Engineering - WISE 2012 - 13th International Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings, pp. 681–688, 2012.
  16. Field Studies on Resilience: Measurements and Repositories
    J. Durães, J. Fonseca, H. Madeira, and M. Vieira
    in Resilience Assessment and Evaluation of Computing Systems, pp. 213–237, 2012.
  17. Fault Injection
    R. Barbosa, J. Karlsson, H. Madeira, and M. Vieira
    in Resilience Assessment and Evaluation of Computing Systems, pp. 263–281, 2012.
  18. Resilience Benchmarking
    M. Vieira, H. Madeira, K. Sachs, and S. Kounev
    in Resilience Assessment and Evaluation of Computing Systems, pp. 283–301, 2012.
  19. Robustness Testing Techniques and Tools
    Z. Micskei, H. Madeira, A. Avritzer, I. Majzik, M. Vieira, and N. Antunes
    in Resilience Assessment and Evaluation of Computing Systems, pp. 323–339, 2012.
  20. Resilience Assessment and Evaluation of Computing Systems
    K. Wolter, A. Avritzer, M. Vieira, and A. Moorsel

2011

  1. Selecting Secure Web Applications Using Trustworthiness Benchmarking
    A. Neto, and M. Vieira
    International Journal of Dependable and Trustworthy Information Systems, vol. 2, no. 2, pp. 1–16, 2011.
  2. Security Gaps in Databases: A Comparison of Alternative Software Products for Web Applications Support
    A. Neto, and M. Vieira
    International Journal of Secure Software Engineering, vol. 2, no. 3, pp. 42–62, 2011.
  3. Selecting Software Packages for Secure Database Installations
    A. Neto, and M. Vieira
    in Sixth International Conference on Availability, Reliability and Security, ARES 2011, Vienna, Austria, August 22-26, pp. 67–74, 2011.
  4. Trustworthiness Benchmarking of Web Applications Using Static Code Analysis
    A. Neto, and M. Vieira
    in Sixth International Conference on Availability, Reliability and Security, ARES 2011, Vienna, Austria, August 22-26, pp. 224–229, 2011.
  5. Enhancing Penetration Testing with Attack Signatures and Interface Monitoring for the Detection of Injection Vulnerabilities in Web Services
    N. Antunes, and M. Vieira
    in IEEE International Conference on Services Computing, SCC 2011, Washington, DC, USA, 4-9 July, pp. 104–111, 2011.
  6. A Composed Approach for Automatic Classification of Web Services Robustness
    R. Oliveira, N. Laranjeiro, and M. Vieira
    in IEEE International Conference on Services Computing, SCC 2011, Washington, DC, USA, 4-9 July, pp. 176–183, 2011.
  7. 24/7 Real-Time Data Warehousing: A Tool for Continuous Actionable Knowledge
    R. Santos, J. Bernardino, and M. Vieira
    in Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, 18-22 July 2011, pp. 279–288, 2011.
  8. TO BEnchmark or NOT TO BEnchmark security: That is the question
    A. Neto, and M. Vieira
    in IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), Hong Kong, China, June 27-30, pp. 182–187, 2011.
  9. A survey on data security in data warehousing: Issues, challenges and opportunities
    R. Santos, J. Bernardino, and M. Vieira
    in Proceedings of EUROCON 2011, International Conference on Computer as a Tool, 27-29 April 2011, Lisbon, Portugal, pp. 1–4, 2011.
  10. Towards benchmarking the trustworthiness of web applications code
    A. Neto, and M. Vieira
    in Proceedings of the 13th European Workshop on Dependable Computing, EWDC ’11, Pisa, Italy, May 11-12, pp. 29–34, 2011.
  11. A Testing Service for Lifelong Validation of Dynamic SOA
    A. Ceccarelli, M. Vieira, and A. Bondavalli
    in 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, pp. 1–8, 2011.
  12. Application of SOA in Safety-Critical Embedded Systems
    D. Rodrigues, R. Melo Pires, J. Estrella, M. Vieira, M. CorrĂȘa, J. Jr., K. Branco, and O. JĂșnior
    in Convergence and Hybrid Information Technology - 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings, pp. 345–354, 2011.
  13. Benchmarking the resilience of self-adaptive software systems: perspectives and challenges
    R. Almeida, and M. Vieira
    in 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, Waikiki, Honolulu , HI, USA, May 23-24, pp. 190–195, 2011.
  14. A data masking technique for data warehouses
    R. Santos, J. Bernardino, and M. Vieira
    in 15th International Database Engineering and Applications Symposium (IDEAS 2011), September 21 - 27, 2011, Lisbon, Portugal, pp. 61–69, 2011.
  15. A Service Discovery Approach for Testing Dynamic SOAs
    A. Ceccarelli, M. Vieira, and A. 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, pp. 133–142, 2011.
  16. Implementing Software Effort Estimation in a Medium-sized Company
    J. Cunha, S. Cruz, M. Costa, A. Rodrigues, and M. Vieira
    in 34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, pp. 92–96, 2011.
  17. Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics
    M. Vieira, H. Madeira, S. Cruz, M. Costa, and J. Cunha
    in 34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, pp. 112–116, 2011.
  18. Balancing Security and Performance for Enhancing Data Privacy in Data Warehouses
    R. Santos, J. Bernardino, and M. Vieira
    in IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, Changsha, China, 16-18 November, pp. 242–249, 2011.

2010

  1. Dependability Benchmarking for OLTP Systems - A Mandatory Path
    M. Vieira
  2. Benchmarking Untrustworthiness: An Alternative to Security Measurement
    A. Neto, and M. Vieira
    International Journal of Dependable and Trustworthy Information Systems, vol. 1, no. 2, pp. 32–54, 2010.
  3. From Performance to Resilience Benchmarking
    R. Almeida, H. Madeira, and M. Vieira
    in 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 21-25 June 2010, Genova, Italy, pp. 286–287, 2010.
  4. Benchmarking Vulnerability Detection Tools for Web Services
    N. Antunes, and M. Vieira
    in IEEE International Conference on Web Services, ICWS 2010, Miami, Florida, USA, July 5-10, pp. 203–210, 2010.
  5. Errors on Space Software Requirements: A Field Study and Application Scenarios
    P. Véras, E. Villani, A. Ambrosio, N. Silva, M. Vieira, and H. Madeira
    in IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010, San Jose, CA, USA, 1-4 November 2010, pp. 61–70, 2010.
  6. Comparing SQL Injection Detection Tools Using Attack Injection: An Experimental Study
    I. Elia, J. Fonseca, and M. Vieira
    in IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010, San Jose, CA, USA, 1-4 November 2010, pp. 289–298, 2010.
  7. The Web Attacker Perspective - A Field Study
    J. Fonseca, M. Vieira, and H. Madeira
    in IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010, San Jose, CA, USA, 1-4 November 2010, pp. 299–308, 2010.
  8. Towards Identifying the Best Variables for Failure Prediction Using Injection of Realistic Software Faults
    I. Irrera, J. Durães, M. Vieira, and H. Madeira
    in 16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010, Tokyo, Japan, December 13-15, pp. 3–10, 2010.
  9. A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks
    N. Laranjeiro, M. Vieira, and H. Madeira
    in 16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010, Tokyo, Japan, December 13-15, pp. 191–198, 2010.
  10. Benchmarking Software Requirements Documentation for Space Application
    P. Véras, E. Villani, A. Ambrosio, R. Pontes, M. Vieira, and H. Madeira
    in Computer Safety, Reliability, and Security, 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings, pp. 112–125, 2010.
  11. Applying Text Classification Algorithms in Web Services Robustness Testing
    N. Laranjeiro, R. Oliveira, and M. Vieira
    in 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31 - November 3, pp. 255–264, 2010.
  12. Benchmarking the Resilience of Self-Adaptive Systems: A New Research Challenge
    R. Almeida, H. Madeira, and M. Vieira
    in 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31 - November 3, pp. 348–352, 2010.
  13. How to Advance TPC Benchmarks with Dependability Aspects
    R. Almeida, M. Poess, R. Nambiar, I. Patil, and M. Vieira
    in Performance Evaluation, Measurement and Characterization of Complex Systems - Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers, pp. 57–72, 2010.

2009

  1. Effective Detection of SQL/XPath Injection Vulnerabilities in Web Services
    N. Antunes, N. Laranjeiro, M. Vieira, and H. Madeira
    in 2009 IEEE International Conference on Services Computing (SCC 2009), 21-25 September 2009, Bangalore, India, pp. 260–267, 2009.
  2. Untrustworthiness: A trust-based security metric
    A. Neto, and M. Vieira
    in CRiSIS 2009, Post-Proceedings of the Fourth International Conference on Risks and Security of Internet and Systems, Toulouse, France, October 19-22, pp. 123–126, 2009.
  3. Predicting Timing Failures in Web Services
    N. Laranjeiro, M. Vieira, and H. Madeira
    in Database Systems for Advanced Applications, DASFAA 2009 International Workshops: BenchmarX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20-23, pp. 182–196, 2009.
  4. Protecting Database Centric Web Services against SQL/XPath Injection Attacks
    N. Laranjeiro, M. Vieira, and H. Madeira
    in Database and Expert Systems Applications, 20th International Conference, DEXA 2009, Linz, Austria, August 31 - September 4, 2009. Proceedings, pp. 271–278, 2009.
  5. Vulnerability & attack injection for web applications
    J. Fonseca, M. Vieira, and H. Madeira
    in Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, Estoril, Lisbon, Portugal, June 29 - July 2, pp. 93–102, 2009.
  6. Using web security scanners to detect vulnerabilities in web services
    M. Vieira, N. Antunes, and H. Madeira
    in Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, Estoril, Lisbon, Portugal, June 29 - July 2, pp. 566–571, 2009.
  7. Student Forum
    M. Vieira
    in Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, Estoril, Lisbon, Portugal, June 29 - July 2, pp. 602, 2009.
  8. BIRF: Keeping Software Development under Control across the Organization
    P. Marques, P. Gomes, M. Vieira, J. Prieto, V. Navarro, and M. Pecchioli
    in The Fourth International Conference on Software Engineering Advances, ICSEA 2009, 20-25 September 2009, Porto, Portugal, pp. 458–464, 2009.
  9. Improving Web Services Robustness
    N. Laranjeiro, M. Vieira, and H. Madeira
    in IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009, pp. 397–404, 2009.
  10. Looking at Web Security Vulnerabilities from the Programming Language Perspective: A Field Study
    N. Seixas, J. Fonseca, M. Vieira, and H. Madeira
    in ISSRE 2009, 20th International Symposium on Software Reliability Engineering, Mysuru, Karnataka, India, 16-19 November 2009, pp. 129–135, 2009.
  11. Benchmarking Untrustworthiness in DBMS Configurations
    A. Neto, and M. Vieira
    in Fourth Latin-American Symposium on Dependable Computing, LADC 2009, João Pessoa, Brazil, 1-4 September 2009, pp. 1–8, 2009.
  12. Detecting SQL Injection Vulnerabilities in Web Services
    N. Antunes, and M. Vieira
    in Fourth Latin-American Symposium on Dependable Computing, LADC 2009, João Pessoa, Brazil, 1-4 September 2009, pp. 17–24, 2009.
  13. Appraisals Based on Security Best Practices for Software Configurations
    A. Neto, and M. Vieira
    in Fourth Latin-American Symposium on Dependable Computing, LADC 2009, João Pessoa, Brazil, 1-4 September 2009, pp. 57–64, 2009.
  14. A Trust-Based Benchmark for DBMS Configurations
    A. Neto, and M. Vieira
    in 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2009, Shanghai, China, 16-18 November 2009, pp. 143–150, 2009.
  15. Comparing the Effectiveness of Penetration Testing and Static Code Analysis on the Detection of SQL Injection Vulnerabilities in Web Services
    N. Antunes, and M. Vieira
    in 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2009, Shanghai, China, 16-18 November 2009, pp. 301–306, 2009.
  16. From Performance to Dependability Benchmarking: A Mandatory Path
    M. Vieira, and H. Madeira
    in Performance Evaluation and Benchmarking, First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers, pp. 67–83, 2009.

2008

  1. Deploying fault tolerant web service compositions
    N. Laranjeiro, and M. Vieira
    Computer Systems Science and Engineering, vol. 23, no. 5, 2008.
  2. Experimental Robustness Evaluation of JMS Middleware
    N. Laranjeiro, M. Vieira, and H. Madeira
    in 2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA, pp. 119–126, 2008.
  3. wsrbench: An On-Line Tool for Robustness Benchmarking
    N. Laranjeiro, S. Canelas, and M. Vieira
    in 2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA, pp. 187–194, 2008.
  4. Timing Failures Detection in Web Services
    N. Laranjeiro, M. Vieira, and H. Madeira
    in Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008, Yilan, Taiwan, 9-12 December 2008, pp. 554–559, 2008.
  5. Combining Energy and Wavelet Transform for Epileptic Seizure Prediction in an Advanced Computational System
    B. Direito, A. Dourado, M. Vieira, and F. Sales
    in Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, BMEI 2008, May 28-30, 2008, Sanya, Hainan, China - Volume 2, pp. 380–385, 2008.
  6. Redundant Array of Inexpensive Nodes for DWS
    J. Vieira, M. Vieira, M. Costa, and H. Madeira
    in Database Systems for Advanced Applications, 13th International Conference, DASFAA 2008, New Delhi, India, March 19-21, 2008. Proceedings, pp. 580–587, 2008.
  7. RAIN: Always on Data Warehousing
    J. Vieira, M. Vieira, M. Costa, and H. Madeira
    in Database Systems for Advanced Applications, 13th International Conference, DASFAA 2008, New Delhi, India, March 19-21, 2008. Proceedings, pp. 678–681, 2008.
  8. Efficient Data Distribution for DWS
    R. Almeida, J. Vieira, M. Vieira, H. Madeira, and J. Bernardino
    in Data Warehousing and Knowledge Discovery, 10th International Conference, DaWaK 2008, Turin, Italy, September 2-5, 2008, Proceedings, pp. 75–86, 2008.
  9. Towards assessing the security of DBMS configurations
    A. Neto, and M. Vieira
    in The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008, June 24-27, 2008, Anchorage, Alaska, USA, Proceedings, pp. 90–95, 2008.
  10. Mapping software faults with web security vulnerabilities
    J. Fonseca, and M. Vieira
    in The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008, June 24-27, 2008, Anchorage, Alaska, USA, Proceedings, pp. 257–266, 2008.
  11. Supporting Fraud Analysis in Mobile Telecommunications Using Case-Based Reasoning
    P. Almeida, M. Jorge, L. Cortesão, F. Martins, M. Vieira, and P. Gomes
    in Advances in Case-Based Reasoning, 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings, pp. 562–572, 2008.
  12. Robustness Validation in Service-Oriented Architectures
    N. Laranjeiro, M. Vieira, and H. Madeira
    in Architecting Dependable Systems VI, pp. 98–123, 2008.
  13. An Application for Electroencephalogram Mining for Epileptic Seizure Prediction
    B. Direito, A. Dourado, F. Sales, and M. Vieira
    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, pp. 87–101, 2008.
  14. Training Security Assurance Teams Using Vulnerability Injection
    J. Fonseca, M. Vieira, and H. Madeira
    in 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, 15-17 December 2008, Taipei, Taiwan, pp. 297–304, 2008.
  15. Assessing and Comparing Security of Web Servers
    N. Mendes, A. Neto, J. Durães, M. Vieira, and H. Madeira
    in 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, 15-17 December 2008, Taipei, Taiwan, pp. 313–322, 2008.
  16. Online detection of malicious data access using DBMS auditing
    J. Fonseca, M. Vieira, and H. Madeira
    in Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, pp. 1013–1020, 2008.

2007

  1. Towards Timely ACID Transactions in DBMS
    M. Vieira, A. Costa, and H. 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, pp. 262–274, 2007.
  2. Assessing Robustness of Web-Services Infrastructures
    M. Vieira, N. Laranjeiro, and H. Madeira
    in The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings, pp. 131–136, 2007.
  3. Comparing Web Services Performance and Recovery in the Presence of Faults
    M. Vieira, and N. Laranjeiro
    in 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA, pp. 623–630, 2007.
  4. Integrated Intrusion Detection in Databases
    J. Fonseca, M. Vieira, and H. Madeira
    in Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings, pp. 198–211, 2007.
  5. Do You Know... How to Analyze and Share Results from Dependability Evaluation Experiments?
    M. Vieira, and H. Madeira
    in Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings, pp. 231–232, 2007.
  6. Benchmarking the Robustness of Web Services
    M. Vieira, N. Laranjeiro, and H. Madeira
    in 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 17-19 December, 2007, Melbourne, Victoria, Australia, pp. 322–329, 2007.
  7. Testing and Comparing Web Vulnerability Scanning Tools for SQL Injection and XSS Attacks
    J. Fonseca, M. Vieira, and H. Madeira
    in 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 17-19 December, 2007, Melbourne, Victoria, Australia, pp. 365–372, 2007.
  8. Towards fault tolerance in web services compositions
    N. Laranjeiro, and M. Vieira
    in Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, pp. 2, 2007.
  9. Detecting Malicious SQL
    J. Fonseca, M. Vieira, and H. Madeira
    in Trust, Privacy and Security in Digital Business, 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007, Proceedings, pp. 259–268, 2007.

2006

  1. Towards Timely ACID Transactions in DBMS
    M. Vieira, A. Costa, and H. Madeira
    in 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 18-20 December, 2006, University of California, Riverside, USA, pp. 381–382, 2006.
  2. Monitoring Database Application Behavior for Intrusion Detection
    J. Fonseca, M. Vieira, and H. Madeira
    in 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 18-20 December, 2006, University of California, Riverside, USA, pp. 383–386, 2006.

2005

  1. Towards a Security Benchmark for Database Management Systems
    M. Vieira, and H. Madeira
    in 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings, pp. 592–601, 2005.
  2. A Data Mining Approach to Identify Key Factors in Dependability Experiments
    G. Pintér, H. Madeira, M. Vieira, I. Majzik, and A. Pataricza
    in Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings, pp. 263–280, 2005.
  3. Detection of Malicious Transactions in DBMS
    M. Vieira, and H. Madeira
    in 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 12-14 December, 2005, Changsha, Hunan, China, pp. 350–357, 2005.

2004

  1. Joint evaluation of recovery and performance of a COTS DBMS in the presence of operator faults
    M. Vieira, and H. Madeira
    Performance Evaluation, vol. 56, no. 1-4, pp. 187–212, 2004.
  2. Portable Faultloads Based on Operator Faults for DBMS Dependability Benchmarking
    M. Vieira, and H. 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, pp. 202–209, 2004.
  3. Dependability Benchmarking of Web-Servers
    J. Durães, M. Vieira, and H. Madeira
    in Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings, pp. 297–310, 2004.

2003

  1. The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments
    H. Madeira, J. Costa, and M. Vieira
    in 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings, pp. 86–91, 2003.
  2. Benchmarking the Dependability of Different OLTP Systems
    M. Vieira, and H. Madeira
    in 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings, pp. 305–310, 2003.
  3. Plug and Play Fault Injector for Dependability Benchmarking
    P. Costa, M. Vieira, H. Madeira, and J. Silva
    in Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings, pp. 8–22, 2003.
  4. Emulation of Software Faults: Representativeness and Usefulness
    H. Madeira, J. Durães, and M. Vieira
    in Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings, pp. 137–159, 2003.
  5. A Dependability Benchmark for OLTP Application Environments
    M. Vieira, and H. Madeira
    in Proceedings of 29th International Conference on Very Large Data Bases, VLDB 2003, Berlin, Germany, September 9-12, pp. 742–753, 2003.

2002

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

2001

  1. ESFFI - A Novel Technique for the Emulation of Coftware Faults in COTS Components
    D. Costa, T. Rilho, M. Vieira, and H. Madeira
    in 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 17-20 April 2001, Washington, DC, USA, pp. 197–204, 2001.

2000

  1. On the Emulation of Software Faults by Software Fault Injection
    H. Madeira, D. Costa, and M. 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, pp. 417–426, 2000.
Marco's RA (Online)
Hi! I'm Marco Vieira's designated Research Assistant. I'm supposed to answer your questions but I really need to finish running this simulation script. What do you need?