People
João Franco
CV Long
Member
Software and Systems EngineeringResearch interests
Software ArchitectureArchitecture-based Self-adaptive systems
Reliability and Availability prediction, assessment and analysis
Affiliation
Software and Systems Engineering (SSE) GroupPast Projects
DECAF - An Exploratory Study of Distributed Cloud Application Failures
AFFIDAVIT - Automating the Proof of Quality Attributes for Large Scale Software Architectures
Journal Articles
2016
(1 publication)Conference Articles
2016
(1 publication)- João M. Franco and Cerveira, F. and Barbosa, R. and Mario Zenha-Rela , "Modeling the Failure Pathology of Software Components", in 12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA 2016), 2016 [ DOI ]
2014
(2 publications)- Silva, V. and João M. Franco and Correia, F. and Barbosa, R. and Mario Zenha-Rela , "Assessing the Performance Overhead of a Self-Adaptive System", in INForum 2014, 2014
- João M. Franco and Barbosa, R. and Mario Zenha-Rela , "Availability Evaluation of Software Architectures through Formal Methods", in Conference on the Quality of Information and Communications Technology (QUATIC), 2014
2013
(3 publications)- João M. Franco and Barbosa, R. and Mario Zenha-Rela , "Reliability analysis of software architecture evolution", in Latin-American Symposium on Dependable Computing (LADC 2013), 2013 [ DOI ]
- João M. Franco , "Self-Adaptive System Case-Study of Architecture-Based Software Reliability", in Latin-American Symposium on Dependable Computing, 2013
- João M. Franco and Correia, F. and Barbosa, R. and Mario Zenha-Rela , "Affidavit: Automated Reliability Prediction and Analysis of Software Architectures", in INForum, 2013
2012
(1 publication)- João M. Franco and Barbosa, R. and Mario Zenha-Rela , "Automated reliability prediction from formal architectural descriptions", in Software Architecture (WICSA) and European Conference on Software Architecture (ECSA), 2012 Joint Working IEEE/IFIP Conference on, 2012 [ DOI ]