People

Francisco Correia

Email

Member

Cognitive and Media Systems

Past Projects

AFFIDAVIT - Automating the Proof of Quality Attributes for Large Scale Software Architectures

Export publications Citations

Export publications BibTeX

Journal Articles

2016

(1 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 [ DOI ]

Conference Articles

2014

(1 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

2013

(1 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

2010

(1 publication)

Antunes, B. and Correia, F. and Paulo Gomes , "Towards a Software Developer Context Model", in 6th International Workshop on Modeling and Reasoning in Context (MRC) of the 19th European Conference on Artificial Intelligence (ECAI), 2010