Carlos Nuno Bizarro e Silva Laranjeiro
AuthID: R-000-PX1
11
TÃTULO: Addressing verification and validation challenges in future cyber-physical systems
AUTORES: Laranjeiro, N; Gomez, C; Schiavone, E; Montecchi, L; Carvalho, MJM; Lollini, P; Micskei, Z;
PUBLICAÇÃO: 2019, FONTE: 9th Latin-American Symposium on Dependable Computing, LADC 2019 in 2019 9th Latin-American Symposium on Dependable Computing, LADC 2019 - Proceedings
AUTORES: Laranjeiro, N; Gomez, C; Schiavone, E; Montecchi, L; Carvalho, MJM; Lollini, P; Micskei, Z;
PUBLICAÇÃO: 2019, FONTE: 9th Latin-American Symposium on Dependable Computing, LADC 2019 in 2019 9th Latin-American Symposium on Dependable Computing, LADC 2019 - Proceedings
12
TÃTULO: 30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, 2019
AUTORES: Katinka Wolter; Ina Schieferdecker; Barbara Gallina; Michel Cukier; Roberto Natella; Naghmeh Ivaki; Nuno Laranjeiro;
PUBLICAÇÃO: 2019, FONTE: ISSRE
AUTORES: Katinka Wolter; Ina Schieferdecker; Barbara Gallina; Michel Cukier; Roberto Natella; Naghmeh Ivaki; Nuno Laranjeiro;
PUBLICAÇÃO: 2019, FONTE: ISSRE
INDEXADO EM: 
DBLP
DBLP13
TÃTULO: IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019
AUTORES: Katinka Wolter; Ina Schieferdecker; Barbara Gallina; Michel Cukier; Roberto Natella; Naghmeh Ivaki; Nuno Laranjeiro;
PUBLICAÇÃO: 2019, FONTE: ISSRE Workshops
AUTORES: Katinka Wolter; Ina Schieferdecker; Barbara Gallina; Michel Cukier; Roberto Natella; Naghmeh Ivaki; Nuno Laranjeiro;
PUBLICAÇÃO: 2019, FONTE: ISSRE Workshops
INDEXADO EM: DBLP
DBLP14
TÃTULO: Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
AUTORES: Laranjeiro, N; Gomez, C; Schiavone, E; Montecchi, L; Carvalho, MJM; Lollinik, P; Micskei, Z;
PUBLICAÇÃO: 2019, FONTE: 9th Latin-American Symposium on Dependable Computing (LADC) in 2019 9TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC)
AUTORES: Laranjeiro, N; Gomez, C; Schiavone, E; Montecchi, L; Carvalho, MJM; Lollinik, P; Micskei, Z;
PUBLICAÇÃO: 2019, FONTE: 9th Latin-American Symposium on Dependable Computing (LADC) in 2019 9TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC)
INDEXADO EM: 
WOS
WOS NO MEU: 
ORCID
ORCID15
TÃTULO: Towards Designing Reliable Messaging Patterns
AUTORES: Ivaki, N; Laranjeiro, N; Araujo, F;
PUBLICAÇÃO: 2016, FONTE: 15th IEEE International Symposium on Network Computing and Applications (IEEE NCA) in 15TH IEEE INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (IEEE NCA 2016)
AUTORES: Ivaki, N; Laranjeiro, N; Araujo, F;
PUBLICAÇÃO: 2016, FONTE: 15th IEEE International Symposium on Network Computing and Applications (IEEE NCA) in 15TH IEEE INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (IEEE NCA 2016)
INDEXADO EM: WOS
WOS NO MEU: ORCID
ORCID16
TÃTULO: Microbiological parameters of surfaces in school canteens
AUTORES: Laranjeiro, C; Santos, C; Alves, B; Ferreira, A; Figueiredo, JP;
PUBLICAÇÃO: 2014, FONTE: 10th Annual Congress of the Portuguese-Society-of-Occupational-Safety-and-Hygiene on Occupational Safety and Hygiene (SPOSHO) in OCCUPATIONAL SAFETY AND HYGIENE II
AUTORES: Laranjeiro, C; Santos, C; Alves, B; Ferreira, A; Figueiredo, JP;
PUBLICAÇÃO: 2014, FONTE: 10th Annual Congress of the Portuguese-Society-of-Occupational-Safety-and-Hygiene on Occupational Safety and Hygiene (SPOSHO) in OCCUPATIONAL SAFETY AND HYGIENE II
INDEXADO EM: 
Scopus WOS
Scopus WOS NO MEU: ORCID
ORCID17
TÃTULO: Understanding interoperability issues of web service frameworks
AUTORES: Elia, IA; Laranjeiro, N; Vieira, M;
PUBLICAÇÃO: 2014, FONTE: 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2014 in Proceedings of the International Conference on Dependable Systems and Networks
AUTORES: Elia, IA; Laranjeiro, N; Vieira, M;
PUBLICAÇÃO: 2014, FONTE: 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2014 in Proceedings of the International Conference on Dependable Systems and Networks
INDEXADO EM: Scopus
Scopus18
TÃTULO: Introduction to the Safecomp 2014 Workshop: DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS '14)
AUTORES: Francesco Brancati; Nuno Laranjeiro; Abel Hegedues;
PUBLICAÇÃO: 2014, FONTE: 33rd SAFECOMP Workshop in COMPUTER SAFETY, RELIABILITY, AND SECURITY, VOLUME: 8696
AUTORES: Francesco Brancati; Nuno Laranjeiro; Abel Hegedues;
PUBLICAÇÃO: 2014, FONTE: 33rd SAFECOMP Workshop in COMPUTER SAFETY, RELIABILITY, AND SECURITY, VOLUME: 8696
INDEXADO EM: WOS
WOS NO MEU: ORCID
ORCID19
TÃTULO: Advancing Software Services Robustness. Techniques for Assessment and Improvement
AUTORES: Carlos N B e S Laranjeiro;
PUBLICAÇÃO: 2012
AUTORES: Carlos N B e S Laranjeiro;
PUBLICAÇÃO: 2012
INDEXADO EM: 
Handle
Handle20
TÃTULO: Building web services with time requirements
AUTORES: Nuno Laranjeiro; Marco Paulo Amorim Vieira; Madeira, HSC;
PUBLICAÇÃO: 2011
AUTORES: Nuno Laranjeiro; Marco Paulo Amorim Vieira; Madeira, HSC;
PUBLICAÇÃO: 2011
INDEXADO EM: Scopus
Scopus