Carlos Nuno Bizarro e Silva Laranjeiro
AuthID: R-000-PX1
11
TITLE: Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
AUTHORS: Nuno Laranjeiro; Camilo Gomez; Enrico Schiavone; Leonardo Montecchi; Manoel J M Carvalho; Paolo Lollinik; Zoltan Micskei;
PUBLISHED: 2019, SOURCE: 9th Latin-American Symposium on Dependable Computing (LADC) in 2019 9TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC)
AUTHORS: Nuno Laranjeiro; Camilo Gomez; Enrico Schiavone; Leonardo Montecchi; Manoel J M Carvalho; Paolo Lollinik; Zoltan Micskei;
PUBLISHED: 2019, SOURCE: 9th Latin-American Symposium on Dependable Computing (LADC) in 2019 9TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC)
INDEXED IN: 
WOS
WOS12
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
Scopus13
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
WOS14
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
Handle15
TITLE: Using Experimental Measurements to Assess Dependable Adaptation Support Mechanisms for Timed Transactions
AUTHORS: Mônica Dixit; António Casimiro; Nuno Laranjeiro; Marco Vieira;
PUBLISHED: 2008
AUTHORS: Mônica Dixit; António Casimiro; Nuno Laranjeiro; Marco Vieira;
PUBLISHED: 2008
INDEXED IN: Handle
Handle