1
TÍTULO: Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
AUTORES: Nuno Laranjeiro; Camilo Gomez; Enrico Schiavone; Leonardo Montecchi; Manoel J M Carvalho; Paolo Lollinik; Zoltan Micskei;
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
2
TÍTULO: Software Faults Emulation at Model-Level: Towards Automated Software FMEA
AUTORES: Bonfiglio, V; Montecchi, L; Irrera, I; Rossi, F; Lollini, P; Bondavalli, A;
PUBLICAÇÃO: 2015, FONTE: 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN-W 2015 in Proceedings - 2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN-W 2015
INDEXADO EM: Scopus CrossRef
3
TÍTULO: Adaptare: Supporting Automatic and Dependable Adaptation in Dynamic Environments  Full Text
AUTORES: Monica Dixit; Antonio Casimiro ; Paolo Lollini; Andrea Bondavalli; Paulo Verissimo ;
PUBLICAÇÃO: 2012, FONTE: ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, VOLUME: 7, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP
4
TÍTULO: Future of Resilience Assessment: The AMBER Research Roadmap
AUTORES: Andrea Bondavalli; Henrique Madeira ; Paolo Lollini;
PUBLICAÇÃO: 2012, FONTE: Resilience Assessment and Evaluation of Computing Systems
INDEXADO EM: DBLP CrossRef
5
TÍTULO: Adaptare. Supporting automatic and dependable adaptation in dynamic environments  Full Text
AUTORES: Mônica Dixit; António Casimiro; Paolo Lollini; Andrea Bondavalli; Paulo Verissimo ;
PUBLICAÇÃO: 2012, FONTE: ACM Trans. Auton. Adapt. Syst. - ACM Transactions on Autonomous and Adaptive Systems - TAAS, VOLUME: 7, NÚMERO: 2
INDEXADO EM: CrossRef
6
TÍTULO: A framework for dependable QoS adaptation in probabilistic environments
AUTORES: Casimiro, A ; Lollini, P; Dixit, M; Bondavalli, A; Verissimo, R ;
PUBLICAÇÃO: 2008, FONTE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3
INDEXADO EM: Scopus WOS DBLP CrossRef