People
Marco Vieira
Address
Departamento de Engenharia InformáticaFaculdade de Ciências e Tecnologia
Universidade de Coimbra
Pólo II - Pinhal de Marrocos
3030-290 Coimbra
Home Page
http://eden.dei.uc.pt/~mvieiraMember
Software and Systems EngineeringResearch interests
Fault Injection and Vulnerability & Attack InjectionDependability and Security Evaluation and Benchmarking
Robustness and Security Testing
Software Verification & Validation
Online Failure Prediction
Resilience Benchmarking
Affiliation
Department of Informatics Engineering (DEI)Faculty of Sciences and Technology (FCT)
University of Coimbra (UC)
National Projects
MobiWise: from mobile sensing to mobility advising
METRICS: Monitoring and Measuring the Trustworthiness of Critical Cloud Systems
International Projects
ALIOT: Internet of Things: Emerging Curriculum for Industry and Human Applications
FCT/ CAPES - SORTS: Supporting the Orchestration of Resilient and Trustworthy Fog Services
ATMOSPHERE Adaptive, Trustworthy, Manageable, Orchestrated, Secure, Privacy-assuring, Hybrid Ecosystem for REsilient Cloud Computing
PoSeID-on, EU H2020 IA – Protection and control of Secured Information by means of a privacy enhanced Dashboard
ATMOSPHERE: Adaptive, Trustworthy, Manageable, Orchestrated, Secure, Privacy-assuring, Hybrid Ecosystem for REsilient Cloud Computing.
Past Projects
DBench - Dependability Benchmarking
TACID - Timely ACID Transactions in DBMS
mCrash - Dependability Evaluation of Mobile Devices' System Software
SAID - Sistema de Análise Inteligente de Dados
ADW - Affordable Data Warehouses
ECA3RL - Sistema de Análise e Detecção de Fraude em Telecomunicações
SOAM - Sistema de Optimização Automática de Modelos de Dados Multidimensionais
EPILEPSIAE- Evolving Platform for Improving Living Expectation of Patients
AMBER - Assessing, Measuring, and Benchmarking Resilience
CRITICAL Software Technology for an Evolutionary Partnership (CRITICAL STEP)
Menon@WS - Methodologies for the Development of Non-Vulnerable Web Services
Intelligent Data Processing for Dependability
Dependability Benchmarking for Software Components
REVVIS – Rede de Especialistas em Verificação e Validação de Software
CECRIS – CErtification of CRItical Systems
ADW - Affordable Data Warehouses
ADAAS: Assuring Dependability in Architecture-based Adaptive Systems
iCIS - Intelligent Computing in the Internet of Services
DEVASSES: DEsign, Verification and VAlidation of large-scale, dynamic Service SystEmS
DECAF - An Exploratory Study of Distributed Cloud Application Failures
Critical-Step - Designing Large-Scale Safety-Critical Systems by using Off-The-Shelf software components
CABRIOLET – Model-Oriented Approach and Intelligent Knowledge-Based System for Evolvable Academia-Industry Cooperation in Electronic and Computer Engineering
FEED - Free Energy Data
V-SIS – Validação de Sistemas Críticos
EUBrasilCloudFORUM: Fostering an International dialogue between Europe & Brazil
EUBra-BIGSEA: Europe – Brazil Collaboration of BIG Data Scientific Research through Cloud-Centric Applications
Books
2012
(1 publication)2010
(1 publication)Journal Articles
2020
(1 publication)2019
(6 publications)- Alic, A.S. and Almeida, J. and Aloisio, G. and Andrade, N. and Nuno Antunes and Ardagna, D. and Badia, R.M. and Basso, T. and Blanquer, I. and Braz, T. and Brito, A. and Elia, D. and Fiore, S. and Guedes, D. and Lattuada, M. and Lezzi, D. and Maciel, M. and Jr, W.M. and Mestre, D. and Moraes, R. and Morais, F. and Pires, C.E. and Kozievitchi, N.P. and Santos, W.d. and Paulo Silva and Marco Vieira , "BIGSEA: A Big Data analytics platform for public transportation information", Future Generation Computer Systems, 2019 [ DOI ]
- Oliveira, R.A.C.d and Raga, M.M. and Laranjeiro, N. and Marco Vieira , "An approach for benchmarking the security of web service frameworks", Future Generation Computer Systems, 2019 [ DOI ]
- Braga, A.M. and Dahab, R. and Nuno Antunes and Laranjeiro, N. and Marco Vieira , "Understanding How to Use Static Analysis Tools for Detecting Cryptography Misuse in Software", IEEE Transactions on Reliability, 2019 [ DOI ]
- João R. Campos and Costa, E. and Marco Vieira , "Improving Failure Prediction by Ensembling the Decisions of Machine Learning Models: A Case Study", IEEE Access, vol. 7, pp. 177661-177674, 2019 [ DOI ]
- Matheus Torquato and Maciel, P. and Marco Vieira , "A Model for Availability and Security Risk Evaluation for Systems With VMM Rejuvenation Enabled by VM Migration Scheduling", IEEE Access, vol. 7, pp. 138315-138326, 2019 [ DOI ]
- Nunes, P. and Medeiros, I. and José Fonseca and Neves, N. and Correia, M. and Marco Vieira , "An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios", Computing, vol. 101, pp. 161-185, 2019 [ DOI ]
2018
(3 publications)- Karima Velasquez and David Perez Abreu and Assis, M.R. and Senna, C. and Aranha, D.F. and Bittencourt, L. and Laranjeiro, N. and Marilia Curado and Marco Vieira and Edmundo Monteiro and Madeira, E. , "Fog orchestration for the Internet of Everything: state-of-the-art and research challenges", Journal of Internet Services and Applications, vol. 9, 2018 [ DOI ]
- Paulo Silva and Basso, T. and Nuno Antunes and Moraes, R. and Marco Vieira and Simões, P. and Edmundo Monteiro , "A Europe-Brazil Context for Secure Data Analytics in the Cloud", IEEE Security & Privacy, vol. 16, pp. 52-60, 2018 [ DOI ]
- José Fonseca and Nunes, P. and Marco Vieira and Medeiros, I. and Neves, N. and Correia, M. , "Benchmarking Static Analysis Tools for Web Security", IEEE Transactions on Reliability, vol. 67, pp. 1159-1175, 2018 [ DOI ]
2017
(4 publications)- Javier Cámara and Lemos, R.d. and Laranjeiro, N. and Ventura, R.S. and Marco Vieira , "Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems", IEEE Transactions on Dependable and Secure Computing, 2017 [ DOI ]
- Rodrigues, D. and Pires, R.d.M. and Marconato, E.A. and Areias, C. and Cunha, J.C. and Branco, K. and Marco Vieira , "Service-Oriented Architectures for a Flexible and Safe Use of Unmanned Aerial Vehicles", IEEE Intelligent Transportation Systems Magazine , vol. 9, pp. 97-109, 2017 [ DOI ]
- Silva, N. and Cunha, J.C. and Marco Vieira , "A field study on root cause analysis of defects in space software", Reliability Engineering & System Safety, vol. 158, pp. 213-229, 2017 [ DOI ]
- Mendes, J. and Laranjeiro, N. and Marco Vieira , "Toward Characterizing HTML Defects on the Web", Software: Practice and Experience, 2017 [ DOI ]
2016
(2 publications)- Vecchiato, D. and Martins, E. and Marco Vieira , "The Devils behind Android Security Configuration", IEEE Computer, 2016
- Nuno Antunes and Marco Vieira , "Designing vulnerability testing tools for web services: approach, components, and tools", International Journal of Information Security, pp. 1-23, 2016 [ DOI ]
2015
(7 publications)- Nuno Antunes and Marco Vieira , "Assessing and Comparing Vulnerability Detection Tools for Web Services: Benchmarking Approach and Examples", IEEE Transactions on Services Computing, 2015 [ DOI ]
- Veras, P.C. and Villani, E. and Ambrósio, A.M. and Marco Vieira and Madeira, H. , "A Benchmarking Process to Assess Software Requirements Documentation for Space Applications", Journal of Systems and Software (JSS), vol. 100, 2015
- Ivano Alessandro Elia and Laranjeiro, N. and Marco Vieira , "A Practical Approach towards Automatic Testing of Web Services Interoperability", International Journal of Web Services Research, 2015 [ DOI ]
- Oliveira, R.A.C.d and Laranjeiro, N. and Marco Vieira , "Assessing the security of web service frameworks against denial of service attacks", Journal of Systems and Software, 2015 [ DOI ]
- Lourenço, J.R. and Bruno Cabral and Carreiro, P. and Marco Vieira and Jorge Bernardino , "Choosing the right NoSQL database for the job: a quality attribute evaluation", Journal of Big Data 2015, vol. 2, 2015 [ DOI ]
- Lourenço, J.R. and Bruno Cabral and Jorge Bernardino and Marco Vieira , "Comparing NoSQL with a Relational Database: Performance and Space", International Journal of Big Data, vol. 2, pp. 1-14, 2015
- Milenkoski, A. and Marco Vieira and Kounev, S. and Avritzer, A. and Payne, B.D. , "Evaluating Computer Intrusion Detection Systems: A Survey of Common Practices", ACM Comput. Surv., vol. 48, 2015 [ DOI ]
2014
(6 publications)- Laranjeiro, N. and Marco Vieira and Madeira, H. , "A Technique for Deploying Robust Web Services", IEEE Transactions on Services Computing, vol. 47, 2014
- José Fonseca and Seixas, N. and Marco Vieira and Madeira, H. , "Analysis of Field Data on Web Security Vulnerabilities", IEEE Transactions on Dependable and Secure Computing, vol. 11, 2014
- José Fonseca and Marco Vieira and Madeira, H. , "Evaluation of Web Security Mechanisms using Vulnerability & Attack Injection", IEEE Transactions on Dependable and Secure Computing, vol. 11, 2014
- Javier Cámara and Lemos, R.d. and Laranjeiro, N. and Ventura, R.S. and Marco Vieira , "Testing the Robustness of Controllers for Self-Adaptive Systems", Journal of the Brazilian Computer Society (JBCS), 2014
- Nuno Antunes and Marco Vieira , "Penetration Testing for Web Services", IEEE Computer, vol. 47, pp. 30-36, 2014 [ DOI ]
- Ricardo Jorge Santos and Jorge Bernardino and Marco Vieira , "Approaches and Challenges in Database Intrusion Detection", ACM SIGMOD Record, vol. 43, pp. 36-47, 2014 [ DOI ]
2013
(2 publications)- Javier Cámara and Lemos, R.d. and Marco Vieira and Raquel Almeida and Ventura, R.S. , "Architecture-Based Resilience Evaluation for Self-Adaptive Systems", Computing: Special Issue on Software Architecture for Code Testing and Analysis, 2013
- Margarido, I.L. and Faria, J.P. and Marco Vieira and Vidal, R.M. , "Challenges in Implementing CMMI® High Maturity: Lessons Learned and Recommendations", Software Quality Professional, vol. 15, 2013
2012
(3 publications)- Nuno Antunes and Marco Vieira , "Defending against Web Application Vulnerabilities", Computer, vol. 45, pp. 66-72, 2012 [ DOI ]
- Laranjeiro, N. and Marco Vieira and Madeira, H. , "A Robustness Testing Approach for SOAP Web Services", Journal of Internet Services and Applications (JISA), 2012
- Raquel Almeida and Vieira, J. and Marco Vieira and Madeira, H. and Jorge Bernardino , "Cost-Effective Data Allocation in Data Warehouse Striping", International Journal of Database Management Systems (IJDMS), ISSN: 0975-5705 (online) - 0975-5985 (print), vol. 4, 2012
2011
(2 publications)- Araújo Neto, A.C.d. and Marco Vieira , "Selecting Secure Web Applications Using Trustworthiness Benchmarking", International Journal of Dependable and Trustworthy Information Systems , vol. 2, pp. 1-16, 2011
- Araújo Neto, A.C.d. and Marco Vieira , "Security Gaps in Databases: A Comparison of Alternative Software Products for Web Applications Support", International Journal of Secure Software Engineering, vol. 2, pp. 42-62, 2011
2010
(1 publication)2008
(2 publications)- Pintér, G. and Madeira, H. and Marco Vieira and Majzik, I. and Pataricza, A. , "Integration of OLAP and Data Mining for Analysis of Results from Dependability Evaluation Experiments", in International Journal of Knowledge Management Studies (IJKMS), Volume 2 Issue 4, 2008
- Laranjeiro, N. and Marco Vieira , "Deploying Fault Tolerant Web Service Compositions", International Journal of Computer Systems Science and Engineering (CSSE), Special Issue on Engineering Fault Tolerant Systems (EFTS), vol. 23, 2008
2005
(1 publication)2004
(1 publication)Conference Articles
2020
(1 publication)- João R. Campos and Costa, E. and Marco Vieira , "On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study", in Computer Safety, Reliability, and Security, 2020 [ DOI ]
2019
(7 publications)- João R. Campos and Marco Vieira and Costa, E. , "Propheticus: Machine Learning Framework for the Development of Predictive Models for Reliable and Secure Software", in International Symposium on Software Reliability Engineering (ISSRE), 2019 [ DOI ]
- Matheus Torquato and Marco Vieira , "Towards Models for Availability and Security Evaluation of Cloud Computing with Moving Target Defense", in Student Forum paper of the 15th European Dependable Computing Conference (EDCC 2019), 2019 [ DOI ]
- Matheus Torquato and Guedes, E. and Maciel, P. and Marco Vieira , "A Hierarchical Model for Virtualized Data Center Availability Evaluation", in 2019 15th European Dependable Computing Conference (EDCC), 2019 [ DOI ]
- Matheus Torquato and Marco Vieira , "An Experimental Study of Software Aging and Rejuvenation in Dockerd", in 15th European Dependable Computing Conference (EDCC), 2019 [ DOI ]
- José D'Abruzzo Pereira and João R. Campos and Marco Vieira , "An Exploratory Study of the Combination of Static Analysis Tools Alerts for Vulnerability Detection using Machine Learning", in IX Latin-American Symposium on Dependable Computing (LADC 2019), 2019
- Matheus Torquato and Torquato, L. and Maciel, P. and Marco Vieira , "IaaS Cloud Availability Planning using Models and Genetic Algorithms", in IX Latin-American Symposium on Dependable Computing (LADC 2019), November 2019, 2019
- Lemes, C.I. and Naessens, V. and Marco Vieira , "Trustworthiness Assessment of Web Applications: Approach and Experimental Study using Input Validation Coding Practices", in 2019 International Symposium on Software Reliability Engineering (ISSRE), 2019
2018
(5 publications)- Medeiros, N.P.d.S. and Naghmeh Ivaki and Costa, P. .N.d. and Marco Vieira , "An Approach for Trustworthiness Benchmarking using Software Metrics", in The 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018), 2018
- Alic, A.S. and Almeida, J. and Jr, W.M. and Guedes, D. and Santos, W.d. and Blanquer, I. and Fiore, S. and Kozievitchi, N.P. and Andrade, N. and Braz, T. and Brito, A. and Pires, C.E. and Nuno Antunes and Marco Vieira and Paulo Silva and Ardagna, D. and Fonseca, K. and Lezzi, D. and Elia, D. and Moraes, R. and Basso, T. and Cavassin, W.H. , "GIS and Data: Three applications to enhance Mobility", in GeoInfo 2018, 2018
- João R. Campos and Marco Vieira and Costa, E. , "Exploratory Study of Machine Learning Techniques for Supporting Failure Prediction", in 2018 14th European Dependable Computing Conference (EDCC), 2018 [ DOI ]
- José Fonseca and Marco Vieira and Nunes, P. and Algaith, A. and Gashi, I. , "Finding SQL Injection and Cross Site Scripting Vulnerabilities with Diverse Static Analysis Tools", in 2018 14th European Dependable Computing Conference (EDCC), 2018 [ DOI ]
- Matheus Torquato and Marco Vieira , "Interacting SRN models for Availability Evaluation of VM Migration as rejuvenation on a system under varying workload", in 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2018 [ DOI ]
2017
(7 publications)- Silva, N. and Marco Vieira and Cunha, J.C. and Chillarege, R. , "Evaluating a Corpus of Root Causes and Measures to guide RCA processes in Critical Software", in IEEE 18th International Symposium on High Assurance Systems Engineering (HASE), 2017
- Medeiros, N.P.d.S. and Naghmeh Ivaki and Costa, P. .N.d. and Marco Vieira , "Towards an Approach for Trustworthiness Assessment of Software as a Service", in IEEE International Conference on EDGE Computing (EDGE 2017), 2017
- Martins, B. and Laranjeiro, N. and Marco Vieira , "INTENSE: INteroperability TEstiNg as a SErvice", in 24th IEEE International Conference on Web Services (ICWS 2017), 2017
- Medeiros, N.P.d.S. and Naghmeh Ivaki and Costa, P. .N.d. and Marco Vieira , "Software Metrics as Indicators of Security Vulnerabilities", in 28th IEEE International Symposium on Software Reliability Engineering (ISSRE), 2017, 2017
- Ivano Alessandro Elia and Nuno Antunes and Laranjeiro, N. and Marco Vieira , "An Analysis of OpenStack Vulnerabilities", in 13th European Dependable Computing Conference (EDCC), 2017 [ DOI ]
- Braga, A.M. and Dahab, R. and Nuno Antunes and Laranjeiro, N. and Marco Vieira , "Practical Evaluation of Static Code Analysis Tools for Cryptography: Benchmarking Method and Case Study", in The IEEE 28th International Symposium on Software Reliability Engineering (ISSRE 2017), 2017 [ DOI ]
- José Fonseca and Nunes, P. and Marco Vieira and Medeiros, I. and Neves, N. and Correia, M. , "On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study", in 2017 13th European Dependable Computing Conference (EDCC), 2017 [ DOI ]
2016
(5 publications)- Ricardo Jorge Santos and Marco Vieira and Jorge Bernardino , "XSX: Lightweight encryption for data warehousing environments", in International Conference on Big Data Analytics and Knowledge Discovery, DaWaK 2016, 2016 [ DOI ]
- Silva, N. and Marco Vieira , "Software for Embedded Systems: A Quality Assessment Based on Improved ODC Taxonomy", in 31st Annual ACM Symposium on Applied Computing, 2016 [ DOI ]
- Vecchiato, D. and Marco Vieira and Martins, E. , "Risk Assessment of User-Defined Security Configurations for Android Devices", in International Symposium on Software Reliability Engineering (ISSRE) , 2016 [ DOI ]
- Milenkoski, A. and Jayaram, K.R. and Nuno Antunes and Marco Vieira and Kounev, S. , "Quantifying the Attack Detection Accuracy of Intrusion Detection Systems in Virtualized Environments", in International Symposium on Software Reliability Engineering (ISSRE) , 2016 [ DOI ]
- Silva, N. and Marco Vieira , "Adapting the Orthogonal Defect Classification Taxonomy to the Space Domain", in International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2016), 2016 [ DOI ]
2015
(15 publications)- Ivano Irrera and Joao Duraes and Marco Vieira , "Adaptive Failure Prediction for Computer Systems: a Framework and a Case Study", in HASE 2015 - 16th IEEE International Symposium on High Assurance Systems Engineering , 2015
- Oliveira, R.A.C.d and Laranjeiro, N. and Marco Vieira , "Characterizing the Performance of Web Service Frameworks under Security Attacks", in The 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015), 2015
- Ivano Alessandro Elia and Laranjeiro, N. and Marco Vieira , "Test-based Interoperability Certification for Web Services", in The 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015), 2015
- Ivano Irrera and Marco Vieira , "Towards assessing representativeness of fault injection-generated Failure Data for Online Failure Prediction", in 1st Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE 2015) at DSN 2015, 2015
- Lourenço, J.R. and Abramova, V. and Marco Vieira and Bruno Cabral and Jorge Bernardino , "NoSQL Databases: A Software Engineering Perspective", in WorldCIST'15, 2015
- Lourenço, J.R. and Abramova, V. and Bruno Cabral and Jorge Bernardino and Carreiro, P. and Marco Vieira , "No SQL in Practice: A Write-Heavy Enterprise Application", in 2015 IEEE International Congress on Big Data (BigData Congress), 2015
- Areias, C. and Marco Vieira and Cunha, J.C. , "Studying the Propagation of Failures in SOAs", in International Workshop on Recent Advances in the Dependability Assessment of Complex Systems (RADIANCE’2015), 2015
- Milenkoski, A. and Payne, B.D. and Nuno Antunes and Marco Vieira and Kounev, S. and Avritzer, A. and Luft, M. , "Evaluation of Intrusion Detection Systems in Virtualized Environments Using Attack Injection", in 18th International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2015, 2015
- Nuno Antunes and Marco Vieira , "On the Metrics for Benchmarking Vulnerability Detection Tools", in Dependable Systems and Networks (DSN), 2015 45th Annual IEEE/IFIP International Conference on, 2015 [ DOI ]
- Nunes, P. and José Fonseca and Marco Vieira , "phpSAFE: A Security Analysis Tool for OOP Web Application Plugins", in Dependable Systems and Networks (DSN), 2015 45th Annual IEEE/IFIP International Conference on, 2015 [ DOI ]
- Silva, N. and Marco Vieira and Ricci, D. and Cotroneo, D. , "Consolidated View on Space Software Engineering Problems – An empirical study", in The International Space System Engineering Conference, DASIA 2015, 2015
- Vecchiato, D. and Marco Vieira and Martins, E. , "A Security Configuration Assessment for Android Devices", in Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015 [ DOI ]
- Basso, T. and Moraes, R. and Jino, M. and Marco Vieira , "Requirements, Design and Evaluation of a Privacy Reference Architecture for Web Applications and Services", in Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015 [ DOI ]
- Silva, N. and Marco Vieira and Ricci, D. and Cotroneo, D. , "Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues", in Dependable Systems and Networks Workshops (DSN-W), 2015 IEEE International Conference on, 2015 [ DOI ]
- Braz, A. and Rubira, C.M.F. and Marco Vieira , "Development of Complex Software with Agile Method", in Agile Conference (AGILE), 2015, 2015 [ DOI ]
2014
(14 publications)- Ivano Irrera and Joao Duraes and Marco Vieira , "On the need for training Failure Prediction algorithms in evolving software systems", in 15th IEEE International Symposium on High Assurance Systems Engineering, HASE 2014, 2014
- Javier Cámara and Lemos, R.d. and Laranjeiro, N. and Ventura, R.S. and Marco Vieira , "Robustness Evaluation of the Rainbow Framework for Self-Adaptation", in 29th Symposium on Applied Computing (SAC 2014), 2014
- Ivano Alessandro Elia and Laranjeiro, N. and Marco Vieira , "Understanding Interoperability Issues of Web Service Frameworks", in Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2014), 2014
- Ivano Alessandro Elia and Laranjeiro, N. and Marco Vieira , "A Field Perspective on the Interoperability of Web Services", in 11th IEEE International Conference on Services Computing (SCC 2014), 2014
- Ivano Alessandro Elia and Laranjeiro, N. and Marco Vieira , "ITWS: An Extensible Tool for Interoperability Testing of Web Services", in 21th IEEE International Conference on Web Services (ICWS 2014), 2014
- Ivano Irrera and Marco Vieira , "A Practical Approach for Generating Failure Data for Assessing and Comparing Failure Prediction Algorithms", in PRDC 2014 - The 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014
- Milenkoski, A. and Payne, B.D. and Nuno Antunes and Marco Vieira and Kounev, S. , "An Analysis of Hypercall Handler Vulnerabilities ", in 2014 IEEE 25th International Symposium on Software Reliability Engineering (ISSRE), 2014 [ DOI ]
- Javier Cámara and Correia, P.G.R. and Lemos, R.d. and Marco Vieira , "Empirical resilience evaluation of an architecture-based self-adaptive software system", in QoSA '14 Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures, 2014 [ DOI ]
- Silva, N. and Marco Vieira , "Orthogonal Classification of Safety Critical Issues", in The 25th IEEE International Symposium on Software Reliability Engineering - ISSRE 2014, 2014
- José Fonseca and Marco Vieira , "A Practical Experience on the Impact of Plugins in Web Security", in The 33rd IEEE Symposium on Reliable Distributed Systems - SRDS 2014, 2014
- Azevedo, D.R. and Ambrósio, A.M. and Marco Vieira , "Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (short paper)", in Tenth European Dependable Computing Conference - EDCC 2014, 2014
- Silva, N. and Marco Vieira , "Towards Making Safety-Critical Systems Safer: Learning from Mistakes", in The 25th IEEE International Symposium on Software Reliability Engineering – Student Forum (ISSRE 2014), 2014
- Santos, L.E. and Marilia Curado and Marco Vieira , "A Research Agenda for Benchmarking the Resilience of Software Defined Networks", in The 25th IEEE International Symposium on Software Reliability Engineering – Student Forum (ISSRE 2014), 2014
- Basso, T. and Piardi, L. and Moraes, R. and Jino, M. and Nuno Antunes and Marco Vieira , "A Framework for Expressing and Enforcing Purpose-Based Privacy Policies", in XVI Workshop de Testes e Tolerância a Falhas, WTF 2015, 2014 [ DOI ]
2013
(13 publications)- Javier Cámara and Lemos, R.d. and Laranjeiro, N. and Ventura, R.S. and Marco Vieira , "Robustness Evaluation of Controllers in Self-Adaptive Software Systems", in Latin-American Symposium on Dependable Computing (LADC 2013), 2013
- Nuno Antunes and Marco Vieira , "SOA-Scanner: An Integrated Tool to Detect Vulnerabilities in Service-Based Infrastructures", in 10th IEEE International Conference on Services Computing (SCC 2013), 2013
- Naghmeh Ivaki and Laranjeiro, N. and Marco Vieira , "Towards Evaluating the Impact of Data Quality on Service Applications", in Workshop on Reliability and Security Data Analysis (RSDA 2013) co-located with the The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013), 2013 [ DOI ]
- Ricardo Jorge Santos and Jorge Bernardino and Marco Vieira , "A Specific Encryption Solution for Data Warehouses", in DASFAA 2013 - International Conference on Database Systems for Advanced Applications, 2013
- Ivano Irrera and Joao Duraes and Marco Vieira and Madeira, H. , "Assessing the Impact of Virtualization on the Generation of Failure Prediction Data ", in Sixth Latin-American Symposium on Dependable Computing (LADC), 2013, 2013 [ DOI ]
- Ivano Irrera and Pereira, C. and Marco Vieira , "The Time Dimension in Predicting Failures: A Case Study ", in Sixth Latin-American Symposium on Dependable Computing (LADC), 2013, 2013 [ DOI ]
- Raquel Almeida and Araújo Neto, A.C.d. and Marco Vieira , "SCoRe: An Across-the-Board Metric for Computer Systems Resilience Benchmarking", in 1st Workshop on Systems Resilience (WSR 2013), 2013
- Areias, C. and Nuno Antunes and Cunha, J.C. and Marco Vieira , "Towards Runtime V&V for Service Oriented Architectures", in Sixth Latin-American Symposium on Dependable Computing, 2013
- Silva, N. and Barbosa, R. and Cunha, J.C. and Marco Vieira , "A View on the Past and Future of Fault Injection (Fast Abstract)", in The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks , 2013
- Basso, T. and Nuno Antunes and Moraes, R. and Marco Vieira , "An XML-based Policy Model for Access Control in Web Applications", in 24th International Conference on Database and Expert Systems Applications (DEXA '13), 2013 [ DOI ]
- Nuno Antunes and Brancati, F. and Ceccarelli, A. and Bondavalli, A. and Marco Vieira , "A Monitoring and Testing Framework for Critical Off-The-Shelf Applications and Services", in 3rd IEEE International Workshop on Software Certification (WoSoCer2013) co-located with the 24rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), 2013
- Azevedo, D.R. and Ambrósio, A.M. and Marco Vieira , "HLA Middleware Robustness and Scalability Evaluation in the context of Satellite Simulators", in The 19th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2013, 2013
- Milenkoski, A. and Payne, B.D. and Nuno Antunes and Marco Vieira and Kounev, S. , "HInjector: Injecting Hypercall Attacks for Evaluating VMI-based Intrusion Detection Systems", in Poster Paper, The 2013 Annual Computer Security Applications Conference (ACSAC 2013), 2013
2012
(14 publications)- Ricardo Jorge Santos and Jorge Bernardino and Marco Vieira , "Leveraging 24/7 Availability and Performance for Distributed Real-Time Data Warehouses", in COMPSAC 2012 - IEEE Signature Conference on Computer Software & Applications, 2012
- Oliveira, R.A.C.d and Laranjeiro, N. and Marco Vieira , "Experimental Evaluation of Web Service Frameworks in the Presence of Security Attacks", in IEEE 9th International Conference on Services Computing (SCC 2012), 2012
- Oliveira, R.A.C.d and Laranjeiro, N. and Marco Vieira , "WSFAggressor: An Extensible Web Service Framework Attacking Tool", in ACM/IFIP/USENIX 13th International Conference on Middleware (Middleware 2012), 2012
- Nuno Antunes and Marco Vieira , "Evaluating and Improving Penetration Testing in WebServices", in 23rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2012), 2012
- Ricardo Jorge Santos and Jorge Bernardino and Marco Vieira , "Evaluating the Feasibility Issues of Data Confidentiality Solutions from a Data Warehousing Perspective", in DAWAK 2012 - International Conference on Data Warehousing and Knowledge Discovery, 2012
- Ricardo Jorge Santos and Jorge Bernardino and Marco Vieira , "DBMS Application Layer Intrusion Detection for Data Warehouses", in ISD 2012 - Information Systems Development, 2012
- Ricardo Jorge Santos and Jorge Bernardino and Marco Vieira , "Securing Data Warehouses from Web-Based Intrusions", in WISE 2012 - International Conference on Web Information Systems Engineering, 2012
- Wyatt, L. and Caufield, B. and Marco Vieira and Poess, M. , "Incorporating Recovery from Failures into a Data Integration Benchmark", in Fourth TPC Technology Conference on Performance Evaluation & Benchmarking, TPCTC 2012 (jointly organized with the 36th International Conference on Very Large Databases, VLDB12), 2012
- Raquel Almeida and Marco Vieira , "Changeloads for Resilience Benchmarking of Self-Adaptive Systems: A Risk-Based Approach", in 9th European Dependable Computing Conference, EDCC 2012, 2012
- Azevedo, D.R. and Ambrósio, A.M. and Marco Vieira , "Applying Data Mining for Detecting Anomalies in Satellites", in 9th European Dependable Computing Conference, EDCC 2012, 2012
- Margarido, I.L. and Faria, J.P. and Vidal, R.M. and Marco Vieira , "Towards a Framework to Evaluate and Improve the Quality of Implementation of CMMI® Practices", in 13th International Conference on Product-Focused Software Development and Process Improvement, PROFES 2012, 2012
- Margarido, I.L. and Vidal, R.M. and Marco Vieira , "Lessons Learnt in the Implementation of CMMI® Maturity Level 5", in 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, 2012
- Raquel Almeida and Marco Vieira , "Changeloads: a Fundamental Piece on the SASO Systems Benchmarking Puzzle", in International Workshop on Evaluation for Self-Adaptive and Self-Organizing Systems (Eval4SASO), 2012
- Nuno Antunes and Marco Vieira , "Detecting Vulnerabilities in Service Oriented Architectures", in IEEE 23rd International Symposium on Software Reliability Engineering – Student Forum (ISSRE 2012), 2012
2011
(20 publications)- Carrozza, G. and Napolitano, A. and Laranjeiro, N. and Marco Vieira , "WSRTesting: Hands-on Solution to Improve Web Services Robustness Testing", in Fifth Latin-American Symposium on Dependable Computing, 2011
- Oliveira, R.A.C.d and Laranjeiro, N. and Marco Vieira , "A Composed Approach for Automatic Classification of Web Services Robustness.", in The 8th International Conference on Services Computing, 2011
- Nuno Antunes and Marco Vieira , "Enhancing Penetration Testing with Attack Signatures and Interface Monitoring for the Detection of Injection Vulnerabilities in Web Services", in IEEE 8th International Conference on Services Computing (SCC 2011), 2011
- Cunha, J.C. and Marco Vieira and Cruz, S. and Costa, M. and Rodrigues, A.R. , "Implementing Software Effort Estimation in a Medium-sized Company", in 34th Annual IEEE Software Engineering Workshop, 2011
- Marco Vieira and Madeira, H. and Cruz, S. and Costa, M. and Cunha, J.C. , "Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics", in 34th Annual IEEE Software Engineering Workshop, 2011
- Ricardo Jorge Santos and Jorge Bernardino and Marco Vieira , "A Survey on Data Security in Data Warehousing", in EUROCON 2011 - International Conference on Computer as a Tool, 2011
- Ricardo Jorge Santos and Jorge Bernardino and Marco Vieira , "24/7 Real-Time Data Warehousing: A Tool for Continuous Actionable Knowledge", in COMPSAC 2011 - IEEE Signature Conference on Computer Software & Applications, 2011
- Ricardo Jorge Santos and Jorge Bernardino and Marco Vieira , "A Data Masking Technique for Data Warehouses", in IDEAS 2011 - International Database Engineering & Applications Symposium, 2011
- Ricardo Jorge Santos and Jorge Bernardino and Marco Vieira , "Balancing Security and Performance for Enhancing Data Privacy in Data Warehouses", in TRUSTCOM 2011 - IEEE International Conference on Trust, Security and Privacy in Computing and Communications, 2011
- Raquel Almeida and Marco Vieira , "Benchmarking the Resilience of Self-adaptive Software Systems: Perspectives and Challenges", in 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'11), 2011
- Araújo Neto, A.C.d. and Marco Vieira , "Trustworthiness Benchmarking of Web Applications Using Static Code Analysis", in Sixth International Conference on Availability, Reliability and Security (ARES), 2011
- Araújo Neto, A.C.d. and Marco Vieira , "Selecting Software Packages for Secure Database Installations", in Sixth International Conference on Availability, Reliability and Security (ARES), 2011
- Araújo Neto, A.C.d. and Marco Vieira , "Towards benchmarking the trustworthiness of web applications code", in 13th European Workshop on Dependable Computing (EWDC 2011), 2011
- Araújo Neto, A.C.d. and Marco Vieira , "TO BEnchmark or NOT TO BEnchmark security: That is the question", in IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops. (HotDep 2011), 2011
- Ceccarelli, A. and Marco Vieira and Bondavalli, A. , "A Service Discovery Approach for Testing Dynamic SOAs", in 2nd IEEE Workshop on Self-Organizing Real-Time Systems, SORT 2011 (joint organized with the 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, ISORC 2011), 2011
- Ceccarelli, A. and Marco Vieira and Bondavalli, A. , "A Testing Service for Lifelong Validation of Dynamic SOA", in The 13th IEEE International High Assurance Systems Engineering Symposium, HASE 2011, 2011
- Rodrigues, D. and Pires, R.d.M. and Estrella, J. and Marco Vieira and Corrêa, M. and Júnior, J.B.C. and Branco, K. and Júnior, O.T. , "Application of SOA in Safety-Critical Embedded Systems", in International Conference on Hybrid Information Technology, ICHIT 2011, 2011
- Rodrigues, D. and Estrella, J. and Marco Vieira and Corrêa, M. and Júnior, J.B.C. and Branco, K. and Júnior, O.T. , "Service-Oriented Architectures for Complex Safety-Critical Embedded Systems: A Case Study on UAVs (short paper)", in 1st Brazilian Conference on Critical Embedded Systems, CBSEC 2011, 2011
- Margarido, I.L. and Faria, J.P. and Vidal, R.M. and Marco Vieira , "Classification of Defect Types in Requirements Specifications: Literature Review, Proposal and Assessment", in 6ª Conferência Ibérica de Sistemas e Tecnologias de Informação, CISTI’2011, 2011
- Braz, A. and Rubira, C.M.F. and Marco Vieira , "Método Ágil aplicado ao Desenvolvimento de Software Confiável baseado em Componentes", in Workshop Brasileiro de Métodos Ágeis, WBMA 2011, 2011
2010
(17 publications)- Laranjeiro, N. and Marco Vieira , "Towards Automatic Classification of Web Services Robustness", in The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2010 - Fast Abstract), 2010
- Laranjeiro, N. and Oliveira, R.A.C.d and Marco Vieira , "Applying Text Classification Algorithms in Web Services Robustness Testing", in 29th IEEE International Symposium on Reliable Distributed Systems (SRDS 2010), 2010
- Laranjeiro, N. and Marco Vieira and Madeira, H. , "A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks", in The 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2010), 2010
- Nuno Antunes and Marco Vieira , "Benchmarking Vulnerability Detection Tools for Web Services", in IEEE International Conference on Web Services (ICWS 2010), 2010
- Ivano Irrera and Joao Duraes and Marco Vieira and Madeira, H. , "Towards Identifying the Best Variables for Failure Prediction Using Injection of Realistic Software Faults", in The 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2010), 2010 [ DOI ]
- José Fonseca and Marco Vieira and Madeira, H. , "The Web Attacker Perspective - A Field Study", in 21st annual International Symposium on Software Reliability Engineering, 2010
- Ivano Alessandro Elia and José Fonseca and Marco Vieira , "Comparing SQL Injection Detection Tools Using Attack Injection: An Experimental Study", in 21st annual International Symposium on Software Reliability Engineering, 2010
- Jorge Bernardino and Marco Vieira , "Tolerância a Falhas em Data Warehouses", in ICI10 – The 5th Scientific Meeting ISLA, Data Mining and Business Intelligence Methods and Applications, 2010
- Veras, P.C. and Villani, E. and Ambrósio, A.M. and Silva, N. and Marco Vieira and Madeira, H. , "Errors on Space Software Requirements: A Field Study and Application Scenarios", in 21st annual International Symposium on Software Reliability Engineering, 2010
- Veras, P.C. and Villani, E. and Ambrósio, A.M. and Pontes, R.P. and Marco Vieira and Madeira, H. , "Benchmarking Software Requirements Documentation for Space Application", in The 29th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2010), 2010
- Raquel Almeida and Poess, M. and Nambiar, R. and Patil, I. and Marco Vieira , "How to advance TPC benchmarks with dependability aspects", in Second TPC technology conference on Performance evaluation, measurement and characterization of complex systems, 2010
- Raquel Almeida and Madeira, H. and Marco Vieira , "Benchmarking the Resilience of Self-Adaptive Systems: A New Research Challenge", in 29th IEEE International Symposium on Reliable Distributed Systems (SRDS 2010), 2010
- Raquel Almeida and Madeira, H. and Marco Vieira , "From Performance to Resilience Benchmarking", in IEEE 30th International Conference on Distributed Computing Systems Workshops (ICDCSW), 2010
- Raquel Almeida and Marco Vieira , "Resilience Benchmarking for Self-Adaptive Systems: A Research Challenge (fast abstract)", in Eigth European Dependable Computing Conference, EDCC 2010, 2010
- Veras, P.C. and Villani, E. and Ambrósio, A.M. and Marco Vieira and Madeira, H. , "Towards Benchmarking Software Requirements Documentation for Space Applications (fast abstract)", in Eigth European Dependable Computing Conference, EDCC 2010, 2010
- Marco Vieira , "Securing Web Applications and Services (abstract)", in Second Meeting: NET-SCIP Workshop on Security (NET-SCIP – CMU/PT), 2010
- Estrella, J. and Branco, K. and Marco Vieira , "Security in Web Services: State-of-the-art and Research Opportunities (tutorial)", in IEEE Sixth Congress on Services Computing, SERVICES 2010, 2010
2009
(21 publications)- Laranjeiro, N. and Marco Vieira , "Extending Test-Driven Development for Robust Web Services", in International Conference on Dependability (DEPEND 2009), 2009
- Laranjeiro, N. and Marco Vieira and Madeira, H. , "Predicting Timing Failures in Web Services", in International Workshop on Managing Data Quality in Collaborative Information Systems (MCIS 2009) at the International Conference on Database Systems for Advanced Applications (DASFAA 2009), 2009
- Laranjeiro, N. and Marco Vieira and Madeira, H. , "Improving Web Services Robustness", in IEEE International Conference on Web Services (ICWS 2009), 2009
- Laranjeiro, N. and Marco Vieira , "Testing Web Services for Robustness: A Tool Demo", in European Workshop on Dependable Computing (EWDC 2009), 2009
- Laranjeiro, N. and Marco Vieira and Madeira, H. , "Protecting Database Centric Web Services against SQL/Xpath Injection Attacks", in 20th International Conference on Database and Expert Systems Applications (DEXA 2009), 2009
- Nuno Antunes and Laranjeiro, N. and Marco Vieira and Madeira, H. , "Effective Detection of SQL/XPath Injection Vulnerabilities in Web Services", in IEEE International Conference on Services Computing (SCC 2009), 2009
- José Fonseca and Marco Vieira and Madeira, H. , "Vulnerability & Attack Injection for Web Applications", in 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), 2009
- Marco Vieira and Nuno Antunes and Madeira, H. , "Using Web Security Scanners to Detect Vulnerabilities in Web Services", in 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), 2009
- Nuno Antunes and Marco Vieira , "Detecting SQL Injection Vulnerabilities in Web Services", in Fourth Latin-American Symposium on Dependable Computing (LADC 2009), 2009
- Araújo Neto, A.C.d. and Marco Vieira and Madeira, H. , "An Appraisal to Assess the Security of Database Configurations", in International Conference on Dependability (DEPEND 2009), 2009
- Araújo Neto, A.C.d. and Marco Vieira , "Benchmarking Untrustworthiness in DBMS Configurations", in Fourth Latin-American Symposium on Dependable Computing (LADC 2009), 2009
- Araújo Neto, A.C.d. and Marco Vieira , "Appraisals based on Security Best Practices for Software Configurations", in Fourth Latin-American Symposium on Dependable Computing (LADC 2009), 2009
- Araújo Neto, A.C.d. and Marco Vieira , "A Trust-Based Benchmark for DBMS Configurations", in 15th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC\'09), 2009
- Araújo Neto, A.C.d. and Marco Vieira , "Untrustworthiness: A Trust-Based Security Metric", in 4th International Conference on Risks and Security of Internet and Systems (CRiSIS2009), 2009
- Nuno Antunes and Marco Vieira , "Comparing the Effectiveness of Penetration Testing and Static Code Analysis on the Detection of SQL Injection Vulnerabilities in Web Services", in IEEE 15th Pacific Rim International Symposium on Dependable Computing (PRDC'09), 2009
- Marques, P. and Paulo Gomes and Marco Vieira and Prieto, J.F. and Navarro, V. and Pecchioli, M. , "BIRF: Keeping Software Development under Control across the Organization", 2009
- Seixas, N. and José Fonseca and Marco Vieira and Madeira, H. , "Looking at Web Security Vulnerabilities from the Programming Language Perspective: A Field Study", in 20th annual International Symposium on Software Reliability Engineering, 2009
- Marco Vieira and Madeira, H. and Ivano Irrera , "Fault Injection for Failure Prediction Methods Validation", in Fifth Workshop on Hot Topics in System Dependability (HotDep 2009), 2009
- Marco Vieira and Madeira, H. , "From Performance to Dependability Benchmarking: A Mandatory Path", in First TPC Technology Conference on Performance Evaluation & Benchmarking, TPCTC 2009, (jointly organized with the 35th International Conference on Very Large Databases, VLDB09), 2009
- Mendes, N. and Joao Duraes and Marco Vieira and Madeira, H. , "Towards Assessing the Impact of Security Attacks in Web Servers (fast abstract)", in The 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, 2009
- Marco Vieira , "Assessing the Robustness and Security of Web Services: State-of-the-art and Research Opportunities (tutorial)", in The 5th 2009 World Congress on Services, SERVICES 2009, 2009
2008
(21 publications)- José Fonseca and Marco Vieira and Madeira, H. , "Online Detection of Malicious Data Access Using DBMS Auditing", in 23rd Annual ACM Symposium on Applied Computing (ACM SAC 2008), 2008
- Vieira, J. and Marco Vieira and Costa, M.A. and Madeira, H. , "Redundant Array of Inexpensive Nodes for DWS", in The 13th International Conference on Database Systems for Advanced Applications (DASFAA 2008), 2008
- Vieira, J. and Marco Vieira and Costa, M.A. and Madeira, H. , "RAIN: Always On Data Warehousing", in The 13th International Conference on Database Systems for Advanced Applications (DASFAA 2008), 2008
- Araújo Neto, A.C.d. and Marco Vieira , "Towards Assessing the Security of DBMS Configurations", in IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008), 2008
- José Fonseca and Marco Vieira , "Mapping Software Faults with Web Security Vulnerabilities", in IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008), 2008
- Marco Vieira and Vieira, J. and Madeira, H. , "Towards Data Security in Affordable Data Warehouses (Fast Abstract)", in 7th European Dependable Computing Conference (EDCC-7), 2008
- Laranjeiro, N. and Marco Vieira and Madeira, H. , "Experimental Robustness Evaluation of JMS Middleware", in IEEE International Conference on Services Computing (SCC 2008), 2008
- Laranjeiro, N. and Canelas, S. and Marco Vieira , "wsrbench: An On-Line Tool for Robustness Benchmarking", in IEEE International Conference on Services Computing (SCC 2008), 2008
- Marco Vieira and Mendes, N. and Joao Duraes and Madeira, H. , "The AMBER Data Repository", in DSN 2008 Workshop on Resilience Assessment and Dependability Benchmarking (DSN-RADB08), IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008), 2008
- Laranjeiro, N. and Marco Vieira and Madeira, H. , "Timing Failures Detection in Web Services", in IEEE Asia-Pacific Services Computing Conference (APSCC 2008), 2008
- José Fonseca and Marco Vieira and Madeira, H. , "Training Security Assurance Teams using Vulnerability Injection", in 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC\'08), 2008
- Almeida, P. and Jorge, M. and Cortesão, L. and Marco Vieira and Paulo Gomes , "Supporting Fraud Analysis in Mobile Telecommunications Using Case-Based Reasoning", in ECCBR 2008 - European Conference on Case-Based Reasoning, 2008
- Mendes, N. and Araújo Neto, A.C.d. and Joao Duraes and Marco Vieira and Madeira, H. , "Assessing and Comparing Security of Web Servers", in 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC\'08), 2008
- Marco Vieira and Mendes, N. and Joao Duraes , "A Case Study on Using the AMBER Data Repository for Experimental Data Analysis", in SRDS 2008 Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems (jointly organized with the 27th International Symposium on Reliable Distributed Systems, IEEE SRDS 2008), 2008
- Dixit, M. and Costa, A.C. and Laranjeiro, N. and Marco Vieira , "Using Experimental Measurements to Assess Dependable Adaptation Support Mechanisms for Timed Transactions", in SRDS 2008 Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems (jointly organized with the 27th International Symposium on Reliable Distributed Systems, IEEE SRDS 2008), 2008
- Mendes, N. and Joao Duraes and Marco Vieira and Madeira, H. , "Security Assessment and Testing Tools Information Repository", in Workshop on Fault Tolerance (WTF2008) in the 26th Brazilian Symposium on Network Computing (SBRC2008), 2008
- Raquel Almeida and Vieira, J. and Marco Vieira and Madeira, H. and Jorge Bernardino , "Efficient Data Distribution for DWS", in 10th International Conference on Data Warehousing and Knowledge Discovery (DaWaK \'08 ), 2008
- Bruno Direito and António Dourado and Marco Vieira and Sales, F. , "Combining Energy and Wavelet Transform for Epileptic Seizure Prediction in an Advanced Computational System", in International Conference on Biomedical Engineering and informatics, 2008
- Bruno Direito and António Dourado and Marco Vieira and Sales, F. , "An Application for Electroencephalogram Mining for Epileptic Seizure Prediction", in ICDM- International Conference on Data Mining, 2008
- Bruno Direito and Martins, R. and Costa, R. and António Dourado and Sales, F. and Marco Vieira , "Computational Intelligence Algorithms for Seizure Prediction", in 8th European Congress on Epileptology, 2008
- Bruno Direito and António Dourado and Marco Vieira , "Classification of epileptic EEG data using multidimensional scaling", in ICBBE 2008, The 2nd International Conference on Bioinformatics and Biomedical Engineering, 2008
2007
(12 publications)- Marco Vieira and Costa, A.C. and Madeira, H. , "Towards Timely ACID Transactions in DBMS", in The 12th International Conference on Database Systems for Advanced Applications (DASFAA 2007), 2007
- Marco Vieira and Laranjeiro, N. and Madeira, H. , "Assessing Robustness of Web-services Infrastructures", in Dependable Computing and Communications Symposium (DCCS), 2007
- Marco Vieira and Laranjeiro, N. , "Comparing Web Services Performance and Recovery in the Presence of Faults", in IEEE 2007 International Conference on Web Services (ICWS 2007), 2007
- José Fonseca and Marco Vieira and Madeira, H. , "Correlating security vulnerabilities with software faults (Fast Abstract)", in 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), 2007
- Costa, A.C. and Marco Vieira and Madeira, H. , "Middleware Support for Time-Elastic Database Applications (Fast Abstract)", in 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), 2007
- José Fonseca and Marco Vieira and Madeira, H. , "Detecting malicious SQL", in 4th International Conference on Trust, Privacy & Security in Digital Business (in conjunction with the 18th International Conference on Database and Expert Systems Applications (DEXA 2007)), TrusBus\'07, 2007
- José Fonseca and Marco Vieira and Madeira, H. , "Integrated Intrusion Detection in Databases", in Third Latin-American Symposium on Dependable Computing (LADC 2007), 2007
- Laranjeiro, N. and Marco Vieira , "Towards Fault Tolerance in Web Services Compositions", in ESEC/FSE 2007 - 2nd International Workshop on Engineering Fault Tolerant Systems (EFTS\'2007), 2007
- Marco Vieira and Madeira, H. , "Do you know... How to analyze and share results from dependability evaluation experiments? (Tutorial)", in Third Latin-American Symposium on Dependable Computing (LADC 2007), 2007
- Marco Vieira and Laranjeiro, N. and Madeira, H. , "Benchmarking the Robustness of Web Services", in The 13th IEEE Pacific Rim Dependable Computing Conference (PRDC 2007), 2007
- José Fonseca and Marco Vieira and Madeira, H. , "Testing and comparing web vulnerability scanning tools for SQL injection and XSS attacks", in 13th IEEE Pacific Rim Dependable Computing Conference (PRDC 2007), 2007
- Lopes, P. and Santos, J. and Paulo Gomes and Marco Vieira and Cortesão, L. , "SAID: A Business Intelligent Tool based on Open Source", in EPIA 2007 - Portuguese Conference on Artificial Intelligence., 2007
2006
(2 publications)- Marco Vieira and Costa, A.C. and Madeira, H. , "Towards Timely ACID Transactions in DBMS (Short Paper)", in The IEEE 12th International Symposium Pacific Rim Dependable Computing (PRDC 2006), 2006
- José Fonseca and Marco Vieira and Madeira, H. , "Monitoring Database Application Behavior for Intrusion Detection (Short Paper)", in The IEEE 12th International Symposium Pacific Rim Dependable Computing (PRDC 2006), 2006
2005
(5 publications)- Pintér, G. and Madeira, H. and Marco Vieira and Pataricza, A. and Majzik, I. , "A Data Mining Approach to Identify Key Factors in Dependability Experiments", in Fifth European Dependable Computing Conference (EDCC-5), 2005
- Marco Vieira and Madeira, H. , "Towards a security benchmark for Database Management Systems", in IEEE/IFIP International Conference on Dependable Systems and Networks, DSN2005, 2005
- Marco Vieira and Costa, A.C. and Madeira, H. , "TACID Transactions", in 1st Workshop on Hot Topics in System Dependability (HotDep-05), 2005
- Marco Vieira and Madeira, H. , "Detection of malicious transactions in DBMS", in The 11th IEEE International Symposium Pacific Rim Dependable Computing, PRDC2005, 2005
- Mario Zenha-Rela and Marco Vieira and Cunha, J.C. and Joao Duraes , "Dependability Evaluation of Mobile Devices' System Software (Fast Abstract)", in IEEE/IFIP International Conference on Dependable Systems and Networks, DSN2005, 2005
2004
(4 publications)- Marco Vieira and Madeira, H. , "Portable Faultloads Based on Operator Faults for DBMS Dependability Benchmarking", in The 28th Annual International Computer Software and Applications Conference, COMPSAC 2004, 2004
- Joao Duraes and Marco Vieira and Madeira, H. , "Dependability Benchmarking of Web-Servers", in The 23rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2004, 2004
- Marco Vieira and Costa, A.C. and Madeira, H. , "Timely ACID Transactions in DBMS (Fast Abstract)", in The International Conference on Dependable Systems and Networks, DSN-2004, 2004
- Marco Vieira and Joao Duraes and Madeira, H. , "How to Specify Dependability Benchmarks for OLTP Application Environments", in IX Conference on Software Engineering and Databases (JISBD 2004), 2004
2003
(5 publications)- Marco Vieira and Madeira, H. , "Benchmarking the Dependability of Different OLTP Systems", in International Conference on Dependable Systems and Networks, DSN-DCC 2003, 2003
- Madeira, H. and Costa, J.P. and Marco Vieira , "The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments", in International Conference on Dependable Systems and Networks, DSN-DCC 2003, 2003
- Marco Vieira and Madeira, H. , "A Dependability Benchmark for OLTP Application Environments", in Very Large Databases Conference - VLDB2003, 2003
- Costa, P. .N.d. and Marco Vieira and Madeira, H. and Silva, J.G. , "Plug and Play Fault Injector for Dependability Benchmarking", in First Latin-American Symposium on Dependable Computing, LADC, 2003
- Madeira, H. and Joao Duraes and Marco Vieira , "Emulation of Software Faults: Representativeness and Usefulness", in First Latin-American Symposium on Dependable Computing, LADC, 2003
2002
(3 publications)- Marco Vieira and Madeira, H. , "Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking", in Pacific Rim International Symposium on Dependable Computing, PRDC2002, 2002
- Marco Vieira and Madeira, H. , "Recovery and Performance Balance of a COTS DBMS in the Presence of Operator Faults", in The International Symposium on Dependable Systems and Networks, DSN-IPDS 2002, 2002
- Madeira, H. and Costa, J.P. and Marco Vieira and Costa, D. , "Data warehousing approach for the analysis of dependability benchmarking experiments (Fast Abstract)", in Fourth European Dependable Computing Conference (EDCC-4), 2002
2001
(2 publications)- Costa, D. and Rilho, T. and Marco Vieira and Madeira, H. , "ESFFI - A novel technique for the Emulation of Software Faults in COTS Components", in 8th Annual IEEE International Conference on the Engineering of Computer-Based Systems, ECBS 2001, 2001
- Costa, D. and Marco Vieira and Madeira, H. , "Optimization of Performance and Recovery of Database Systems in the Presence of Operation Faults (Fast Abstract)", in The International Conference on Dependable Systems and Networks, DSN-2001, 2001
2000
(2 publications)- Madeira, H. and Marco Vieira and Costa, D. , "On the Emulation of Software Faults by Software Fault Injection", in Dependable Systems and Networks Conference â?? DSN-2000, 2000
- Rilho, T. and Costa, D. and Marco Vieira and Madeira, H. , "Run-time Software Implemented Fault-Injection (RTSWIFI): an Approach to Emulate Software Faults in COTS (Fast Abstract)", in Dependable Systems and Networks Conference, DSN-2000, 2000
Edited Books
2014
(1 publication)2013
(1 publication)- Marco Vieira and Cunha, J.C. , Proceedings of the 14th European Workshop on Dependable Computing , "Dependable Computing - 14th European Workshop, EWDC 2013", vol. 7869, 2013 [ DOI ]
2012
(1 publication)Book Chapters
2017
(2 publications)- Laranjeiro, N. and Pereira, G. and Soydemir, S.N. and Barbosa, R. and Jorge Bernardino and Areias, C. and Nuno Antunes and Cunha, J.C. and Marco Vieira and Madeira, H. , "Robustness and Fault Injection for the Validation of Critical Systems", in Certifications of Critical Systems – The CECRIS Experience, pp. 247-274, 2017
- Silva, N. and Moreira, F. and Cunha, J.C. and Marco Vieira , "A Process for Finding and Tackling the Main Root Causes that Affect Critical Systems Quality", in Certifications of Critical Systems – The CECRIS Experience, pp. 81-102, 2017
2013
(7 publications)- Nuno Antunes and Marco Vieira , "Security Testing in SOAs: Techniques and Tools", in Innovative technologies for dependable OTS-based critical systems, vol. 1, pp. 159-174, 2013 [ DOI ]
- Napolitano, A. and Carrozza, G. and Laranjeiro, N. and Marco Vieira , "Robustness Testing of Web Services", in Innovative Technologies for Dependable OTS-Based Critical Systems, pp. 55-68, 2013
- José Fonseca and Marco Vieira , "A Survey on Secure Software Development Lifecycles", in Software Development Techniques for Constructive Information Systems Design, vol. 1, pp. 57-73, 2013
- Ricardo Jorge Santos and Jorge Bernardino and Marco Vieira , "A Hypotension Surveillance and Prediction System for Critical Care", in Handbook of Research on ICTs and Management Systems for Improving Efficiency in Healthcare and Social Care, vol. 1, pp. 341-355, 2013
- Marco Vieira and Nuno Antunes , "Introduction to Software Security Concepts", in Innovative technologies for dependable OTS-based critical systems, vol. 1, pp. 29-38, 2013 [ DOI ]
- Ricardo Jorge Santos and Jorge Bernardino and Marco Vieira , "Using Data Masking for Balancing Security and Performance in Data Warehousing", in Handbook of Research on Computational Intelligence for Engineering, Science, and Business, vol. 1, pp. 384-409, 2013
- Ricardo Jorge Santos and Jorge Bernardino and Marco Vieira , "DBMS Application Layer Intrusion Detection for Data Warehouses", in Building Sustainable Information Systems, vol. 1, pp. 493-507, 2013 [ DOI ]
2012
(7 publications)- Laranjeiro, N. and Marco Vieira , "Adapting Test-Driven Development to Build Robust Web Services", in Agile and Lean Service-Oriented Development: Foundations, Theory and Practice, 2012
- Micskei, Z. and Majzik, I. and Madeira, H. and Marco Vieira and Nuno Antunes and Avritzer, A. , "Robustness Testing Techniques and Tools", in Resilience Assessment and Evaluation of Computing Systems, 2012
- Araújo Neto, A.C.d. and Marco Vieira , "Assessing the Security of Software Configurations", in Threats, Countermeasures, and Advances in Applied Information Security, vol. 1, pp. 129-157, 2012
- Joao Duraes and José Fonseca and Madeira, H. and Marco Vieira , "Field Studies on Resilience: Measurements and Repositories", in Resilience Assessment and Evaluation, vol. na, pp. 213-237, 2012
- Barbosa, R. and Karlsson, J. and Marco Vieira and Madeira, H. , "Fault Injection", in Resilience Assessment and Evaluation, vol. 1, pp. 263-282, 2012
- Ricardo Jorge Santos and Jorge Bernardino and Marco Vieira , "Using Data Masking for Balancing Security and Performance in Data Warehousing", in Handbook of Research on Computational Intelligence for Engineering, Science and Business, vol. 2, pp. 384-409, 2012
- Marco Vieira and Madeira, H. and Sachs, K. and Kounev, S. , "Resilience Benchmarking", in Resilience Assessment and Evaluation of Computing Systems, 2012
2011
(3 publications)- Rodrigues, D. and Estrella, J. and Nuno Antunes and Mónaco, F. and Branco, K. and Marco Vieira , "Engineering Secure Web Services", in Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions, 2011
- Nuno Antunes and Marco Vieira , "Detecting Vulnerabilities in Web Services: Can Developers Rely on Existing Tools?", in Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions, 2011
- Laranjeiro, N. and Marco Vieira and Madeira, H. , "Building Web Services with Time Requirements", in Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions, 2011
2009
(1 publication)2008
(2 publications)- Joao Duraes and Marco Vieira and Madeira, H. , "Dependability Benchmarking of Web-Servers", in Dependability Benchmarking for Computer Systems (ISBN: 978-0-470-23055-8), 2008
- Marco Vieira and Joao Duraes and Madeira, H. , "Dependability Benchmarks for OLTP Systems", in Dependability Benchmarking for Computer Systems (ISBN: 978-0-470-23055-8), 2008