@article{cisuc-4601-2016,
author={João M. Franco and Correia, F. and Barbosa, R. and Schmerl, B. and Mario Zenha-Rela and Garlan, D. },
title={Improving Self-Adaptation Planning through Software Architecture-based Stochastic Modeling},
journal={Journal of Systems and Software},
number={n/a},
pages={n/a},
year=2016,
address={n/a},
}
@inproceedings{cisuc-5021-2016,
author={João M. Franco and Cerveira, F. and Barbosa, R. and Mario Zenha-Rela },
title={Modeling the Failure Pathology of Software Components},
booktitle={12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA 2016)},
year=2016,
address={n/a},
}
@inproceedings{cisuc-3919-2014,
author={Silva, V. and João M. Franco and Correia, F. and Barbosa, R. and Mario Zenha-Rela },
title={Assessing the Performance Overhead of a Self-Adaptive System},
booktitle={INForum 2014},
year=2014,
address={n/a},
}
@inproceedings{cisuc-3920-2014,
author={João M. Franco and Barbosa, R. and Mario Zenha-Rela },
title={Availability Evaluation of Software Architectures through Formal Methods},
booktitle={Conference on the Quality of Information and Communications Technology (QUATIC)},
year=2014,
address={n/a},
}
@inproceedings{cisuc-3226-2013,
author={João M. Franco and Barbosa, R. and Mario Zenha-Rela },
title={Reliability analysis of software architecture evolution},
booktitle={Latin-American Symposium on Dependable Computing (LADC 2013)},
year=2013,
address={n/a},
}
@inproceedings{cisuc-3472-2013,
author={João M. Franco },
title={Self-Adaptive System Case-Study of Architecture-Based Software Reliability},
booktitle={Latin-American Symposium on Dependable Computing},
year=2013,
address={n/a},
}
@inproceedings{cisuc-3921-2013,
author={João M. Franco and Correia, F. and Barbosa, R. and Mario Zenha-Rela },
title={Affidavit: Automated Reliability Prediction and Analysis of Software Architectures},
booktitle={INForum},
year=2013,
address={n/a},
}
@inproceedings{cisuc-3224-2012,
author={João M. Franco and Barbosa, R. and Mario Zenha-Rela },
title={Automated reliability prediction from formal architectural descriptions},
booktitle={Software Architecture (WICSA) and European Conference on Software Architecture (ECSA), 2012 Joint Working IEEE/IFIP Conference on},
year=2012,
address={n/a},
}
@inproceedings{cisuc-2753-2010,
author={João M. Franco and Rente, F.J.N. },
title={Neofelis, High-Interaction Honeypot Framework for Mac OS X },
booktitle={IBWAS'10},
year=2010,
address={n/a},
}
@inproceedings{cisuc-2204-2009,
author={António Dourado and Ventura, A. and João M. Franco and J. P. Ramos and Bruno Direito },
title={Epileptic Seizure Prediction and The},
booktitle={19th International Conference on Artificial Neural Networks},
volume={5769},
year=2009,
address={n/a},
}