default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarco Vieira
Marco Paulo Amorim Vieira
Person information
- affiliation: University of Coimbra, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j54]Paulo Jorge Costa Nunes, José Fonseca
, Marco Vieira:
Blending Static and Dynamic Analysis for Web Application Vulnerability Detection: Methodology and Case Study. IEEE Access 13: 3139-3153 (2025)- [j53]Matheus Torquato, Paulo R. M. Maciel, Marco Vieira:
Evaluation of time-based virtual machine migration as moving target defense against host-based attacks. J. Syst. Softw. 219: 112222 (2025) - 2024
- [c200]Renato Andrade, Nuno Laranjeiro, Marco Vieira:
BugHub: A Large Scale Issue Report Dataset. EDCC 2024: 9-16 - [c199]João Rafael Henriques, José D'Abruzzo Pereira, Marco Vieira:
Mining Vulnerability and Code Repositories to Study Software Security. LADC 2024: 11-16 - [c198]Gustavo Callou, Marco Vieira:
Availability and Performance Analysis of Cloud Services. LADC 2024: 262-271 - [i9]Arastoo Zibaeirad, Marco Vieira:
VulnLLMEval: A Framework for Evaluating Large Language Models in Software Vulnerability Detection and Patching. CoRR abs/2409.10756 (2024) - [i8]Marco Vieira:
Engineering Trustworthy Software: A Mission for LLMs. CoRR abs/2411.17981 (2024) - 2023
- [j52]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: 70716-70740 (2023) - [j51]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): 67 (2023) - [j50]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: 111621 (2023) - [j49]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): 3520-3534 (2023) - [c197]Jessica Castro, Nuno Laranjeiro, Marco Vieira:
Techniques and Tools for Runtime Security Monitoring and Analysis of Microservices. DSN-S 2023: 191-193 - [c196]Charles F. Gonçalves, Nuno Antunes, Marco Vieira:
Intrusion Injection for Virtualized Systems: Concepts and Approach. DSN 2023: 417-430 - [c195]Jessica Castro, Nuno Laranjeiro, Marco Vieira:
Exploring Logic Scoring of Preference for DoS Attack Detection in Microservice Applications. ICWS 2023: 573-584 - [c194]José D'Abruzzo Pereira, Marco Vieira:
An Approach to Characterize the Security of Open-Source Functions using LSP. ISSRE 2023: 137-147 - [c193]João R. Campos, Ernesto Costa, Marco Vieira:
Online Failure Prediction Through Fault Injection and Machine Learning: Methodology and Case Study. ISSRE 2023: 451-461 - [c192]Jessica Castro, Nuno Laranjeiro, Marco Vieira:
Generating Realistic Attack Data for Microservices: Framework and Case Study. LADC 2023: 60-69 - [c191]João R. Campos, Rodrigo Machado, Marco Vieira:
Leveraging Time Series Autocorrelation Through Numerical Differentiation for Improving Failure Prediction. LADC 2023: 70-79 - [c190]Iury Araújo, Nuno Antunes, Marco Vieira:
Evaluation of Machine Learning for Intrusion Detection in Microservice Applications. LADC 2023: 126-135 - [c189]Iury Araújo, Nuno Antunes, Marco Vieira:
Intrusion Detection and Tolerance for Microservice Applications. LADC 2023: 176-181 - [c188]Bukhtawar Zamir, João R. Campos, Marco Vieira:
Advanced Machine Learning for Runtime Data Generation. LADC 2023: 182-187 - [c187]André Almeida, Thaís Batista, Everton Cavalcante, Flávia Coimbra Delicato, Rebeca Campos Motta, Marco Vieira:
Middleware for Digital Twins: A Systematic Mapping Study. Midd4DT@Middleware 2023: 19-24 - [c186]Helber Silva, Marco Vieira, Augusto Neto:
Are safety-critical systems really survivable to attacks? SysCon 2023: 1-8 - [c185]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: 1-6 - [e7]Marco Vieira, Valeria Cardellini, Antinisca Di Marco, Petr Tuma:
Proceedings of the 2023 ACM/SPEC International Conference on Performance Engineering, ICPE 2023, Coimbra, Portugal, April 15-19, 2023. ACM 2023 [contents] - [e6]Marco Vieira, Valeria Cardellini, Antinisca Di Marco, Petr Tuma:
Companion of the 2023 ACM/SPEC International Conference on Performance Engineering, ICPE 2023, Coimbra, Portugal, April 15-19, 2023. ACM 2023 [contents] - 2022
- [j48]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): 3 (2022) - [j47]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): 18-24 (2022) - [j46]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): 2151-2164 (2022) - [c184]João R. Campos, Ernesto Costa, Marco Vieira:
A Dataset of Linux Failure Data for Dependability Evaluation and Improvement. DSN Workshops 2022: 88-95 - [c183]João R. Campos, Ernesto Costa, Marco Vieira:
On the Applicability of Machine Learning-based Online Failure Prediction for Modern Complex Systems. EDCC 2022: 49-56 - [c182]Matheus Torquato, Paulo Romero Martins Maciel, Marco Vieira:
Software Rejuvenation Meets Moving Target Defense: Modeling of Time-Based Virtual Machine Migration Approach. ISSRE 2022: 205-216 - [c181]José D'Abruzzo Pereira, Nuno Lourenço, Marco Vieira:
On the Use of Deep Graph CNN to Detect Vulnerable C Functions. LADC 2022: 45-50 - [c180]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: 67-72 - [c179]Jessica Castro, Nuno Laranjeiro, Marco Vieira:
Detecting DoS Attacks in Microservice Applications: Approach and Case Study. LADC 2022: 73-78 - [c178]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: 89-90 - [c177]José D'Abruzzo Pereira, João Henggeler Antunes, Marco Vieira:
A Software Vulnerability Dataset of Large Open Source C/C++ Projects. PRDC 2022: 152-163 - [i7]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 abs/2206.12492 (2022) - 2021
- [j45]José D'Abruzzo Pereira, Naghmeh Ramezani Ivaki, Marco Vieira:
Characterizing Buffer Overflow Vulnerabilities in Large C/C++ Projects. IEEE Access 9: 142879-142892 (2021) - [j44]Fernando Antônio Aires Lins, Marco Vieira:
Security Requirements and Solutions for IoT Gateways: A Comprehensive Study. IEEE Internet Things J. 8(11): 8667-8679 (2021) - [j43]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): 27 (2021) - [c176]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: 1-8 - [c175]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: 87-94 - [c174]Matheus Torquato, Marco Vieira:
VM Migration Scheduling as Moving Target Defense against Memory DoS Attacks: An Empirical Study. ISCC 2021: 1-6 - [c173]Matheus Torquato, Paulo Maciel, Marco Vieira:
PyMTDEvaluator: A Tool for Time-Based Moving Target Defense Evaluation: Tool description paper. ISSRE 2021: 357-366 - [c172]José D'Abruzzo Pereira, João Henggeler Antunes, Marco Vieira:
On Building a Vulnerability Dataset with Static Information from the Source Code. LADC 2021: 1-2 - [c171]Matheus Torquato, Paulo Romero Martins Maciel, Marco Vieira:
Analysis of VM migration scheduling as moving target defense against insider attacks. SAC 2021: 194-202 - 2020
- [j42]Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa, Marco Vieira:
Vulnerable Code Detection Using Software Metrics and Machine Learning. IEEE Access 8: 219174-219198 (2020) - [j41]Matheus Torquato, Marco Vieira:
Moving target defense in cloud computing: A systematic mapping study. Comput. Secur. 92: 101742 (2020) - [j40]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: 833-848 (2020) - [j39]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): 59-83 (2020) - [c170]Matheus Torquato, Charles F. Gonçalves, Marco Vieira:
An Availability Model for DSS and OLTP Applications in Virtualized Environments. EDCC 2020: 85-92 - [c169]José D'Abruzzo Pereira, Marco Vieira:
On the Use of Open-Source C/C++ Static Analysis Tools in Large Projects. EDCC 2020: 97-102 - [c168]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: 71-77 - [c167]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: 1-8 - [c166]Matheus Torquato, Paulo R. M. Maciel, Marco Vieira:
Security and Availability Modeling of VM Migration as Moving Target Defense. PRDC 2020: 50-59 - [c165]João R. Campos, Ernesto Costa, Marco Vieira:
On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study. SAFECOMP 2020: 419-433 - [e5]Marco Vieira, Henrique Madeira, Nuno Antunes, Zheng Zheng:
31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020. IEEE 2020, ISBN 978-1-7281-9870-5 [contents] - [i6]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 abs/2006.08811 (2020)
2010 – 2019
- 2019
- [j38]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: 117652-117677 (2019) - [j37]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: 138315-138326 (2019) - [j36]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: 177661-177674 (2019) - [j35]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): 161-185 (2019) - [j34]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: 243-269 (2019) - [j33]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): 1384-1403 (2019) - [c164]Matheus Torquato, Marco Vieira:
An Experimental Study of Software Aging and Rejuvenation in Dockerd. EDCC 2019: 1-6 - [c163]Matheus Torquato, Erico A. C. Guedes, Paulo R. M. Maciel, Marco Vieira:
A Hierarchical Model for Virtualized Data Center Availability Evaluation. EDCC 2019: 103-110 - [c162]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: 173-182 - [c161]Cristiano Inácio Lemes, Vincent Naessens, Marco Vieira:
Trustworthiness Assessment of Web Applications: Approach and Experimental Study using Input Validation Coding Practices. ISSRE 2019: 435-445 - [c160]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: 1-10 - [c159]Matheus Torquato, Lucas Torquato, Paulo R. M. Maciel, Marco Vieira:
IaaS Cloud Availability Planning using Models and Genetic Algorithms. LADC 2019: 1-10 - [i5]Matheus Torquato, Marco Vieira:
Towards Models for Availability and Security Evaluation of Cloud Computing with Moving Target Defense. CoRR abs/1909.01392 (2019) - 2018
- [j32]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): 52-60 (2018) - [j31]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): 14:1-14:23 (2018) - [j30]Marco Vieira, Katinka Wolter:
Introduction to the special issue on software reliability engineering. J. Syst. Softw. 137: 396-398 (2018) - [j29]Joaquim Mendes, Nuno Laranjeiro, Marco Vieira:
Toward characterizing HTML defects on the Web. Softw. Pract. Exp. 48(3): 750-757 (2018) - [j28]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): 1159-1175 (2018) - [c158]João R. Campos, Marco Vieira, Ernesto Costa:
Exploratory Study of Machine Learning Techniques for Supporting Failure Prediction. EDCC 2018: 9-16 - [c157]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: 57-64 - [c156]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: 1-12 - [c155]Matheus Torquato, Marco Vieira:
Interacting SRN Models for Availability Evaluation of VM Migration as Rejuvenation on a System under Varying Workload. ISSRE Workshops 2018: 300-307 - [c154]Charles F. Gonçalves, Nuno Antunes, Marco Vieira:
Evaluating the Applicability of Robustness Testing in Virtualized Environments. LADC 2018: 161-166 - [c153]Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa, Marco Vieira:
An Approach for Trustworthiness Benchmarking Using Software Metrics. PRDC 2018: 84-93 - [e4]Antonia Bertolino, Vasco Amaral, Paulo Rupino, Marco Vieira:
11th International Conference on the Quality of Information and Communications Technology, QUATIC 2018, Coimbra, Portugal, September 4-7, 2018. IEEE Computer Society 2018, ISBN 978-1-5386-5841-3 [contents] - [i4]João R. Campos, Marco Vieira, Ernesto Costa:
Propheticus: Generalizable Machine Learning Framework. CoRR abs/1809.01898 (2018) - 2017
- [j27]Nuno Antunes, Marco Vieira:
Designing vulnerability testing tools for web services: approach, components, and tools. Int. J. Inf. Sec. 16(4): 435-457 (2017) - [j26]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): 97-109 (2017) - [j25]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: 213-229 (2017) - [j24]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): 50-64 (2017) - [j23]Stefano Russo, Marco Vieira:
Editorial: Security and Dependability of Cloud Systems and Services. IEEE Trans. Serv. Comput. 10(5): 673-674 (2017) - [j22]Stefano Russo, Marco Vieira:
Editorial: Security and Dependability of Cloud Systems and Services - Part II. IEEE Trans. Serv. Comput. 10(6): 927-928 (2017) - [c152]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: 1108-1116 - [c151]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: 121-128 - [c150]Ivano Alessandro Elia, Nuno Antunes, Nuno Laranjeiro, Marco Vieira:
An Analysis of OpenStack Vulnerabilities. EDCC 2017: 129-134 - [c149]Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Nunes Da Costa, Marco Paulo Amorim Vieira:
Towards an Approach for Trustworthiness Assessment of Software as a Service. EDGE 2017: 220-223 - [c148]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: 17-24 - [c147]Bruno Martins, Nuno Laranjeiro, Marco Vieira:
INTENSE: INteroperability TEstiNg as a SErvice. ICWS 2017: 792-799 - [c146]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: 170-181 - [c145]Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa, Marco Vieira:
Software Metrics as Indicators of Security Vulnerabilities. ISSRE 2017: 216-227 - [c144]Areej Algaith, Ivano Alessandro Elia, Ilir Gashi, Marco Vieira:
Diversity with intrusion detection systems: An empirical study. NCA 2017: 19-23 - 2016
- [j21]Daniel Vecchiato, Marco Vieira, Eliane Martins:
The Perils of Android Security Configuration. Computer 49(6): 15-21 (2016) - [c143]Ricardo Jorge Santos, Marco Vieira, Jorge Bernardino:
XSX: Lightweight Encryption for Data Warehousing Environments. DaWaK 2016: 281-295 - [c142]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: 276-286 - [c141]Daniel Vecchiato, Marco Vieira, Eliane Martins:
Risk Assessment of User-Defined Security Configurations for Android Devices. ISSRE 2016: 467-477 - [c140]Nuno Silva, Marco Vieira:
Software for embedded systems: a quality assessment based on improved ODC taxonomy. SAC 2016: 1780-1783 - [c139]Nuno Silva, Marco Vieira:
Adapting the Orthogonal Defect Classification Taxonomy to the Space Domain. SAFECOMP 2016: 296-308 - [c138]Nuno Laranjeiro, Naghmeh Ramezani Ivaki, Marco Vieira:
The 2016 IEEE Services Emerging Technology Track on Dependable and Secure Services (DSS 2016). SERVICES 2016: 47 - 2015
- [j20]Aleksandar Milenkoski, Marco Vieira, Samuel Kounev, Alberto Avritzer, Bryan D. Payne:
Evaluating Computer Intrusion Detection Systems: A Survey of Common Practices. ACM Comput. Surv. 48(1): 12:1-12:41 (2015) - [j19]João Ricardo Lourenço, Bruno Cabral, Paulo Carreiro, Marco Vieira, Jorge Bernardino:
Choosing the right NoSQL database for the job: a quality attribute evaluation. J. Big Data 2: 18 (2015) - [j18]Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Marco Vieira, Henrique Madeira:
A benchmarking process to assess software requirements documentation for space applications. J. Syst. Softw. 100: 103-116 (2015) - [j17]Rui André Oliveira, Nuno Laranjeiro, Marco Vieira:
Assessing the security of web service frameworks against Denial of Service attacks. J. Syst. Softw. 109: 18-31 (2015) - [j16]Ivano Alessandro Elia, Nuno Laranjeiro, Marco Vieira:
A Practical Approach Towards Automatic Testing of Web Services Interoperability. Int. J. Web Serv. Res. 12(3): 78-103 (2015) - [j15]Nuno Antunes, Marco Vieira:
Assessing and Comparing Vulnerability Detection Tools for Web Services: Benchmarking Approach and Examples. IEEE Trans. Serv. Comput. 8(2): 269-283 (2015) - [c137]Alan Braz, Cecília Mary Fischer Rubira, Marco Vieira:
Development of Complex Software with Agile Method. AGILE 2015: 97-101 - [c136]João Ricardo Lourenço, Veronika Abramova, Bruno Cabral, Jorge Bernardino, Paulo Carreiro, Marco Vieira:
No SQL in Practice: A Write-Heavy Enterprise Application. BigData Congress 2015: 584-591 - [c135]Nuno Silva, Marco Vieira, Dario Ricci, Domenico Cotroneo:
Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues. DSN Workshops 2015: 63-68 - [c134]Ivano Irrera, Marco Vieira:
Towards Assessing Representativeness of Fault Injection-Generated Failure Data for Online Failure Prediction. DSN Workshops 2015: 75-80 - [c133]Cristiana Areias, João Carlos Cunha, Marco Vieira:
Studying the Propagation of Failures in SOAs. DSN Workshops 2015: 81-86 - [c132]Ivano Alessandro Elia, Nuno Laranjeiro, Marco Vieira:
Test-Based Interoperability Certification for Web Services. DSN 2015: 196-206 - [c131]Paulo Jorge Costa Nunes, José Fonseca, Marco Vieira:
phpSAFE: A Security Analysis Tool for OOP Web Application Plugins. DSN 2015: 299-306 - [c130]Nuno Antunes, Marco Vieira:
On the Metrics for Benchmarking Vulnerability Detection Tools. DSN 2015: 505-516 - [c129]Ivano Irrera, Marco Vieira, João Durães:
Adaptive Failure Prediction for Computer Systems: A Framework and a Case Study. HASE 2015: 142-149 - [c128]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: 471-492 - [c127]Tânia Basso, Regina Moraes, Mário Jino, Marco Vieira:
Requirements, design and evaluation of a privacy reference architecture for web applications and services. SAC 2015: 1425-1432 - [c126]Rui André Oliveira, Nuno Laranjeiro, Marco Vieira:
Characterizing the performance of web service frameworks under security attacks. SAC 2015: 1711-1718 - [c125]Daniel Vecchiato, Marco Vieira, Eliane Martins:
A security configuration assessment for android devices. SAC 2015: 2299-2304 - [c124]Nuno Laranjeiro, Pedro Furtado, Marco Vieira:
IEEE Services Visionary Track on Dependable and Secure Services (DSS 2015). SERVICES 2015: 302 - [c123]João Ricardo Lourenço, Veronika Abramova, Marco Vieira, Bruno Cabral, Jorge Bernardino:
NoSQL Databases: A Software Engineering Perspective. WorldCIST (1) 2015: 741-750 - 2014
- [j14]Nuno Antunes, Marco Vieira:
Penetration Testing for Web Services. Computer 47(2): 30-36 (2014) - [j13]Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira:
Testing the robustness of controllers for self-adaptive systems. J. Braz. Comput. Soc. 20(1): 1:1-1:14 (2014) - [j12]Ricardo Jorge Santos, Jorge Bernardino, Marco Vieira:
Approaches and Challenges in Database Intrusion Detection. SIGMOD Rec. 43(3): 36-47 (2014) - [j11]José Fonseca, Nuno Seixas, Marco Vieira, Henrique Madeira:
Analysis of Field Data on Web Security Vulnerabilities. IEEE Trans. Dependable Secur. Comput. 11(2): 89-100 (2014) - [j10]José Fonseca, Marco Vieira, Henrique Madeira:
Evaluation of Web Security Mechanisms Using Vulnerability & Attack Injection. IEEE Trans. Dependable Secur. Comput. 11(5): 440-453 (2014) - [j9]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
A Technique for Deploying Robust Web Services. IEEE Trans. Serv. Comput. 7(1): 68-81 (2014) - [c122]Ivano Alessandro Elia, Nuno Laranjeiro, Marco Vieira:
A Field Perspective on the Interoperability of Web Services. IEEE SCC 2014: 75-82 - [c121]Ivano Alessandro Elia, Nuno Laranjeiro, Marco Vieira:
Understanding Interoperability Issues of Web Service Frameworks. DSN 2014: 323-330 - [c120]Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira:
Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (Short Paper). EDCC 2014: 194-197 - [c119]Ivano Irrera, João Durães, Marco Vieira:
On the Need for Training Failure Prediction Algorithms in Evolving Software Systems. HASE 2014: 216-223 - [c118]Ivano Alessandro Elia, Nuno Laranjeiro, Marco Vieira:
ITWS: An Extensible Tool for Interoperability Testing of Web Services. ICWS 2014: 409-416 - [c117]Aleksandar Milenkoski, Bryan D. Payne, Nuno Antunes, Marco Vieira, Samuel Kounev:
Experience Report: An Analysis of Hypercall Handler Vulnerabilities. ISSRE 2014: 100-111 - [c116]Nuno Silva, Marco Vieira:
Experience Report: Orthogonal Classification of Safety Critical Issues. ISSRE 2014: 156-166 - [c115]Nuno Silva, Marco Vieira:
Towards Making Safety-Critical Systems Safer: Learning from Mistakes. ISSRE Workshops 2014: 162-167 - [c114]Luis Eduardo Santos, Marília Curado, Marco Vieira:
A Research Agenda for Benchmarking the Resilience of Software Defined Networks. ISSRE Workshops 2014: 168-173 - [c113]Ivano Irrera, Marco Vieira:
A Practical Approach for Generating Failure Data for Assessing and Comparing Failure Prediction Algorithms. PRDC 2014: 86-95 - [c112]Javier Cámara, Pedro Correia, Rogério de Lemos, Marco Vieira:
Empirical resilience evaluation of an architecture-based self-adaptive software system. QoSA 2014: 63-72 - [c111]Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira:
Robustness evaluation of the rainbow framework for self-adaptation. SAC 2014: 376-383 - [c110]Nuno Laranjeiro, Pedro Furtado, Marco Vieira:
IEEE International Workshop on Dependable and Secure Services (DSS 2014). SERVICES 2014: 198-199 - [c109]Jose Carlos Coelho Martins da Fonseca, Marco Paulo Amorim Vieira:
A Practical Experience on the Impact of Plugins in Web Security. SRDS 2014: 21-30 - [e3]István Majzik, Marco Vieira:
Software Engineering for Resilient Systems - 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings. Lecture Notes in Computer Science 8785, Springer 2014, ISBN 978-3-319-12240-3 [contents] - [i3]Aleksandar Milenkoski, Marco Vieira, Bryan D. Payne, Nuno Antunes, Samuel Kounev:
Technical Information on Vulnerabilities of Hypercall Handlers. CoRR abs/1410.1158 (2014) - [i2]Aleksandar Milenkoski, Samuel Kounev, Alberto Avritzer, Nuno Antunes, Marco Vieira:
On Benchmarking Intrusion Detection Systems in Virtualized Environments. CoRR abs/1410.1160 (2014) - 2013
- [j8]Javier Cámara, Rogério de Lemos, Marco Vieira, Raquel Almeida, Rafael Ventura:
Architecture-based resilience evaluation for self-adaptive systems. Computing 95(8): 689-722 (2013) - [c108]Nuno Antunes, Marco Vieira:
SOA-Scanner: An Integrated Tool to Detect Vulnerabilities in Service-Based Infrastructures. IEEE SCC 2013: 280-287 - [c107]Ricardo Jorge Santos, Deolinda M. L. D. Rasteiro, Jorge Bernardino, Marco Vieira:
A Specific Encryption Solution for Data Warehouses. DASFAA (2) 2013: 84-98 - [c106]Tânia Basso, Nuno Antunes, Regina Moraes, Marco Vieira:
An XML-Based Policy Model for Access Control in Web Applications. DEXA (2) 2013: 274-288 - [c105]Raquel Almeida, Afonso Araújo Neto, Marco Vieira:
SCoRe: An across-the-board metric for computer systems resilience benchmarking. DSN Workshops 2013: 1-8 - [c104]Naghmeh Ramezani Ivaki, Nuno Laranjeiro, Marco Vieira:
Towards evaluating the impact of data quality on service applications. DSN Workshops 2013: 1-7 - [c103]Nuno Silva, Ricardo Barbosa, João Carlos Cunha, Marco Vieira:
A view on the past and future of fault injection. DSN 2013: 1-2 - [c102]Nuno Silva, Marco Vieira:
Certification of embedded systems: Quantitative analysis and irrefutable evidences. ISSRE (Supplemental Proceedings) 2013: 15-16 - [c101]Nuno Antunes, Francesco Brancati, Andrea Ceccarelli, Andrea Bondavalli, Marco Vieira:
A monitoring and testing framework for critical off-the-shelf applications and services. ISSRE (Supplemental Proceedings) 2013: 371-374 - [c100]Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira:
Robustness Evaluation of Controllers in Self-Adaptive Software Systems. LADC 2013: 1-10 - [c99]Ivano Irrera, Carlos Pereira, Marco Vieira:
The Time Dimension in Predicting Failures: A Case Study. LADC 2013: 86-91 - [c98]Ivano Irrera, João Durães, Henrique Madeira, Marco Vieira:
Assessing the Impact of Virtualization on the Generation of Failure Prediction Data. LADC 2013: 92-97 - [c97]Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira:
HLA Middleware Robustness and Scalability Evaluation in the Context of Satellite Simulators. PRDC 2013: 312-317 - [e2]Marco Vieira, João Carlos Cunha:
Dependable Computing - 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings. Lecture Notes in Computer Science 7869, Springer 2013, ISBN 978-3-642-38788-3 [contents] - 2012
- [j7]Nuno Antunes, Marco Vieira:
Defending against Web Application Vulnerabilities. Computer 45(2): 66-72 (2012) - [j6]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
A robustness testing approach for SOAP Web services. J. Internet Serv. Appl. 3(2): 215-232 (2012) - [c96]Rui André Oliveira, Nuno Laranjeiro, Marco Vieira:
Experimental Evaluation of Web Service Frameworks in the Presence of Security Attacks. IEEE SCC 2012: 633-640 - [c95]Ricardo Jorge Santos, Jorge Bernardino, Marco Vieira:
Leveraging 24/7 Availability and Performance for Distributed Real-Time Data Warehouses. COMPSAC 2012: 654-659 - [c94]Ricardo Jorge Santos, Jorge Bernardino, Marco Vieira:
Evaluating the Feasibility Issues of Data Confidentiality Solutions from a Data Warehousing Perspective. DaWaK 2012: 404-416 - [c93]Raquel Almeida, Marco Vieira:
Changeloads for Resilience Benchmarking of Self-Adaptive Systems: A Risk-Based Approach. EDCC 2012: 173-184 - [c92]Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira:
Applying Data Mining for Detecting Anomalies in Satellites. EDCC 2012: 212-217 - [c91]Ricardo Jorge Santos, Jorge Bernardino, Marco Vieira:
DBMS Application Layer Intrusion Detection for Data Warehouses. ISD 2012: 493-507 - [c90]Nuno Antunes, Marco Vieira:
Detecting Vulnerabilities in Service Oriented Architectures. ISSRE Workshops 2012: 134-139 - [c89]Nuno Antunes, Marco Vieira:
Evaluating and Improving Penetration Testing in Web Services. ISSRE 2012: 201-210 - [c88]Isabel Lopes Margarido, João Pascoal Faria, Raul Moreira Vidal, Marco Vieira:
Towards a Framework to Evaluate and Improve the Quality of Implementation of CMMI® Practices. PROFES 2012: 361-365 - [c87]Isabel Lopes Margarido, Raul Moreira Vidal, Marco Vieira:
Lessons Learnt in the Implementation of CMMI Maturity Level 5. QUATIC 2012: 47-56 - [c86]Raquel Almeida, Marco Vieira:
Changeloads: A Fundamental Piece on the SASO Systems Benchmarking Puzzle. SASO Workshops 2012: 93-96 - [c85]Len Wyatt, Brian Caufield, Marco Vieira, Meikel Poess:
Incorporating Recovery from Failures into a Data Integration Benchmark. TPCTC 2012: 21-33 - [c84]Ricardo Jorge Santos, Jorge Bernardino, Marco Vieira, Deolinda M. L. D. Rasteiro:
Securing Data Warehouses from Web-Based Intrusions. WISE 2012: 681-688 - [p4]João Durães, José Fonseca, Henrique Madeira, Marco Vieira:
Field Studies on Resilience: Measurements and Repositories. Resilience Assessment and Evaluation of Computing Systems 2012: 213-237 - [p3]Raul Barbosa, Johan Karlsson, Henrique Madeira, Marco Vieira:
Fault Injection. Resilience Assessment and Evaluation of Computing Systems 2012: 263-281 - [p2]Marco Vieira, Henrique Madeira, Kai Sachs, Samuel Kounev:
Resilience Benchmarking. Resilience Assessment and Evaluation of Computing Systems 2012: 283-301 - [p1]Zoltán Micskei, Henrique Madeira, Alberto Avritzer, István Majzik, Marco Vieira, Nuno Antunes:
Robustness Testing Techniques and Tools. Resilience Assessment and Evaluation of Computing Systems 2012: 323-339 - [e1]Katinka Wolter, Alberto Avritzer, Marco Vieira, Aad P. A. van Moorsel:
Resilience Assessment and Evaluation of Computing Systems. Springer 2012, ISBN 978-3-642-29031-2 [contents] - [i1]Marco Vieira, Ilir Gashi:
EDCC 2012 - Fast Abstracts & Student Forum Proceedings. CoRR abs/1204.4428 (2012) - 2011
- [j5]Afonso Araújo Neto, Marco Vieira:
Selecting Secure Web Applications Using Trustworthiness Benchmarking. Int. J. Dependable Trust. Inf. Syst. 2(2): 1-16 (2011) - [j4]Afonso Araújo Neto, Marco Vieira:
Security Gaps in Databases: A Comparison of Alternative Software Products for Web Applications Support. Int. J. Secur. Softw. Eng. 2(3): 42-62 (2011) - [c83]Afonso Araújo Neto, Marco Vieira:
Selecting Software Packages for Secure Database Installations. ARES 2011: 67-74 - [c82]Afonso Araújo Neto, Marco Vieira:
Trustworthiness Benchmarking of Web Applications Using Static Code Analysis. ARES 2011: 224-229 - [c81]Nuno Antunes, Marco Vieira:
Enhancing Penetration Testing with Attack Signatures and Interface Monitoring for the Detection of Injection Vulnerabilities in Web Services. IEEE SCC 2011: 104-111 - [c80]Rui André Oliveira, Nuno Laranjeiro, Marco Vieira:
A Composed Approach for Automatic Classification of Web Services Robustness. IEEE SCC 2011: 176-183 - [c79]Ricardo Jorge Santos, Jorge Bernardino, Marco Vieira:
24/7 Real-Time Data Warehousing: A Tool for Continuous Actionable Knowledge. COMPSAC 2011: 279-288 - [c78]Afonso Araújo Neto, Marco Vieira:
TO BEnchmark or NOT TO BEnchmark security: That is the question. DSN Workshops 2011: 182-187 - [c77]Ricardo Jorge Santos, Jorge Bernardino, Marco Vieira:
A survey on data security in data warehousing: Issues, challenges and opportunities. EUROCON 2011: 1-4 - [c76]Afonso Araújo Neto, Marco Vieira:
Towards benchmarking the trustworthiness of web applications code. EWDC 2011: 29-34 - [c75]Andrea Ceccarelli, Marco Vieira, Andrea Bondavalli:
A Testing Service for Lifelong Validation of Dynamic SOA. HASE 2011: 1-8 - [c74]Douglas Rodrigues, Rayner de Melo Pires, Júlio Cezar Estrella, Marco Vieira, Mário Corrêa, João Batista Camargo Jr., Kalinka Regina Lucas Jaquie Castelo Branco, Onofre Trindade Júnior:
Application of SOA in Safety-Critical Embedded Systems. ICHIT (2) 2011: 345-354 - [c73]Raquel Almeida, Marco Vieira:
Benchmarking the resilience of self-adaptive software systems: perspectives and challenges. SEAMS 2011: 190-195 - [c72]Ricardo Jorge Santos, Jorge Bernardino, Marco Vieira:
A data masking technique for data warehouses. IDEAS 2011: 61-69 - [c71]Andrea Ceccarelli, Marco Vieira, Andrea Bondavalli:
A Service Discovery Approach for Testing Dynamic SOAs. ISORC Workshops 2011: 133-142 - [c70]João Carlos Cunha, Sérgio Cruz, Marco Costa, Ana Rita Rodrigues, Marco Vieira:
Implementing Software Effort Estimation in a Medium-sized Company. SEW 2011: 92-96 - [c69]Marco Vieira, Henrique Madeira, Sérgio Cruz, Marco Costa, João Carlos Cunha:
Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics. SEW 2011: 112-116 - [c68]Ricardo Jorge Santos, Jorge Bernardino, Marco Vieira:
Balancing Security and Performance for Enhancing Data Privacy in Data Warehouses. TrustCom 2011: 242-249 - 2010
- [b1]Marco Vieira:
Dependability Benchmarking for OLTP Systems - A Mandatory Path. LAP Lambert Academic Publishing 2010, ISBN 978-3-8383-0702-2, pp. I-VII, 1-170 - [j3]Afonso Araújo Neto, Marco Vieira:
Benchmarking Untrustworthiness: An Alternative to Security Measurement. Int. J. Dependable Trust. Inf. Syst. 1(2): 32-54 (2010) - [c67]Raquel Almeida, Henrique Madeira, Marco Vieira:
From Performance to Resilience Benchmarking. ICDCS Workshops 2010: 286-287 - [c66]Nuno Antunes, Marco Vieira:
Benchmarking Vulnerability Detection Tools for Web Services. ICWS 2010: 203-210 - [c65]Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Nuno Silva, Marco Vieira, Henrique Madeira:
Errors on Space Software Requirements: A Field Study and Application Scenarios. ISSRE 2010: 61-70 - [c64]Ivano Alessandro Elia, José Fonseca, Marco Vieira:
Comparing SQL Injection Detection Tools Using Attack Injection: An Experimental Study. ISSRE 2010: 289-298 - [c63]José Fonseca, Marco Vieira, Henrique Madeira:
The Web Attacker Perspective - A Field Study. ISSRE 2010: 299-308 - [c62]Ivano Irrera, João Durães, Marco Vieira, Henrique Madeira:
Towards Identifying the Best Variables for Failure Prediction Using Injection of Realistic Software Faults. PRDC 2010: 3-10 - [c61]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks. PRDC 2010: 191-198 - [c60]Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Rodrigo Pastl Pontes, Marco Vieira, Henrique Madeira:
Benchmarking Software Requirements Documentation for Space Application. SAFECOMP 2010: 112-125 - [c59]Nuno Laranjeiro, Rui André Oliveira, Marco Vieira:
Applying Text Classification Algorithms in Web Services Robustness Testing. SRDS 2010: 255-264 - [c58]Raquel Almeida, Henrique Madeira, Marco Vieira:
Benchmarking the Resilience of Self-Adaptive Systems: A New Research Challenge. SRDS 2010: 348-352 - [c57]Raquel Almeida, Meikel Poess, Raghunath Othayoth Nambiar, Indira Patil, Marco Vieira:
How to Advance TPC Benchmarks with Dependability Aspects. TPCTC 2010: 57-72
2000 – 2009
- 2009
- [c56]Nuno Antunes, Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Effective Detection of SQL/XPath Injection Vulnerabilities in Web Services. IEEE SCC 2009: 260-267 - [c55]Afonso Araújo Neto, Marco Vieira:
Untrustworthiness: A trust-based security metric. CRiSIS 2009: 123-126 - [c54]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Predicting Timing Failures in Web Services. DASFAA Workshops 2009: 182-196 - [c53]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Protecting Database Centric Web Services against SQL/XPath Injection Attacks. DEXA 2009: 271-278 - [c52]José Fonseca, Marco Vieira, Henrique Madeira:
Vulnerability & attack injection for web applications. DSN 2009: 93-102 - [c51]Marco Vieira, Nuno Antunes, Henrique Madeira:
Using web security scanners to detect vulnerabilities in web services. DSN 2009: 566-571 - [c50]Marco Vieira:
Student Forum. DSN 2009: 602 - [c49]Paulo Marques, Paulo Gomes, Marco Vieira, Juan Prieto, Vicente Navarro, Mauro Pecchioli:
BIRF: Keeping Software Development under Control across the Organization. ICSEA 2009: 458-464 - [c48]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Improving Web Services Robustness. ICWS 2009: 397-404 - [c47]Nuno Seixas, José Fonseca, Marco Vieira, Henrique Madeira:
Looking at Web Security Vulnerabilities from the Programming Language Perspective: A Field Study. ISSRE 2009: 129-135 - [c46]Afonso Araújo Neto, Marco Vieira:
Benchmarking Untrustworthiness in DBMS Configurations. LADC 2009: 1-8 - [c45]Nuno Antunes, Marco Vieira:
Detecting SQL Injection Vulnerabilities in Web Services. LADC 2009: 17-24 - [c44]Afonso Araújo Neto, Marco Vieira:
Appraisals Based on Security Best Practices for Software Configurations. LADC 2009: 57-64 - [c43]Afonso Araújo Neto, Marco Vieira:
A Trust-Based Benchmark for DBMS Configurations. PRDC 2009: 143-150 - [c42]Nuno Antunes, Marco Vieira:
Comparing the Effectiveness of Penetration Testing and Static Code Analysis on the Detection of SQL Injection Vulnerabilities in Web Services. PRDC 2009: 301-306 - [c41]Marco Vieira, Henrique Madeira:
From Performance to Dependability Benchmarking: A Mandatory Path. TPCTC 2009: 67-83 - 2008
- [j2]Nuno Laranjeiro, Marco Vieira:
Deploying fault tolerant web service compositions. Comput. Syst. Sci. Eng. 23(5) (2008) - [c40]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Experimental Robustness Evaluation of JMS Middleware. IEEE SCC (1) 2008: 119-126 - [c39]Nuno Laranjeiro, Salvador Canelas, Marco Vieira:
wsrbench: An On-Line Tool for Robustness Benchmarking. IEEE SCC (2) 2008: 187-194 - [c38]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Timing Failures Detection in Web Services. APSCC 2008: 554-559 - [c37]Bruno Direito, António Dourado, Marco Vieira, Francisco Sales:
Combining Energy and Wavelet Transform for Epileptic Seizure Prediction in an Advanced Computational System. BMEI (2) 2008: 380-385 - [c36]Jorge Vieira, Marco Vieira, Marco Costa, Henrique Madeira:
Redundant Array of Inexpensive Nodes for DWS. DASFAA 2008: 580-587 - [c35]Jorge Vieira, Marco Vieira, Marco Costa, Henrique Madeira:
RAIN: Always on Data Warehousing. DASFAA 2008: 678-681 - [c34]Raquel Almeida, Jorge Vieira, Marco Vieira, Henrique Madeira, Jorge Bernardino:
Efficient Data Distribution for DWS. DaWaK 2008: 75-86 - [c33]Afonso Araújo Neto, Marco Vieira:
Towards assessing the security of DBMS configurations. DSN 2008: 90-95 - [c32]José Fonseca, Marco Vieira:
Mapping software faults with web security vulnerabilities. DSN 2008: 257-266 - [c31]Pedro Almeida, Marco Jorge, Luís Cortesão, Filipe Martins, Marco Vieira, Paulo Gomes:
Supporting Fraud Analysis in Mobile Telecommunications Using Case-Based Reasoning. ECCBR 2008: 562-572 - [c30]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Robustness Validation in Service-Oriented Architectures. WADS 2008: 98-123 - [c29]Bruno Direito, António Dourado, Francisco Sales, Marco Vieira:
An Application for Electroencephalogram Mining for Epileptic Seizure Prediction. ICDM 2008: 87-101 - [c28]José Fonseca, Marco Vieira, Henrique Madeira:
Training Security Assurance Teams Using Vulnerability Injection. PRDC 2008: 297-304 - [c27]Naaliel Mendes, Afonso Araújo Neto, João Durães, Marco Vieira, Henrique Madeira:
Assessing and Comparing Security of Web Servers. PRDC 2008: 313-322 - [c26]José Fonseca, Marco Vieira, Henrique Madeira:
Online detection of malicious data access using DBMS auditing. SAC 2008: 1013-1020 - 2007
- [c25]Marco Vieira, António Casimiro Costa, Henrique Madeira:
Towards Timely ACID Transactions in DBMS. DASFAA 2007: 262-274 - [c24]Marco Vieira, Nuno Laranjeiro, Henrique Madeira:
Assessing Robustness of Web-Services Infrastructures. DSN 2007: 131-136 - [c23]Marco Vieira, Nuno Laranjeiro:
Comparing Web Services Performance and Recovery in the Presence of Faults. ICWS 2007: 623-630 - [c22]José Fonseca, Marco Vieira, Henrique Madeira:
Integrated Intrusion Detection in Databases. LADC 2007: 198-211 - [c21]Marco Vieira, Henrique Madeira:
Do You Know... How to Analyze and Share Results from Dependability Evaluation Experiments? LADC 2007: 231-232 - [c20]Marco Vieira, Nuno Laranjeiro, Henrique Madeira:
Benchmarking the Robustness of Web Services. PRDC 2007: 322-329 - [c19]José Fonseca, Marco Vieira, Henrique Madeira:
Testing and Comparing Web Vulnerability Scanning Tools for SQL Injection and XSS Attacks. PRDC 2007: 365-372 - [c18]Nuno Laranjeiro, Marco Vieira:
Towards fault tolerance in web services compositions. EFTS 2007: 2 - [c17]José Fonseca, Marco Vieira, Henrique Madeira:
Detecting Malicious SQL. TrustBus 2007: 259-268 - 2006
- [c16]Marco Vieira, António Casimiro Costa, Henrique Madeira:
Towards Timely ACID Transactions in DBMS. PRDC 2006: 381-382 - [c15]José Fonseca, Marco Vieira, Henrique Madeira:
Monitoring Database Application Behavior for Intrusion Detection. PRDC 2006: 383-386 - 2005
- [c14]Marco Vieira, Henrique Madeira:
Towards a Security Benchmark for Database Management Systems. DSN 2005: 592-601 - [c13]Gergely Pintér, Henrique Madeira, Marco Vieira, István Majzik, András Pataricza:
A Data Mining Approach to Identify Key Factors in Dependability Experiments. EDCC 2005: 263-280 - [c12]Marco Vieira, Henrique Madeira:
Detection of Malicious Transactions in DBMS. PRDC 2005: 350-357 - 2004
- [j1]Marco Vieira, Henrique Madeira:
Joint evaluation of recovery and performance of a COTS DBMS in the presence of operator faults. Perform. Evaluation 56(1-4): 187-212 (2004) - [c11]Marco Vieira, Henrique Madeira:
Portable Faultloads Based on Operator Faults for DBMS Dependability Benchmarking. COMPSAC 2004: 202-209 - [c10]João Durães, Marco Vieira, Henrique Madeira:
Dependability Benchmarking of Web-Servers. SAFECOMP 2004: 297-310 - 2003
- [c9]Henrique Madeira, João Pedro Costa, Marco Vieira:
The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments. DSN 2003: 86-91 - [c8]Marco Vieira, Henrique Madeira:
Benchmarking the Dependability of Different OLTP Systems. DSN 2003: 305-310 - [c7]Pedro Costa, Marco Vieira, Henrique Madeira, João Gabriel Silva:
Plug and Play Fault Injector for Dependability Benchmarking. LADC 2003: 8-22 - [c6]Henrique Madeira, João Durães, Marco Vieira:
Emulation of Software Faults: Representativeness and Usefulness. LADC 2003: 137-159 - [c5]Marco Vieira, Henrique Madeira:
A Dependability Benchmark for OLTP Application Environments. VLDB 2003: 742-753 - 2002
- [c4]Marco Vieira, Henrique Madeira:
Recovery and Performance Balance of a COTS DBMS in the Presence of Operator Faults. DSN 2002: 615-626 - [c3]Marco Vieira, Henrique Madeira:
Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking. PRDC 2002: 265-274 - 2001
- [c2]Diamantino Costa, Tiago Rilho, Marco Vieira, Henrique Madeira:
ESFFI - A Novel Technique for the Emulation of Coftware Faults in COTS Components. ECBS 2001: 197-204 - 2000
- [c1]Henrique Madeira, Diamantino Costa, Marco Vieira:
On the Emulation of Software Faults by Software Fault Injection. DSN 2000: 417-426
Coauthor Index
Naghmeh Ramezani Ivaki
aka: Naghmeh Ivaki
aka: Naghmeh Ivaki
[e5] [j18] [j11] [j10] [j9] [c98] [j6] [p4] [p3] [p2] [p1] [c69] [c67] [c65] [c63] [c62] [c61] [c60] [c58] [c56] [c54] [c53] [c52] [c51] [c48] [c47] [c41] [c40] [c38] [c36] [c35] [c34] [c30] [c28] [c27] [c26] [c25] [c24] [c22] [c21] [c20] [c19] [c17] [c16] [c15] [c14] [c13] [c12] [j1] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [c2] [c1]
Regina Lúcia de Oliveira Moraes
aka: Regina Moraes
aka: Regina Moraes
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
