João Miguel Franco

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 2

Top Topics

Software Architecture

Reliability Analysis

Component Based Development

Commercial Off The Shelf

Top Venues

J. Syst. Softw.

Publications

João Miguel Franco, Francisco Correia, Raul Barbosa, Mário Zenha Rela, Bradley R. Schmerl, David Garlan
Improving self-adaptation planning through software architecture-based stochastic modeling. J. Syst. Softw. 115 (2016)
João Miguel Franco, Frederico Cerveira, Raul Barbosa, Mário Zenha Rela
Modeling the Failure Pathology of Software Components. QoSA (2016)
João Miguel Franco, Raul Barbosa, Mário Zenha Rela
Availability Evaluation of Software Architectures through Formal Methods. QUATIC (2014)
João Miguel Franco, Raul Barbosa, Mário Zenha Rela
Reliability Analysis of Software Architecture Evolution. LADC (2013)
João Miguel Franco, Raul Barbosa, Mário Zenha Rela
Automated Reliability Prediction from Formal Architectural Descriptions. WICSA/ECSA (2012)
André Ventura, João Miguel Franco, João P. Ramos, Bruno Direito, António Dourado
Epileptic Seizure Prediction and the Dimensionality Reduction Problem. ICANN (2) (2009)