Marco Vieira

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 96

Top Venues

Publications

Renato Andrade, Nuno Laranjeiro, Marco Vieira
BugHub: A Large Scale Issue Report Dataset. EDCC (2024)
João R. Campos, Ernesto Costa, Marco Vieira
Online Failure Prediction Through Fault Injection and Machine Learning: Methodology and Case Study. ISSRE (2023)
Eduardo F. Felix, Fernando Antônio Aires Lins, Diego R. Gomes, Obionor O. Nóbrega, Bruno A. Jesus, Marco Vieira
Evaluating Cryptographic Security Requirements in IoT Gateways. WF-IoT (2023)
Jessica Castro, Nuno Laranjeiro, Marco Vieira
Exploring Logic Scoring of Preference for DoS Attack Detection in Microservice Applications. ICWS (2023)
Charles F. Gonçalves, Daniel Sadoc Menasché, Alberto Avritzer, Nuno Antunes, Marco Vieira
Detecting Anomalies Through Sequential Performance Analysis in Virtualized Environments. IEEE Access 11 (2023)
Helber Silva, Marco Vieira, Augusto Neto
Are safety-critical systems really survivable to attacks? SysCon (2023)
Iury Araújo, Nuno Antunes, Marco Vieira
Intrusion Detection and Tolerance for Microservice Applications. LADC (2023)
Iury Araújo, Nuno Antunes, Marco Vieira
Evaluation of Machine Learning for Intrusion Detection in Microservice Applications. LADC (2023)
Jessica Castro, Nuno Laranjeiro, Marco Vieira
Techniques and Tools for Runtime Security Monitoring and Analysis of Microservices. DSN-S (2023)
Nadia Patricia Da Silva Medeiros, Naghmeh Ivaki, Pedro Costa, Marco Vieira
Trustworthiness models to categorize and prioritize code for security improvement. J. Syst. Softw. 198 (2023)
Charles F. Gonçalves, Nuno Antunes, Marco Vieira
Intrusion Injection for Virtualized Systems: Concepts and Approach. DSN (2023)
Bukhtawar Zamir, João R. Campos, Marco Vieira
Advanced Machine Learning for Runtime Data Generation. LADC (2023)
João R. Campos, Rodrigo Machado, Marco Vieira
Leveraging Time Series Autocorrelation Through Numerical Differentiation for Improving Failure Prediction. LADC (2023)
José D'Abruzzo Pereira, Marco Vieira
An Approach to Characterize the Security of Open-Source Functions using LSP. ISSRE (2023)
André Almeida, Thaís Batista, Everton Cavalcante, Flávia Coimbra Delicato, Rebeca Motta, Marco Vieira
Middleware for Digital Twins: A Systematic Mapping Study. Midd4DT@Middleware (2023)
Diego R. Gomes, Fernando Antônio Aires Lins, Obionor O. Nóbrega, Eduardo F. Felix, Bruno A. Jesus, Marco Vieira
Security Evaluation of Authentication Requirements in IoT Gateways. J. Netw. Syst. Manag. 31 (4) (2023)
Jessica Castro, Nuno Laranjeiro, Marco Vieira
Generating Realistic Attack Data for Microservices: Framework and Case Study. LADC (2023)
João R. Campos, Ernesto Costa, Marco Vieira
Online Failure Prediction for Complex Systems: Methodology and Case Studies. IEEE Trans. Dependable Secur. Comput. 20 (4) (2023)
José D'Abruzzo Pereira, João David Ribeiro, João Pires, Pedro Moita, Nuno Laranjeiro, Marco Vieira
On the use of the TMA Framework to promote self-adaptation capabilities in TalkConnect. LADC (2022)
Matheus Torquato, Paulo R. M. Maciel, Marco Vieira
Model-Based Performability and Dependability Evaluation of a System with VM Migration as Rejuvenation in the Presence of Bursty Workloads. J. Netw. Syst. Manag. 30 (1) (2022)
Matheus Torquato, Paulo Romero Martins Maciel, Marco Vieira
Software Rejuvenation Meets Moving Target Defense: Modeling of Time-Based Virtual Machine Migration Approach. ISSRE (2022)
Eduardo F. Felix, Fernando Antônio Aires Lins, Obionor O. Nóbrega, Diego R. Gomes, Bruno A. Jesus, Marco Vieira
Compliance Evaluation of Cryptographic Security Requirements on IoT Gateways. LADC (2022)
Jessica Castro, Nuno Laranjeiro, Marco Vieira
Detecting DoS Attacks in Microservice Applications: Approach and Case Study. LADC (2022)
José D'Abruzzo Pereira, Nuno Lourenço, Marco Vieira
On the Use of Deep Graph CNN to Detect Vulnerable C Functions. LADC (2022)
José D'Abruzzo Pereira, João Henggeler Antunes, Marco Vieira
A Software Vulnerability Dataset of Large Open Source C/C++ Projects. PRDC (2022)
Miquel Martínez, Juan Carlos Ruiz, Nuno Antunes, David de Andrés, Marco Vieira
A Multi-Criteria Analysis of Benchmark Results With Expert Support for Security Tools. IEEE Trans. Dependable Secur. Comput. 19 (4) (2022)
Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparic, Lars Grunske, Pooyan Jamshidi, Christine Julien, Judith Michael, Gabriel A. Moreno, Shiva Nejati, Patrizio Pelliccione, Federico Quin, Genaína Nunes Rodrigues, Bradley R. Schmerl, Marco Vieira, Thomas Vogel, Rebekka Wohlrab
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. ACM SIGSOFT Softw. Eng. Notes 47 (4) (2022)
João R. Campos, Ernesto Costa, Marco Vieira
A Dataset of Linux Failure Data for Dependability Evaluation and Improvement. DSN Workshops (2022)
João R. Campos, Ernesto Costa, Marco Vieira
On the Applicability of Machine Learning-based Online Failure Prediction for Modern Complex Systems. EDCC (2022)
Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparic, Lars Grunske, Pooyan Jamshidi, Christine Julien, Judith Michael, Gabriel A. Moreno, Shiva Nejati, Patrizio Pelliccione, Federico Quin, Genaína Nunes Rodrigues, Bradley R. Schmerl, Marco Vieira, Thomas Vogel, Rebekka Wohlrab
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. CoRR (2022)
José D'Abruzzo Pereira, João R. Campos, Marco Vieira
Machine Learning to Combine Static Analysis Alerts with Software Metrics to Detect Security Vulnerabilities: An Empirical Study. EDCC (2021)
Matheus Torquato, Marco Vieira
VM Migration Scheduling as Moving Target Defense against Memory DoS Attacks: An Empirical Study. ISCC (2021)
Lucas Santos, Benedito Cunha, Iure Fé, Marco Vieira, Francisco Airton Pereira da Silva
Data Processing on Edge and Cloud: A Performability Evaluation and Sensitivity Analysis. J. Netw. Syst. Manag. 29 (3) (2021)
Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa, Marco Vieira
An Empirical Study On Software Metrics and Machine Learning to Identify Untrustworthy Code. EDCC (2021)
José D'Abruzzo Pereira, Naghmeh Ramezani Ivaki, Marco Vieira
Characterizing Buffer Overflow Vulnerabilities in Large C/C++ Projects. IEEE Access 9 (2021)
Matheus Torquato, Paulo Maciel, Marco Vieira
PyMTDEvaluator: A Tool for Time-Based Moving Target Defense Evaluation: Tool description paper. ISSRE (2021)
Matheus Torquato, Paulo Romero Martins Maciel, Marco Vieira
Analysis of VM migration scheduling as moving target defense against insider attacks. SAC (2021)
Fernando Antônio Aires Lins, Marco Vieira
Security Requirements and Solutions for IoT Gateways: A Comprehensive Study. IEEE Internet Things J. 8 (11) (2021)
José D'Abruzzo Pereira, João Henggeler Antunes, Marco Vieira
On Building a Vulnerability Dataset with Static Information from the Source Code. LADC (2021)
Charles F. Gonçalves, Daniel S. Menasché, Alberto Avritzer, Nuno Antunes, Marco Vieira
A Model-Based Approach to Anomaly Detection Trading Detection Time and False Alarm Rate. CoRR (2020)
José D'Abruzzo Pereira, Rui Silva, Nuno Antunes, Jorge Luiz Machado da Silva, Breno de França, Regina Moraes, Marco Vieira
A platform to enable self-adaptive cloud applications using trustworthiness properties. SEAMS@ICSE (2020)
Charles F. Gonçalves, Daniel S. Menasché, Alberto Avritzer, Nuno Antunes, Marco Vieira
A Model-Based Approach to Anomaly Detection Trading Detection Time and False Alarm Rate. MedComNet (2020)
Matheus Torquato, Charles F. Gonçalves, Marco Vieira
An Availability Model for DSS and OLTP Applications in Virtualized Environments. EDCC (2020)
Rui André Oliveira, Miquel Martínez Raga, Nuno Laranjeiro, Marco Vieira
An approach for benchmarking the security of web service frameworks. Future Gener. Comput. Syst. 110 (2020)
Matheus Torquato, Paulo R. M. Maciel, Marco Vieira
Availability and reliability modeling of VM migration as rejuvenation on a system under varying workload. Softw. Qual. J. 28 (1) (2020)
Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa, Marco Vieira
Vulnerable Code Detection Using Software Metrics and Machine Learning. IEEE Access 8 (2020)
Matheus Torquato, Marco Vieira
Moving target defense in cloud computing: A systematic mapping study. Comput. Secur. 92 (2020)
Matheus Torquato, Paulo R. M. Maciel, Marco Vieira
Security and Availability Modeling of VM Migration as Moving Target Defense. PRDC (2020)
José D'Abruzzo Pereira, Marco Vieira
On the Use of Open-Source C/C++ Static Analysis Tools in Large Projects. EDCC (2020)
João R. Campos, Ernesto Costa, Marco Vieira
On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study. SAFECOMP (2020)
Alexandre Melo Braga, Ricardo Dahab, Nuno Antunes, Nuno Laranjeiro, Marco Vieira
Understanding How to Use Static Analysis Tools for Detecting Cryptography Misuse in Software. IEEE Trans. Reliab. 68 (4) (2019)
Matheus Torquato, Lucas Torquato, Paulo R. M. Maciel, Marco Vieira
IaaS Cloud Availability Planning using Models and Genetic Algorithms. LADC (2019)
Matheus Torquato, Marco Vieira
Towards Models for Availability and Security Evaluation of Cloud Computing with Moving Target Defense. CoRR (2019)
Cristiano Inácio Lemes, Vincent Naessens, Marco Vieira
Trustworthiness Assessment of Web Applications: Approach and Experimental Study using Input Validation Coding Practices. ISSRE (2019)
Paulo Jorge Costa Nunes, Ibéria Medeiros, José Fonseca, Nuno Neves, Miguel Correia, Marco Vieira
An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios. Computing 101 (2) (2019)
Sandro Fiore, Donatello Elia, Carlos Eduardo S. Pires, Demetrio Gomes Mestre, Cinzia Cappiello, Monica Vitali, Nazareno Andrade, Tarciso Braz, Daniele Lezzi, Regina Moraes, Tânia Basso, Nádia P. Kozievitch, Keiko Verônica Ono Fonseca, Nuno Antunes, Marco Vieira, Cosimo Palazzo, Ignacio Blanquer, Wagner Meira Jr., Giovanni Aloisio
An Integrated Big and Fast Data Analytics Platform for Smart Urban Transportation Management. IEEE Access 7 (2019)
Andy S. Alic, Jussara M. Almeida, Giovanni Aloisio, Nazareno Andrade, Nuno Antunes, Danilo Ardagna, Rosa M. Badia, Tânia Basso, Ignacio Blanquer, Tarciso Braz, Andrey Brito, Donatello Elia, Sandro Fiore, Dorgival O. Guedes, Marco Lattuada, Daniele Lezzi, Matheus Maciel, Wagner Meira Jr., Demetrio Gomes Mestre, Regina Moraes, Fábio Morais, Carlos Eduardo S. Pires, Nádia P. Kozievitch, Walter dos Santos, Paulo Silva, Marco Vieira
BIGSEA: A Big Data analytics platform for public transportation information. Future Gener. Comput. Syst. 96 (2019)
José D'Abruzzo Pereira, João R. Campos, Marco Vieira
An Exploratory Study on Machine Learning to Combine Security Vulnerability Alerts from Static Analysis Tools. LADC (2019)
Matheus Torquato, Paulo R. M. Maciel, Marco Vieira
A Model for Availability and Security Risk Evaluation for Systems With VMM Rejuvenation Enabled by VM Migration Scheduling. IEEE Access 7 (2019)
Matheus Torquato, Erico A. C. Guedes, Paulo R. M. Maciel, Marco Vieira
A Hierarchical Model for Virtualized Data Center Availability Evaluation. EDCC (2019)
Matheus Torquato, Marco Vieira
An Experimental Study of Software Aging and Rejuvenation in Dockerd. EDCC (2019)
João R. Campos, Ernesto Costa, Marco Vieira
Improving Failure Prediction by Ensembling the Decisions of Machine Learning Models: A Case Study. IEEE Access 7 (2019)
João R. Campos, Marco Vieira, Ernesto Costa
Propheticus: Machine Learning Framework for the Development of Predictive Models for Reliable and Secure Software. ISSRE (2019)
Karima Velasquez, David Perez Abreu, Marcio R. M. Assis, Carlos R. Senna, Diego F. Aranha, Luiz F. Bittencourt, Nuno Laranjeiro, Marília Curado, Marco Vieira, Edmundo Monteiro, Edmundo Roberto Mauro Madeira
Fog orchestration for the Internet of Everything: state-of-the-art and research challenges. J. Internet Serv. Appl. 9 (1) (2018)
Matheus Torquato, Marco Vieira
Interacting SRN Models for Availability Evaluation of VM Migration as Rejuvenation on a System under Varying Workload. ISSRE Workshops (2018)
Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa, Marco Vieira
An Approach for Trustworthiness Benchmarking Using Software Metrics. PRDC (2018)
Charles F. Gonçalves, Nuno Antunes, Marco Vieira
Evaluating the Applicability of Robustness Testing in Virtualized Environments. LADC (2018)
Paulo Jorge Costa Nunes, Iberia Medeiros, José Fonseca, Nuno Neves, Miguel Correia, Marco Vieira
Benchmarking Static Analysis Tools for Web Security. IEEE Trans. Reliab. 67 (3) (2018)
Andy S. Alic, Jussara M. Almeida, Wagner Meira Jr., Dorgival O. Guedes, Walter dos Santos, Ignacio Blanquer, Sandro Fiore, Nádia P. Kozievitch, Nazareno Andrade, Tarciso Braz, Andrey Brito, Carlos Eduardo S. Pires, Nuno Antunes, Marco Vieira, Paulo Silva, Danilo Ardagna, Keiko V. O. Fonseca, Daniele Lezzi, Donatello Elia, Regina Moraes, Tânia Basso, Wilian H. Cavassin
GIS and Data: Three applications to enhance Mobility. GEOINFO (2018)
João R. Campos, Marco Vieira, Ernesto Costa
Exploratory Study of Machine Learning Techniques for Supporting Failure Prediction. EDCC (2018)
Joaquim Mendes, Nuno Laranjeiro, Marco Vieira
Toward characterizing HTML defects on the Web. Softw. Pract. Exp. 48 (3) (2018)
Areej Algaith, Paulo Jorge Costa Nunes, José Fonseca, Ilir Gashi, Marco Vieira
Finding SQL Injection and Cross Site Scripting Vulnerabilities with Diverse Static Analysis Tools. EDCC (2018)
Paulo Silva, Tânia Basso, Nuno Antunes, Regina Moraes, Marco Vieira, Paulo Simões, Edmundo Monteiro
A Europe-Brazil Context for Secure Data Analytics in the Cloud. IEEE Secur. Priv. 16 (6) (2018)
João R. Campos, Marco Vieira, Ernesto Costa
Propheticus: Generalizable Machine Learning Framework. CoRR (2018)
Marco Vieira, Katinka Wolter
Introduction to the special issue on software reliability engineering. J. Syst. Softw. 137 (2018)
Douglas Rodrigues, Rayner de Melo Pires, Emerson Alberto Marconato, Cristiana Areias, João Carlos Cunha, Kalinka R. L. J. Castelo Branco, Marco Vieira
Service-Oriented Architectures for a Flexible and Safe Use of Unmanned Aerial Vehicles. IEEE Intell. Transp. Syst. Mag. 9 (1) (2017)
Ivano Alessandro Elia, Nuno Antunes, Nuno Laranjeiro, Marco Vieira
An Analysis of OpenStack Vulnerabilities. EDCC (2017)
Bruno Martins, Nuno Laranjeiro, Marco Vieira
INTENSE: INteroperability TEstiNg as a SErvice. ICWS (2017)
Paulo Jorge Costa Nunes, Iberia Medeiros, José Fonseca, Nuno Ferreira Neves, Miguel Correia, Marco Vieira
On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study. EDCC (2017)
Nuno Antunes, Marco Vieira
Designing vulnerability testing tools for web services: approach, components, and tools. Int. J. Inf. Sec. 16 (4) (2017)
Nuno Silva, Marco Vieira, João Carlos Cunha, Ram Chillarege
Evaluating a Corpus of Root Causes and Measures to Guide RCA Processes in Critical Software. HASE (2017)
Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira
Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems. IEEE Trans. Dependable Secur. Comput. 14 (1) (2017)
Nuno Silva, João Carlos Cunha, Marco Vieira
A field study on root cause analysis of defects in space software. Reliab. Eng. Syst. Saf. 158 (2017)
Stefano Russo, Marco Vieira
Editorial: Security and Dependability of Cloud Systems and Services. IEEE Trans. Serv. Comput. 10 (5) (2017)
Stefano Russo, Marco Vieira
Editorial: Security and Dependability of Cloud Systems and Services - Part II. IEEE Trans. Serv. Comput. 10 (6) (2017)
Areej Algaith, Ivano Alessandro Elia, Ilir Gashi, Marco Vieira
Diversity with intrusion detection systems: An empirical study. NCA (2017)
Alexandre Melo Braga, Ricardo Dahab, Nuno Antunes, Nuno Laranjeiro, Marco Vieira
Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study. ISSRE (2017)
Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa, Marco Vieira
Software Metrics as Indicators of Security Vulnerabilities. ISSRE (2017)
Tânia Basso, Regina Moraes, Nuno Antunes, Marco Vieira, Walter Santos, Wagner Meira Jr.
PRIVAaaS: privacy approach for a distributed cloud-based data analytics platforms. CCGrid (2017)
Aleksandar Milenkoski, K. R. Jayaram, Nuno Antunes, Marco Vieira, Samuel Kounev
Quantifying the Attack Detection Accuracy of Intrusion Detection Systems in Virtualized Environments. ISSRE (2016)
Nuno Silva, Marco Vieira
Software for embedded systems: a quality assessment based on improved ODC taxonomy. SAC (2016)
Nuno Laranjeiro, Naghmeh Ramezani Ivaki, Marco Vieira
The 2016 IEEE Services Emerging Technology Track on Dependable and Secure Services (DSS 2016). SERVICES (2016)
Daniel Vecchiato, Marco Vieira, Eliane Martins
The Perils of Android Security Configuration. Computer 49 (6) (2016)
Daniel Vecchiato, Marco Vieira, Eliane Martins
Risk Assessment of User-Defined Security Configurations for Android Devices. ISSRE (2016)
Nuno Silva, Marco Vieira
Adapting the Orthogonal Defect Classification Taxonomy to the Space Domain. SAFECOMP (2016)
Ricardo Jorge Santos, Marco Vieira, Jorge Bernardino
XSX: Lightweight Encryption for Data Warehousing Environments. DaWaK (2016)
Aleksandar Milenkoski, Bryan D. Payne, Nuno Antunes, Marco Vieira, Samuel Kounev, Alberto Avritzer, Matthias Luft
Evaluation of Intrusion Detection Systems in Virtualized Environments Using Attack Injection. RAID (2015)
Nuno Antunes, Marco Vieira
On the Metrics for Benchmarking Vulnerability Detection Tools. DSN (2015)
Rui André Oliveira, Nuno Laranjeiro, Marco Vieira
Characterizing the performance of web service frameworks under security attacks. SAC (2015)
Ivano Irrera, Marco Vieira, João Durães
Adaptive Failure Prediction for Computer Systems: A Framework and a Case Study. HASE (2015)

Marco Vieira.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marco Vieira