Carlos Nuno Bizarro e Silva Laranjeiro


AuthID: R-000-PX1

Confirmed Publications: 108



41
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
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
42
TITLE: A survey on reliable distributed communication  Full Text
AUTHORS: Ivaki, N; Laranjeiro, N ; Araujo, F;
PUBLISHED: 2018, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 137
INDEXED IN: Scopus WOS CrossRef: 6
IN MY: ORCID | CIÊNCIAVITAE
43
TITLE: Assessing Containerized REST Services Performance in the Presence of Operator Faults
AUTHORS: Cunha, M ; Laranjeiro, N ;
PUBLISHED: 2018, SOURCE: 2018 14TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2018)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
44
TITLE: Fog orchestration for the Internet of Everything: state-of-the-art and research challenges
AUTHORS: Velasquez, K; Abreu, DP; Assis, MRM; Senna, C; Aranha, DF; Bittencourt, LF; Laranjeiro, N ; Curado, M ; Vieira, M; Monteiro, E; Madeira, E;
PUBLISHED: 2018, SOURCE: JOURNAL OF INTERNET SERVICES AND APPLICATIONS, VOLUME: 9, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 63
IN MY: ORCID | CIÊNCIAVITAE
45
TITLE: Toward characterizing HTML defects on the Web
AUTHORS: Joaquim Mendes ; Laranjeiro, N ; Vieira, M;
PUBLISHED: 2018, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 48, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 2
46
TITLE: An Analysis of OpenStack Vulnerabilities
AUTHORS: Elia, IA; Antunes, N; Laranjeiro, N ; Vieira, M;
PUBLISHED: 2017, SOURCE: 13th European Dependable Computing Conference (EDCC) in 2017 13TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2017)
INDEXED IN: Scopus WOS CrossRef: 5
IN MY: ORCID | CIÊNCIAVITAE
47
TITLE: Analyzing Gossip Protocols for Reliable MANET Applications
AUTHORS: Leme, E; Ivaki, N; Laranjeiro, N ; Moraes, R;
PUBLISHED: 2017, SOURCE: 1st IEEE International Conference on Edge Computing, EDGE 2017 in 2017 IEEE 1ST INTERNATIONAL CONFERENCE ON EDGE COMPUTING (IEEE EDGE)
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
48
TITLE: Design Patterns for Reliable One-Way Messaging
AUTHORS: Ivaki, N; Laranjeiro, N ; Araujo, F;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Services Computing (SCC) in 2017 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC)
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
49
TITLE: INTENSE: INteroperability TEstiNg as a SErvice
AUTHORS: Bernardete Ribeiro ; Laranjeiro, N ; Vieira, M;
PUBLISHED: 2017, SOURCE: 24th IEEE International Conference on Web Services (ICWS) in 2017 IEEE 24TH INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS 2017)
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
50
TITLE: Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study
AUTHORS: Braga, A; Dahab, R; Antunes, N; Laranjeiro, N ; Vieira, M;
PUBLISHED: 2017, SOURCE: 28th IEEE International Symposium on Software Reliability Engineering in 2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), VOLUME: 2017-October
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 5 of 11. Total results: 108.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service