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