
Marco Vieira
Marco Paulo Amorim Vieira
Person information
- affiliation: University of Coimbra, Portugal
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
- [j42]Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa
, Marco Vieira
:
Vulnerable Code Detection Using Software Metrics and Machine Learning. IEEE Access 8: 219174-219198 (2020) - [j41]Matheus Torquato
, Marco Vieira
:
Moving target defense in cloud computing: A systematic mapping study. Comput. Secur. 92: 101742 (2020) - [j40]Rui André Oliveira, Miquel Martínez Raga, Nuno Laranjeiro, Marco Vieira
:
An approach for benchmarking the security of web service frameworks. Future Gener. Comput. Syst. 110: 833-848 (2020) - [j39]Matheus Torquato
, Paulo R. M. Maciel, Marco Vieira
:
Availability and reliability modeling of VM migration as rejuvenation on a system under varying workload. Softw. Qual. J. 28(1): 59-83 (2020) - [c169]Matheus Torquato, Charles F. Gonçalves, Marco Vieira:
An Availability Model for DSS and OLTP Applications in Virtualized Environments. EDCC 2020: 85-92 - [c168]José D'Abruzzo Pereira, Marco Vieira:
On the Use of Open-Source C/C++ Static Analysis Tools in Large Projects. EDCC 2020: 97-102 - [c167]José D'Abruzzo Pereira, Rui Silva, Nuno Antunes, Jorge L. M. Silva, Breno de França, Regina Moraes, Marco Vieira:
A platform to enable self-adaptive cloud applications using trustworthiness properties. SEAMS@ICSE 2020: 71-77 - [c166]Charles F. Gonçalves, Daniel S. Menasché, Alberto Avritzer, Nuno Antunes, Marco Vieira:
A Model-Based Approach to Anomaly Detection Trading Detection Time and False Alarm Rate. MedComNet 2020: 1-8 - [c165]João R. Campos
, Ernesto Costa
, Marco Vieira
:
On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study. SAFECOMP 2020: 419-433 - [e5]Marco Vieira, Henrique Madeira, Nuno Antunes, Zheng Zheng:
31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020. IEEE 2020, ISBN 978-1-7281-9870-5 [contents] - [i6]Charles F. Gonçalves, Daniel S. Menasché, Alberto Avritzer, Nuno Antunes, Marco Vieira:
A Model-Based Approach to Anomaly Detection Trading Detection Time and False Alarm Rate. CoRR abs/2006.08811 (2020)
2010 – 2019
- 2019
- [j38]Sandro Fiore
, Donatello Elia, Carlos Eduardo S. Pires, Demetrio Gomes Mestre, Cinzia Cappiello, Monica Vitali, Nazareno Andrade, Tarciso Braz, Daniele Lezzi
, Regina Moraes
, Tânia Basso, Nádia P. Kozievitch, Keiko Verônica Ono Fonseca, Nuno Antunes, Marco Vieira, Cosimo Palazzo, Ignacio Blanquer, Wagner Meira Jr., Giovanni Aloisio:
An Integrated Big and Fast Data Analytics Platform for Smart Urban Transportation Management. IEEE Access 7: 117652-117677 (2019) - [j37]Matheus Torquato
, Paulo R. M. Maciel, Marco Vieira
:
A Model for Availability and Security Risk Evaluation for Systems With VMM Rejuvenation Enabled by VM Migration Scheduling. IEEE Access 7: 138315-138326 (2019) - [j36]João R. Campos
, Ernesto Costa
, Marco Vieira
:
Improving Failure Prediction by Ensembling the Decisions of Machine Learning Models: A Case Study. IEEE Access 7: 177661-177674 (2019) - [j35]Paulo Jorge Costa Nunes, Ibéria Medeiros
, José Fonseca, Nuno Neves
, Miguel Correia, Marco Vieira
:
An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios. Computing 101(2): 161-185 (2019) - [j34]Andy S. Alic, Jussara M. Almeida
, Giovanni Aloisio, Nazareno Andrade, Nuno Antunes
, Danilo Ardagna
, Rosa M. Badia
, Tânia Basso, Ignacio Blanquer, Tarciso Braz
, Andrey Brito, Donatello Elia
, Sandro Fiore
, Dorgival O. Guedes, Marco Lattuada
, Daniele Lezzi
, Matheus Maciel, Wagner Meira Jr., Demetrio Gomes Mestre
, Regina Moraes
, Fábio Morais, Carlos Eduardo S. Pires, Nádia P. Kozievitch
, Walter dos Santos, Paulo Silva
, Marco Vieira
:
BIGSEA: A Big Data analytics platform for public transportation information. Future Gener. Comput. Syst. 96: 243-269 (2019) - [j33]Alexandre Melo Braga
, Ricardo Dahab
, Nuno Antunes
, Nuno Laranjeiro
, Marco Vieira
:
Understanding How to Use Static Analysis Tools for Detecting Cryptography Misuse in Software. IEEE Trans. Reliab. 68(4): 1384-1403 (2019) - [c164]Matheus Torquato
, Marco Vieira
:
An Experimental Study of Software Aging and Rejuvenation in Dockerd. EDCC 2019: 1-6 - [c163]Matheus Torquato
, Erico A. C. Guedes, Paulo R. M. Maciel, Marco Vieira
:
A Hierarchical Model for Virtualized Data Center Availability Evaluation. EDCC 2019: 103-110 - [c162]João R. Campos
, Marco Vieira
, Ernesto Costa
:
Propheticus: Machine Learning Framework for the Development of Predictive Models for Reliable and Secure Software. ISSRE 2019: 173-182 - [c161]Cristiano Inácio Lemes, Vincent Naessens, Marco Vieira
:
Trustworthiness Assessment of Web Applications: Approach and Experimental Study using Input Validation Coding Practices. ISSRE 2019: 435-445 - [c160]José D'Abruzzo Pereira, João R. Campos
, Marco Vieira
:
An Exploratory Study on Machine Learning to Combine Security Vulnerability Alerts from Static Analysis Tools. LADC 2019: 1-10 - [c159]Matheus Torquato, Lucas Torquato, Paulo R. M. Maciel, Marco Vieira
:
IaaS Cloud Availability Planning using Models and Genetic Algorithms. LADC 2019: 1-10 - [i5]Matheus Torquato, Marco Vieira:
Towards Models for Availability and Security Evaluation of Cloud Computing with Moving Target Defense. CoRR abs/1909.01392 (2019) - 2018
- [j32]Paulo Silva
, Tânia Basso, Nuno Antunes
, Regina Moraes
, Marco Vieira
, Paulo Simões, Edmundo Monteiro:
A Europe-Brazil Context for Secure Data Analytics in the Cloud. IEEE Secur. Priv. 16(6): 52-60 (2018) - [j31]Karima Velasquez
, David Perez Abreu
, Marcio R. M. Assis, Carlos R. Senna
, Diego F. Aranha
, Luiz F. Bittencourt, Nuno Laranjeiro
, Marília Curado
, Marco Vieira
, Edmundo Monteiro
, Edmundo Roberto Mauro Madeira:
Fog orchestration for the Internet of Everything: state-of-the-art and research challenges. J. Internet Serv. Appl. 9(1): 14:1-14:23 (2018) - [j30]Marco Vieira
, Katinka Wolter:
Introduction to the special issue on software reliability engineering. J. Syst. Softw. 137: 396-398 (2018) - [j29]Joaquim Mendes, Nuno Laranjeiro
, Marco Vieira
:
Toward characterizing HTML defects on the Web. Softw. Pract. Exp. 48(3): 750-757 (2018) - [j28]Paulo Jorge Costa Nunes, Iberia Medeiros
, José Fonseca
, Nuno Neves
, Miguel Correia
, Marco Vieira
:
Benchmarking Static Analysis Tools for Web Security. IEEE Trans. Reliab. 67(3): 1159-1175 (2018) - [c158]João R. Campos
, Marco Vieira
, Ernesto Costa
:
Exploratory Study of Machine Learning Techniques for Supporting Failure Prediction. EDCC 2018: 9-16 - [c157]Areej Algaith, Paulo Jorge Costa Nunes, José Fonseca, Ilir Gashi
, Marco Vieira
:
Finding SQL Injection and Cross Site Scripting Vulnerabilities with Diverse Static Analysis Tools. EDCC 2018: 57-64 - [c156]Andy S. Alic, Jussara M. Almeida, Wagner Meira Jr., Dorgival O. Guedes, Walter dos Santos, Ignacio Blanquer, Sandro Fiore, Nádia P. Kozievitch, Nazareno Andrade, Tarciso Braz, Andrey Brito, Carlos Eduardo S. Pires, Nuno Antunes, Marco Vieira, Paulo Silva, Danilo Ardagna, Keiko V. O. Fonseca, Daniele Lezzi, Donatello Elia, Regina Moraes, Tânia Basso, Wilian H. Cavassin:
GIS and Data: Three applications to enhance Mobility. GEOINFO 2018: 1-12 - [c155]Matheus Torquato
, Marco Vieira
:
Interacting SRN Models for Availability Evaluation of VM Migration as Rejuvenation on a System under Varying Workload. ISSRE Workshops 2018: 300-307 - [c154]Charles F. Gonçalves, Nuno Antunes, Marco Vieira
:
Evaluating the Applicability of Robustness Testing in Virtualized Environments. LADC 2018: 161-166 - [c153]Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki
, Pedro Costa, Marco Vieira
:
An Approach for Trustworthiness Benchmarking Using Software Metrics. PRDC 2018: 84-93 - [e4]Antonia Bertolino, Vasco Amaral, Paulo Rupino, Marco Vieira:
11th International Conference on the Quality of Information and Communications Technology, QUATIC 2018, Coimbra, Portugal, September 4-7, 2018. IEEE Computer Society 2018, ISBN 978-1-5386-5841-3 [contents] - [i4]João R. Campos, Marco Vieira, Ernesto Costa:
Propheticus: Generalizable Machine Learning Framework. CoRR abs/1809.01898 (2018) - 2017
- [j27]Nuno Antunes
, Marco Vieira
:
Designing vulnerability testing tools for web services: approach, components, and tools. Int. J. Inf. Sec. 16(4): 435-457 (2017) - [j26]Douglas Rodrigues, Rayner de Melo Pires
, Emerson Alberto Marconato, Cristiana Areias
, João Carlos Cunha
, Kalinka R. L. J. Castelo Branco, Marco Vieira
:
Service-Oriented Architectures for a Flexible and Safe Use of Unmanned Aerial Vehicles. IEEE Intell. Transp. Syst. Mag. 9(1): 97-109 (2017) - [j25]Nuno Silva, João Carlos Cunha
, Marco Vieira
:
A field study on root cause analysis of defects in space software. Reliab. Eng. Syst. Saf. 158: 213-229 (2017) - [j24]Javier Cámara, Rogério de Lemos, Nuno Laranjeiro
, Rafael Ventura, Marco Vieira
:
Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems. IEEE Trans. Dependable Secur. Comput. 14(1): 50-64 (2017) - [j23]Stefano Russo
, Marco Vieira
:
Editorial: Security and Dependability of Cloud Systems and Services. IEEE Trans. Serv. Comput. 10(5): 673-674 (2017) - [j22]Stefano Russo
, Marco Vieira:
Editorial: Security and Dependability of Cloud Systems and Services - Part II. IEEE Trans. Serv. Comput. 10(6): 927-928 (2017) - [c152]Tânia Basso, Regina Moraes
, Nuno Antunes
, Marco Vieira
, Walter Santos, Wagner Meira Jr.:
PRIVAaaS: privacy approach for a distributed cloud-based data analytics platforms. CCGrid 2017: 1108-1116 - [c151]Paulo Jorge Costa Nunes, Iberia Medeiros
, José Fonseca
, Nuno Ferreira Neves
, Miguel Correia, Marco Vieira
:
On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study. EDCC 2017: 121-128 - [c150]Ivano Alessandro Elia, Nuno Antunes
, Nuno Laranjeiro
, Marco Vieira
:
An Analysis of OpenStack Vulnerabilities. EDCC 2017: 129-134 - [c149]Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Nunes Da Costa, Marco Paulo Amorim Vieira
:
Towards an Approach for Trustworthiness Assessment of Software as a Service. EDGE 2017: 220-223 - [c148]Nuno Silva, Marco Vieira
, João Carlos Cunha
, Ram Chillarege:
Evaluating a Corpus of Root Causes and Measures to Guide RCA Processes in Critical Software. HASE 2017: 17-24 - [c147]Bruno Martins, Nuno Laranjeiro
, Marco Vieira
:
INTENSE: INteroperability TEstiNg as a SErvice. ICWS 2017: 792-799 - [c146]Alexandre Melo Braga, Ricardo Dahab
, Nuno Antunes
, Nuno Laranjeiro
, Marco Vieira
:
Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study. ISSRE 2017: 170-181 - [c145]Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki
, Pedro Costa, Marco Vieira
:
Software Metrics as Indicators of Security Vulnerabilities. ISSRE 2017: 216-227 - [c144]Areej Algaith, Ivano Alessandro Elia, Ilir Gashi
, Marco Vieira
:
Diversity with intrusion detection systems: An empirical study. NCA 2017: 19-23 - 2016
- [j21]Daniel Vecchiato, Marco Vieira
, Eliane Martins:
The Perils of Android Security Configuration. Computer 49(6): 15-21 (2016) - [c143]Ricardo Jorge Santos, Marco Vieira
, Jorge Bernardino
:
XSX: Lightweight Encryption for Data Warehousing Environments. DaWaK 2016: 281-295 - [c142]Aleksandar Milenkoski, K. R. Jayaram, Nuno Antunes
, Marco Vieira
, Samuel Kounev:
Quantifying the Attack Detection Accuracy of Intrusion Detection Systems in Virtualized Environments. ISSRE 2016: 276-286 - [c141]Daniel Vecchiato, Marco Vieira
, Eliane Martins:
Risk Assessment of User-Defined Security Configurations for Android Devices. ISSRE 2016: 467-477 - [c140]Nuno Silva, Marco Vieira
:
Software for embedded systems: a quality assessment based on improved ODC taxonomy. SAC 2016: 1780-1783 - [c139]Nuno Silva, Marco Vieira
:
Adapting the Orthogonal Defect Classification Taxonomy to the Space Domain. SAFECOMP 2016: 296-308 - [c138]Nuno Laranjeiro, Naghmeh Ramezani Ivaki, Marco Vieira
:
The 2016 IEEE Services Emerging Technology Track on Dependable and Secure Services (DSS 2016). SERVICES 2016: 47 - 2015
- [j20]Aleksandar Milenkoski, Marco Vieira
, Samuel Kounev, Alberto Avritzer, Bryan D. Payne:
Evaluating Computer Intrusion Detection Systems: A Survey of Common Practices. ACM Comput. Surv. 48(1): 12:1-12:41 (2015) - [j19]João Ricardo Lourenço, Bruno Cabral
, Paulo Carreiro, Marco Vieira
, Jorge Bernardino
:
Choosing the right NoSQL database for the job: a quality attribute evaluation. J. Big Data 2: 18 (2015) - [j18]Paulo C. Véras, Emília Villani, Ana Maria Ambrosio
, Marco Vieira
, Henrique Madeira
:
A benchmarking process to assess software requirements documentation for space applications. J. Syst. Softw. 100: 103-116 (2015) - [j17]Rui André Oliveira, Nuno Laranjeiro
, Marco Vieira
:
Assessing the security of web service frameworks against Denial of Service attacks. J. Syst. Softw. 109: 18-31 (2015) - [j16]Ivano Alessandro Elia
, Nuno Laranjeiro
, Marco Vieira
:
A Practical Approach Towards Automatic Testing of Web Services Interoperability. Int. J. Web Serv. Res. 12(3): 78-103 (2015) - [j15]Nuno Antunes
, Marco Vieira
:
Assessing and Comparing Vulnerability Detection Tools for Web Services: Benchmarking Approach and Examples. IEEE Trans. Serv. Comput. 8(2): 269-283 (2015) - [c137]Alan Braz, Cecília Mary Fisher Rubira, Marco Vieira
:
Development of Complex Software with Agile Method. AGILE 2015: 97-101 - [c136]João Ricardo Lourenço, Veronika Abramova, Bruno Cabral
, Jorge Bernardino
, Paulo Carreiro, Marco Vieira
:
No SQL in Practice: A Write-Heavy Enterprise Application. BigData Congress 2015: 584-591 - [c135]Nuno Silva, Marco Vieira
, Dario Ricci, Domenico Cotroneo:
Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues. DSN Workshops 2015: 63-68 - [c134]Ivano Irrera, Marco Vieira
:
Towards Assessing Representativeness of Fault Injection-Generated Failure Data for Online Failure Prediction. DSN Workshops 2015: 75-80 - [c133]Cristiana Areias
, João Carlos Cunha
, Marco Vieira
:
Studying the Propagation of Failures in SOAs. DSN Workshops 2015: 81-86 - [c132]Ivano Alessandro Elia
, Nuno Laranjeiro
, Marco Vieira
:
Test-Based Interoperability Certification for Web Services. DSN 2015: 196-206 - [c131]Paulo Jorge Costa Nunes, José Fonseca
, Marco Vieira
:
phpSAFE: A Security Analysis Tool for OOP Web Application Plugins. DSN 2015: 299-306 - [c130]Nuno Antunes
, Marco Vieira
:
On the Metrics for Benchmarking Vulnerability Detection Tools. DSN 2015: 505-516 - [c129]Ivano Irrera, Marco Vieira
, João Durães
:
Adaptive Failure Prediction for Computer Systems: A Framework and a Case Study. HASE 2015: 142-149 - [c128]Aleksandar Milenkoski, Bryan D. Payne, Nuno Antunes
, Marco Vieira
, Samuel Kounev, Alberto Avritzer, Matthias Luft:
Evaluation of Intrusion Detection Systems in Virtualized Environments Using Attack Injection. RAID 2015: 471-492 - [c127]Tânia Basso, Regina Moraes
, Mario Jino, Marco Vieira
:
Requirements, design and evaluation of a privacy reference architecture for web applications and services. SAC 2015: 1425-1432 - [c126]Rui André Oliveira, Nuno Laranjeiro, Marco Vieira
:
Characterizing the performance of web service frameworks under security attacks. SAC 2015: 1711-1718 - [c125]Daniel Vecchiato, Marco Vieira
, Eliane Martins:
A security configuration assessment for android devices. SAC 2015: 2299-2304 - [c124]Nuno Laranjeiro, Pedro Furtado
, Marco Vieira
:
IEEE Services Visionary Track on Dependable and Secure Services (DSS 2015). SERVICES 2015: 302 - [c123]João Ricardo Lourenço, Veronika Abramova, Marco Vieira
, Bruno Cabral
, Jorge Bernardino
:
NoSQL Databases: A Software Engineering Perspective. WorldCIST (1) 2015: 741-750 - 2014
- [j14]Nuno Antunes
, Marco Vieira
:
Penetration Testing for Web Services. Computer 47(2): 30-36 (2014) - [j13]Javier Cámara, Rogério de Lemos, Nuno Laranjeiro
, Rafael Ventura, Marco Vieira
:
Testing the robustness of controllers for self-adaptive systems. J. Braz. Comput. Soc. 20(1): 1:1-1:14 (2014) - [j12]Ricardo Jorge Santos, Jorge Bernardino
, Marco Vieira
:
Approaches and Challenges in Database Intrusion Detection. SIGMOD Rec. 43(3): 36-47 (2014) - [j11]José Fonseca
, Nuno Seixas, Marco Vieira
, Henrique Madeira
:
Analysis of Field Data on Web Security Vulnerabilities. IEEE Trans. Dependable Secur. Comput. 11(2): 89-100 (2014) - [j10]José Fonseca
, Marco Vieira
, Henrique Madeira
:
Evaluation of Web Security Mechanisms Using Vulnerability & Attack Injection. IEEE Trans. Dependable Secur. Comput. 11(5): 440-453 (2014) - [j9]Nuno Laranjeiro
, Marco Vieira
, Henrique Madeira
:
A Technique for Deploying Robust Web Services. IEEE Trans. Serv. Comput. 7(1): 68-81 (2014) - [c122]Ivano Alessandro Elia
, Nuno Laranjeiro
, Marco Vieira
:
A Field Perspective on the Interoperability of Web Services. IEEE SCC 2014: 75-82 - [c121]Ivano Alessandro Elia
, Nuno Laranjeiro
, Marco Vieira
:
Understanding Interoperability Issues of Web Service Frameworks. DSN 2014: 323-330 - [c120]Denise Rotondi Azevedo, Ana Maria Ambrosio
, Marco Vieira
:
Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (Short Paper). EDCC 2014: 194-197 - [c119]Ivano Irrera, João Durães
, Marco Vieira
:
On the Need for Training Failure Prediction Algorithms in Evolving Software Systems. HASE 2014: 216-223 - [c118]Ivano Alessandro Elia
, Nuno Laranjeiro
, Marco Vieira
:
ITWS: An Extensible Tool for Interoperability Testing of Web Services. ICWS 2014: 409-416 - [c117]Aleksandar Milenkoski, Bryan D. Payne, Nuno Antunes
, Marco Vieira
, Samuel Kounev:
Experience Report: An Analysis of Hypercall Handler Vulnerabilities. ISSRE 2014: 100-111 - [c116]Nuno Silva, Marco Vieira
:
Experience Report: Orthogonal Classification of Safety Critical Issues. ISSRE 2014: 156-166 - [c115]Nuno Silva, Marco Vieira
:
Towards Making Safety-Critical Systems Safer: Learning from Mistakes. ISSRE Workshops 2014: 162-167 - [c114]Luis Eduardo Santos, Marília Curado
, Marco Vieira
:
A Research Agenda for Benchmarking the Resilience of Software Defined Networks. ISSRE Workshops 2014: 168-173 - [c113]Ivano Irrera, Marco Vieira
:
A Practical Approach for Generating Failure Data for Assessing and Comparing Failure Prediction Algorithms. PRDC 2014: 86-95 - [c112]Javier Cámara, Pedro Correia, Rogério de Lemos, Marco Vieira
:
Empirical resilience evaluation of an architecture-based self-adaptive software system. QoSA 2014: 63-72 - [c111]Javier Cámara, Rogério de Lemos, Nuno Laranjeiro
, Rafael Ventura, Marco Vieira
:
Robustness evaluation of the rainbow framework for self-adaptation. SAC 2014: 376-383 - [c110]Nuno Laranjeiro, Pedro Furtado
, Marco Vieira:
IEEE International Workshop on Dependable and Secure Services (DSS 2014). SERVICES 2014: 198-199 - [c109]Jose Carlos Coelho Martins da Fonseca, Marco Paulo Amorim Vieira
:
A Practical Experience on the Impact of Plugins in Web Security. SRDS 2014: 21-30 - [e3]István Majzik
, Marco Vieira
:
Software Engineering for Resilient Systems - 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings. Lecture Notes in Computer Science 8785, Springer 2014, ISBN 978-3-319-12240-3 [contents] - [i3]Aleksandar Milenkoski, Marco Vieira, Bryan D. Payne, Nuno Antunes, Samuel Kounev:
Technical Information on Vulnerabilities of Hypercall Handlers. CoRR abs/1410.1158 (2014) - [i2]Aleksandar Milenkoski, Samuel Kounev, Alberto Avritzer, Nuno Antunes, Marco Vieira:
On Benchmarking Intrusion Detection Systems in Virtualized Environments. CoRR abs/1410.1160 (2014) - 2013
- [j8]Javier Cámara, Rogério de Lemos
, Marco Vieira
, Raquel Almeida
, Rafael Ventura:
Architecture-based resilience evaluation for self-adaptive systems. Computing 95(8): 689-722 (2013) - [c108]Nuno Antunes
, Marco Vieira
:
SOA-Scanner: An Integrated Tool to Detect Vulnerabilities in Service-Based Infrastructures. IEEE SCC 2013: 280-287 - [c107]Ricardo Jorge Santos, Deolinda M. L. D. Rasteiro
, Jorge Bernardino
, Marco Vieira
:
A Specific Encryption Solution for Data Warehouses. DASFAA (2) 2013: 84-98 - [c106]Tânia Basso, Nuno Antunes
, Regina Moraes
, Marco Vieira
:
An XML-Based Policy Model for Access Control in Web Applications. DEXA (2) 2013: 274-288 - [c105]Raquel Almeida
, Afonso Araújo Neto, Marco Vieira
:
SCoRe: An across-the-board metric for computer systems resilience benchmarking. DSN Workshops 2013: 1-8 - [c104]Naghmeh Ramezani Ivaki
, Nuno Laranjeiro
, Marco Vieira
:
Towards evaluating the impact of data quality on service applications. DSN Workshops 2013: 1-7 - [c103]Nuno Silva, Ricardo Barbosa, João Carlos Cunha
, Marco Vieira
:
A view on the past and future of fault injection. DSN 2013: 1-2 - [c102]Nuno Silva, Marco Vieira
:
Certification of embedded systems: Quantitative analysis and irrefutable evidences. ISSRE (Supplemental Proceedings) 2013: 15-16 - [c101]Nuno Antunes
, Francesco Brancati, Andrea Ceccarelli
, Andrea Bondavalli
, Marco Vieira
:
A monitoring and testing framework for critical off-the-shelf applications and services. ISSRE (Supplemental Proceedings) 2013: 371-374 - [c100]Javier Cámara, Rogério de Lemos
, Nuno Laranjeiro
, Rafael Ventura, Marco Vieira
:
Robustness Evaluation of Controllers in Self-Adaptive Software Systems. LADC 2013: 1-10 - [c99]Ivano Irrera, Carlos Pereira, Marco Vieira
:
The Time Dimension in Predicting Failures: A Case Study. LADC 2013: 86-91 - [c98]Ivano Irrera, João Durães
, Henrique Madeira
, Marco Vieira
:
Assessing the Impact of Virtualization on the Generation of Failure Prediction Data. LADC 2013: 92-97 - [c97]Denise Rotondi Azevedo, Ana Maria Ambrosio
, Marco Vieira
:
HLA Middleware Robustness and Scalability Evaluation in the Context of Satellite Simulators. PRDC 2013: 312-317 - [e2]Marco Vieira, João Carlos Cunha
:
Dependable Computing - 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings. Lecture Notes in Computer Science 7869, Springer 2013, ISBN 978-3-642-38788-3 [contents] - 2012
- [j7]