Journal Articles
2016(1 publication)
[publication]João M. Franco and Correia, F. and Barbosa, R. and Schmerl, B. and Mario Zenha-Rela and Garlan, D. , "Improving Self-Adaptation Planning through Software Architecture-based Stochastic Modeling", Journal of Systems and Software, 2016

Conference Articles
2016(1 publication)
[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

2014(2 publications)
[publication]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

[publication]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)
[publication]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
[citation][year=2014]Ravichandra, M., and A. V. Ramani. "Measuring Software Reliability using Fuzzy Logic." International Journal of Soft Computing 9.5 (2014): 314-317.

[publication]João M. Franco , "Self-Adaptive System Case-Study of Architecture-Based Software Reliability", in Latin-American Symposium on Dependable Computing, 2013

[publication]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)
[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
[citation][year=2013]Hussain, Sajjad. "Investigating Architecture Description Languages (ADLs) A Systematic Literature Review." (2013).

2010(1 publication)
[publication]João M. Franco and Rente, F.J.N. , "Neofelis, High-Interaction Honeypot Framework for Mac OS X ", in IBWAS'10, 2010

2009(1 publication)
[publication]António Dourado and Ventura, A. and João M. Franco and J. P. Ramos and Bruno Direito , "Epileptic Seizure Prediction and The", in 19th International Conference on Artificial Neural Networks,  vol. 5769, 2009
[citation][year=2015]Online epileptic seizure prediction using wavelet-based bi-phase correlation of electrical signals tomography
Z Vahabi, R Amirfattahi, F Shayegh… - International journal of …, 2015 - World Scientific
Considerable efforts have been made in order to predict seizures. Among these methods, 
the ones that quantify synchronization between brain areas, are the most important methods. 
However, to date, a practically acceptable result has not been reported. In this paper, we  ...