Rethinking Maturity in Next-Generation Maturity Models.

Marco Vieira Marco Paulo Amorim Vieira University of Coimbra, Portugal https://scholar.google.com/citations?user=l3cF0LoAAAAJ https://zbmath.org/authors/?q=ai:vieira.marco https://orcid.org/0000-0001-5103-8541 https://www.wikidata.org/entity/Q58028297 https://www.researcherid.com/rid/L-4087-2014 https://www.scopus.com/authid/detail.uri?authorId=7202140748

Nuno Seixas Paulo Rupino da Cunha Marco Vieira João Barata Vítor Hugo Ribeiro Rethinking Maturity in Next-Generation Maturity Models. 2026 April 60-80 59 Computer 4 https://doi.org/10.1109/MC.2025.3635020 db/journals/computer/computer59.html#SeixasCVBR26 streams/journals/computer

Diego R. Gomes Eduardo F. Felix Fernando Aires 0001 Marco Vieira Static Code Analysis for IoT Security: A Systematic Literature Review. 65:1-65:47 2026 February 58 ACM Comput. Surv. 3 https://doi.org/10.1145/3745019 db/journals/csur/csur58.html#GomesFAV26 streams/journals/csur

Rrezarta Krasniqi Depeng Xu 0001 Marco Vieira SE Perspective on LLMs: Biases in Code Generation, Code Interpretability, and Code Security Risks. 137:1-137:16 2026 April 58 ACM Comput. Surv. 5 https://doi.org/10.1145/3774324 db/journals/csur/csur58.html#KrasniqiXV26 streams/journals/csur

Marcelo Santos Rubens Matos Marco Vieira Jean Araujo 0001 Software aging issues and rejuvenation strategies for a container orchestration system. 2026 108274 179 Future Gener. Comput. Syst. https://doi.org/10.1016/j.future.2025.108274 db/journals/fgcs/fgcs179.html#SantosMVA26 streams/journals/fgcs

Thaer Slaibi Naghmeh Ivaki Marco Vieira IoT security assessment: A systematic literature review. 2026 112833 237 J. Syst. Softw. https://doi.org/10.1016/j.jss.2026.112833 db/journals/jss/jss237.html#SlaibiIV26 streams/journals/jss

Renato Andrade César Teixeira 0001 Nuno Laranjeiro Marco Vieira An Empirical Study on the Classification of Bug Reports With Machine Learning. 2026 1213-1224 7 IEEE Open J. Comput. Soc. https://doi.org/10.1109/OJCS.2026.3692087 db/journals/ojcomps/ojcomps7.html#AndradeTLV26 streams/journals/ojcomps

Hrushitha Goud Tigulla Marco Vieira LLM-Based Robustness Testing of Microservice Applications: An Empirical Study. 2026 May abs/2605.14202 CoRR https://doi.org/10.48550/arXiv.2605.14202 db/journals/corr/corr2605.html#abs-2605-14202 streams/journals/corr

Paulo Jorge Costa Nunes José Fonseca 0002 Marco Vieira Blending Static and Dynamic Analysis for Web Application Vulnerability Detection: Methodology and Case Study. 3139-3153 2025 13 IEEE Access https://doi.org/10.1109/ACCESS.2024.3522094 db/journals/access/access13.html#NunesFV25 streams/journals/access

Helber Silva Marco Vieira Augusto Neto 0001 A Survey on Survivable Safety-Critical Systems. 127770-127787 2025 13 IEEE Access https://doi.org/10.1109/ACCESS.2025.3590244 db/journals/access/access13.html#SilvaVN25 streams/journals/access

Iury Araújo Marco Vieira Enhancing intrusion detection in containerized services: Assessing machine learning models and an advanced representation for system call data. 104438 2025 154 Comput. Secur. https://doi.org/10.1016/j.cose.2025.104438 db/journals/compsec/compsec154.html#AraujoV25 streams/journals/compsec

João R. Campos Ernesto Costa Marco Vieira Predicting Failures in Complex Systems. 57-64 2025 May 58 Computer 5 https://doi.org/10.1109/MC.2025.3526342 db/journals/computer/computer58.html#CamposCV25 streams/journals/computer

Marco Vieira Leveraging LLMs for Trustworthy Software Engineering: Insights and Challenges. 79-90 2025 July 58 Computer 7 https://doi.org/10.1109/MC.2025.3546204 db/journals/computer/computer58.html#Vieira25 streams/journals/computer

Marco Vieira Why We Should Trust Systems, Not Just Their AI/ML Components. 84-94 2025 November 58 Computer 11 https://doi.org/10.1109/MC.2025.3604335 db/journals/computer/computer58.html#Vieira25a streams/journals/computer

Matheus Torquato 0001 Paulo R. M. Maciel Marco Vieira Evaluation of time-based virtual machine migration as moving target defense against host-based attacks. 112222 2025 219 J. Syst. Softw. https://doi.org/10.1016/j.jss.2024.112222 db/journals/jss/jss219.html#TorquatoMV25 streams/journals/jss

Jessica Castro Nuno Laranjeiro Katerina Goseva-Popstojanova Marco Vieira Developing Attack Detection Models for Microservice Applications: A Comprehensive Framework and Its Illustration and Validation on DoS Attacks. 6748-6766 2025 November - December 22 IEEE Trans. Dependable Secur. Comput. 6 https://doi.org/10.1109/TDSC.2025.3590197 db/journals/tdsc/tdsc22.html#CastroLGV25 streams/journals/tdsc

Pedro Melo João Ferreira 0002 Jean Araujo 0001 Marco Vieira Benchmarking Software Aging Effects in Container Platforms. 5015-5029 2025 December 74 IEEE Trans. Reliab. 4 https://doi.org/10.1109/TR.2025.3612809 db/journals/tr/tr74.html#MeloFAV25 streams/journals/tr

José Wilson Vieira Flauzino Marco Vieira Elias P. Duarte Robustness Assessment of the Open vSwitch Kernel Module. 215-226 2025 ISSRE https://doi.org/10.1109/ISSRE66568.2025.00032 conf/issre/2025 db/conf/issre/issre2025.html#FlauzinoVD25 streams/conf/issre Rodrigo Pato Nogueira Marco Vieira João R. Campos Beyond Functional Correctness: An Empirical Evaluation of Large Language Models for Text-to-Code Generation. 264-275 2025 ISSRE https://doi.org/10.1109/ISSRE66568.2025.00036 conf/issre/2025 db/conf/issre/issre2025.html#NogueiraVC25 streams/conf/issre Marco Vieira Doctoral Symposium Keynote: ISSREW 2025. xxii 2025 ISSREW https://doi.org/10.1109/ISSREW67781.2025.00012 conf/issre/2025w db/conf/issre/issre2025w.html#Vieira25 streams/conf/issre Marco Vieira Priyam Ashish Shah Bhavain Shah Rrezarta Krasniqi Polyglot: An Extensible Framework to Benchmark Code Translation with LLMs. 2363-2375 2025 ASE https://doi.org/10.1109/ASE63991.2025.00195 conf/kbse/2025 db/conf/kbse/ase2025.html#VieiraSSK25 streams/conf/kbse Saeed Javani Jananloo José D'Abruzzo Pereira Marco Vieira An Empirical Study of Large Language Models as Experts in Software Trustworthiness Assessment. 75-93 2025 LADC https://doi.org/10.1007/978-3-032-11539-3_5 conf/ladc/2025 db/conf/ladc/ladc2025.html#JananlooPV25 José Wilson Vieira Flauzino Marco Vieira Elias P. Duarte Jr. Robustness Assessment of the Open vSwitch Kernel Module. 2025 August https://doi.org/10.5281/zenodo.16883930 Zenodo streams/repo/zenodo

Renato Andrade César Teixeira 0001 Nuno Laranjeiro Marco Vieira An Empirical Study on the Classification of Bug Reports with Machine Learning. 2025 March abs/2503.00660 CoRR https://doi.org/10.48550/arXiv.2503.00660 db/journals/corr/corr2503.html#abs-2503-00660 streams/journals/corr

Arastoo Zibaeirad Marco Vieira Reasoning with LLMs for Zero-Shot Vulnerability Detection. 2025 March abs/2503.17885 CoRR https://doi.org/10.48550/arXiv.2503.17885 db/journals/corr/corr2503.html#abs-2503-17885 streams/journals/corr

Arastoo Zibaeirad Marco Vieira Diverse LLMs vs. Vulnerabilities: Who Detects and Fixes Them Better? 2025 December abs/2512.12536 CoRR https://doi.org/10.48550/arXiv.2512.12536 db/journals/corr/corr2512.html#abs-2512-12536 streams/journals/corr

Renato Andrade Nuno Laranjeiro Marco Vieira BugHub: A Large Scale Issue Report Dataset. 9-16 2024 EDCC https://doi.org/10.1109/EDCC61798.2024.00016 conf/edcc/2024 db/conf/edcc/edcc2024.html#AndradeLV24 João Rafael Henriques José D'Abruzzo Pereira Marco Vieira Mining Vulnerability and Code Repositories to Study Software Security. 11-16 2024 LADC https://doi.org/10.1145/3697090.3697103 conf/ladc/2024 db/conf/ladc/ladc2024.html#HenriquesPV24 Gustavo Callou Marco Vieira Availability and Performance Analysis of Cloud Services. 262-271 2024 LADC https://doi.org/10.1145/3697090.3697105 conf/ladc/2024 db/conf/ladc/ladc2024.html#CallouV24

Arastoo Zibaeirad Marco Vieira VulnLLMEval: A Framework for Evaluating Large Language Models in Software Vulnerability Detection and Patching. 2024 abs/2409.10756 CoRR https://doi.org/10.48550/arXiv.2409.10756 db/journals/corr/corr2409.html#abs-2409-10756 streams/journals/corr

Marco Vieira Engineering Trustworthy Software: A Mission for LLMs. 2024 abs/2411.17981 CoRR https://doi.org/10.48550/arXiv.2411.17981 db/journals/corr/corr2411.html#abs-2411-17981 streams/journals/corr

Charles F. Gonçalves Daniel Sadoc Menasché Alberto Avritzer Nuno Antunes Marco Vieira Detecting Anomalies Through Sequential Performance Analysis in Virtualized Environments. 70716-70740 2023 11 IEEE Access https://doi.org/10.1109/ACCESS.2023.3293643 db/journals/access/access11.html#GoncalvesMAAV23

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. 67 2023 October 31 J. Netw. Syst. Manag. 4 https://doi.org/10.1007/s10922-023-09754-z db/journals/jnsm/jnsm31.html#GomesLNFJV23

Nadia Patricia Da Silva Medeiros Naghmeh Ivaki Pedro Costa 0002 Marco Vieira Trustworthiness models to categorize and prioritize code for security improvement. 111621 2023 April 198 J. Syst. Softw. https://doi.org/10.1016/j.jss.2023.111621 db/journals/jss/jss198.html#MedeirosICV23

João R. Campos Ernesto Costa Marco Vieira Online Failure Prediction for Complex Systems: Methodology and Case Studies. 3520-3534 2023 July - August 20 IEEE Trans. Dependable Secur. Comput. 4 https://doi.org/10.1109/TDSC.2022.3192671 db/journals/tdsc/tdsc20.html#CamposCV23

Jessica Castro Nuno Laranjeiro Marco Vieira Techniques and Tools for Runtime Security Monitoring and Analysis of Microservices. 191-193 2023 DSN-S https://doi.org/10.1109/DSN-S58398.2023.00052 conf/dsn/2023s db/conf/dsn/dsn2023s.html#CastroLV23 Charles F. Gonçalves Nuno Antunes Marco Vieira Intrusion Injection for Virtualized Systems: Concepts and Approach. 417-430 2023 DSN https://doi.org/10.1109/DSN58367.2023.00047 conf/dsn/2023 db/conf/dsn/dsn2023.html#GoncalvesAV23 Jessica Castro Nuno Laranjeiro Marco Vieira Exploring Logic Scoring of Preference for DoS Attack Detection in Microservice Applications. 573-584 2023 ICWS https://doi.org/10.1109/ICWS60048.2023.00076 conf/icws/2023 db/conf/icws/icws2023.html#CastroLV23 José D'Abruzzo Pereira Marco Vieira An Approach to Characterize the Security of Open-Source Functions using LSP. 137-147 2023 ISSRE https://doi.org/10.1109/ISSRE59848.2023.00073 conf/issre/2023 db/conf/issre/issre2023.html#PereiraV23 João R. Campos Ernesto Costa Marco Vieira Online Failure Prediction Through Fault Injection and Machine Learning: Methodology and Case Study. 451-461 2023 ISSRE https://doi.org/10.1109/ISSRE59848.2023.00021 conf/issre/2023 db/conf/issre/issre2023.html#CamposCV23 Jessica Castro Nuno Laranjeiro Marco Vieira Generating Realistic Attack Data for Microservices: Framework and Case Study. 60-69 2023 LADC https://doi.org/10.1145/3615366.3615377 conf/ladc/2023 db/conf/ladc/ladc2023.html#CastroLV23 João R. Campos Rodrigo Machado Marco Vieira Leveraging Time Series Autocorrelation Through Numerical Differentiation for Improving Failure Prediction. 70-79 2023 LADC https://doi.org/10.1145/3615366.3615423 https://www.wikidata.org/entity/Q130947054 conf/ladc/2023 db/conf/ladc/ladc2023.html#CamposMV23 Iury Araújo Nuno Antunes Marco Vieira Evaluation of Machine Learning for Intrusion Detection in Microservice Applications. 126-135 2023 LADC https://doi.org/10.1145/3615366.3615375 https://www.wikidata.org/entity/Q130976582 conf/ladc/2023 db/conf/ladc/ladc2023.html#AraujoAV23 Iury Araújo Nuno Antunes Marco Vieira Intrusion Detection and Tolerance for Microservice Applications. 176-181 2023 LADC https://doi.org/10.1145/3615366.3622794 conf/ladc/2023 db/conf/ladc/ladc2023.html#AraujoAV23a Bukhtawar Zamir João R. Campos Marco Vieira Advanced Machine Learning for Runtime Data Generation. 182-187 2023 LADC https://doi.org/10.1145/3615366.3622793 https://www.wikidata.org/entity/Q130972628 conf/ladc/2023 db/conf/ladc/ladc2023.html#ZamirCV23 André Almeida 0002 Thaís Batista Everton Cavalcante Flávia Coimbra Delicato Rebeca Campos Motta Marco Vieira Middleware for Digital Twins: A Systematic Mapping Study. 19-24 2023 Midd4DT@Middleware https://doi.org/10.1145/3631319.3632302 conf/midd4dt/2023 db/conf/midd4dt/midd4dt2023.html#AlmeidaBCDMV23 Helber Silva Marco Vieira Augusto Neto 0001 Are safety-critical systems really survivable to attacks? 1-8 2023 SysCon https://doi.org/10.1109/SysCon53073.2023.10131114 conf/syscon/2023 db/conf/syscon/syscon2023.html#SilvaVN23 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. 1-6 2023 WF-IoT https://doi.org/10.1109/WF-IoT58464.2023.10539403 conf/wf-iot/2023 db/conf/wf-iot/wf-iot2023.html#FelixLGNJV23 Marco Vieira Valeria Cardellini Antinisca Di Marco Petr Tuma 0001 Proceedings of the 2023 ACM/SPEC International Conference on Performance Engineering, ICPE 2023, Coimbra, Portugal, April 15-19, 2023 ICPE ACM 2023 https://doi.org/10.1145/3578244 db/conf/wosp/icpe2023.html Marco Vieira Valeria Cardellini Antinisca Di Marco Petr Tuma 0001 Companion of the 2023 ACM/SPEC International Conference on Performance Engineering, ICPE 2023, Coimbra, Portugal, April 15-19, 2023. ICPE (Companion) ACM 2023 https://doi.org/10.1145/3578245 db/conf/wosp/icpe2023c.html

Matheus Torquato 0001 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. 3 2022 30 J. Netw. Syst. Manag. 1 https://doi.org/10.1007/s10922-021-09619-3 db/journals/jnsm/jnsm30.html#TorquatoMV22

Danny Weyns Ilias Gerostathopoulos Barbora Buhnova Nicolás Cardozo Emilia Cioroaica Ivana Dusparic Lars Grunske Pooyan Jamshidi Christine Julien 0001 Judith Michael Gabriel A. Moreno Shiva Nejati 0001 Patrizio Pelliccione Federico Quin Genaína Nunes Rodrigues Bradley R. Schmerl Marco Vieira Thomas Vogel 0001 Rebekka Wohlrab Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. 18-24 2022 47 ACM SIGSOFT Softw. Eng. Notes 4 https://doi.org/10.1145/3561846.3561852 db/journals/sigsoft/sigsoft47.html#WeynsGBCCDGJJMM22

Miquel Martínez Juan Carlos Ruiz 0001 Nuno Antunes David de Andrés Marco Vieira A Multi-Criteria Analysis of Benchmark Results With Expert Support for Security Tools. 2151-2164 2022 19 IEEE Trans. Dependable Secur. Comput. 4 https://doi.org/10.1109/TDSC.2020.3048202 https://www.wikidata.org/entity/Q114084848 db/journals/tdsc/tdsc19.html#MartinezRAAV22

João R. Campos Ernesto Costa Marco Vieira A Dataset of Linux Failure Data for Dependability Evaluation and Improvement. 88-95 2022 DSN Workshops https://doi.org/10.1109/DSN-W54100.2022.00024 conf/dsn/2022w db/conf/dsn/dsn2022w.html#CamposCV22 João R. Campos Ernesto Costa Marco Vieira On the Applicability of Machine Learning-based Online Failure Prediction for Modern Complex Systems. 49-56 2022 EDCC https://doi.org/10.1109/EDCC57035.2022.00019 conf/edcc/2022 db/conf/edcc/edcc2022.html#CamposCV22 Matheus Torquato 0001 Paulo Romero Martins Maciel Marco Vieira Software Rejuvenation Meets Moving Target Defense: Modeling of Time-Based Virtual Machine Migration Approach. 205-216 2022 ISSRE https://doi.org/10.1109/ISSRE55969.2022.00029 conf/issre/2022 db/conf/issre/issre2022.html#0001MV22 José D'Abruzzo Pereira Nuno Lourenço 0002 Marco Vieira On the Use of Deep Graph CNN to Detect Vulnerable C Functions. 45-50 2022 LADC https://doi.org/10.1145/3569902.3569913 https://www.wikidata.org/entity/Q130911535 conf/ladc/2022 db/conf/ladc/ladc2022.html#Pereira0V22 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. 67-72 2022 LADC https://doi.org/10.1145/3569902.3569915 conf/ladc/2022 db/conf/ladc/ladc2022.html#FelixLNGJV22 Jessica Castro Nuno Laranjeiro Marco Vieira Detecting DoS Attacks in Microservice Applications: Approach and Case Study. 73-78 2022 LADC https://doi.org/10.1145/3569902.3569916 conf/ladc/2022 db/conf/ladc/ladc2022.html#CastroLV22 José D'Abruzzo Pereira João David Ribeiro João Pires 0003 Pedro Moita Nuno Laranjeiro Marco Vieira On the use of the TMA Framework to promote self-adaptation capabilities in TalkConnect. 89-90 2022 LADC https://doi.org/10.1145/3569902.3569953 conf/ladc/2022 db/conf/ladc/ladc2022.html#PereiraRPMLV22 José D'Abruzzo Pereira João Henggeler Antunes Marco Vieira A Software Vulnerability Dataset of Large Open Source C/C++ Projects. 152-163 2022 PRDC https://doi.org/10.1109/PRDC55274.2022.00029 conf/prdc/2022 db/conf/prdc/prdc2022.html#PereiraAV22

Danny Weyns Ilias Gerostathopoulos Barbora Buhnova Nicolás Cardozo Emilia Cioroaica Ivana Dusparic Lars Grunske Pooyan Jamshidi Christine Julien 0001 Judith Michael Gabriel A. Moreno Shiva Nejati 0001 Patrizio Pelliccione Federico Quin Genaína Nunes Rodrigues Bradley R. Schmerl Marco Vieira Thomas Vogel 0001 Rebekka Wohlrab Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. 2022 abs/2206.12492 CoRR https://doi.org/10.48550/arXiv.2206.12492 db/journals/corr/corr2206.html#abs-2206-12492

José D'Abruzzo Pereira Naghmeh Ramezani Ivaki Marco Vieira Characterizing Buffer Overflow Vulnerabilities in Large C/C++ Projects. 142879-142892 2021 9 IEEE Access https://doi.org/10.1109/ACCESS.2021.3120349 db/journals/access/access9.html#PereiraIV21

Fernando Antônio Aires Lins Marco Vieira Security Requirements and Solutions for IoT Gateways: A Comprehensive Study. 8667-8679 2021 8 IEEE Internet Things J. 11 https://doi.org/10.1109/JIOT.2020.3041049 db/journals/iotj/iotj8.html#LinsV21

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. 27 2021 29 J. Netw. Syst. Manag. 3 https://doi.org/10.1007/s10922-021-09592-x db/journals/jnsm/jnsm29.html#SantosCFVS21

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. 1-8 2021 EDCC https://doi.org/10.1109/EDCC53658.2021.00008 conf/edcc/2021 db/conf/edcc/edcc2021.html#PereiraCV21 Nadia Patricia Da Silva Medeiros Naghmeh Ramezani Ivaki Pedro Costa 0002 Marco Vieira An Empirical Study On Software Metrics and Machine Learning to Identify Untrustworthy Code. 87-94 2021 EDCC https://doi.org/10.1109/EDCC53658.2021.00020 conf/edcc/2021 db/conf/edcc/edcc2021.html#MedeirosICV21 Matheus Torquato 0001 Marco Vieira VM Migration Scheduling as Moving Target Defense against Memory DoS Attacks: An Empirical Study. 1-6 2021 ISCC https://doi.org/10.1109/ISCC53001.2021.9631397 conf/iscc/2021 db/conf/iscc/iscc2021.html#0001V21 Matheus Torquato 0001 Paulo Maciel 0001 Marco Vieira PyMTDEvaluator: A Tool for Time-Based Moving Target Defense Evaluation: Tool description paper. 357-366 2021 ISSRE https://doi.org/10.1109/ISSRE52982.2021.00045 conf/issre/2021 db/conf/issre/issre2021.html#0001MV21 José D'Abruzzo Pereira João Henggeler Antunes Marco Vieira On Building a Vulnerability Dataset with Static Information from the Source Code. 1-2 2021 LADC https://doi.org/10.1109/LADC53747.2021.9672589 conf/ladc/2021 db/conf/ladc/ladc2021.html#PereiraAV21 Matheus Torquato 0001 Paulo Romero Martins Maciel Marco Vieira Analysis of VM migration scheduling as moving target defense against insider attacks. 194-202 2021 SAC https://doi.org/10.1145/3412841.3441899 conf/sac/2021 db/conf/sac/sac2021.html#TorquatoMV21

Nadia Patricia Da Silva Medeiros Naghmeh Ramezani Ivaki Pedro Costa 0002 Marco Vieira Vulnerable Code Detection Using Software Metrics and Machine Learning. 219174-219198 2020 8 IEEE Access https://doi.org/10.1109/ACCESS.2020.3041181 https://www.wikidata.org/entity/Q122297071 db/journals/access/access8.html#MedeirosICV20

Matheus Torquato 0001 Marco Vieira Moving target defense in cloud computing: A systematic mapping study. 101742 2020 92 Comput. Secur. https://doi.org/10.1016/j.cose.2020.101742 https://www.wikidata.org/entity/Q115056241 db/journals/compsec/compsec92.html#TorquatoV20

Rui André Oliveira Miquel Martínez Raga Nuno Laranjeiro Marco Vieira An approach for benchmarking the security of web service frameworks. 833-848 2020 110 Future Gener. Comput. Syst. https://doi.org/10.1016/j.future.2019.10.027 https://www.wikidata.org/entity/Q115043194 db/journals/fgcs/fgcs110.html#OliveiraRLV20

Matheus Torquato 0001 Paulo R. M. Maciel Marco Vieira Availability and reliability modeling of VM migration as rejuvenation on a system under varying workload. 59-83 2020 28 Softw. Qual. J. 1 https://doi.org/10.1007/s11219-019-09474-1 https://www.wikidata.org/entity/Q121410302 db/journals/sqj/sqj28.html#TorquatoMV20

Matheus Torquato 0001 Charles F. Gonçalves Marco Vieira An Availability Model for DSS and OLTP Applications in Virtualized Environments. 85-92 2020 EDCC https://doi.org/10.1109/EDCC51268.2020.00023 conf/edcc/2020 db/conf/edcc/edcc2020.html#TorquatoGV20 José D'Abruzzo Pereira Marco Vieira On the Use of Open-Source C/C++ Static Analysis Tools in Large Projects. 97-102 2020 EDCC https://doi.org/10.1109/EDCC51268.2020.00025 conf/edcc/2020 db/conf/edcc/edcc2020.html#PereiraV20 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. 71-77 2020 SEAMS@ICSE https://doi.org/10.1145/3387939.3391608 conf/icse/2020seams db/conf/icse/seams2020.html#PereiraSASFMV20 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. 1-8 2020 MedComNet https://doi.org/10.1109/MedComNet49392.2020.9191549 conf/medcomnet/2020 db/conf/medcomnet/medcomnet2020.html#GoncalvesMAAV20 Matheus Torquato 0001 Paulo R. M. Maciel Marco Vieira Security and Availability Modeling of VM Migration as Moving Target Defense. 50-59 2020 PRDC https://doi.org/10.1109/PRDC50213.2020.00016 conf/prdc/2020 db/conf/prdc/prdc2020.html#TorquatoMV20 João R. Campos Ernesto Costa Marco Vieira On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study. 419-433 2020 SAFECOMP https://doi.org/10.1007/978-3-030-54549-9_28 conf/safecomp/2020 db/conf/safecomp/safecomp2020.html#CamposCV20 Marco Vieira Henrique Madeira Nuno Antunes Zheng Zheng 0001 31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020 ISSRE IEEE 2020 978-1-7281-9870-5 https://ieeexplore.ieee.org/xpl/conhome/9250925/proceeding db/conf/issre/issre2020.html

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. 2020 abs/2006.08811 CoRR https://arxiv.org/abs/2006.08811 db/journals/corr/corr2006.html#abs-2006-08811

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. 117652-117677 2019 7 IEEE Access https://doi.org/10.1109/ACCESS.2019.2936941 https://www.wikidata.org/entity/Q125971689 db/journals/access/access7.html#FioreEPMCVABLMB19

Matheus Torquato 0001 Paulo R. M. Maciel Marco Vieira A Model for Availability and Security Risk Evaluation for Systems With VMM Rejuvenation Enabled by VM Migration Scheduling. 138315-138326 2019 7 IEEE Access https://doi.org/10.1109/ACCESS.2019.2943273 db/journals/access/access7.html#TorquatoMV19

João R. Campos Ernesto Costa Marco Vieira Improving Failure Prediction by Ensembling the Decisions of Machine Learning Models: A Case Study. 177661-177674 2019 7 IEEE Access https://doi.org/10.1109/ACCESS.2019.2958480 db/journals/access/access7.html#CamposCV19

Paulo Jorge Costa Nunes Ibéria Medeiros José Fonseca 0002 Nuno Neves 0001 Miguel Correia 0001 Marco Vieira An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios. 161-185 2019 101 Computing 2 https://doi.org/10.1007/s00607-018-0664-z https://www.wikidata.org/entity/Q114264238 db/journals/computing/computing101.html#NunesMFNCV19

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 0001 Daniele Lezzi Matheus Maciel Wagner Meira Jr. Demetrio Gomes Mestre Regina Moraes Fábio Morais 0001 Carlos Eduardo S. Pires Nádia P. Kozievitch Walter dos Santos Paulo Silva 0002 Marco Vieira BIGSEA: A Big Data analytics platform for public transportation information. 243-269 2019 96 Future Gener. Comput. Syst. https://doi.org/10.1016/j.future.2019.02.011 https://www.wikidata.org/entity/Q128377984 db/journals/fgcs/fgcs96.html#AlicAAAAABBBBBE19

Alexandre Melo Braga Ricardo Dahab Nuno Antunes Nuno Laranjeiro Marco Vieira Understanding How to Use Static Analysis Tools for Detecting Cryptography Misuse in Software. 1384-1403 2019 68 IEEE Trans. Reliab. 4 https://doi.org/10.1109/TR.2019.2937214 https://www.wikidata.org/entity/Q111900130 db/journals/tr/tr68.html#BragaDALV19

Matheus Torquato 0001 Marco Vieira An Experimental Study of Software Aging and Rejuvenation in Dockerd. 1-6 2019 EDCC https://doi.org/10.1109/EDCC.2019.00014 conf/edcc/2019 db/conf/edcc/edcc2019.html#0002V19 Matheus Torquato 0001 Erico A. C. Guedes Paulo R. M. Maciel Marco Vieira A Hierarchical Model for Virtualized Data Center Availability Evaluation. 103-110 2019 EDCC https://doi.org/10.1109/EDCC.2019.00029 conf/edcc/2019 db/conf/edcc/edcc2019.html#0002GMV19 João R. Campos Marco Vieira Ernesto Costa Propheticus: Machine Learning Framework for the Development of Predictive Models for Reliable and Secure Software. 173-182 2019 ISSRE https://doi.org/10.1109/ISSRE.2019.00026 conf/issre/2019 db/conf/issre/issre2019.html#CamposVC19 Cristiano Inácio Lemes Vincent Naessens Marco Vieira Trustworthiness Assessment of Web Applications: Approach and Experimental Study using Input Validation Coding Practices. 435-445 2019 ISSRE https://doi.org/10.1109/ISSRE.2019.00050 conf/issre/2019 db/conf/issre/issre2019.html#LemesNV19 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. 1-10 2019 LADC https://doi.org/10.1109/LADC48089.2019.8995685 conf/ladc/2019 db/conf/ladc/ladc2019.html#PereiraCV19 Matheus Torquato 0001 Lucas Torquato Paulo R. M. Maciel Marco Vieira IaaS Cloud Availability Planning using Models and Genetic Algorithms. 1-10 2019 LADC https://doi.org/10.1109/LADC48089.2019.8995734 conf/ladc/2019 db/conf/ladc/ladc2019.html#TorquatoTMV19

Matheus Torquato 0001 Marco Vieira Towards Models for Availability and Security Evaluation of Cloud Computing with Moving Target Defense. 2019 abs/1909.01392 CoRR http://arxiv.org/abs/1909.01392 db/journals/corr/corr1909.html#abs-1909-01392

Paulo Silva 0002 Tânia Basso Nuno Antunes Regina Moraes Marco Vieira Paulo Simões 0001 Edmundo Monteiro A Europe-Brazil Context for Secure Data Analytics in the Cloud. 52-60 2018 16 IEEE Secur. Priv. 6 https://doi.org/10.1109/MSEC.2018.2875326 db/journals/ieeesp/ieeesp16.html#SilvaBAMVSM18

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. 14:1-14:23 2018 9 J. Internet Serv. Appl. 1 https://doi.org/10.1186/s13174-018-0086-3 https://www.wikidata.org/entity/Q62819874 db/journals/jisa/jisa9.html#VelasquezAASABL18

Marco Vieira Katinka Wolter Introduction to the special issue on software reliability engineering. 396-398 2018 137 J. Syst. Softw. https://doi.org/10.1016/j.jss.2017.12.027 db/journals/jss/jss137.html#VieiraW18

Joaquim Mendes Nuno Laranjeiro Marco Vieira Toward characterizing HTML defects on the Web. 750-757 2018 48 Softw. Pract. Exp. 3 https://doi.org/10.1002/spe.2545 db/journals/spe/spe48.html#MendesLV18

Paulo Jorge Costa Nunes Iberia Medeiros José Fonseca 0002 Nuno Neves 0001 Miguel Correia 0001 Marco Vieira Benchmarking Static Analysis Tools for Web Security. 1159-1175 2018 67 IEEE Trans. Reliab. 3 https://doi.org/10.1109/TR.2018.2839339 db/journals/tr/tr67.html#NunesMFNCV18

João R. Campos Marco Vieira Ernesto Costa Exploratory Study of Machine Learning Techniques for Supporting Failure Prediction. 9-16 2018 EDCC https://doi.org/10.1109/EDCC.2018.00014 https://doi.ieeecomputersociety.org/10.1109/EDCC.2018.00014 conf/edcc/2018 db/conf/edcc/edcc2018.html#CamposVC18 Areej Algaith Paulo Jorge Costa Nunes José Fonseca 0002 Ilir Gashi Marco Vieira Finding SQL Injection and Cross Site Scripting Vulnerabilities with Diverse Static Analysis Tools. 57-64 2018 EDCC https://doi.org/10.1109/EDCC.2018.00020 https://doi.ieeecomputersociety.org/10.1109/EDCC.2018.00020 conf/edcc/2018 db/conf/edcc/edcc2018.html#AlgaithNJGV18 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 0002 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. 1-12 2018 GEOINFO http://urlib.net/8JMKD3MGPDW34P/3SEUN7L conf/geoinfo/2018 db/conf/geoinfo/geoinfo2018.html#AlicAMGSBFKABBP18 Matheus Torquato 0001 Marco Vieira Interacting SRN Models for Availability Evaluation of VM Migration as Rejuvenation on a System under Varying Workload. 300-307 2018 ISSRE Workshops https://doi.org/10.1109/ISSREW.2018.00022 https://doi.ieeecomputersociety.org/10.1109/ISSREW.2018.00022 conf/issre/2018w db/conf/issre/issre2018w.html#TorquatoV18 Charles F. Gonçalves Nuno Antunes Marco Vieira Evaluating the Applicability of Robustness Testing in Virtualized Environments. 161-166 2018 LADC https://doi.org/10.1109/LADC.2018.00027 conf/ladc/2018 db/conf/ladc/ladc2018.html#GoncalvesAV18 Nadia Patricia Da Silva Medeiros Naghmeh Ramezani Ivaki Pedro Costa 0002 Marco Vieira An Approach for Trustworthiness Benchmarking Using Software Metrics. 84-93 2018 PRDC https://doi.org/10.1109/PRDC.2018.00019 conf/prdc/2018 db/conf/prdc/prdc2018.html#MedeirosI0V18 Antonia Bertolino Vasco Amaral 0001 Paulo Rupino Marco Vieira 11th International Conference on the Quality of Information and Communications Technology, QUATIC 2018, Coimbra, Portugal, September 4-7, 2018 QUATIC IEEE Computer Society 2018 978-1-5386-5841-3 https://ieeexplore.ieee.org/xpl/conhome/8589521/proceeding https://www.computer.org/csdl/proceedings/quatic/2018/5841/00/index.html db/conf/quatic/quatic2018.html

João R. Campos Marco Vieira Ernesto Costa Propheticus: Generalizable Machine Learning Framework. 2018 abs/1809.01898 CoRR http://arxiv.org/abs/1809.01898 db/journals/corr/corr1809.html#abs-1809-01898

Nuno Antunes Marco Vieira Designing vulnerability testing tools for web services: approach, components, and tools. 435-457 2017 16 Int. J. Inf. Sec. 4 https://doi.org/10.1007/s10207-016-0334-0 https://www.wikidata.org/entity/Q114264193 db/journals/ijisec/ijisec16.html#AntunesV17

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. 97-109 2017 9 IEEE Intell. Transp. Syst. Mag. 1 https://doi.org/10.1109/MITS.2016.2611038 https://www.wikidata.org/entity/Q57741033 db/journals/itsm/itsm9.html#RodriguesPMACBV17

Nuno Silva João Carlos Cunha Marco Vieira A field study on root cause analysis of defects in space software. 213-229 2017 158 Reliab. Eng. Syst. Saf. https://doi.org/10.1016/j.ress.2016.08.016 https://www.wikidata.org/entity/Q57741023 db/journals/ress/ress158.html#SilvaCV17

Javier Cámara 0001 Rogério de Lemos Nuno Laranjeiro Rafael Ventura Marco Vieira Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems. 50-64 2017 14 IEEE Trans. Dependable Secur. Comput. 1 https://doi.org/10.1109/TDSC.2015.2429128 http://doi.ieeecomputersociety.org/10.1109/TDSC.2015.2429128 https://www.wikidata.org/entity/Q122961821 db/journals/tdsc/tdsc14.html#CamaraLLVV17

Stefano Russo 0001 Marco Vieira Editorial: Security and Dependability of Cloud Systems and Services. 673-674 2017 10 IEEE Trans. Serv. Comput. 5 https://doi.org/10.1109/TSC.2017.2735778 http://doi.ieeecomputersociety.org/10.1109/TSC.2017.2735778 https://www.wikidata.org/entity/Q57965483 db/journals/tsc/tsc10.html#RussoV17

Stefano Russo 0001 Marco Vieira Editorial: Security and Dependability of Cloud Systems and Services - Part II. 927-928 2017 10 IEEE Trans. Serv. Comput. 6 https://doi.org/10.1109/TSC.2017.2735818 http://doi.ieeecomputersociety.org/10.1109/TSC.2017.2735818 https://www.wikidata.org/entity/Q57965480 db/journals/tsc/tsc10.html#RussoV17a

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. 1108-1116 2017 CCGrid https://doi.org/10.1109/CCGRID.2017.136 https://doi.ieeecomputersociety.org/10.1109/CCGRID.2017.136 http://dl.acm.org/citation.cfm?id=3101279 conf/ccgrid/2017 db/conf/ccgrid/ccgrid2017.html#BassoMAVSM17 Paulo Jorge Costa Nunes Iberia Medeiros José Fonseca 0002 Nuno Ferreira Neves Miguel Correia 0001 Marco Vieira On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study. 121-128 2017 EDCC https://doi.org/10.1109/EDCC.2017.16 https://doi.ieeecomputersociety.org/10.1109/EDCC.2017.16 conf/edcc/2017 db/conf/edcc/edcc2017.html#NunesMFNCV17 Ivano Alessandro Elia Nuno Antunes Nuno Laranjeiro Marco Vieira An Analysis of OpenStack Vulnerabilities. 129-134 2017 EDCC https://doi.org/10.1109/EDCC.2017.29 https://doi.ieeecomputersociety.org/10.1109/EDCC.2017.29 conf/edcc/2017 db/conf/edcc/edcc2017.html#EliaALV17 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. 220-223 2017 EDGE https://doi.org/10.1109/IEEE.EDGE.2017.39 https://doi.ieeecomputersociety.org/10.1109/IEEE.EDGE.2017.39 conf/edge/2017 db/conf/edge/edge2017.html#MedeirosICV17 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. 17-24 2017 HASE https://doi.org/10.1109/HASE.2017.19 https://doi.ieeecomputersociety.org/10.1109/HASE.2017.19 https://www.wikidata.org/entity/Q57741030 conf/hase/2017 db/conf/hase/hase2017.html#SilvaVCC17 Bruno Martins Nuno Laranjeiro Marco Vieira INTENSE: INteroperability TEstiNg as a SErvice. 792-799 2017 ICWS https://doi.org/10.1109/ICWS.2017.95 https://doi.ieeecomputersociety.org/10.1109/ICWS.2017.95 conf/icws/2017 db/conf/icws/icws2017.html#MartinsLV17 Alexandre Melo Braga Ricardo Dahab Nuno Antunes Nuno Laranjeiro Marco Vieira Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study. 170-181 2017 ISSRE https://doi.org/10.1109/ISSRE.2017.27 https://doi.ieeecomputersociety.org/10.1109/ISSRE.2017.27 conf/issre/2017 db/conf/issre/issre2017.html#BragaDALV17 Nadia Patricia Da Silva Medeiros Naghmeh Ramezani Ivaki Pedro Costa 0002 Marco Vieira Software Metrics as Indicators of Security Vulnerabilities. 216-227 2017 ISSRE https://doi.org/10.1109/ISSRE.2017.11 https://doi.ieeecomputersociety.org/10.1109/ISSRE.2017.11 conf/issre/2017 db/conf/issre/issre2017.html#MedeirosI0V17 Areej Algaith Ivano Alessandro Elia Ilir Gashi Marco Vieira Diversity with intrusion detection systems: An empirical study. 19-23 2017 NCA https://doi.org/10.1109/NCA.2017.8171327 https://doi.ieeecomputersociety.org/10.1109/NCA.2017.8171327 conf/nca/2017 db/conf/nca/nca2017.html#AlgaithEGV17

Daniel Vecchiato Marco Vieira Eliane Martins The Perils of Android Security Configuration. 15-21 2016 49 Computer 6 https://doi.org/10.1109/MC.2016.184 http://doi.ieeecomputersociety.org/10.1109/MC.2016.184 https://www.wikidata.org/entity/Q114988356 db/journals/computer/computer49.html#VecchiatoVM16

Ricardo Jorge Santos Marco Vieira Jorge Bernardino XSX: Lightweight Encryption for Data Warehousing Environments. 281-295 2016 DaWaK https://doi.org/10.1007/978-3-319-43946-4_19 conf/dawak/2016 db/conf/dawak/dawak2016.html#SantosVB16 Aleksandar Milenkoski K. R. Jayaram Nuno Antunes Marco Vieira Samuel Kounev Quantifying the Attack Detection Accuracy of Intrusion Detection Systems in Virtualized Environments. 276-286 2016 ISSRE https://doi.org/10.1109/ISSRE.2016.39 https://doi.ieeecomputersociety.org/10.1109/ISSRE.2016.39 conf/issre/2016 db/conf/issre/issre2016.html#MilenkoskiJAVK16 Daniel Vecchiato Marco Vieira Eliane Martins Risk Assessment of User-Defined Security Configurations for Android Devices. 467-477 2016 ISSRE https://doi.org/10.1109/ISSRE.2016.30 https://doi.ieeecomputersociety.org/10.1109/ISSRE.2016.30 conf/issre/2016 db/conf/issre/issre2016.html#VecchiatoVM16 Nuno Silva Marco Vieira Software for embedded systems: a quality assessment based on improved ODC taxonomy. 1780-1783 2016 SAC https://doi.org/10.1145/2851613.2851908 https://www.wikidata.org/entity/Q130866731 conf/sac/2016 db/conf/sac/sac2016.html#SilvaV16 Nuno Silva Marco Vieira Adapting the Orthogonal Defect Classification Taxonomy to the Space Domain. 296-308 2016 SAFECOMP https://doi.org/10.1007/978-3-319-45477-1_23 conf/safecomp/2016 db/conf/safecomp/safecomp2016.html#SilvaV16 Nuno Laranjeiro Naghmeh Ramezani Ivaki Marco Vieira The 2016 IEEE Services Emerging Technology Track on Dependable and Secure Services (DSS 2016). 47 2016 SERVICES https://doi.org/10.1109/SERVICES.2016.34 https://doi.ieeecomputersociety.org/10.1109/SERVICES.2016.34 conf/services/2016 db/conf/services/services2016.html#LaranjeiroIV16

Aleksandar Milenkoski Marco Vieira Samuel Kounev Alberto Avritzer Bryan D. Payne Evaluating Computer Intrusion Detection Systems: A Survey of Common Practices. 12:1-12:41 2015 48 ACM Comput. Surv. 1 https://doi.org/10.1145/2808691 db/journals/csur/csur48.html#MilenkoskiVKAP15

João Ricardo Lourenço Bruno Cabral 0001 Paulo Carreiro Marco Vieira Jorge Bernardino Choosing the right NoSQL database for the job: a quality attribute evaluation. 18 2015 2 J. Big Data https://doi.org/10.1186/s40537-015-0025-0 https://www.wikidata.org/entity/Q59429876 db/journals/jbd/jbd2.html#LourencoCCVB15

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. 103-116 2015 100 J. Syst. Softw. https://doi.org/10.1016/j.jss.2014.10.054 db/journals/jss/jss100.html#VerasVAVM15

Rui André Oliveira Nuno Laranjeiro Marco Vieira Assessing the security of web service frameworks against Denial of Service attacks. 18-31 2015 109 J. Syst. Softw. https://doi.org/10.1016/j.jss.2015.07.006 https://www.wikidata.org/entity/Q115040467 db/journals/jss/jss109.html#OliveiraLV15

Ivano Alessandro Elia Nuno Laranjeiro Marco Vieira A Practical Approach Towards Automatic Testing of Web Services Interoperability. 78-103 2015 12 Int. J. Web Serv. Res. 3 https://doi.org/10.4018/IJWSR.2015070104 db/journals/jwsr/jwsr12.html#EliaLV15

Nuno Antunes Marco Vieira Assessing and Comparing Vulnerability Detection Tools for Web Services: Benchmarking Approach and Examples. 269-283 2015 8 IEEE Trans. Serv. Comput. 2 https://doi.org/10.1109/TSC.2014.2310221 http://doi.ieeecomputersociety.org/10.1109/TSC.2014.2310221 db/journals/tsc/tsc8.html#AntunesV15

Alan Braz Cecília Mary Fischer Rubira Marco Vieira Development of Complex Software with Agile Method. 97-101 2015 AGILE https://doi.org/10.1109/Agile.2015.18 https://doi.ieeecomputersociety.org/10.1109/Agile.2015.18 conf/agiledc/2015 db/conf/agiledc/agiledc2015.html#BrazRV15 João Ricardo Lourenço Veronika Abramova Bruno Cabral 0001 Jorge Bernardino Paulo Carreiro Marco Vieira No SQL in Practice: A Write-Heavy Enterprise Application. 584-591 2015 BigData Congress https://doi.org/10.1109/BigDataCongress.2015.90 https://doi.ieeecomputersociety.org/10.1109/BigDataCongress.2015.90 conf/bigdata/2015 db/conf/bigdata/bigdata2015.html#LourencoACBCV15 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. 63-68 2015 DSN Workshops https://doi.org/10.1109/DSN-W.2015.19 https://doi.ieeecomputersociety.org/10.1109/DSN-W.2015.19 conf/dsn/2015w db/conf/dsn/dsn2015w.html#SilvaVRC15 Ivano Irrera Marco Vieira Towards Assessing Representativeness of Fault Injection-Generated Failure Data for Online Failure Prediction. 75-80 2015 DSN Workshops https://doi.org/10.1109/DSN-W.2015.24 https://doi.ieeecomputersociety.org/10.1109/DSN-W.2015.24 conf/dsn/2015w db/conf/dsn/dsn2015w.html#IrreraV15 Cristiana Areias João Carlos Cunha Marco Vieira Studying the Propagation of Failures in SOAs. 81-86 2015 DSN Workshops https://doi.org/10.1109/DSN-W.2015.18 https://doi.ieeecomputersociety.org/10.1109/DSN-W.2015.18 https://www.wikidata.org/entity/Q57741053 conf/dsn/2015w db/conf/dsn/dsn2015w.html#AreiasCV15 Ivano Alessandro Elia Nuno Laranjeiro Marco Vieira Test-Based Interoperability Certification for Web Services. 196-206 2015 DSN https://doi.org/10.1109/DSN.2015.26 https://doi.ieeecomputersociety.org/10.1109/DSN.2015.26 conf/dsn/2015 db/conf/dsn/dsn2015.html#EliaLV15 Paulo Jorge Costa Nunes José Fonseca 0002 Marco Vieira phpSAFE: A Security Analysis Tool for OOP Web Application Plugins. 299-306 2015 DSN https://doi.org/10.1109/DSN.2015.16 https://doi.ieeecomputersociety.org/10.1109/DSN.2015.16 conf/dsn/2015 db/conf/dsn/dsn2015.html#NunesFV15 Nuno Antunes Marco Vieira On the Metrics for Benchmarking Vulnerability Detection Tools. 505-516 2015 DSN https://doi.org/10.1109/DSN.2015.30 https://doi.ieeecomputersociety.org/10.1109/DSN.2015.30 conf/dsn/2015 db/conf/dsn/dsn2015.html#AntunesV15 Ivano Irrera Marco Vieira João Durães Adaptive Failure Prediction for Computer Systems: A Framework and a Case Study. 142-149 2015 HASE https://doi.org/10.1109/HASE.2015.29 https://doi.ieeecomputersociety.org/10.1109/HASE.2015.29 conf/hase/2015 db/conf/hase/hase2015.html#IrreraVD15 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. 471-492 2015 RAID https://doi.org/10.1007/978-3-319-26362-5_22 conf/raid/2015 db/conf/raid/raid2015.html#MilenkoskiPAVKA15 Tânia Basso Regina Moraes Mário Jino Marco Vieira Requirements, design and evaluation of a privacy reference architecture for web applications and services. 1425-1432 2015 SAC https://doi.org/10.1145/2695664.2695774 conf/sac/2015 db/conf/sac/sac2015.html#BassoMJV15 Rui André Oliveira Nuno Laranjeiro Marco Vieira Characterizing the performance of web service frameworks under security attacks. 1711-1718 2015 SAC https://doi.org/10.1145/2695664.2695927 conf/sac/2015 db/conf/sac/sac2015.html#OliveiraLV15 Daniel Vecchiato Marco Vieira Eliane Martins A security configuration assessment for android devices. 2299-2304 2015 SAC https://doi.org/10.1145/2695664.2695679 conf/sac/2015 db/conf/sac/sac2015.html#VecchiatoVM15 Nuno Laranjeiro Pedro Furtado 0001 Marco Vieira IEEE Services Visionary Track on Dependable and Secure Services (DSS 2015). 302 2015 SERVICES https://doi.org/10.1109/SERVICES.2015.52 https://doi.ieeecomputersociety.org/10.1109/SERVICES.2015.52 conf/services/2015 db/conf/services/services2015.html#LaranjeiroFV15 João Ricardo Lourenço Veronika Abramova Marco Vieira Bruno Cabral 0001 Jorge Bernardino NoSQL Databases: A Software Engineering Perspective. 741-750 2015 WorldCIST (1) https://doi.org/10.1007/978-3-319-16486-1_73 conf/worldcist/2015-1 db/conf/worldcist/worldcist2015-1.html#LourencoAVCB15

Nuno Antunes Marco Vieira Penetration Testing for Web Services. 30-36 2014 47 Computer 2 https://doi.org/10.1109/MC.2013.409 http://doi.ieeecomputersociety.org/10.1109/MC.2013.409 db/journals/computer/computer47.html#AntunesV14

Javier Cámara 0001 Rogério de Lemos Nuno Laranjeiro Rafael Ventura Marco Vieira Testing the robustness of controllers for self-adaptive systems. 1:1-1:14 2014 20 J. Braz. Comput. Soc. 1 https://doi.org/10.1186/1678-4804-20-1 https://www.wikidata.org/entity/Q59400173 db/journals/jbcs/jbcs20.html#CamaraLLVV14

Ricardo Jorge Santos Jorge Bernardino Marco Vieira Approaches and Challenges in Database Intrusion Detection. 36-47 2014 43 SIGMOD Rec. 3 https://doi.org/10.1145/2694428.2694435 db/journals/sigmod/sigmod43.html#SantosBV14

José Fonseca 0002 Nuno Seixas Marco Vieira Henrique Madeira Analysis of Field Data on Web Security Vulnerabilities. 89-100 2014 11 IEEE Trans. Dependable Secur. Comput. 2 https://doi.org/10.1109/TDSC.2013.37 http://doi.ieeecomputersociety.org/10.1109/TDSC.2013.37 https://www.wikidata.org/entity/Q114255857 db/journals/tdsc/tdsc11.html#FonsecaSVM14

José Fonseca 0002 Marco Vieira Henrique Madeira Evaluation of Web Security Mechanisms Using Vulnerability & Attack Injection. 440-453 2014 11 IEEE Trans. Dependable Secur. Comput. 5 https://doi.org/10.1109/TDSC.2013.45 http://doi.ieeecomputersociety.org/10.1109/TDSC.2013.45 https://www.wikidata.org/entity/Q114255855 db/journals/tdsc/tdsc11.html#FonsecaVM14

Nuno Laranjeiro Marco Vieira Henrique Madeira A Technique for Deploying Robust Web Services. 68-81 2014 7 IEEE Trans. Serv. Comput. 1 https://doi.org/10.1109/TSC.2012.39 http://doi.ieeecomputersociety.org/10.1109/TSC.2012.39 db/journals/tsc/tsc7.html#LaranjeiroVM14

Ivano Alessandro Elia Nuno Laranjeiro Marco Vieira A Field Perspective on the Interoperability of Web Services. 75-82 2014 IEEE SCC https://doi.org/10.1109/SCC.2014.19 https://doi.ieeecomputersociety.org/10.1109/SCC.2014.19 conf/IEEEscc/2014 db/conf/IEEEscc/scc2014.html#EliaLV14 Ivano Alessandro Elia Nuno Laranjeiro Marco Vieira Understanding Interoperability Issues of Web Service Frameworks. 323-330 2014 DSN https://doi.org/10.1109/DSN.2014.40 https://doi.ieeecomputersociety.org/10.1109/DSN.2014.40 conf/dsn/2014 db/conf/dsn/dsn2014.html#EliaLV14 Denise Rotondi Azevedo Ana Maria Ambrosio Marco Vieira Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (Short Paper). 194-197 2014 EDCC https://doi.org/10.1109/EDCC.2014.19 https://doi.ieeecomputersociety.org/10.1109/EDCC.2014.19 conf/edcc/2014 db/conf/edcc/edcc2014.html#AzevedoAV14 Ivano Irrera João Durães Marco Vieira On the Need for Training Failure Prediction Algorithms in Evolving Software Systems. 216-223 2014 HASE https://doi.org/10.1109/HASE.2014.38 https://doi.ieeecomputersociety.org/10.1109/HASE.2014.38 conf/hase/2014 db/conf/hase/hase2014.html#IrreraDV14 Ivano Alessandro Elia Nuno Laranjeiro Marco Vieira ITWS: An Extensible Tool for Interoperability Testing of Web Services. 409-416 2014 ICWS https://doi.org/10.1109/ICWS.2014.65 https://doi.ieeecomputersociety.org/10.1109/ICWS.2014.65 conf/icws/2014 db/conf/icws/icws2014.html#EliaLV14 Aleksandar Milenkoski Bryan D. Payne Nuno Antunes Marco Vieira Samuel Kounev Experience Report: An Analysis of Hypercall Handler Vulnerabilities. 100-111 2014 ISSRE https://doi.org/10.1109/ISSRE.2014.24 https://doi.ieeecomputersociety.org/10.1109/ISSRE.2014.24 conf/issre/2014 db/conf/issre/issre2014.html#MilenkoskiPAVK14 Nuno Silva Marco Vieira Experience Report: Orthogonal Classification of Safety Critical Issues. 156-166 2014 ISSRE https://doi.org/10.1109/ISSRE.2014.25 https://doi.ieeecomputersociety.org/10.1109/ISSRE.2014.25 conf/issre/2014 db/conf/issre/issre2014.html#SilvaV14 Nuno Silva Marco Vieira Towards Making Safety-Critical Systems Safer: Learning from Mistakes. 162-167 2014 ISSRE Workshops https://doi.org/10.1109/ISSREW.2014.97 https://doi.ieeecomputersociety.org/10.1109/ISSREW.2014.97 conf/issre/2014w db/conf/issre/issre2014w.html#SilvaV14a Luis Eduardo Santos Marília Curado Marco Vieira A Research Agenda for Benchmarking the Resilience of Software Defined Networks. 168-173 2014 ISSRE Workshops https://doi.org/10.1109/ISSREW.2014.22 https://doi.ieeecomputersociety.org/10.1109/ISSREW.2014.22 https://www.wikidata.org/entity/Q57592959 conf/issre/2014w db/conf/issre/issre2014w.html#SantosCV14 Ivano Irrera Marco Vieira A Practical Approach for Generating Failure Data for Assessing and Comparing Failure Prediction Algorithms. 86-95 2014 PRDC https://doi.org/10.1109/PRDC.2014.19 https://doi.ieeecomputersociety.org/10.1109/PRDC.2014.19 conf/prdc/2014 db/conf/prdc/prdc2014.html#IrreraV14 Javier Cámara 0001 Pedro Correia Rogério de Lemos Marco Vieira Empirical resilience evaluation of an architecture-based self-adaptive software system. 63-72 2014 QoSA https://doi.org/10.1145/2602576.2602577 conf/qosa/2014 db/conf/qosa/qosa2014.html#CamaraCLV14 Javier Cámara 0001 Rogério de Lemos Nuno Laranjeiro Rafael Ventura Marco Vieira Robustness evaluation of the rainbow framework for self-adaptation. 376-383 2014 SAC https://doi.org/10.1145/2554850.2554935 conf/sac/2014 db/conf/sac/sac2014.html#CamaraLLVV14 Nuno Laranjeiro Pedro Furtado 0001 Marco Vieira IEEE International Workshop on Dependable and Secure Services (DSS 2014). 198-199 2014 SERVICES https://doi.org/10.1109/SERVICES.2014.43 https://doi.ieeecomputersociety.org/10.1109/SERVICES.2014.43 conf/services/2014 db/conf/services/services2014.html#LaranjeiroFV14 Jose Carlos Coelho Martins da Fonseca Marco Paulo Amorim Vieira A Practical Experience on the Impact of Plugins in Web Security. 21-30 2014 SRDS https://doi.org/10.1109/SRDS.2014.20 https://doi.ieeecomputersociety.org/10.1109/SRDS.2014.20 conf/srds/2014 db/conf/srds/srds2014.html#FonsecaV14 István Majzik Marco Vieira Software Engineering for Resilient Systems - 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings 2014 Springer Lecture Notes in Computer Science 8785 https://doi.org/10.1007/978-3-319-12241-0 978-3-319-12240-3 SERENE db/conf/serene/serene2014.html

Aleksandar Milenkoski Marco Vieira Bryan D. Payne Nuno Antunes Samuel Kounev Technical Information on Vulnerabilities of Hypercall Handlers. 2014 abs/1410.1158 CoRR http://arxiv.org/abs/1410.1158 db/journals/corr/corr1410.html#MilenkoskiVPAK14

Aleksandar Milenkoski Samuel Kounev Alberto Avritzer Nuno Antunes Marco Vieira On Benchmarking Intrusion Detection Systems in Virtualized Environments. 2014 abs/1410.1160 CoRR http://arxiv.org/abs/1410.1160 db/journals/corr/corr1410.html#MilenkoskiKAAV14

Javier Cámara 0001 Rogério de Lemos Marco Vieira Raquel Almeida 0002 Rafael Ventura Architecture-based resilience evaluation for self-adaptive systems. 689-722 2013 95 Computing 8 https://doi.org/10.1007/s00607-013-0311-7 https://www.wikidata.org/entity/Q62040629 db/journals/computing/computing95.html#CamaraLVAV13

Nuno Antunes Marco Vieira SOA-Scanner: An Integrated Tool to Detect Vulnerabilities in Service-Based Infrastructures. 280-287 2013 IEEE SCC https://doi.org/10.1109/SCC.2013.28 https://doi.ieeecomputersociety.org/10.1109/SCC.2013.28 conf/IEEEscc/2013 db/conf/IEEEscc/scc2013.html#AntunesV13 Ricardo Jorge Santos Deolinda M. L. D. Rasteiro Jorge Bernardino Marco Vieira A Specific Encryption Solution for Data Warehouses. 84-98 2013 DASFAA (2) https://doi.org/10.1007/978-3-642-37450-0_6 conf/dasfaa/2013-2 db/conf/dasfaa/dasfaa2013-2.html#SantosRBV13 Tânia Basso Nuno Antunes Regina Moraes Marco Vieira An XML-Based Policy Model for Access Control in Web Applications. 274-288 2013 DEXA (2) https://doi.org/10.1007/978-3-642-40173-2_23 conf/dexa/2013-2 db/conf/dexa/dexa2013-2.html#BassoAMV13 Raquel Almeida 0002 Afonso Araújo Neto Marco Vieira SCoRe: An across-the-board metric for computer systems resilience benchmarking. 1-8 2013 DSN Workshops https://doi.org/10.1109/DSNW.2013.6615542 https://doi.ieeecomputersociety.org/10.1109/DSNW.2013.6615542 conf/dsn/2013w db/conf/dsn/dsn2013w.html#AlmeidaNV13 Naghmeh Ramezani Ivaki Nuno Laranjeiro Marco Vieira Towards evaluating the impact of data quality on service applications. 1-7 2013 DSN Workshops https://doi.org/10.1109/DSNW.2013.6615509 https://doi.ieeecomputersociety.org/10.1109/DSNW.2013.6615509 conf/dsn/2013w db/conf/dsn/dsn2013w.html#IvakiLV13 Nuno Silva Ricardo Barbosa 0003 João Carlos Cunha Marco Vieira A view on the past and future of fault injection. 1-2 2013 DSN https://doi.org/10.1109/DSN.2013.6575332 https://doi.ieeecomputersociety.org/10.1109/DSN.2013.6575332 https://www.wikidata.org/entity/Q57741064 conf/dsn/2013 db/conf/dsn/dsn2013.html#SilvaBCV13 Nuno Silva Marco Vieira Certification of embedded systems: Quantitative analysis and irrefutable evidences. 15-16 2013 ISSRE (Supplemental Proceedings) https://doi.org/10.1109/ISSREW.2013.6688854 https://doi.ieeecomputersociety.org/10.1109/ISSREW.2013.6688854 conf/issre/2013w db/conf/issre/issre2013w.html#SilvaV13 Nuno Antunes Francesco Brancati Andrea Ceccarelli Andrea Bondavalli Marco Vieira A monitoring and testing framework for critical off-the-shelf applications and services. 371-374 2013 ISSRE (Supplemental Proceedings) https://doi.org/10.1109/ISSREW.2013.6688923 https://doi.ieeecomputersociety.org/10.1109/ISSREW.2013.6688923 conf/issre/2013w db/conf/issre/issre2013w.html#AntunesBCBV13 Javier Cámara 0001 Rogério de Lemos Nuno Laranjeiro Rafael Ventura Marco Vieira Robustness Evaluation of Controllers in Self-Adaptive Software Systems. 1-10 2013 LADC https://doi.org/10.1109/LADC.2013.17 https://doi.ieeecomputersociety.org/10.1109/LADC.2013.17 https://www.wikidata.org/entity/Q62040637 conf/ladc/2013 db/conf/ladc/ladc2013.html#CamaraLLVV13 Ivano Irrera Carlos Pereira Marco Vieira The Time Dimension in Predicting Failures: A Case Study. 86-91 2013 LADC https://doi.org/10.1109/LADC.2013.25 https://doi.ieeecomputersociety.org/10.1109/LADC.2013.25 conf/ladc/2013 db/conf/ladc/ladc2013.html#IrreraPV13 Ivano Irrera João Durães Henrique Madeira Marco Vieira Assessing the Impact of Virtualization on the Generation of Failure Prediction Data. 92-97 2013 LADC https://doi.org/10.1109/LADC.2013.24 https://doi.ieeecomputersociety.org/10.1109/LADC.2013.24 conf/ladc/2013 db/conf/ladc/ladc2013.html#IrreraDMV13 Denise Rotondi Azevedo Ana Maria Ambrosio Marco Vieira HLA Middleware Robustness and Scalability Evaluation in the Context of Satellite Simulators. 312-317 2013 PRDC https://doi.org/10.1109/PRDC.2013.53 https://doi.ieeecomputersociety.org/10.1109/PRDC.2013.53 conf/prdc/2013 db/conf/prdc/prdc2013.html#AzevedoAV13 Marco Vieira João Carlos Cunha Dependable Computing - 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings 2013 Springer Lecture Notes in Computer Science 7869 https://doi.org/10.1007/978-3-642-38789-0 https://www.wikidata.org/entity/Q57741068 978-3-642-38788-3 EWDC db/conf/ewdc/ewdc2013.html

Nuno Antunes Marco Vieira Defending against Web Application Vulnerabilities. 66-72 2012 45 Computer 2 https://doi.org/10.1109/MC.2011.259 http://doi.ieeecomputersociety.org/10.1109/MC.2011.259 db/journals/computer/computer45.html#AntunesV12

Nuno Laranjeiro Marco Vieira Henrique Madeira A robustness testing approach for SOAP Web services. 215-232 2012 3 J. Internet Serv. Appl. 2 https://doi.org/10.1007/s13174-012-0062-2 db/journals/jisa/jisa3.html#LaranjeiroVM12

Rui André Oliveira Nuno Laranjeiro Marco Vieira Experimental Evaluation of Web Service Frameworks in the Presence of Security Attacks. 633-640 2012 IEEE SCC https://doi.org/10.1109/SCC.2012.52 https://doi.ieeecomputersociety.org/10.1109/SCC.2012.52 conf/IEEEscc/2012 db/conf/IEEEscc/scc2012.html#OliveiraLV12 Ricardo Jorge Santos Jorge Bernardino Marco Vieira Leveraging 24/7 Availability and Performance for Distributed Real-Time Data Warehouses. 654-659 2012 COMPSAC https://doi.org/10.1109/COMPSAC.2012.92 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2012.92 conf/compsac/2012 db/conf/compsac/compsac2012.html#SantosBV12 Ricardo Jorge Santos Jorge Bernardino Marco Vieira Evaluating the Feasibility Issues of Data Confidentiality Solutions from a Data Warehousing Perspective. 404-416 2012 DaWaK https://doi.org/10.1007/978-3-642-32584-7_33 conf/dawak/2012 db/conf/dawak/dawak2012.html#SantosBV12 Raquel Almeida 0002 Marco Vieira Changeloads for Resilience Benchmarking of Self-Adaptive Systems: A Risk-Based Approach. 173-184 2012 EDCC https://doi.org/10.1109/EDCC.2012.30 https://doi.ieeecomputersociety.org/10.1109/EDCC.2012.30 conf/edcc/2012 db/conf/edcc/edcc2012.html#AlmeidaV12 Denise Rotondi Azevedo Ana Maria Ambrosio Marco Vieira Applying Data Mining for Detecting Anomalies in Satellites. 212-217 2012 EDCC https://doi.org/10.1109/EDCC.2012.19 https://doi.ieeecomputersociety.org/10.1109/EDCC.2012.19 conf/edcc/2012 db/conf/edcc/edcc2012.html#AzevedoAV12 Ricardo Jorge Santos Jorge Bernardino Marco Vieira DBMS Application Layer Intrusion Detection for Data Warehouses. 493-507 2012 ISD https://doi.org/10.1007/978-1-4614-7540-8_38 conf/isdevel/2012 db/conf/isdevel/isdevel2012.html#SantosBV12 Nuno Antunes Marco Vieira Detecting Vulnerabilities in Service Oriented Architectures. 134-139 2012 ISSRE Workshops https://doi.org/10.1109/ISSREW.2012.33 https://doi.ieeecomputersociety.org/10.1109/ISSREW.2012.33 conf/issre/2012w db/conf/issre/issre2012w.html#AntunesV12 Nuno Antunes Marco Vieira Evaluating and Improving Penetration Testing in Web Services. 201-210 2012 ISSRE https://doi.org/10.1109/ISSRE.2012.26 https://doi.ieeecomputersociety.org/10.1109/ISSRE.2012.26 conf/issre/2012 db/conf/issre/issre2012.html#AntunesV12a 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. 361-365 2012 PROFES https://doi.org/10.1007/978-3-642-31063-8_29 conf/profes/2012 db/conf/profes/profes2012.html#MargaridoFVV12 Isabel Lopes Margarido Raul Moreira Vidal Marco Vieira Lessons Learnt in the Implementation of CMMI Maturity Level 5. 47-56 2012 QUATIC https://doi.org/10.1109/QUATIC.2012.37 https://doi.ieeecomputersociety.org/10.1109/QUATIC.2012.37 conf/quatic/2012 db/conf/quatic/quatic2012.html#MargaridoVV12 Raquel Almeida 0002 Marco Vieira Changeloads: A Fundamental Piece on the SASO Systems Benchmarking Puzzle. 93-96 2012 SASO Workshops https://doi.org/10.1109/SASOW.2012.25 https://doi.ieeecomputersociety.org/10.1109/SASOW.2012.25 conf/saso/2012w db/conf/saso/saso2012w.html#AlmeidaV12 Len Wyatt Brian Caufield Marco Vieira Meikel Poess Incorporating Recovery from Failures into a Data Integration Benchmark. 21-33 2012 conf/tpctc/2012 TPCTC https://doi.org/10.1007/978-3-642-36727-4_2 db/conf/tpctc/tpctc2012.html#WyattCVP12 Ricardo Jorge Santos Jorge Bernardino Marco Vieira Deolinda M. L. D. Rasteiro Securing Data Warehouses from Web-Based Intrusions. 681-688 2012 WISE https://doi.org/10.1007/978-3-642-35063-4_53 conf/wise/2012 db/conf/wise/wise2012.html#SantosBVR12 João Durães José Fonseca 0002 Henrique Madeira Marco Vieira Field Studies on Resilience: Measurements and Repositories. 213-237 2012 Resilience Assessment and Evaluation of Computing Systems https://doi.org/10.1007/978-3-642-29032-9_11 books/sp/wolter12 db/books/collections/wolter2012.html#DuraesFMV12 Raul Barbosa Johan Karlsson Henrique Madeira Marco Vieira Fault Injection. 263-281 2012 Resilience Assessment and Evaluation of Computing Systems https://doi.org/10.1007/978-3-642-29032-9_13 books/sp/wolter12 db/books/collections/wolter2012.html#BarbosaKMV12 Marco Vieira Henrique Madeira Kai Sachs Samuel Kounev Resilience Benchmarking. 283-301 2012 Resilience Assessment and Evaluation of Computing Systems https://doi.org/10.1007/978-3-642-29032-9_14 books/sp/wolter12 db/books/collections/wolter2012.html#VieiraMSK12 Zoltán Micskei Henrique Madeira Alberto Avritzer István Majzik Marco Vieira Nuno Antunes Robustness Testing Techniques and Tools. 323-339 2012 Resilience Assessment and Evaluation of Computing Systems https://doi.org/10.1007/978-3-642-29032-9_16 books/sp/wolter12 db/books/collections/wolter2012.html#MicskeiMAMVA12 Katinka Wolter Alberto Avritzer Marco Vieira Aad P. A. van Moorsel Resilience Assessment and Evaluation of Computing Systems Springer 2012 978-3-642-29031-2 978-3-642-29032-9 https://doi.org/10.1007/978-3-642-29032-9 Resilience Assessment and Evaluation of Computing Systems db/books/collections/wolter2012.html

Marco Vieira Ilir Gashi EDCC 2012 - Fast Abstracts & Student Forum Proceedings http://arxiv.org/abs/1204.4428 2012 CoRR abs/1204.4428 db/journals/corr/corr1204.html#abs-1204-4428

Afonso Araújo Neto Marco Vieira Selecting Secure Web Applications Using Trustworthiness Benchmarking. 1-16 2011 2 Int. J. Dependable Trust. Inf. Syst. 2 https://doi.org/10.4018/jdtis.2011040101 db/journals/ijdtis/ijdtis2.html#NetoV11

Afonso Araújo Neto Marco Vieira Security Gaps in Databases: A Comparison of Alternative Software Products for Web Applications Support. 42-62 2011 2 Int. J. Secur. Softw. Eng. 3 https://doi.org/10.4018/jsse.2011070103 https://www.wikidata.org/entity/Q113416136 db/journals/ijsse/ijsse2.html#NetoV11

Afonso Araújo Neto Marco Vieira Selecting Software Packages for Secure Database Installations. 67-74 2011 ARES https://doi.org/10.1109/ARES.2011.19 https://doi.ieeecomputersociety.org/10.1109/ARES.2011.19 conf/IEEEares/2011 db/conf/IEEEares/ares2011.html#NetoV11 Afonso Araújo Neto Marco Vieira Trustworthiness Benchmarking of Web Applications Using Static Code Analysis. 224-229 2011 ARES https://doi.org/10.1109/ARES.2011.37 https://doi.ieeecomputersociety.org/10.1109/ARES.2011.37 conf/IEEEares/2011 db/conf/IEEEares/ares2011.html#NetoV11a Nuno Antunes Marco Vieira Enhancing Penetration Testing with Attack Signatures and Interface Monitoring for the Detection of Injection Vulnerabilities in Web Services. 104-111 2011 IEEE SCC https://doi.org/10.1109/SCC.2011.67 https://doi.ieeecomputersociety.org/10.1109/SCC.2011.67 conf/IEEEscc/2011 db/conf/IEEEscc/scc2011.html#AntunesV11 Rui André Oliveira Nuno Laranjeiro Marco Vieira A Composed Approach for Automatic Classification of Web Services Robustness. 176-183 2011 IEEE SCC https://doi.org/10.1109/SCC.2011.19 https://doi.ieeecomputersociety.org/10.1109/SCC.2011.19 conf/IEEEscc/2011 db/conf/IEEEscc/scc2011.html#OliveiraLV11 Ricardo Jorge Santos Jorge Bernardino Marco Vieira 24/7 Real-Time Data Warehousing: A Tool for Continuous Actionable Knowledge. 279-288 2011 COMPSAC https://doi.org/10.1109/COMPSAC.2011.44 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2011.44 conf/compsac/2011 db/conf/compsac/compsac2011.html#SantosBV11 Afonso Araújo Neto Marco Vieira TO BEnchmark or NOT TO BEnchmark security: That is the question. 182-187 2011 DSN Workshops https://doi.org/10.1109/DSNW.2011.5958810 https://doi.ieeecomputersociety.org/10.1109/DSNW.2011.5958810 conf/dsn/2011w db/conf/dsn/dsnw2011.html#NetoV11 Ricardo Jorge Santos Jorge Bernardino Marco Vieira A survey on data security in data warehousing: Issues, challenges and opportunities. 1-4 2011 EUROCON https://doi.org/10.1109/EUROCON.2011.5929314 conf/eurocon/2011 db/conf/eurocon/eurocon2011.html#SantosBV11 Afonso Araújo Neto Marco Vieira Towards benchmarking the trustworthiness of web applications code. 29-34 2011 EWDC https://doi.org/10.1145/1978582.1978589 conf/ewdc/2011 db/conf/ewdc/ewdc2011.html#NetoV11 Andrea Ceccarelli Marco Vieira Andrea Bondavalli A Testing Service for Lifelong Validation of Dynamic SOA. 1-8 2011 HASE https://doi.org/10.1109/HASE.2011.18 https://doi.ieeecomputersociety.org/10.1109/HASE.2011.18 conf/hase/2011 db/conf/hase/hase2011.html#CeccarelliVB11 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. 345-354 2011 ICHIT (2) https://doi.org/10.1007/978-3-642-24106-2_45 conf/ichit/2011-2 db/conf/ichit/ichit2011-2.html#RodriguesPEVCJBJ11 Raquel Almeida 0002 Marco Vieira Benchmarking the resilience of self-adaptive software systems: perspectives and challenges. 190-195 2011 SEAMS https://doi.org/10.1145/1988008.1988035 conf/icse/2011seams db/conf/icse/seams2011.html#AlmeidaV11 Ricardo Jorge Santos Jorge Bernardino Marco Vieira A data masking technique for data warehouses. 61-69 2011 IDEAS https://doi.org/10.1145/2076623.2076632 https://www.wikidata.org/entity/Q130895521 conf/ideas/2011 db/conf/ideas/ideas2011.html#SantosBV11 Andrea Ceccarelli Marco Vieira Andrea Bondavalli A Service Discovery Approach for Testing Dynamic SOAs. 133-142 2011 ISORC Workshops https://doi.org/10.1109/ISORCW.2011.23 https://doi.ieeecomputersociety.org/10.1109/ISORCW.2011.23 conf/isorc/2011w db/conf/isorc/isorc2011w.html#CeccarelliVB11 João Carlos Cunha Sérgio Cruz Marco Costa 0001 Ana Rita Rodrigues Marco Vieira Implementing Software Effort Estimation in a Medium-sized Company. 92-96 2011 SEW https://doi.org/10.1109/SEW.2011.19 https://doi.ieeecomputersociety.org/10.1109/SEW.2011.19 https://www.wikidata.org/entity/Q57741080 conf/sew/2011 db/conf/sew/sew2011.html#CunhaCCRV11 Marco Vieira Henrique Madeira Sérgio Cruz Marco Costa 0001 João Carlos Cunha Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics. 112-116 2011 SEW https://doi.org/10.1109/SEW.2011.22 https://doi.ieeecomputersociety.org/10.1109/SEW.2011.22 https://www.wikidata.org/entity/Q57741083 conf/sew/2011 db/conf/sew/sew2011.html#VieiraMCCC11 Ricardo Jorge Santos Jorge Bernardino Marco Vieira Balancing Security and Performance for Enhancing Data Privacy in Data Warehouses. 242-249 2011 TrustCom https://doi.org/10.1109/TrustCom.2011.33 https://doi.ieeecomputersociety.org/10.1109/TrustCom.2011.33 conf/trustcom/2011 db/conf/trustcom/trustcom2011.html#SantosBV11 Marco Vieira Dependability Benchmarking for OLTP Systems - A Mandatory Path. I-VII, 1-170 LAP Lambert Academic Publishing 2010 978-3-8383-0702-2

Afonso Araújo Neto Marco Vieira Benchmarking Untrustworthiness: An Alternative to Security Measurement. 32-54 2010 1 Int. J. Dependable Trust. Inf. Syst. 2 https://doi.org/10.4018/jdtis.2010040102 db/journals/ijdtis/ijdtis1.html#NetoV10

Raquel Almeida 0002 Henrique Madeira Marco Vieira From Performance to Resilience Benchmarking. 286-287 2010 ICDCS Workshops https://doi.org/10.1109/ICDCSW.2010.69 https://doi.ieeecomputersociety.org/10.1109/ICDCSW.2010.69 conf/icdcsw/2010 db/conf/icdcsw/icdcsw2010.html#AlmeidaMV10 Nuno Antunes Marco Vieira Benchmarking Vulnerability Detection Tools for Web Services. 203-210 2010 ICWS https://doi.org/10.1109/ICWS.2010.76 https://doi.ieeecomputersociety.org/10.1109/ICWS.2010.76 conf/icws/2010 db/conf/icws/icws2010.html#AntunesV10 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. 61-70 2010 ISSRE https://doi.org/10.1109/ISSRE.2010.30 https://doi.ieeecomputersociety.org/10.1109/ISSRE.2010.30 conf/issre/2010 db/conf/issre/issre2010.html#VerasVASVM10 Ivano Alessandro Elia José Fonseca 0002 Marco Vieira Comparing SQL Injection Detection Tools Using Attack Injection: An Experimental Study. 289-298 2010 ISSRE https://doi.org/10.1109/ISSRE.2010.32 https://doi.ieeecomputersociety.org/10.1109/ISSRE.2010.32 conf/issre/2010 db/conf/issre/issre2010.html#EliaFV10 José Fonseca 0002 Marco Vieira Henrique Madeira The Web Attacker Perspective - A Field Study. 299-308 2010 ISSRE https://doi.org/10.1109/ISSRE.2010.21 https://doi.ieeecomputersociety.org/10.1109/ISSRE.2010.21 conf/issre/2010 db/conf/issre/issre2010.html#FonsecaVM10 Ivano Irrera João Durães Marco Vieira Henrique Madeira Towards Identifying the Best Variables for Failure Prediction Using Injection of Realistic Software Faults. 3-10 2010 PRDC https://doi.org/10.1109/PRDC.2010.51 https://doi.ieeecomputersociety.org/10.1109/PRDC.2010.51 conf/prdc/2010 db/conf/prdc/prdc2010.html#IrreraDVM10 Nuno Laranjeiro Marco Vieira Henrique Madeira A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks. 191-198 2010 PRDC https://doi.org/10.1109/PRDC.2010.24 https://doi.ieeecomputersociety.org/10.1109/PRDC.2010.24 conf/prdc/2010 db/conf/prdc/prdc2010.html#LaranjeiroVM10 Paulo C. Véras Emília Villani Ana Maria Ambrosio Rodrigo Pastl Pontes Marco Vieira Henrique Madeira Benchmarking Software Requirements Documentation for Space Application. 112-125 2010 SAFECOMP https://doi.org/10.1007/978-3-642-15651-9_9 conf/safecomp/2010 db/conf/safecomp/safecomp2010.html#VerasVAPVM10 Nuno Laranjeiro Rui André Oliveira Marco Vieira Applying Text Classification Algorithms in Web Services Robustness Testing. 255-264 2010 SRDS https://doi.org/10.1109/SRDS.2010.36 https://doi.ieeecomputersociety.org/10.1109/SRDS.2010.36 conf/srds/2010 db/conf/srds/srds2010.html#LaranjeiroOV10 Raquel Almeida 0002 Henrique Madeira Marco Vieira Benchmarking the Resilience of Self-Adaptive Systems: A New Research Challenge. 348-352 2010 SRDS https://doi.org/10.1109/SRDS.2010.50 https://doi.ieeecomputersociety.org/10.1109/SRDS.2010.50 conf/srds/2010 db/conf/srds/srds2010.html#AlmeidaMV10 Raquel Almeida 0002 Meikel Poess Raghunath Othayoth Nambiar Indira Patil Marco Vieira How to Advance TPC Benchmarks with Dependability Aspects. 57-72 2010 TPCTC https://doi.org/10.1007/978-3-642-18206-8_5 conf/tpctc/2010 db/conf/tpctc/tpctc2010.html#AlmeidaPNPV10 Nuno Antunes Nuno Laranjeiro Marco Vieira Henrique Madeira Effective Detection of SQL/XPath Injection Vulnerabilities in Web Services. 260-267 2009 IEEE SCC https://doi.org/10.1109/SCC.2009.23 https://doi.ieeecomputersociety.org/10.1109/SCC.2009.23 conf/IEEEscc/2009 db/conf/IEEEscc/scc2009.html#AntunesLVM09 Afonso Araújo Neto Marco Vieira Untrustworthiness: A trust-based security metric. 123-126 2009 CRiSIS https://doi.org/10.1109/CRISIS.2009.5411967 conf/crisis/2009 db/conf/crisis/crisis2009.html#NetoV09 Nuno Laranjeiro Marco Vieira Henrique Madeira Predicting Timing Failures in Web Services. 182-196 2009 DASFAA Workshops https://doi.org/10.1007/978-3-642-04205-8_16 conf/dasfaa/2009w db/conf/dasfaa/dasfaa2009w.html#LaranjeiroVM09 Nuno Laranjeiro Marco Vieira Henrique Madeira Protecting Database Centric Web Services against SQL/XPath Injection Attacks. 271-278 2009 DEXA https://doi.org/10.1007/978-3-642-03573-9_22 conf/dexa/2009 db/conf/dexa/dexa2009.html#LaranjeiroVM09 José Fonseca 0002 Marco Vieira Henrique Madeira Vulnerability & attack injection for web applications. 93-102 2009 DSN https://doi.org/10.1109/DSN.2009.5270349 https://doi.ieeecomputersociety.org/10.1109/DSN.2009.5270349 conf/dsn/2009 db/conf/dsn/dsn2009.html#FonsecaVM09 Marco Vieira Nuno Antunes Henrique Madeira Using web security scanners to detect vulnerabilities in web services. 566-571 2009 DSN https://doi.org/10.1109/DSN.2009.5270294 https://doi.ieeecomputersociety.org/10.1109/DSN.2009.5270294 conf/dsn/2009 db/conf/dsn/dsn2009.html#VieiraAM09 Marco Vieira Student Forum. 602 2009 DSN https://doi.org/10.1109/DSN.2009.5270282 https://doi.ieeecomputersociety.org/10.1109/DSN.2009.5270282 conf/dsn/2009 db/conf/dsn/dsn2009.html#Vieira09 Paulo Marques Paulo Gomes Marco Vieira Juan Prieto Vicente Navarro Mauro Pecchioli BIRF: Keeping Software Development under Control across the Organization. 458-464 2009 ICSEA https://doi.org/10.1109/ICSEA.2009.73 https://doi.ieeecomputersociety.org/10.1109/ICSEA.2009.73 conf/icsea/2009 db/conf/icsea/icsea2009.html#MarquesGVPNP09 Nuno Laranjeiro Marco Vieira Henrique Madeira Improving Web Services Robustness. 397-404 2009 ICWS https://doi.org/10.1109/ICWS.2009.27 https://doi.ieeecomputersociety.org/10.1109/ICWS.2009.27 conf/icws/2009 db/conf/icws/icws2009.html#LaranjeiroVM09 Nuno Seixas José Fonseca 0002 Marco Vieira Henrique Madeira Looking at Web Security Vulnerabilities from the Programming Language Perspective: A Field Study. 129-135 2009 ISSRE https://doi.org/10.1109/ISSRE.2009.30 https://doi.ieeecomputersociety.org/10.1109/ISSRE.2009.30 conf/issre/2009 db/conf/issre/issre2009.html#SeixasFVM09 Afonso Araújo Neto Marco Vieira Benchmarking Untrustworthiness in DBMS Configurations. 1-8 2009 LADC https://doi.org/10.1109/LADC.2009.23 https://doi.ieeecomputersociety.org/10.1109/LADC.2009.23 conf/ladc/2009 db/conf/ladc/ladc2009.html#NetoV09 Nuno Antunes Marco Vieira Detecting SQL Injection Vulnerabilities in Web Services. 17-24 2009 LADC https://doi.org/10.1109/LADC.2009.21 https://doi.ieeecomputersociety.org/10.1109/LADC.2009.21 conf/ladc/2009 db/conf/ladc/ladc2009.html#AntunesV09 Afonso Araújo Neto Marco Vieira Appraisals Based on Security Best Practices for Software Configurations. 57-64 2009 LADC https://doi.org/10.1109/LADC.2009.18 https://doi.ieeecomputersociety.org/10.1109/LADC.2009.18 conf/ladc/2009 db/conf/ladc/ladc2009.html#NetoV09a Afonso Araújo Neto Marco Vieira A Trust-Based Benchmark for DBMS Configurations. 143-150 2009 PRDC https://doi.org/10.1109/PRDC.2009.31 https://doi.ieeecomputersociety.org/10.1109/PRDC.2009.31 conf/prdc/2009 db/conf/prdc/prdc2009.html#NetoV09 Nuno Antunes Marco Vieira Comparing the Effectiveness of Penetration Testing and Static Code Analysis on the Detection of SQL Injection Vulnerabilities in Web Services. 301-306 2009 PRDC https://doi.org/10.1109/PRDC.2009.54 https://doi.ieeecomputersociety.org/10.1109/PRDC.2009.54 conf/prdc/2009 db/conf/prdc/prdc2009.html#AntunesV09 Marco Vieira Henrique Madeira From Performance to Dependability Benchmarking: A Mandatory Path. 67-83 2009 TPCTC https://doi.org/10.1007/978-3-642-10424-4_6 conf/tpctc/2009 db/conf/tpctc/tpctc2009.html#VieiraM09

Nuno Laranjeiro Marco Vieira Deploying fault tolerant web service compositions. 2008 23 Comput. Syst. Sci. Eng. 5 db/journals/csse/csse23.html#LaranjeiroV08

Nuno Laranjeiro Marco Vieira Henrique Madeira Experimental Robustness Evaluation of JMS Middleware. 119-126 2008 IEEE SCC (1) https://doi.org/10.1109/SCC.2008.129 https://doi.ieeecomputersociety.org/10.1109/SCC.2008.129 conf/IEEEscc/2008 db/conf/IEEEscc/scc2008.html#LaranjeiroVM08 Nuno Laranjeiro Salvador Canelas Marco Vieira wsrbench: An On-Line Tool for Robustness Benchmarking. 187-194 2008 IEEE SCC (2) https://doi.org/10.1109/SCC.2008.123 https://doi.ieeecomputersociety.org/10.1109/SCC.2008.123 conf/IEEEscc/2008 db/conf/IEEEscc/scc2008.html#LaranjeiroCV08 Nuno Laranjeiro Marco Vieira Henrique Madeira Timing Failures Detection in Web Services. 554-559 2008 APSCC https://doi.org/10.1109/APSCC.2008.236 https://doi.ieeecomputersociety.org/10.1109/APSCC.2008.236 conf/apscc/2008 db/conf/apscc/apscc2008.html#LaranjeiroVM08 Bruno Direito António Dourado Marco Vieira Francisco Sales Combining Energy and Wavelet Transform for Epileptic Seizure Prediction in an Advanced Computational System. 380-385 2008 BMEI (2) https://doi.org/10.1109/BMEI.2008.276 https://doi.ieeecomputersociety.org/10.1109/BMEI.2008.276 https://www.wikidata.org/entity/Q62743529 conf/bmei/2008-2 db/conf/bmei/bmei2008-2.html#DireitoDVS08 Jorge Vieira Marco Vieira Marco Costa 0001 Henrique Madeira Redundant Array of Inexpensive Nodes for DWS. 580-587 2008 DASFAA https://doi.org/10.1007/978-3-540-78568-2_49 conf/dasfaa/2008 db/conf/dasfaa/dasfaa2008.html#VieiraVCM08 Jorge Vieira Marco Vieira Marco Costa 0001 Henrique Madeira RAIN: Always on Data Warehousing. 678-681 2008 DASFAA https://doi.org/10.1007/978-3-540-78568-2_61 conf/dasfaa/2008 db/conf/dasfaa/dasfaa2008.html#VieiraVCM08a Raquel Almeida 0002 Jorge Vieira Marco Vieira Henrique Madeira Jorge Bernardino Efficient Data Distribution for DWS. 75-86 2008 DaWaK https://doi.org/10.1007/978-3-540-85836-2_8 conf/dawak/2008 db/conf/dawak/dawak2008.html#AlmeidaVVMB08 Afonso Araújo Neto Marco Vieira Towards assessing the security of DBMS configurations. 90-95 2008 DSN https://doi.org/10.1109/DSN.2008.4630074 https://doi.ieeecomputersociety.org/10.1109/DSN.2008.4630074 conf/dsn/2008 db/conf/dsn/dsn2008.html#NetoV08 José Fonseca 0002 Marco Vieira Mapping software faults with web security vulnerabilities. 257-266 2008 DSN https://doi.org/10.1109/DSN.2008.4630094 https://doi.ieeecomputersociety.org/10.1109/DSN.2008.4630094 conf/dsn/2008 db/conf/dsn/dsn2008.html#FonsecaV08 Pedro Almeida Marco Jorge Luís Cortesão Filipe Martins Marco Vieira Paulo Gomes Supporting Fraud Analysis in Mobile Telecommunications Using Case-Based Reasoning. 562-572 2008 ECCBR https://doi.org/10.1007/978-3-540-85502-6_38 conf/ewcbr/2008 db/conf/ewcbr/eccbr2008.html#AlmeidaJCMVG08 Nuno Laranjeiro Marco Vieira Henrique Madeira Robustness Validation in Service-Oriented Architectures. 98-123 2008 WADS https://doi.org/10.1007/978-3-642-10248-6_5 conf/icse/2008wads db/conf/icse/wads2008.html#LaranjeiroVM08 Bruno Direito António Dourado Francisco Sales Marco Vieira An Application for Electroencephalogram Mining for Epileptic Seizure Prediction. 87-101 2008 ICDM https://doi.org/10.1007/978-3-540-70720-2_7 https://www.wikidata.org/entity/Q62743531 conf/incdm/2008 db/conf/incdm/incdm2008.html#DireitoDSV08 José Fonseca 0002 Marco Vieira Henrique Madeira Training Security Assurance Teams Using Vulnerability Injection. 297-304 2008 PRDC https://doi.org/10.1109/PRDC.2008.43 https://doi.ieeecomputersociety.org/10.1109/PRDC.2008.43 conf/prdc/2008 db/conf/prdc/prdc2008.html#FonsecaVM08 Naaliel Mendes Afonso Araújo Neto João Durães Marco Vieira Henrique Madeira Assessing and Comparing Security of Web Servers. 313-322 2008 PRDC https://doi.org/10.1109/PRDC.2008.45 https://doi.ieeecomputersociety.org/10.1109/PRDC.2008.45 conf/prdc/2008 db/conf/prdc/prdc2008.html#MendesNDVM08 José Fonseca 0002 Marco Vieira Henrique Madeira Online detection of malicious data access using DBMS auditing. 1013-1020 2008 SAC https://doi.org/10.1145/1363686.1363921 conf/sac/2008 db/conf/sac/sac2008.html#FonsecaVM08 Marco Vieira António Casimiro Costa Henrique Madeira Towards Timely ACID Transactions in DBMS. 262-274 2007 conf/dasfaa/2007 DASFAA https://doi.org/10.1007/978-3-540-71703-4_24 db/conf/dasfaa/dasfaa2007.html#VieiraCM07 Marco Vieira Nuno Laranjeiro Henrique Madeira Assessing Robustness of Web-Services Infrastructures. 131-136 2007 conf/dsn/2007 DSN https://doi.org/10.1109/DSN.2007.16 https://doi.ieeecomputersociety.org/10.1109/DSN.2007.16 db/conf/dsn/dsn2007.html#VieiraLM07 Marco Vieira Nuno Laranjeiro Comparing Web Services Performance and Recovery in the Presence of Faults. 623-630 2007 conf/icws/2007 ICWS https://doi.org/10.1109/ICWS.2007.63 https://doi.ieeecomputersociety.org/10.1109/ICWS.2007.63 db/conf/icws/icws2007.html#VieiraL07 José Fonseca 0002 Marco Vieira Henrique Madeira Integrated Intrusion Detection in Databases. 198-211 2007 conf/ladc/2007 LADC https://doi.org/10.1007/978-3-540-75294-3_15 db/conf/ladc/ladc2007.html#FonsecaVM07 Marco Vieira Henrique Madeira Do You Know... How to Analyze and Share Results from Dependability Evaluation Experiments? 231-232 2007 conf/ladc/2007 LADC https://doi.org/10.1007/978-3-540-75294-3_17 db/conf/ladc/ladc2007.html#VieiraM07 Marco Vieira Nuno Laranjeiro Henrique Madeira Benchmarking the Robustness of Web Services. 322-329 2007 PRDC https://doi.org/10.1109/PRDC.2007.56 https://doi.ieeecomputersociety.org/10.1109/PRDC.2007.56 conf/prdc/2007 db/conf/prdc/prdc2007.html#VieiraLM07 José Fonseca 0002 Marco Vieira Henrique Madeira Testing and Comparing Web Vulnerability Scanning Tools for SQL Injection and XSS Attacks. 365-372 2007 PRDC https://doi.org/10.1109/PRDC.2007.55 https://doi.ieeecomputersociety.org/10.1109/PRDC.2007.55 conf/prdc/2007 db/conf/prdc/prdc2007.html#FonsecaVM07 Nuno Laranjeiro Marco Vieira Towards fault tolerance in web services compositions. 2 2007 EFTS https://doi.org/10.1145/1316550.1316552 conf/sigsoft/2007efts db/conf/sigsoft/efts2007.html#LaranjeiroV07 José Fonseca 0002 Marco Vieira Henrique Madeira Detecting Malicious SQL. 259-268 2007 conf/trustbus/2007 TrustBus https://doi.org/10.1007/978-3-540-74409-2_28 db/conf/trustbus/trustbus2007.html#FonsecaVM07 Marco Vieira António Casimiro Costa Henrique Madeira Towards Timely ACID Transactions in DBMS. 381-382 2006 conf/prdc/2006 PRDC https://doi.org/10.1109/PRDC.2006.63 https://doi.ieeecomputersociety.org/10.1109/PRDC.2006.63 db/conf/prdc/prdc2006.html#VieiraCM06 José Fonseca 0002 Marco Vieira Henrique Madeira Monitoring Database Application Behavior for Intrusion Detection. 383-386 2006 conf/prdc/2006 PRDC https://doi.org/10.1109/PRDC.2006.46 https://doi.ieeecomputersociety.org/10.1109/PRDC.2006.46 db/conf/prdc/prdc2006.html#FonsecaVM06 Marco Vieira Henrique Madeira Towards a Security Benchmark for Database Management Systems. 592-601 2005 conf/dsn/2005 DSN https://doi.org/10.1109/DSN.2005.93 https://doi.ieeecomputersociety.org/10.1109/DSN.2005.93 db/conf/dsn/dsn2005.html#VieiraM05 Gergely Pintér Henrique Madeira Marco Vieira István Majzik András Pataricza A Data Mining Approach to Identify Key Factors in Dependability Experiments. 263-280 https://doi.org/10.1007/11408901_20 2005 conf/edcc/2005 EDCC db/conf/edcc/edcc2005.html#PinterMVMP05 Marco Vieira Henrique Madeira Detection of Malicious Transactions in DBMS. 350-357 2005 conf/prdc/2005 PRDC https://doi.org/10.1109/PRDC.2005.31 https://doi.ieeecomputersociety.org/10.1109/PRDC.2005.31 db/conf/prdc/prdc2005.html#VieiraM05

Marco Vieira Henrique Madeira Joint evaluation of recovery and performance of a COTS DBMS in the presence of operator faults. 187-212 2004 56 Perform. Evaluation 1-4 https://doi.org/10.1016/j.peva.2003.07.006 db/journals/pe/pe56.html#VieiraM04

Marco Vieira Henrique Madeira Portable Faultloads Based on Operator Faults for DBMS Dependability Benchmarking. 202-209 2004 conf/compsac/2004 COMPSAC https://doi.org/10.1109/CMPSAC.2004.1342828 https://doi.ieeecomputersociety.org/10.1109/CMPSAC.2004.1342828 db/conf/compsac/compsac2004-R.html#VieiraM04 João Durães Marco Vieira Henrique Madeira Dependability Benchmarking of Web-Servers. 297-310 https://doi.org/10.1007/978-3-540-30138-7_25 2004 conf/safecomp/2004 SAFECOMP db/conf/safecomp/safecomp2004.html#DuraaesVM04 Henrique Madeira João Pedro Costa Marco Vieira The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments. 86-91 2003 conf/dsn/2003 DSN https://doi.org/10.1109/DSN.2003.1209920 https://doi.ieeecomputersociety.org/10.1109/DSN.2003.1209920 db/conf/dsn/dsn2003.html#MadeiraCV03 Marco Vieira Henrique Madeira Benchmarking the Dependability of Different OLTP Systems. 305-310 2003 conf/dsn/2003 DSN https://doi.org/10.1109/DSN.2003.1209940 https://doi.ieeecomputersociety.org/10.1109/DSN.2003.1209940 db/conf/dsn/dsn2003.html#VieiraM03 Pedro Costa 0002 Marco Vieira Henrique Madeira João Gabriel Silva Plug and Play Fault Injector for Dependability Benchmarking. 8-22 https://doi.org/10.1007/978-3-540-45214-0_4 2003 conf/ladc/2003 LADC db/conf/ladc/ladc2003.html#CostaVMS03 Henrique Madeira João Durães Marco Vieira Emulation of Software Faults: Representativeness and Usefulness. 137-159 https://doi.org/10.1007/978-3-540-45214-0_13 2003 conf/ladc/2003 LADC db/conf/ladc/ladc2003.html#MadeiraDV03 http://www.vldb.org/conf/2003/papers/S22P03.pdf https://doi.org/10.1016/B978-012722442-8/50071-9 Marco Vieira Henrique Madeira A Dependability Benchmark for OLTP Application Environments. 2003 conf/vldb/2003 VLDB db/conf/vldb/vldb2003.html#VieiraM03 742-753 Marco Vieira Henrique Madeira Recovery and Performance Balance of a COTS DBMS in the Presence of Operator Faults. 615-626 2002 conf/dsn/2002 DSN https://doi.org/10.1109/DSN.2002.1029007 https://doi.ieeecomputersociety.org/10.1109/DSN.2002.1029007 db/conf/dsn/dsn2002.html#VieiraM02 Marco Vieira Henrique Madeira Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking. 265-274 2002 conf/prdc/2002 PRDC https://doi.org/10.1109/PRDC.2002.1185646 https://doi.ieeecomputersociety.org/10.1109/PRDC.2002.1185646 db/conf/prdc/prdc2002.html#VieiraM02 Diamantino Costa Tiago Rilho Marco Vieira Henrique Madeira ESFFI - A Novel Technique for the Emulation of Coftware Faults in COTS Components. 197-204 2001 conf/ecbs/2001 ECBS https://doi.org/10.1109/ECBS.2001.922422 https://doi.ieeecomputersociety.org/10.1109/ECBS.2001.922422 db/conf/ecbs/ecbs2001.html#CostaRVM01 Henrique Madeira Diamantino Costa Marco Vieira On the Emulation of Software Faults by Software Fault Injection. 417-426 2000 conf/dsn/2000 DSN https://doi.org/10.1109/ICDSN.2000.857571 https://doi.ieeecomputersociety.org/10.1109/ICDSN.2000.857571 db/conf/dsn/dsn2000.html#MadeiraCV00 Veronika Abramova David Perez Abreu Fernando Aires 0001Fernando Antônio Aires Lins Areej Algaith Andy S. Alic André Almeida 0002 Jussara M. Almeida Pedro Almeida Raquel Almeida 0002 Giovanni Aloisio Vasco Amaral 0001 Ana Maria Ambrosio Nazareno Andrade Renato Andrade David de Andrés João Henggeler Antunes Nuno Antunes Diego F. Aranha Iury Araújo Jean Araujo 0001 Danilo Ardagna Cristiana Areias Marcio R. M. Assis Alberto Avritzer Denise Rotondi Azevedo Rosa M. Badia João Barata Raul Barbosa Ricardo Barbosa 0003 Tânia Basso Thaís Vasconcelos BatistaThaís Batista Jorge Bernardino Antonia Bertolino Luiz Fernando BittencourtLuiz F. Bittencourt Ignacio Blanquer Andrea Bondavalli Alexandre Melo Braga Francesco Brancati Kalinka Regina Lucas Jaquie Castelo BrancoKalinka R. L. J. Castelo Branco Alan Braz Tarciso Braz Andrey Brito Barbora Buhnova Bruno Cabral 0001 Gustavo Rau de Almeida CallouGustavo Callou Javier Cámara 0001 João R. Campos Salvador Canelas Cinzia Cappiello Valeria Cardellini Nicolás Cardozo Paulo Carreiro António CasimiroAntónio Casimiro Costa Jessica Castro Brian Caufield Everton Cavalcante Wilian H. Cavassin Andrea Ceccarelli Ram Chillarege Emilia Cioroaica Mário Corrêa Miguel Correia 0001 Pedro Correia Luís Cortesão Diamantino Costa Ernesto Costa João Pedro Costa Marco Costa 0001 Pedro Costa 0002 Pedro Nunes Da Costa Domenico Cotroneo Sérgio Cruz Benedito Cunha João Carlos Cunha Paulo Rupino da CunhaPaulo Rupino Marília Curado Ricardo Dahab Flávia Coimbra Delicato Bruno Direito António Dourado Elias P. Duarte Jr.Elias P. Duarte João Durães Ivana Dusparic Donatello Elia Ivano Alessandro Elia Júlio Cezar Estrella João Pascoal Faria Iure FeIure Fé Eduardo F. Felix João Ferreira 0002 Sandro Fiore José Wilson Vieira Flauzino Carlos M. da FonsecaJose Carlos Coelho Martins da Fonseca José Fonseca 0002 Keiko Verônica Ono FonsecaKeiko V. O. Fonseca Breno B. N. de FrançaBreno de França Pedro Furtado 0001 Ilir Gashi Ilias Gerostathopoulos Diego R. Gomes Paulo Gomes Charles F. Gonçalves Katerina Goseva-Popstojanova Lars Grunske Dorgival O. Guedes Erico A. C. Guedes João Rafael Henriques Ivano Irrera Naghmeh Ramezani IvakiNaghmeh Ivaki Pooyan Jamshidi Saeed Javani Jananloo K. R. Jayaram Bruno A. Jesus Mário Jino Marco Jorge Christine Julien 0001 João Battista Camargo JuniorJoão Batista Camargo Jr. Onofre Trindade Júnior Johan Karlsson Samuel Kounev Nádia P. Kozievitch Rrezarta Krasniqi Nuno Laranjeiro Marco Lattuada 0001 Cristiano Inácio Lemes Rogério de Lemos Daniele Lezzi João Ricardo Lourenço Nuno Lourenço 0002 Matthias Luft Rodrigo Machado Matheus Maciel Paulo Romero Martins MacielPaulo R. M. MacielPaulo Maciel 0001 Edmundo Roberto Mauro Madeira Henrique Madeira István Majzik Antinisca Di Marco Emerson Alberto Marconato Isabel Lopes Margarido Paulo Marques Miquel Martínez Bruno Martins Eliane Martins Filipe Martins Rubens Matos Iberia MedeirosIbéria Medeiros Nadia Patricia Da Silva Medeiros Wagner Meira Jr. Matheus D'Eça Torquato de MeloMatheus Torquato 0001 Pedro Melo Daniel Sadoc MenaschéDaniel S. Menasché Joaquim Mendes Naaliel Mendes Demetrio Gomes Mestre Judith Michael Zoltán Micskei Aleksandar Milenkoski Pedro Moita Edmundo Monteiro Aad P. A. van Moorsel Regina Lúcia de Oliveira MoraesRegina Moraes Fábio Morais 0001 Gabriel A. Moreno Rebeca Campos Motta Vincent Naessens Raghunath Othayoth Nambiar Vicente Navarro Shiva Nejati 0001 Afonso Araújo Neto Augusto Neto 0001 Nuno Neves 0001Nuno Ferreira Neves Obionor O. Nóbrega Rodrigo Pato Nogueira Paulo Jorge Costa Nunes Rui André Oliveira Cosimo Palazzo András Pataricza Indira Patil Bryan D. Payne Mauro Pecchioli Patrizio Pelliccione Carlos Pereira José D'Abruzzo Pereira Gergely Pintér Carlos Eduardo S. Pires João Pires 0003 Rayner de Melo Pires Rodrigo Pastl Pontes Meikel PössMeikel Poess Juan Prieto Federico Quin Miquel Martínez Raga Deolinda Dias RasteiroDeolinda M. L. D. Rasteiro João David Ribeiro Vítor Hugo Ribeiro Dario Ricci Tiago Rilho Ana Rita Rodrigues Douglas Rodrigues Genaína Nunes Rodrigues Cecília M. F. RubiraCecília Mary Fischer Rubira Juan-Carlos Ruiz-Garcia 0001Juan Carlos Ruiz 0001 Stefano Russo 0001 Kai Sachs Francisco Sales Lucas Santos Luis Eduardo Santos Marcelo Santos Ricardo Jorge Santos Walter SantosWalter dos Santos Bradley R. Schmerl Nuno Seixas Carlos R. Senna Bhavain Shah Priyam Ashish Shah Francisco Airton SilvaFrancisco Airton Pereira da Silva Helber Wagner da SilvaHelber Silva João Gabriel Silva Jorge Luiz Machado da Silva Nuno Silva Paulo Silva 0002 Rui Silva Paulo Simões 0001 Thaer Slaibi César Alexandre TeixeiraCésar Teixeira 0001 Hrushitha Goud Tigulla Lucas Torquato Petr Tuma 0001 Daniel Vecchiato Karima Velasquez Rafael Ventura Paulo C. Véras Raul Moreira Vidal Jorge Vieira Emília Villani Monica Vitali Thomas Vogel 0001 Danny Weyns Rebekka Wohlrab Katinka Wolter Len Wyatt Depeng Xu 0001 Bukhtawar Zamir Zheng Zheng 0001 Arastoo Zibaeirad