Carlos Nuno Bizarro e Silva Laranjeiro
AuthID: R-000-PX1
1
TÃTULO: Introduction to the special issue on software reliability and dependability engineering
AUTORES: Nuno Laranjeiro; Patrizio Pelliccione;
PUBLICAÇÃO: 2025, FONTE: Journal of Systems and Software
AUTORES: Nuno Laranjeiro; Patrizio Pelliccione;
PUBLICAÇÃO: 2025, FONTE: Journal of Systems and Software
INDEXADO EM:
Scopus

2
TÃTULO: An approach to assess robustness of MQTT-based IoT systems
AUTORES: Bruno Jesus; Fernando Lins; Nuno Laranjeiro;
PUBLICAÇÃO: 2025, FONTE: Internet of Things (The Netherlands), VOLUME: 31
AUTORES: Bruno Jesus; Fernando Lins; Nuno Laranjeiro;
PUBLICAÇÃO: 2025, FONTE: Internet of Things (The Netherlands), VOLUME: 31
3
TÃTULO: A systematic review on smart contracts security design patterns
AUTORES: Azimi, Sadaf; Golzari, Ali; Ivaki, Naghmeh; Laranjeiro, Nuno;
PUBLICAÇÃO: 2025, FONTE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 30, NÚMERO: 3
AUTORES: Azimi, Sadaf; Golzari, Ali; Ivaki, Naghmeh; Laranjeiro, Nuno;
PUBLICAÇÃO: 2025, FONTE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 30, NÚMERO: 3
4
TÃTULO: OpenSCV: an open hierarchical taxonomy for smart contract vulnerabilities
AUTORES: Vidal, Fernando Richter; Ivaki, Naghmeh; Laranjeiro, Nuno;
PUBLICAÇÃO: 2024, FONTE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 29, NÚMERO: 4
AUTORES: Vidal, Fernando Richter; Ivaki, Naghmeh; Laranjeiro, Nuno;
PUBLICAÇÃO: 2024, FONTE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 29, NÚMERO: 4
5
TÃTULO: Vulnerability detection techniques for smart contracts: A systematic literature review
AUTORES: Fernando Richter Vidal; Naghmeh Ivaki; Nuno Laranjeiro;
PUBLICAÇÃO: 2024, FONTE: Journal of Systems and Software, VOLUME: 217
AUTORES: Fernando Richter Vidal; Naghmeh Ivaki; Nuno Laranjeiro;
PUBLICAÇÃO: 2024, FONTE: Journal of Systems and Software, VOLUME: 217
6
TÃTULO: Insights From the Software Reliability Research Community
AUTORES: Patrizio Pelliccione; Nuno Laranjeiro;
PUBLICAÇÃO: 2024, FONTE: IEEE Reliability Magazine, VOLUME: 1, NÚMERO: 1
AUTORES: Patrizio Pelliccione; Nuno Laranjeiro;
PUBLICAÇÃO: 2024, FONTE: IEEE Reliability Magazine, VOLUME: 1, NÚMERO: 1
7
TÃTULO: Guest editorial: special issue on emerging challenges in software certification and verification
AUTORES: De Simone, Luigi; Laranjeiro, Nuno; Cotroneo, Domenico;
PUBLICAÇÃO: 2023, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 31, NÚMERO: 2
AUTORES: De Simone, Luigi; Laranjeiro, Nuno; Cotroneo, Domenico;
PUBLICAÇÃO: 2023, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 31, NÚMERO: 2
8
TÃTULO: Automating Vulnerability Management in the Software Development Lifecycle
AUTORES: Franca, Horacio L.; Teixeira, Cesar; laranjeiro, Nuno;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOLUME, DSN-S
AUTORES: Franca, Horacio L.; Teixeira, Cesar; laranjeiro, Nuno;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOLUME, DSN-S
9
TÃTULO: Exploring Logic Scoring of Preference for DoS Attack Detection in Microservice Applications
AUTORES: Jessica Castro; Nuno Laranjeiro; Marco Vieira;
PUBLICAÇÃO: 2023, FONTE: 2023 IEEE International Conference on Web Services, ICWS 2023 in Proceedings - 2023 IEEE International Conference on Web Services, ICWS 2023
AUTORES: Jessica Castro; Nuno Laranjeiro; Marco Vieira;
PUBLICAÇÃO: 2023, FONTE: 2023 IEEE International Conference on Web Services, ICWS 2023 in Proceedings - 2023 IEEE International Conference on Web Services, ICWS 2023
10
TÃTULO: Generating Realistic Attack Data for Microservices: Framework and Case Study
AUTORES: Castro, Jessica; Laranjeiro, Nuno; Vieira, Marco;
PUBLICAÇÃO: 2023, FONTE: 12th Latin-American Symposium on Dependable and Secure Computing (LADC) in PROCEEDINGS OF12TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE AND SECURE COMPUTING, LADC 2023
AUTORES: Castro, Jessica; Laranjeiro, Nuno; Vieira, Marco;
PUBLICAÇÃO: 2023, FONTE: 12th Latin-American Symposium on Dependable and Secure Computing (LADC) in PROCEEDINGS OF12TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE AND SECURE COMPUTING, LADC 2023