João Miguel Franco

According to our database, João Miguel Franco authored at least 6 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Modeling the Failure Pathology of Software Components.

João Miguel Franco, Frederico Cerveira, Raul Barbosa, Mário Zenha Rela

Proceedings of the 12th International ACM SIGSOFT Conference on Quality of Software Architectures, 2016

2014

Availability Evaluation of Software Architectures through Formal Methods.

João Miguel Franco, Raul Barbosa, Mário Zenha Rela

Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

2013

Reliability Analysis of Software Architecture Evolution.

João Miguel Franco, Raul Barbosa, Mário Zenha Rela

Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

2012

Automated Reliability Prediction from Formal Architectural Descriptions.

João Miguel Franco, Raul Barbosa, Mário Zenha Rela

Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

2009

Epileptic Seizure Prediction and the Dimensionality Reduction Problem.

André Ventura, João Miguel Franco, João P. Ramos, Bruno Direito, António Dourado

Proceedings of the Artificial Neural Networks, 2009