Marco Paulo Amorim Vieira
AuthID: R-000-ABN
31
TITLE: On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study
AUTHORS: Campos, JR; Costa, E; Vieira, M;
PUBLISHED: 2020, SOURCE: 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12234 LNCS
AUTHORS: Campos, JR; Costa, E; Vieira, M;
PUBLISHED: 2020, SOURCE: 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12234 LNCS
32
TITLE: A platform to enable self-adaptive cloud applications using trustworthiness properties
AUTHORS: Pereira, JD; Silva, R; Antunes, N; Silva, JLM; De França, B; Moraes, R; Vieira, M;
PUBLISHED: 2020, SOURCE: 15th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2020 in Proceedings - 2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2020
AUTHORS: Pereira, JD; Silva, R; Antunes, N; Silva, JLM; De França, B; Moraes, R; Vieira, M;
PUBLISHED: 2020, SOURCE: 15th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2020 in Proceedings - 2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2020
33
TITLE: A Model-Based Approach to Anomaly Detection Trading Detection Time and False Alarm Rate
AUTHORS: Goncalves, CF; Menasche, DS; Avritzer, A; Antunes, N; Vieira, M;
PUBLISHED: 2020, SOURCE: 2020 Mediterranean Communication and Computer Networking Conference, MedComNet 2020 in 2020 Mediterranean Communication and Computer Networking Conference, MedComNet 2020
AUTHORS: Goncalves, CF; Menasche, DS; Avritzer, A; Antunes, N; Vieira, M;
PUBLISHED: 2020, SOURCE: 2020 Mediterranean Communication and Computer Networking Conference, MedComNet 2020 in 2020 Mediterranean Communication and Computer Networking Conference, MedComNet 2020
34
TITLE: On the Use of Open-Source C/C plus plus Static Analysis Tools in Large Projects
AUTHORS: Pereira, JD; Vieira, M;
PUBLISHED: 2020, SOURCE: 16th European Dependable Computing Conference (EDCC) in 2020 16TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2020)
AUTHORS: Pereira, JD; Vieira, M;
PUBLISHED: 2020, SOURCE: 16th European Dependable Computing Conference (EDCC) in 2020 16TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2020)
35
TITLE: An Availability Model for DSS and OLTP Applications in Virtualized Environments
AUTHORS: Torquato, M; Goncalves, CF; Vieira, M;
PUBLISHED: 2020, SOURCE: 16th European Dependable Computing Conference (EDCC) in 2020 16TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2020)
AUTHORS: Torquato, M; Goncalves, CF; Vieira, M;
PUBLISHED: 2020, SOURCE: 16th European Dependable Computing Conference (EDCC) in 2020 16TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2020)
36
TITLE: Message from the ISSRE 2020 general chairs
AUTHORS: Vieira, M; Madeira, H;
PUBLISHED: 2020, SOURCE: 31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020 in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, VOLUME: 2020-October
AUTHORS: Vieira, M; Madeira, H;
PUBLISHED: 2020, SOURCE: 31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020 in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, VOLUME: 2020-October
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID38
TITLE: Security and Availability Modeling of VM Migration as Moving Target Defense
AUTHORS: Torquato, M; Maciel, P; Vieira, M;
PUBLISHED: 2020, SOURCE: 25th IEEE Pacific Rim International Symposium on Dependable Computing (IEEE PRDC) in 2020 IEEE 25TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2020), VOLUME: 2020-December
AUTHORS: Torquato, M; Maciel, P; Vieira, M;
PUBLISHED: 2020, SOURCE: 25th IEEE Pacific Rim International Symposium on Dependable Computing (IEEE PRDC) in 2020 IEEE 25TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2020), VOLUME: 2020-December
39
TITLE: An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios Full Text
AUTHORS: Nunes, P; Medeiros, I; Fonseca, J; Neves, N ; Correia, M ; Vieira, M;
PUBLISHED: 2019, SOURCE: COMPUTING, VOLUME: 101, ISSUE: 2
AUTHORS: Nunes, P; Medeiros, I; Fonseca, J; Neves, N ; Correia, M ; Vieira, M;
PUBLISHED: 2019, SOURCE: COMPUTING, VOLUME: 101, ISSUE: 2
40
TITLE: Evaluating the Applicability of Robustness Testing in Virtualized Environments
AUTHORS: Gonçalves, CF; Antunes, N; Vieira, M;
PUBLISHED: 2019, SOURCE: 8th Latin-American Symposium on Dependable Computing, LADC 2018 in Proceedings - 8th Latin-American Symposium on Dependable Computing, LADC 2018
AUTHORS: Gonçalves, CF; Antunes, N; Vieira, M;
PUBLISHED: 2019, SOURCE: 8th Latin-American Symposium on Dependable Computing, LADC 2018 in Proceedings - 8th Latin-American Symposium on Dependable Computing, LADC 2018
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID