Carlos Nuno Bizarro e Silva Laranjeiro
AuthID: R-000-PX1
21
TITLE: An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools
AUTHORS: Dia, Bruno; Ivaki, Naghmeh; Laranjeiro, Nuno;
PUBLISHED: 2021, SOURCE: 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) in 2021 IEEE 26TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2021), VOLUME: 2021-December
AUTHORS: Dia, Bruno; Ivaki, Naghmeh; Laranjeiro, Nuno;
PUBLISHED: 2021, SOURCE: 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) in 2021 IEEE 26TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2021), VOLUME: 2021-December
22
TITLE: Techniques for Evaluating the Robustness of Deep Learning Systems: A Preliminary Review
AUTHORS: Franca, HL; Teixeira, C; Laranjeiro, N;
PUBLISHED: 2021, SOURCE: 10th Latin-American Symposium on Dependable Computing, LADC 2021 in 2021 10th Latin-American Symposium on Dependable Computing, LADC 2021 - Proceedings
AUTHORS: Franca, HL; Teixeira, C; Laranjeiro, N;
PUBLISHED: 2021, SOURCE: 10th Latin-American Symposium on Dependable Computing, LADC 2021 in 2021 10th Latin-American Symposium on Dependable Computing, LADC 2021 - Proceedings
23
TITLE: Revocation Mechanisms for Blockchain Applications: A Review
AUTHORS: Vidal, FR; Ivaki, N; Laranjeiro, N;
PUBLISHED: 2021, SOURCE: 10th Latin-American Symposium on Dependable Computing, LADC 2021 in 2021 10th Latin-American Symposium on Dependable Computing, LADC 2021 - Proceedings
AUTHORS: Vidal, FR; Ivaki, N; Laranjeiro, N;
PUBLISHED: 2021, SOURCE: 10th Latin-American Symposium on Dependable Computing, LADC 2021 in 2021 10th Latin-American Symposium on Dependable Computing, LADC 2021 - Proceedings
24
TITLE: Automating orthogonal defect classification using machine learning algorithms Full Text
AUTHORS: Lopes, F; Agnelo, J; Teixeira, CA; Laranjeiro, N; Jorge Bernardino ;
PUBLISHED: 2020, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 102
AUTHORS: Lopes, F; Agnelo, J; Teixeira, CA; Laranjeiro, N; Jorge Bernardino ;
PUBLISHED: 2020, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 102
25
TITLE: Using Orthogonal Defect Classification to characterize NoSQL database defects Full Text
AUTHORS: Agnelo, J; Laranjeiro, N; Jorge Bernardino ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 159
AUTHORS: Agnelo, J; Laranjeiro, N; Jorge Bernardino ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 159
26
TITLE: An approach for benchmarking the security of web service frameworks Full Text
AUTHORS: Oliveira, RA; Raga, MM; Laranjeiro, N; Vieira, M;
PUBLISHED: 2020, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 110
AUTHORS: Oliveira, RA; Raga, MM; Laranjeiro, N; Vieira, M;
PUBLISHED: 2020, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 110
27
TITLE: Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts
AUTHORS: Hajdu, A; Ivaki, N; Kocsis, I; Klenik, A; Gonczy, L; Laranjeiro, N; Madeira, H ; Pataricza, A;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8
AUTHORS: Hajdu, A; Ivaki, N; Kocsis, I; Klenik, A; Gonczy, L; Laranjeiro, N; Madeira, H ; Pataricza, A;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8
28
TITLE: Applying Text Analytics for Studying Research Trends in Dependability Full Text
AUTHORS: Carnot, ML; Jorge Bernardino ; Laranjeiro, N; Oliveira, HG;
PUBLISHED: 2020, SOURCE: ENTROPY, VOLUME: 22, ISSUE: 11
AUTHORS: Carnot, ML; Jorge Bernardino ; Laranjeiro, N; Oliveira, HG;
PUBLISHED: 2020, SOURCE: ENTROPY, VOLUME: 22, ISSUE: 11
29
TITLE: Connection Handler: A Design Pattern for Recovery from Connection Crashes
AUTHORS: Naghmeh Ivaki; Nuno Laranjeiro; Fernando Barros; Filipe Araújo;
PUBLISHED: 2020, SOURCE: Computer Communications and Networks - Software Engineering in the Era of Cloud Computing
AUTHORS: Naghmeh Ivaki; Nuno Laranjeiro; Fernando Barros; Filipe Araújo;
PUBLISHED: 2020, SOURCE: Computer Communications and Networks - Software Engineering in the Era of Cloud Computing
30
TITLE: Understanding How to Use Static Analysis Tools for Detecting Cryptography Misuse in Software Full Text
AUTHORS: Braga, A; Dahab, R; Antunes, N; Laranjeiro, N; Vieira, M;
PUBLISHED: 2019, SOURCE: IEEE Transactions on Reliability, VOLUME: 68, ISSUE: 4
AUTHORS: Braga, A; Dahab, R; Antunes, N; Laranjeiro, N; Vieira, M;
PUBLISHED: 2019, SOURCE: IEEE Transactions on Reliability, VOLUME: 68, ISSUE: 4
