@article{cisuc-6252-2020,
author={Cerveira, F. and Barbosa, R. and Madeira, H. and Araujo, F. },
title={The Effects of Soft Errors and Mitigation Strategies for Virtualization Servers},
journal={IEEE Transactions on Cloud Computing},
number={n/a},
pages={n/a},
year=2020,
address={n/a},
}
@article{cisuc-5516-2018,
author={Barbosa, R. and Cerveira, F. and Gonçalo, L. and Madeira, H. },
title={Emulating representative software vulnerabilities using field data},
journal={Springer Computing},
volume={101},
number={2},
pages={119--138},
year=2018,
address={n/a},
}
@article{cisuc-5250-2017,
author={Alcides Fonseca and Cerveira, F. and Bruno Cabral and Barbosa, R. },
title={Language-based expression of reliability and parallelism for low-power computing},
journal={ IEEE Transactions on Sustainable Computing},
number={n/a},
pages={n/a},
year=2017,
address={n/a},
}
@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},
}
@article{cisuc-4079-2014,
author={Araujo, F. and Boychenko, S. and Barbosa, R. and Costa, A.C. },
title={Replica Placement to Mitigate Attacks on Clouds},
journal={Journal of Internet Services and Applications},
volume={5},
pages={n/a},
number={1},
year=2014,
address={n/a},
}
@inproceedings{cisuc-6228-2020,
author={Martins, J. and Barbosa, R. and Lourenço, Nuno and Robin, J. and Madeira, H. },
title={Online Verification through Model Checking of Medical Critical Intelligent Systems},
booktitle={Dependable and Secure Machine Learning (DSML 2020) co-located with the 50th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2020) },
year=2020,
address={n/a},
}
@inproceedings{cisuc-5890-2019,
author={Couceiro, R. and Barbosa, R. and Joao Duraes and Duarte, G. and Castelhano, J. and Duarte, C. and Teixeira, C. and Laranjeiro, N. and Medeiros, J. and Castelo-Branco, M. and P. Carvalho and Madeira, H. },
title={Spotting problematic code lines using nonintrusive programmers’ biofeedback},
booktitle={30th International Symposium on Software Reliability Engineering (ISSRE 2019)},
year=2019,
address={n/a},
}
@inproceedings{cisuc-5898-2019,
author={Cerveira, F. and Barbosa, R. and Madeira, H. },
title={Fast Local VM Migration Against Hypervisor Corruption},
booktitle={2019 15th European Dependable Computing Conference (EDCC)},
year=2019,
address={n/a},
}
@inproceedings{cisuc-6253-2019,
author={Robin, J. and Mazo, R. and Madeira, H. and Barbosa, R. and Diaz, D. and Abreu, S. },
title={A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence},
booktitle={International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2019)},
year=2019,
address={n/a},
}
@inproceedings{cisuc-5690-2018,
author={Cerveira, F. and Kocsis, I. and Barbosa, R. and Madeira, H. and Pataricza, A. },
title={Exploratory Data Analysis of Fault Injection Campaigns},
booktitle={2018 IEEE International Conference on Software Quality, Reliability and Security (QRS)},
year=2018,
address={n/a},
}
@inproceedings{cisuc-5692-2018,
author={Cerveira, F. and Alcides Fonseca and Barbosa, R. and Madeira, H. },
title={Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors},
booktitle={2018 14th European Dependable Computing Conference (EDCC)},
year=2018,
address={n/a},
}
@inproceedings{cisuc-5693-2018,
author={Rodrigues, B. and Cerveira, F. and Barbosa, R. and Jorge Bernardino },
title={Virtualization: Past and Present Challenges},
booktitle={13th International Conference on Software Technologies },
year=2018,
address={n/a},
}
@inproceedings{cisuc-5020-2017,
author={Cerveira, F. and Barbosa, R. and Madeira, H. },
title={Soft Errors Susceptibility of Virtualization Servers},
booktitle={22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017)},
year=2017,
address={n/a},
}
@inproceedings{cisuc-5065-2017,
author={Nejad, N. and Karlsson, J. and Barbosa, R. },
title={A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights},
booktitle={22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017)},
year=2017,
address={n/a},
}
@inproceedings{cisuc-5144-2017,
author={Cerveira, F. and Barbosa, R. and Madeira, H. },
title={On the Emulation of Vulnerabilities through Software Fault Injection},
booktitle={European Dependable Computing Conferece (EDCC)},
year=2017,
address={n/a},
}
@inproceedings{cisuc-5249-2017,
author={Cerveira, F. and Barbosa, R. and Madeira, H. },
title={Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine},
booktitle={International Symposium on Software Reliability Engineering (ISSRE 2017)},
year=2017,
address={n/a},
}
@inproceedings{cisuc-5314-2017,
author={Carvalho, E. and Barbosa, R. and Jorge Bernardino },
title={The Ability of Cloud Computing Performance Benchmarks to Measure Dependability},
booktitle={ICSOFT, 12th International Conference on Software Technologies},
year=2017,
address={n/a},
}
@inproceedings{cisuc-4988-2016,
author={Silva, R.R. and Barbosa, R. and Jorge Bernardino },
title={Testing Snort with SQL Injection attacks},
booktitle={International C* Conference on Computer Science and Software Engineering, C3S2E 2016},
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-5029-2016,
author={Pereira, G. and Barbosa, R. and Madeira, H. },
title={Practical Emulation of Software Defects in Source Code},
booktitle={12th European Dependable Computing Conference (EDCC 2016)},
year=2016,
address={n/a},
}
@inproceedings{cisuc-5400-2016,
author={Alcides Fonseca and Barbosa, R. },
title={MISO: An intermediate language to express parallel and dependable programs},
booktitle={12th European Dependable Computing Conference (EDCC 2016)},
year=2016,
address={n/a},
}
@inproceedings{cisuc-4340-2015,
author={Cerveira, F. and Barbosa, R. and Madeira, H. and Araujo, F. },
title={Recovery for Virtualized Environments},
booktitle={11th European Dependable Computing Conference (EDCC 2015)},
year=2015,
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-4074-2014,
author={Nogueira, R. and Araujo, F. and Barbosa, R. },
title={CloudBFT: Elastic Byzantine Fault Tolerance},
booktitle={20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)},
year=2014,
address={n/a},
}
@inproceedings{cisuc-4078-2014,
author={Araujo, F. and Marilia Curado and Furtado, P. and Barbosa, R. },
title={Taking an Electronic Ticketing System to the Cloud: Design and Discussion},
booktitle={2nd Workshop on Scalable Cloud Data Management. Co-located with the IEEE BigData Conference.},
year=2014,
address={n/a},
}
@inproceedings{cisuc-4157-2014,
author={Nejad, N. and Villani, E. and Pathan, R. and Barbosa, R. and Karlsson, J. },
title={On probabilistic analysis of disagreement in synchronous consensus protocols},
booktitle={Tenth European Dependable Computing Conference (EDCC 2014)},
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-3227-2013,
author={José Luís Nunes and Cunha, J.C. and Barbosa, R. and Mario Zenha-Rela },
title={Reconfiguração Dinâmica Parcial de FPGA em Sistemas de Controlo},
booktitle={9th Portuguese Meeting on Reconfigurable Systems (REC 2013)},
year=2013,
address={n/a},
}
@inproceedings{cisuc-3652-2013,
author={José Luís Nunes and Cunha, J.C. and Barbosa, R. and Mario Zenha-Rela },
title={Evaluating Xilinx SEU Controller Macro for Fault Injection},
booktitle={The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013)},
year=2013,
address={n/a},
}
@inproceedings{cisuc-3856-2013,
author={Mario Zenha-Rela and Barbosa, R. and Correia, F. },
title={Affidavit: Automated Reliability Prediction and Analysis of Software Architectures},
booktitle={INForum},
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-4158-2013,
author={Villani, E. and Nejad, N. and Pathan, R. and Barbosa, R. and Karlsson, J. },
title={Reliability Analysis of Consensus in Cooperative Transport Systems},
booktitle={SAFECOMP 2013 - Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security},
year=2013,
address={n/a},
}
@inproceedings{cisuc-3129-2012,
author={Costa, A.C. and Verissimo, P. and Kreutz, D. and Araujo, F. and Barbosa, R. and Samuel Neves and Sousa, B. and Marilia Curado and Silva, C. and Gandhi, R. and Narasimhan, P. },
title={TRONE: Trustworthy and Resilient Operations in a Network Environment},
booktitle={The Second International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology (DCDV 2012). Proceedings of the 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DCDV 2012)},
year=2012,
address={n/a},
}
@inproceedings{cisuc-3136-2012,
author={Naghmeh Ivaki and Barbosa, R. and Araujo, F. },
title={A Middleware for Exactly-Once Semantics in Request-Response Interactions},
booktitle={18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)},
year=2012,
address={n/a},
}
@inproceedings{cisuc-3137-2012,
author={Araujo, F. and Barbosa, R. and Costa, A.C. },
title={Replication for Dependability on Virtualized Cloud Environments},
booktitle={The 10th International Workshop on Middleware for Grids, Clouds and e-Science - MGC 2012},
year=2012,
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-2812-2011,
author={José Luís Nunes and Cunha, J.C. and Barbosa, R. and Mario Zenha-Rela },
title={Using Partial Dynamic FPGA Reconfiguration to Support Real-Time Dependability},
booktitle={13th European Workshop on Dependable Computing (EWDC 2011)},
year=2011,
address={n/a},
}
@inproceedings{cisuc-3647-2011,
author={Barbosa, R. and Karlsson, J. and Yu, Q. and Mao, X. },
title={Toward dependability benchmarking of partitioning operating systems},
booktitle={Proceedings of the 41st IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2011)},
year=2011,
address={n/a},
}
@inbook{cisuc-5193-2017,
author={Laranjeiro, N. and Pereira, G. and Soydemir, S.N. and Barbosa, R. and Jorge Bernardino and Areias, C. and Nuno Antunes and Cunha, J.C. and Marco Vieira and Madeira, H. },
title={Robustness and Fault Injection for the Validation of Critical Systems},
chapter={12},
publisher={River Publishers},
booktitle={Certifications of Critical Systems – The CECRIS Experience},
pages={247--274},
year=2017,
address={n/a},
}
@inbook{cisuc-3229-2012,
author={Barbosa, R. and Karlsson, J. and Marco Vieira and Madeira, H. },
title={Fault Injection},
chapter={13},
publisher={Springer Berlin Heidelberg},
booktitle={Resilience Assessment and Evaluation},
volume={1},
edition={1},
pages={263--282},
year=2012,
address={n/a},
}