Follow
Joao M. Franco
Joao M. Franco
Verified email at dei.uc.pt
Title
Cited by
Cited by
Year
Improving self-adaptation planning through software architecture-based stochastic modeling
JM Franco, F Correia, R Barbosa, M Zenha-Rela, B Schmerl, D Garlan
Journal of Systems and software 115, 42-60, 2016
422016
Perfil profesional y ocupacional de los fisioterapeutas en Colombia
VA Silva, JA Franco, EP Mina
Revista CES movimiento y salud 3 (1), 35-43, 2015
262015
Automated Reliability Prediction from Formal Architectural Descriptions
JM Franco, R Barbosa, M Zenha-Rela
Software Architecture (WICSA) and European Conference on Software …, 2012
132012
Reliability analysis of software architecture evolution
JM Franco, R Barbosa, M Zenha-Rela
2013 Sixth Latin-American Symposium on Dependable Computing, 11-20, 2013
112013
Epileptic seizure prediction and the dimensionality reduction problem
A Ventura, JM Franco, JP Ramos, B Direito, A Dourado
International Conference on Artificial Neural Networks, 1-9, 2009
62009
Availability evaluation of software architectures through formal methods
JM Franco, R Barbosa, M Zenha-Rela
2014 9th International Conference on the Quality of Information and …, 2014
32014
Affidavit: Automated Reliability Prediction and Analysis of Software Architectures
JM Franco, F Correia, R Barbosa, M Zenha-Rela
INForum 2013, 54-65, 2013
32013
Modeling the Failure Pathology of Software Components
JM Franco, F Cerveira, R Barbosa, M Zenha-Rela
Conference on the Quality of Software Architectures (QoSA 2016), 2016
12016
Automated Reliability Prediction and Analysis from Software Architectures
JMCS Franco
Universidade de Coimbra, 2015
12015
Assessing the Performance Overhead of a Self-Adaptive System
MZR Vitor Silva, João M. Franco, Francisco Correia, Raul Barbosa
INForum 2014, 33-48, 2014
2014
Self-Adaptive System Case-Study of Architecture-Based Software Reliability
JM Franco
2013
Suicide by drowning after Bromazepam intoxication: a case report
P Proença, J Vidinha, H Teixeira, C Mustra, L Cortesão, J Franco, ...
Parte: http://hdl. handle. net/10316.2/2632, 2010
2010
Alternative Matrices: a case report
C Margalho, A Castanheira, A Castañera, J Franco, F Corte-Real, ...
Parte: http://hdl. handle. net/10316.2/2632, 2010
2010
Determination of paraquat in blood and urine by liquid chromatography-electrospray-mass spectrometry
P Proença, J Vidinha, H Teixeira, F Castanheira, MC Mendonça, E Sousa, ...
Acta Medicinae Legalis et Socialis, 329-334, 2010
2010
Neofelis, High-Interaction Honeypot Framework for Mac OS X
JM Franco, FN Rente
Web Application Security, 25, 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–15