Epileptic Seizure Prediction and the Dimensionality Reduction Problem. - André Ventura; João Miguel Franco; João P. Ramos; Bruno Direito; António Dourado (ICANN (2), 2009)

Automated Reliability Prediction from Formal Architectural Descriptions. - João Miguel Franco; Raul Barbosa; Mário Zenha Rela (WICSA/ECSA, 2012)

Reliability Analysis of Software Architecture Evolution. - João Miguel Franco; Raul Barbosa; Mário Zenha Rela (LADC, 2013)

Availability Evaluation of Software Architectures through Formal Methods. - João Miguel Franco; Raul Barbosa; Mário Zenha Rela (QUATIC, 2014)

Modeling the Failure Pathology of Software Components. - João Miguel Franco; Frederico Cerveira; Raul Barbosa; Mário Zenha Rela (QoSA, 2016)

Improving self-adaptation planning through software architecture-based stochastic modeling. - João Miguel Franco; Francisco Correia; Raul Barbosa; Mário Zenha Rela; Bradley R. Schmerl; David Garlan (J. Syst. Softw., 2016)