Travelled to:1 × Finland
Collaborated with:R.Barbosa M.Z.Rela Frederico Cerveira
Talks about:architectur (1) patholog (1) descript (1) softwar (1) reliabl (1) predict (1) formal (1) failur (1) compon (1) model (1)
Person: João Miguel Franco
DBLP: Franco:Jo=atilde=o_Miguel
Contributed to:
2012
2016Wrote 2 papers:
- WICSA-ECSA-2012-FrancoBR #architecture #automation #predict #reliability
- Automated Reliability Prediction from Formal Architectural Descriptions (JMF, RB, MZR), pp. 302–309.
- QoSA-2016-FrancoCBR #component #modelling
- Modeling the Failure Pathology of Software Components (JMF, FC, RB, MZR), pp. 41–49.