@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-5754-2018,
author={Madeira, H. and Castelo-Branco, M. and Duarte, C. and Castelhano, J. },
title={The role of the insula in intuitive expert bug detection in computer code: an fMRI study},
editor={Andrew J. Saykin},
journal={Brain Imaging and Behavior},
volume={12},
number={12},
pages={1--15},
year=2018,
address={n/a},
}
@article{cisuc-4610-2016,
author={Natella, R. and Cotroneo, D. and Madeira, H. },
title={Assessing Dependability with Software Fault Injection: A Survey},
editor={ACM, New York, NY, USA},
journal={ACM Computing Surveys},
volume={48},
number={3},
pages={1--57},
year=2016,
address={n/a},
}
@article{cisuc-4199-2015,
author={Veras, P.C. and Villani, E. and Ambrósio, A.M. and Marco Vieira and Madeira, H. },
title={A Benchmarking Process to Assess Software Requirements Documentation for Space Applications},
editor={Elsevier},
journal={Journal of Systems and Software (JSS)},
volume={100},
number={n/a},
pages={n/a},
year=2015,
address={n/a},
}
@article{cisuc-4470-2015,
author={Costa, J.P. and Silva, J.G. and Madeira, H. },
title={Practical and Representative Faultloads for Large-Scale Software Systems},
editor={Elsevier},
journal={Journal of Systems and Software},
volume={103},
number={n/a},
pages={182--197},
year=2015,
address={n/a},
}
@article{cisuc-5047-2015,
author={Costa, P. .N.d. and Silva, J.G. and Madeira, H. },
title={Practical and representative faultloads for large-scale software systems},
journal={Journal of Systems and Software},
volume={103},
number={n/a},
pages={182--197},
year=2015,
address={n/a},
}
@article{cisuc-3118-2014,
author={Laranjeiro, N. and Marco Vieira and Madeira, H. },
title={A Technique for Deploying Robust Web Services},
editor={IEEE},
journal={IEEE Transactions on Services Computing},
volume={47},
pages={n/a},
number={2},
year=2014,
address={n/a},
}
@article{cisuc-3546-2014,
author={José Fonseca and Seixas, N. and Marco Vieira and Madeira, H. },
title={Analysis of Field Data on Web Security Vulnerabilities},
editor={IEEE},
journal={IEEE Transactions on Dependable and Secure Computing},
volume={11},
pages={n/a},
number={2},
year=2014,
address={n/a},
}
@article{cisuc-3547-2014,
author={José Fonseca and Marco Vieira and Madeira, H. },
title={Evaluation of Web Security Mechanisms using Vulnerability & Attack Injection},
editor={IEEE},
journal={IEEE Transactions on Dependable and Secure Computing},
volume={11},
pages={n/a},
number={5},
year=2014,
address={n/a},
}
@article{cisuc-3658-2013,
author={Joao Duraes and Madeira, H. and Cotroneo, D. and Natella, R. },
title={On Fault Representativeness of Software Fault Injection},
journal={IEEE Transactions on Software Engineering},
volume={39},
number={1},
pages={80--96},
year=2013,
address={n/a},
}
@article{cisuc-2910-2012,
author={Laranjeiro, N. and Marco Vieira and Madeira, H. },
title={A Robustness Testing Approach for SOAP Web Services},
journal={Journal of Internet Services and Applications (JISA)},
number={n/a},
pages={n/a},
year=2012,
address={n/a},
}
@article{cisuc-3083-2012,
author={Raquel Almeida and Vieira, J. and Marco Vieira and Madeira, H. and Jorge Bernardino },
title={Cost-Effective Data Allocation in Data Warehouse Striping},
editor={AIRCC},
journal={International Journal of Database Management Systems (IJDMS), ISSN: 0975-5705 (online) - 0975-5985 (print)},
volume={4},
pages={n/a},
number={5},
year=2012,
address={n/a},
}
@article{cisuc-3378-2012,
author={Natella, R. and Cotroneo, D. and Madeira, H. },
title={On Fault Representativeness of Software Fault Injection},
editor={IEEE},
journal={IEEE Transactions on Software Engineering},
volume={39},
number={n/a},
pages={80--96},
year=2012,
address={n/a},
}
@article{cisuc-1532-2008,
author={Pintér, G. and Madeira, H. and Marco Vieira and Majzik, I. and Pataricza, A. },
title={Integration of OLAP and Data Mining for Analysis of Results from Dependability Evaluation Experiments},
editor={Inderscience Publishers},
journal={in International Journal of Knowledge Management Studies (IJKMS), Volume 2 Issue 4},
number={n/a},
pages={n/a},
year=2008,
address={n/a},
}
@article{cisuc-1408-2006,
author={Joao Duraes and Madeira, H. },
title={Emulation of Software Faults: A Field Data Study and a Practical Approach},
editor={IEEE},
journal={IEEE Transactions on Software Engineering},
volume={32},
number={11},
pages={849--867},
year=2006,
address={n/a},
}
@article{cisuc-865-2005,
author={Marco Vieira and Joao Duraes and Madeira, H. },
title={Especificação e Validação de Benchmarks de Confiabilidade para Sistemas Transaccionais (How to Specify and Validate Dependability Benchmarks for Transactional Systems)},
editor={IEEE América Latina (IEEE Latin America)},
journal={Revista IEEE América Latina (IEEE Latin America Transactions), ISSN 1548-0992},
number={n/a},
pages={n/a},
year=2005,
address={n/a},
}
@article{cisuc-1086-2005,
author={Prata, P. and Mario Zenha-Rela and Madeira, H. and Silva, J.G. },
title={Robust Assertions and Fail-Bounded Behavior},
journal={Journal of the Brazilian Computer Society (Special Issue on Dependable Computing)},
number={n/a},
pages={n/a},
year=2005,
address={n/a},
}
@article{cisuc-347-2004,
author={Marco Vieira and Madeira, H. },
title={Joint Evaluation of Recovery and Performance of a COTS DBMS in the Presence of Operator Faults},
editor={Elsevier Science Publication},
journal={Performance Evaluation Journal},
number={n/a},
pages={n/a},
year=2004,
address={n/a},
}
@article{cisuc-46-2003,
author={Joao Duraes and Madeira, H. },
title={Multidimensional Characterization of the Impact of Faulty Drivers on the Operating Systems Behavior},
journal={Transactions of IEICE (Institute of the Electronics, Information and Communication Engineers)},
number={n/a},
pages={n/a},
year=2003,
address={n/a},
}
@article{cisuc-16-2002,
author={Jorge Bernardino and Furtado, P. and Madeira, H. },
title={Approximate Query Answering Using Data Warehouse Striping},
editor={Elsevier Science Publication},
journal={Journal of Intelligent Information Systems- Integrating Artificial Intelligence and Database Technologies},
volume={19},
pages={n/a},
number={2},
year=2002,
address={n/a},
}
@article{cisuc-978-1998,
author={Carreira, J. and Madeira, H. and Silva, J.G. },
title={Xception: A technique for the evaluation of dependability in modern Computers},
journal={IEEE Transactions on Software Engineering},
volume={24},
number={2},
pages={125--136},
year=1998,
address={n/a},
}
@article{cisuc-15-1991,
author={Madeira, H. },
title={A Watchdog Processor for Concurrent Error Detection in Multiple Processor Systems},
editor={Butterworth & Heinemann Ltd.},
journal={Microprocessors and Microsystems},
volume={15},
number={3},
pages={123--130},
year=1991,
address={n/a},
}
@article{cisuc-1053-1990,
author={Madeira, H. and Quadros, G. and Silva, J.G. },
title={Experimental Evaluation of a Set of Simple Error Detection Mechanisms},
editor={North-Holland},
journal={Microprocessing and Microprogramming, The EUROMICRO Journal},
number={n/a},
pages={513--520},
year=1990,
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-5917-2019,
author={Medeiros, J. and Couceiro, R. and Castelhano, J. and Duarte, G. and Duarte, C. and Joao Duraes and Madeira, H. and Carvalho, P. and Teixeira, C. and Branco, M.L. },
title={Software code complexity assessment using EEG features},
booktitle={2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)},
year=2019,
address={n/a},
}
@inproceedings{cisuc-5920-2019,
author={Couceiro, R. and Duarte, G. and Joao Duraes and Castelhano, J. and Duarte, C. and Teixeira, C. and Castelo-Branco, M. and Carvalho, P. and Madeira, H. },
title={Pupillography as Indicator of Programmers' Mental Effort and Cognitive Overload},
booktitle={2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)},
year=2019,
address={n/a},
}
@inproceedings{cisuc-6026-2019,
author={Couceiro, R. and Duarte, G. and Joao Duraes and Castelhano, J. and Duarte, C. and Teixeira, C. and Castelo-Branco, M. and P. Carvalho and Madeira, H. },
title={Pupillography as indicator of programmers’ mental effort and cognitive overload},
booktitle={DSN},
year=2019,
address={n/a},
}
@inproceedings{cisuc-6027-2019,
author={Medeiros, J. and Couceiro, R. and Castelhano, J. and Castelo-Branco, M. and Duarte, C. and Joao Duraes and Madeira, H. and P. Carvalho and Teixeira, C. },
title={Software code complexity assessment using EEG features},
booktitle={Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)},
year=2019,
address={n/a},
}
@inproceedings{cisuc-6028-2019,
author={Couceiro, R. and Duarte, G. and Joao Duraes and Castelhano, J. and Duarte, C. and Teixeira, C. and Castelo-Branco, M. and P. Carvalho and Madeira, H. },
title={Biofeedback augmented software engineering: monitoring of programmers' mental effort},
booktitle={ICSE 2019},
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-5515-2018,
author={Mendes, D.F.d.C.M. and Naghmeh Ivaki and Madeira, H. },
title={Effects of GPS Spoo?ng on Unmanned Aerial Vehicles},
booktitle={The 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018)},
year=2018,
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-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-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-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-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-5045-2015,
author={Olga Craveiro and Macedo, J. and Madeira, H. },
title={Temporal Analysis of CHAVE Collection},
booktitle={SPIRE 2015 : International Symposium on String Processing and Information Retrieval},
year=2015,
address={n/a},
}
@inproceedings{cisuc-4209-2014,
author={Mendes, N. and Joao Duraes and Madeira, H. },
title={Security Benchmarks for Web Serving Systems},
booktitle={IEEE 25th International Symposium on Software Reliability Engineering (ISSRE 2014)},
year=2014,
address={n/a},
}
@inproceedings{cisuc-4210-2014,
author={Olga Craveiro and Macedo, J. and Madeira, H. },
title={Words Temporality for Improving Query Expansion},
booktitle={Computational Processing of the Portuguese Language (PROPOR 2014)},
year=2014,
address={n/a},
}
@inproceedings{cisuc-4211-2014,
author={Olga Craveiro and Macedo, J. and Madeira, H. },
title={Query Expansion with Temporal Segmented Texts},
booktitle={36th European Conference on IR Research (ECIR 2014)},
year=2014,
address={n/a},
}
@inproceedings{cisuc-4212-2014,
author={Pereira, P. and Macedo, J. and Olga Craveiro and Madeira, H. },
title={Time-Aware Focused Web Crawling},
booktitle={36th European Conference on IR Research (ECIR 2014)},
year=2014,
address={n/a},
}
@inproceedings{cisuc-3461-2013,
author={Ivano Irrera and Joao Duraes and Marco Vieira and Madeira, H. },
title={Assessing the Impact of Virtualization on the Generation of Failure Prediction Data },
booktitle={Sixth Latin-American Symposium on Dependable Computing (LADC), 2013},
year=2013,
address={n/a},
}
@inproceedings{cisuc-2720-2012,
author={Olga Craveiro and Macedo, J. and Madeira, H. },
title={It is the time for Portuguese texts!},
booktitle={International Conference on Computational Processing of Portuguese (PROPOR )},
year=2012,
address={n/a},
}
@inproceedings{cisuc-2814-2011,
author={Marco Vieira and Madeira, H. and Cruz, S. and Costa, M. and Cunha, J.C. },
title={Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics},
booktitle={34th Annual IEEE Software Engineering Workshop},
year=2011,
address={n/a},
}
@inproceedings{cisuc-2358-2010,
author={Laranjeiro, N. and Marco Vieira and Madeira, H. },
title={A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks},
booktitle={The 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2010)},
year=2010,
address={n/a},
}
@inproceedings{cisuc-2448-2010,
author={Ivano Irrera and Joao Duraes and Marco Vieira and Madeira, H. },
title={Towards Identifying the Best Variables for Failure Prediction Using Injection of Realistic Software Faults},
booktitle={The 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2010)},
year=2010,
address={n/a},
}
@inproceedings{cisuc-2482-2010,
author={José Fonseca and Marco Vieira and Madeira, H. },
title={The Web Attacker Perspective - A Field Study},
booktitle={21st annual International Symposium on Software Reliability Engineering},
year=2010,
address={n/a},
}
@inproceedings{cisuc-2522-2010,
author={Raquel Almeida and Mendes, N. and Madeira, H. },
title={Sharing Experimental and Field Data: The AMBER Raw Data Repository Experience},
booktitle={International Conference on Distributed Computing Systems Workshops},
year=2010,
address={n/a},
}
@inproceedings{cisuc-2562-2010,
author={Veras, P.C. and Villani, E. and Ambrósio, A.M. and Silva, N. and Marco Vieira and Madeira, H. },
title={Errors on Space Software Requirements: A Field Study and Application Scenarios},
booktitle={21st annual International Symposium on Software Reliability Engineering},
year=2010,
address={n/a},
}
@inproceedings{cisuc-2564-2010,
author={Veras, P.C. and Villani, E. and Ambrósio, A.M. and Pontes, R.P. and Marco Vieira and Madeira, H. },
title={Benchmarking Software Requirements Documentation for Space Application},
booktitle={The 29th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2010)},
year=2010,
address={n/a},
}
@inproceedings{cisuc-2568-2010,
author={Raquel Almeida and Madeira, H. and Marco Vieira },
title={Benchmarking the Resilience of Self-Adaptive Systems: A New Research Challenge},
booktitle={29th IEEE International Symposium on Reliable Distributed Systems (SRDS 2010)},
year=2010,
address={n/a},
}
@inproceedings{cisuc-2717-2010,
author={Olga Craveiro and Macedo, J. and Madeira, H. },
title={Leveraging temporal expressions for segmented-based information retrieval},
booktitle={International Conference on Intelligent Systems Design and Applications (ISDA)},
year=2010,
address={n/a},
}
@inproceedings{cisuc-2908-2010,
author={Raquel Almeida and Madeira, H. and Marco Vieira },
title={From Performance to Resilience Benchmarking},
booktitle={IEEE 30th International Conference on Distributed Computing Systems Workshops (ICDCSW)},
year=2010,
address={n/a},
}
@inproceedings{cisuc-3087-2010,
author={Veras, P.C. and Villani, E. and Ambrósio, A.M. and Marco Vieira and Madeira, H. },
title={Towards Benchmarking Software Requirements Documentation for Space Applications (fast abstract)},
booktitle={Eigth European Dependable Computing Conference, EDCC 2010},
year=2010,
address={n/a},
}
@inproceedings{cisuc-3659-2010,
author={Joao Duraes and Madeira, H. and Cotroneo, D. and Natella, R. },
title={Representativeness Analysis of Injected Software Faults in Complex Software},
booktitle={2010 IEEE/IFIP International Conference on Dependable Systems&Networks; (DSN)},
year=2010,
address={n/a},
}
@inproceedings{cisuc-2008-2009,
author={Laranjeiro, N. and Marco Vieira and Madeira, H. },
title={Predicting Timing Failures in Web Services},
booktitle={International Workshop on Managing Data Quality in Collaborative Information Systems (MCIS 2009) at the International Conference on Database Systems for Advanced Applications (DASFAA 2009)},
year=2009,
address={n/a},
}
@inproceedings{cisuc-2015-2009,
author={Laranjeiro, N. and Marco Vieira and Madeira, H. },
title={Improving Web Services Robustness},
booktitle={IEEE International Conference on Web Services (ICWS 2009)},
year=2009,
address={n/a},
}
@inproceedings{cisuc-2037-2009,
author={Laranjeiro, N. and Marco Vieira and Madeira, H. },
title={Protecting Database Centric Web Services against SQL/Xpath Injection Attacks},
booktitle={20th International Conference on Database and Expert Systems Applications (DEXA 2009)},
year=2009,
address={n/a},
}
@inproceedings{cisuc-2058-2009,
author={Nuno Antunes and Laranjeiro, N. and Marco Vieira and Madeira, H. },
title={Effective Detection of SQL/XPath Injection Vulnerabilities in Web Services},
booktitle={IEEE International Conference on Services Computing (SCC 2009)},
year=2009,
address={n/a},
}
@inproceedings{cisuc-2064-2009,
author={José Fonseca and Marco Vieira and Madeira, H. },
title={Vulnerability & Attack Injection for Web Applications},
booktitle={39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009)},
year=2009,
address={n/a},
}
@inproceedings{cisuc-2068-2009,
author={Marco Vieira and Nuno Antunes and Madeira, H. },
title={Using Web Security Scanners to Detect Vulnerabilities in Web Services},
booktitle={39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009)},
year=2009,
address={n/a},
}
@inproceedings{cisuc-2076-2009,
author={Araújo Neto, A.C.d. and Marco Vieira and Madeira, H. },
title={An Appraisal to Assess the Security of Database Configurations},
booktitle={International Conference on Dependability (DEPEND 2009)},
year=2009,
address={n/a},
}
@inproceedings{cisuc-2481-2009,
author={Seixas, N. and José Fonseca and Marco Vieira and Madeira, H. },
title={Looking at Web Security Vulnerabilities from the Programming Language Perspective: A Field Study},
booktitle={20th annual International Symposium on Software Reliability Engineering},
year=2009,
address={n/a},
}
@inproceedings{cisuc-2565-2009,
author={Marco Vieira and Madeira, H. and Ivano Irrera },
title={Fault Injection for Failure Prediction Methods Validation},
booktitle={Fifth Workshop on Hot Topics in System Dependability (HotDep 2009)},
year=2009,
address={n/a},
}
@inproceedings{cisuc-2718-2009,
author={Olga Craveiro and Macedo, J. and Madeira, H. },
title={Use of Co-occurrences for Temporal Expressions Annotation},
booktitle={International Symposium on String Processing and Information (SPIRE)},
year=2009,
address={n/a},
}
@inproceedings{cisuc-3091-2009,
author={Marco Vieira and Madeira, H. },
title={From Performance to Dependability Benchmarking: A Mandatory Path},
booktitle={First TPC Technology Conference on Performance Evaluation & Benchmarking, TPCTC 2009, (jointly organized with the 35th International Conference on Very Large Databases, VLDB09)},
year=2009,
address={n/a},
}
@inproceedings{cisuc-3099-2009,
author={Mendes, N. and Joao Duraes and Marco Vieira and Madeira, H. },
title={Towards Assessing the Impact of Security Attacks in Web Servers (fast abstract)},
booktitle={The 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009},
year=2009,
address={n/a},
}
@inproceedings{cisuc-5049-2009,
author={Costa, P. .N.d. and Silva, J.G. and Madeira, H. },
title={Dependability Benchmarking using Software Faults: How to create practical and representative faultloads},
booktitle={Proc. IEEE 15th Pacific Rim International Symposium on Dependable Computing (PRDC’09)},
year=2009,
address={n/a},
}
@inproceedings{cisuc-1531-2008,
author={José Fonseca and Marco Vieira and Madeira, H. },
title={Online Detection of Malicious Data Access Using DBMS Auditing},
booktitle={23rd Annual ACM Symposium on Applied Computing (ACM SAC 2008)},
year=2008,
address={n/a},
}
@inproceedings{cisuc-1565-2008,
author={Vieira, J. and Marco Vieira and Costa, M.A. and Madeira, H. },
title={Redundant Array of Inexpensive Nodes for DWS},
booktitle={The 13th International Conference on Database Systems for Advanced Applications (DASFAA 2008)},
year=2008,
address={n/a},
}
@inproceedings{cisuc-1620-2008,
author={Vieira, J. and Marco Vieira and Costa, M.A. and Madeira, H. },
title={RAIN: Always On Data Warehousing},
booktitle={The 13th International Conference on Database Systems for Advanced Applications (DASFAA 2008)},
year=2008,
address={n/a},
}
@inproceedings{cisuc-1674-2008,
author={Marco Vieira and Vieira, J. and Madeira, H. },
title={Towards Data Security in Affordable Data Warehouses (Fast Abstract)},
booktitle={7th European Dependable Computing Conference (EDCC-7)},
year=2008,
address={n/a},
}
@inproceedings{cisuc-1711-2008,
author={Laranjeiro, N. and Marco Vieira and Madeira, H. },
title={Experimental Robustness Evaluation of JMS Middleware},
booktitle={IEEE International Conference on Services Computing (SCC 2008)},
year=2008,
address={n/a},
}
@inproceedings{cisuc-1714-2008,
author={Marco Vieira and Mendes, N. and Joao Duraes and Madeira, H. },
title={The AMBER Data Repository},
booktitle={DSN 2008 Workshop on Resilience Assessment and Dependability Benchmarking (DSN-RADB08), IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008)},
year=2008,
address={n/a},
}
@inproceedings{cisuc-1755-2008,
author={Laranjeiro, N. and Marco Vieira and Madeira, H. },
title={Timing Failures Detection in Web Services},
booktitle={IEEE Asia-Pacific Services Computing Conference (APSCC 2008)},
year=2008,
address={n/a},
}
@inproceedings{cisuc-1769-2008,
author={José Fonseca and Marco Vieira and Madeira, H. },
title={Training Security Assurance Teams using Vulnerability Injection},
booktitle={14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC\'08)},
year=2008,
address={n/a},
}
@inproceedings{cisuc-1779-2008,
author={Mendes, N. and Araújo Neto, A.C.d. and Joao Duraes and Marco Vieira and Madeira, H. },
title={Assessing and Comparing Security of Web Servers},
booktitle={14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC\'08)},
year=2008,
address={n/a},
}
@inproceedings{cisuc-1804-2008,
author={Mendes, N. and Joao Duraes and Marco Vieira and Madeira, H. },
title={Security Assessment and Testing Tools Information Repository},
booktitle={Workshop on  Fault Tolerance (WTF2008) in the 26th Brazilian Symposium on Network Computing (SBRC2008)},
year=2008,
address={n/a},
}
@inproceedings{cisuc-1837-2008,
author={Raquel Almeida and Vieira, J. and Marco Vieira and Madeira, H. and Jorge Bernardino },
title={Efficient Data Distribution for DWS},
booktitle={10th International Conference on Data Warehousing and Knowledge Discovery (DaWaK \'08 )},
year=2008,
address={n/a},
}
@inproceedings{cisuc-1313-2007,
author={Marco Vieira and Costa, A.C. and Madeira, H. },
title={Towards Timely ACID Transactions in DBMS},
booktitle={The 12th International Conference on Database Systems for Advanced Applications (DASFAA 2007)},
year=2007,
address={n/a},
}
@inproceedings{cisuc-1415-2007,
author={Barbosa, R. and Silva, N. and Joao Duraes },
title={Verification and Validation of (Real Time) COTS Products using Fault Injection Techniques},
booktitle={6th IEEE International Conference on COTS-based Software Systems},
year=2007,
address={n/a},
}
@inproceedings{cisuc-1416-2007,
author={Marco Vieira and Laranjeiro, N. and Madeira, H. },
title={Assessing Robustness of Web-services Infrastructures},
booktitle={Dependable Computing and Communications Symposium (DCCS)},
year=2007,
address={n/a},
}
@inproceedings{cisuc-1419-2007,
author={Moraes, R. and Joao Duraes and Barbosa, R. and Martins, E. and Madeira, H. },
title={Experimental Risk Assessment and Comparison Using Software Fault Injection},
booktitle={Dependable Computing and Communications Symposium (DCCS)},
year=2007,
address={n/a},
}
@inproceedings{cisuc-1444-2007,
author={José Fonseca and Marco Vieira and Madeira, H. },
title={Correlating security vulnerabilities with software faults (Fast Abstract)},
booktitle={37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007)},
year=2007,
address={n/a},
}
@inproceedings{cisuc-1448-2007,
author={Costa, A.C. and Marco Vieira and Madeira, H. },
title={Middleware Support for Time-Elastic Database Applications (Fast Abstract)},
booktitle={37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007)},
year=2007,
address={n/a},
}
@inproceedings{cisuc-1449-2007,
author={José Fonseca and Marco Vieira and Madeira, H. },
title={Detecting malicious SQL},
booktitle={4th International Conference on Trust, Privacy & Security in Digital Business (in conjunction with the 18th International Conference on Database and Expert Systems Applications (DEXA 2007)), TrusBus\'07},
year=2007,
address={n/a},
}
@inproceedings{cisuc-1489-2007,
author={José Fonseca and Marco Vieira and Madeira, H. },
title={Integrated Intrusion Detection in Databases},
booktitle={Third Latin-American Symposium on Dependable Computing (LADC 2007)},
year=2007,
address={n/a},
}
@inproceedings{cisuc-1491-2007,
author={Marco Vieira and Madeira, H. },
title={Do you know... How to analyze and share results from dependability evaluation experiments? (Tutorial)},
booktitle={Third Latin-American Symposium on Dependable Computing (LADC 2007)},
year=2007,
address={n/a},
}
@inproceedings{cisuc-1497-2007,
author={Marco Vieira and Laranjeiro, N. and Madeira, H. },
title={Benchmarking the Robustness of Web Services},
booktitle={The 13th IEEE Pacific Rim Dependable Computing Conference (PRDC 2007)},
year=2007,
address={n/a},
}
@inproceedings{cisuc-1498-2007,
author={José Fonseca and Marco Vieira and Madeira, H. },
title={Testing and comparing web vulnerability scanning tools for SQL injection and XSS attacks},
booktitle={13th IEEE Pacific Rim Dependable Computing Conference (PRDC 2007)},
year=2007,
address={n/a},
}
@inproceedings{cisuc-1311-2006,
author={Marco Vieira and Costa, A.C. and Madeira, H. },
title={Towards Timely ACID Transactions in DBMS (Short Paper)},
booktitle={The IEEE 12th International Symposium Pacific Rim Dependable Computing (PRDC 2006)},
year=2006,
address={n/a},
}
@inproceedings{cisuc-1312-2006,
author={José Fonseca and Marco Vieira and Madeira, H. },
title={Monitoring Database Application Behavior for Intrusion Detection (Short Paper)},
booktitle={The IEEE 12th International Symposium Pacific Rim Dependable Computing (PRDC 2006)},
year=2006,
address={n/a},
}
@inproceedings{cisuc-1399-2006,
author={Silva, L. and Madeira, H. and Silva, J.G. },
title={Software Aging and Rejuvenation in a SOAP-based Server},
booktitle={IEEE-NCA, Network Computing and Applications},
year=2006,
address={n/a},
}
@inproceedings{cisuc-1410-2006,
author={Mendes, N. and Moraes, R. and Martins, E. and Madeira, H. },
title={Improving dependability of software components by using wrappers},
booktitle={VII Workshop de Testes e Tolerância a Falhas},
year=2006,
address={n/a},
}
@inproceedings{cisuc-1411-2006,
author={Barbosa, R. and Costa, D. and Madeira, H. },
title={An Empirical Approach to Assess Software Off-The-Shelf Components Using Fault Injection},
booktitle={International Conference on Data Systems in Aerospace, DASIA 2006},
year=2006,
address={n/a},
}
@inproceedings{cisuc-1412-2006,
author={Moraes, R. and Joao Duraes and Martins, E. and Madeira, H. },
title={A field data study on the use of software metrics to define representative fault distribution},
booktitle={Workshop on Empirical Evaluation of Dependability and Security (WEEDS)},
year=2006,
address={n/a},
}
@inproceedings{cisuc-1413-2006,
author={Moraes, R. and Barbosa, R. and Joao Duraes and Mendes, N. and Martins, E. and Madeira, H. },
title={Injection of faults at component interfaces and inside the component code: are they equivalent?},
booktitle={6th European Dependable Computing Conference â?? EDCC-6},
year=2006,
address={n/a},
}
@inproceedings{cisuc-1414-2006,
author={Mendes, N. and Moraes, R. and Martins, E. and Madeira, H. },
title={Jaca Tool Improvements for Speeding Up Fault Injection Campaigns},
booktitle={Brasilien Symposium on Software Engineering},
year=2006,
address={n/a},
}
@inproceedings{cisuc-856-2005,
author={Pintér, G. and Madeira, H. and Marco Vieira and Pataricza, A. and Majzik, I. },
title={A Data Mining Approach to Identify Key Factors in Dependability Experiments},
booktitle={Fifth European Dependable Computing Conference (EDCC-5)},
year=2005,
address={n/a},
}
@inproceedings{cisuc-864-2005,
author={Marco Vieira and Madeira, H. },
title={Towards a security benchmark for Database Management Systems},
booktitle={IEEE/IFIP International Conference on Dependable Systems and Networks, DSN2005},
year=2005,
address={n/a},
}
@inproceedings{cisuc-885-2005,
author={Marco Vieira and Costa, A.C. and Madeira, H. },
title={TACID Transactions},
booktitle={1st Workshop on Hot Topics in System Dependability (HotDep-05)},
year=2005,
address={n/a},
}
@inproceedings{cisuc-920-2005,
author={Maia, R. and Henriques, L. and Barbosa, R. and Costa, D. and Madeira, H. },
title={Xception fault injection and robustness testing framework: a case-study of testing RTEMS},
booktitle={VI Test and Fault Tolerance Workshop (jointly organized with the 23rd Brazilian Symposium on Computer Networks (SBRC))},
year=2005,
address={n/a},
}
@inproceedings{cisuc-925-2005,
author={Vieira, J. and Jorge Bernardino and Madeira, H. },
title={Efficient compression of text attributes of data warehouse dimensions},
booktitle={7th International Conference on Data Warehousing and Knowledge Discovery - DaWak},
year=2005,
address={n/a},
}
@inproceedings{cisuc-926-2005,
author={Kanoun, K. and Madeira, H. and Moreira, F. and Cin, M.D. and García, J.C. },
title={DBench - Dependability Benchmarking},
booktitle={Fifth European Dependable Computing Conference (EDCC-5)},
year=2005,
address={n/a},
}
@inproceedings{cisuc-1044-2005,
author={Joao Duraes and Madeira, H. },
title={A methodology for the automated identification of buffer overflow vulnerabilities in executable software without source-code},
booktitle={Second Latin-American Symposium on Dependable Computing, LADC},
year=2005,
address={n/a},
}
@inproceedings{cisuc-1083-2005,
author={Marco Vieira and Madeira, H. },
title={Detection of malicious transactions in DBMS},
booktitle={The 11th IEEE International Symposium Pacific Rim Dependable Computing, PRDC2005},
year=2005,
address={n/a},
}
@inproceedings{cisuc-754-2004,
author={Marco Vieira and Madeira, H. },
title={Portable Faultloads Based on Operator Faults for DBMS Dependability Benchmarking},
booktitle={The 28th Annual International Computer Software and Applications Conference, COMPSAC 2004},
year=2004,
address={n/a},
}
@inproceedings{cisuc-755-2004,
author={Joao Duraes and Marco Vieira and Madeira, H. },
title={Dependability Benchmarking of Web-Servers},
booktitle={The 23rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2004},
year=2004,
address={n/a},
}
@inproceedings{cisuc-756-2004,
author={Marco Vieira and Costa, A.C. and Madeira, H. },
title={Timely ACID Transactions in DBMS (Fast Abstract)},
booktitle={The International Conference on Dependable Systems and Networks, DSN-2004},
year=2004,
address={n/a},
}
@inproceedings{cisuc-776-2004,
author={Joao Duraes and Madeira, H. },
title={Generic Faultloads Based on Software Faults for Dependability Benchmarking},
booktitle={IEEE/IFIP International Conference on Dependable Systems and Networks - Dependable Computing and Communications, DSN-DCCS 2004},
year=2004,
address={n/a},
}
@inproceedings{cisuc-780-2004,
author={Joao Duraes and Madeira, H. },
title={Web-server Availability from the End-user Viewpoint: a Comparative Study (Fast Abstract)},
booktitle={IEEE/IFIP International Conference on Dependable Systems and Networks - Dependable Computing and Communications, DSN-DCCS 2004},
year=2004,
address={n/a},
}
@inproceedings{cisuc-798-2004,
author={Costa, M.A. and Madeira, H. },
title={Handling big dimensions in distributed data warehouses using the DWS technique},
booktitle={ACM Seventh International Workshop on Data Warehousing and OLAP, DOLAP 2004},
year=2004,
address={n/a},
}
@inproceedings{cisuc-814-2004,
author={Marco Vieira and Joao Duraes and Madeira, H. },
title={How to Specify Dependability Benchmarks for OLTP Application Environments},
booktitle={IX Conference on Software Engineering and Databases (JISBD 2004)},
year=2004,
address={n/a},
}
@inproceedings{cisuc-4-2003,
author={Marco Vieira and Madeira, H. },
title={Benchmarking the Dependability of Different OLTP Systems},
booktitle={International Conference on Dependable Systems and Networks, DSN-DCC 2003},
year=2003,
address={n/a},
}
@inproceedings{cisuc-5-2003,
author={Joao Duraes and Madeira, H. },
title={Definition of Software Fault Emulation Operators: a Field Data Study},
booktitle={The International Conference on Dependability Systems and Networks, DSN-2003},
year=2003,
address={n/a},
}
@inproceedings{cisuc-9-2003,
author={Madeira, H. and Costa, J.P. and Marco Vieira },
title={The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments},
booktitle={International Conference on Dependable Systems and Networks, DSN-DCC 2003},
year=2003,
address={n/a},
}
@inproceedings{cisuc-33-2003,
author={Marco Vieira and Madeira, H. },
title={A Dependability Benchmark for OLTP Application Environments},
booktitle={Very Large Databases Conference - VLDB2003},
year=2003,
address={n/a},
}
@inproceedings{cisuc-207-2003,
author={Costa, M.A. and Vieira, J. and Jorge Bernardino and Furtado, P. and Madeira, H. },
title={A middle layer for distributed data warehouses using the DWS-AQA technique},
booktitle={VIII Jornadas de Ingenieria del Software y Bases de Datos},
year=2003,
address={n/a},
}
@inproceedings{cisuc-354-2003,
author={Marques, A. and Rino, B.L. and Madeira, H. },
title={iGen: plataforma de geração de código com ciclo de desenvolvimento completo},
booktitle={8th Conference on Software Engineering and Databases},
year=2003,
address={n/a},
}
@inproceedings{cisuc-360-2003,
author={Costa, P. .N.d. and Marco Vieira and Madeira, H. and Silva, J.G. },
title={Plug and Play Fault Injector for Dependability Benchmarking},
booktitle={First Latin-American Symposium on Dependable Computing, LADC},
year=2003,
address={n/a},
}
@inproceedings{cisuc-365-2003,
author={Madeira, H. and Joao Duraes and Marco Vieira },
title={Emulation of Software Faults: Representativeness and Usefulness},
booktitle={First Latin-American Symposium on Dependable Computing, LADC},
year=2003,
address={n/a},
}
@inproceedings{cisuc-6-2002,
author={Joao Duraes and Madeira, H. },
title={Characterization of Operating Systems Behavior in the presence of Faulty Drivers through Software Fault Emulation},
booktitle={The Pacific Rim International Dependability Symposium, PRDC-2002},
year=2002,
address={n/a},
}
@inproceedings{cisuc-7-2002,
author={Joao Duraes and Madeira, H. },
title={Emulation of Software Faults by Selective Mutations at Machine-Code Level},
booktitle={The 13th, International Symposium on Software Reliability Engineering, ISSRE-2002},
year=2002,
address={n/a},
}
@inproceedings{cisuc-10-2002,
author={Madeira, H. and Some, R.R. and Moreira, F. and Costa, D. and Rennels, D. },
title={Experimental evaluation of a COTS system for space applications},
booktitle={The International Conference on Dependable Systems and Networks, DSN-2002},
year=2002,
address={n/a},
}
@inproceedings{cisuc-11-2002,
author={Marco Vieira and Madeira, H. },
title={Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking},
booktitle={Pacific Rim International Symposium on Dependable Computing, PRDC2002},
year=2002,
address={n/a},
}
@inproceedings{cisuc-12-2002,
author={Marco Vieira and Madeira, H. },
title={Recovery and Performance Balance of a COTS DBMS in the Presence of Operator Faults},
booktitle={The International Symposium on Dependable Systems and Networks, DSN-IPDS 2002},
year=2002,
address={n/a},
}
@inproceedings{cisuc-13-2002,
author={Madeira, H. and Costa, J.P. and Marco Vieira and Costa, D. },
title={Data warehousing approach for the analysis of dependability benchmarking experiments (Fast Abstract)},
booktitle={Fourth European Dependable Computing Conference (EDCC-4)},
year=2002,
address={n/a},
}
@inproceedings{cisuc-14-2002,
author={Kanoun, K. and Madeira, H. and Arlat, J. },
title={A Framework for Dependability Benchmarking},
booktitle={Workshop on Dependability Benchmarking, ointly organized with the IEEE/IFIP International Conference on Dependable Systems and Networks},
year=2002,
address={n/a},
}
@inproceedings{cisuc-17-2002,
author={Jorge Bernardino and Furtado, P. and Madeira, H. },
title={DWS-AQA: A Cost Effective Approach for Very Large Data Warehouses},
booktitle={International Database Engineering & Applications Symposium},
year=2002,
address={n/a},
}
@inproceedings{cisuc-18-2002,
author={Bizarro, P. and Madeira, H. },
title={Adding a performance-oriented perspective to data warehouse design},
booktitle={4th International Conference on Data Warehousing and Knowledge Discovery - DaWaK 2002},
year=2002,
address={n/a},
}
@inproceedings{cisuc-1218-2002,
author={Maia, R. and Henriques, L. and Costa, D. and Madeira, H. },
booktitle={n/a},
title={Xception - Enhanced Automated Fault-Injection Environment},
year=2002,
address={n/a},
}
@inproceedings{cisuc-19-2001,
author={Bizarro, P. and Madeira, H. },
title={A new index for data warehouses},
booktitle={XVI Brazilian Symposium on Databases (SBBD2001)},
year=2001,
address={n/a},
}
@inproceedings{cisuc-20-2001,
author={Jorge Bernardino and Madeira, H. },
title={Data Warehouse Striping: Improved Query Warehouse Striping Response Time},
booktitle={International Conference on Enterprise Information Systems, ICEIS-2001},
year=2001,
address={n/a},
}
@inproceedings{cisuc-21-2001,
author={Jorge Bernardino and Madeira, H. },
title={Experimental Evaluation of a New Distributed Partitioning Technique for Data Warehouses},
booktitle={International Symposium on Database Engineering and Applications, IDEAS 2001},
year=2001,
address={n/a},
}
@inproceedings{cisuc-22-2001,
author={Costa, D. and Rilho, T. and Marco Vieira and Madeira, H. },
title={ESFFI - A novel technique for the Emulation of Software Faults in COTS Components},
booktitle={8th Annual IEEE International Conference on the Engineering of Computer-Based Systems, ECBS 2001},
year=2001,
address={n/a},
}
@inproceedings{cisuc-26-2001,
author={Jorge Bernardino and Madeira, H. },
title={A New Technique to Speedup Queries in Data Warehousing},
booktitle={ABDIS-DASFA, Symposium on Advances in Databases and Information Systems - Enlarged Fourth East-European Conference on Advances in Databases and Information Systems},
year=2001,
address={n/a},
}
@inproceedings{cisuc-35-2001,
author={Costa, D. and Marco Vieira and Madeira, H. },
title={Optimization of Performance and Recovery of Database Systems in the Presence of Operation Faults (Fast Abstract)},
booktitle={The International Conference on Dependable Systems and Networks, DSN-2001},
year=2001,
address={n/a},
}
@inproceedings{cisuc-779-2001,
author={Joao Duraes and Madeira, H. },
title={Accuracy of the Emulation of Software Faults by Machine-Code Level Errors (Fast Abstract)},
booktitle={Dependable Systems and Networks DSN-01},
year=2001,
address={n/a},
}
@inproceedings{cisuc-782-2001,
author={Jorge Bernardino and Madeira, H. and Furtado, P. },
title={Approximate Query Answering Using Data Warehouse Striping},
booktitle={DaWaK, Data Warehousing and Knowledge Discovery},
year=2001,
address={n/a},
}
@inproceedings{cisuc-1045-2001,
author={Madeira, H. and Koopman, P. },
title={Dependability Benchmarking: making choices in an n-dimensional problem space},
booktitle={First Workshop on Evaluating and Architecting System Dependability (EASY)},
year=2001,
address={n/a},
}
@inproceedings{cisuc-23-2000,
author={Furtado, P. and Madeira, H. },
title={FCompress: A New Technique for Queriable Compression of Facts and Datacubes},
booktitle={International Database Engineering and Applications Symposium, IDEASâ??2000},
year=2000,
address={n/a},
}
@inproceedings{cisuc-24-2000,
author={Furtado, P. and Madeira, H. },
title={Data Cube Compression with QuantiCubes},
booktitle={2nd International Conference on Data Warehousing and Knowledge Discovery, Dawak'00},
year=2000,
address={n/a},
}
@inproceedings{cisuc-25-2000,
author={Furtado, P. and Madeira, H. },
title={VMHIST: Improved Adaptable Multidimensional Histograms},
booktitle={2nd International Conference on Data Warehousing and Knowledge Discovery, Dawak\'00},
year=2000,
address={n/a},
}
@inproceedings{cisuc-27-2000,
author={Madeira, H. and Marco Vieira and Costa, D. },
title={On the Emulation of Software Faults by Software Fault Injection},
booktitle={Dependable Systems and Networks Conference â?? DSN-2000},
year=2000,
address={n/a},
}
@inproceedings{cisuc-28-2000,
author={Costa, D. and Rilho, T. and Madeira, H. },
title={Joint Evaluation of Performance and Robustness of a COTS DBMS Through Fault-Injection},
booktitle={Dependable Systems and Networks Conference, DSN-2000},
year=2000,
address={n/a},
}
@inproceedings{cisuc-34-2000,
author={Rilho, T. and Costa, D. and Marco Vieira and Madeira, H. },
title={Run-time Software Implemented Fault-Injection (RTSWIFI): an Approach to Emulate Software Faults in COTS (Fast Abstract)},
booktitle={Dependable Systems and Networks Conference, DSN-2000},
year=2000,
address={n/a},
}
@inproceedings{cisuc-1046-2000,
author={Jorge Bernardino and Madeira, H. },
title={Data Warehousing and OLAP: Improving Query Performance Using Distributed Computing},
booktitle={12th Conference on Advanced Information Systems Engineering},
year=2000,
address={n/a},
}
@inproceedings{cisuc-1047-1999,
author={Koopman, P. and Madeira, H. },
title={Dependability Benchmarking & Prediction: A Grand Challenge Technology Problem},
booktitle={1st IEEE International Workshop on Real-Time Mission-Critical Systems: Grand Challenge Problems},
year=1999,
address={n/a},
}
@inproceedings{cisuc-1219-1999,
author={Costa, D. and Madeira, H. },
title={Experimental Assessment of COTS DBMS Rubustness Under Transient Faults},
booktitle={PRDC 99},
year=1999,
address={n/a},
}
@inproceedings{cisuc-160-1998,
author={Silva, J.G. and Prata, P. and Mario Zenha-Rela and Madeira, H. },
title={Practical Issues in the Use of ABFT and a new Failure Model},
booktitle={FTCS - 28},
year=1998,
address={n/a},
}
@inproceedings{cisuc-1060-1998,
author={Furtado, P. and Madeira, H. },
title={Summary Grids: Building Accurate Multidimensional Histograms},
booktitle={Dasfaa 1998},
year=1998,
address={n/a},
}
@inproceedings{cisuc-594-1996,
author={Mario Zenha-Rela and Madeira, H. and Silva, J.G. },
title={Experimental Evaluation of the Fail-Silent Behaviour in Programs with Consistency Checks},
booktitle={26th Symposium on Fault Tolerant Computer Systems (FTCS-26)},
year=1996,
address={n/a},
}
@inproceedings{cisuc-988-1996,
author={Silva, J.G. and Carreira, J. and Madeira, H. and Costa, D. and Moreira, F. },
title={Experimental Assessment of Parallel Systems},
booktitle={Twenty-Six Annual International Symposium on Fault-Tolerant Computing (FTCS-26)},
year=1996,
address={n/a},
}
@inproceedings{cisuc-595-1995,
author={Costa, D. and Moreira, F. and Madeira, H. and Mario Zenha-Rela and Silva, J.G. },
title={Experimental Evaluation of the Impact of Processor Faults on Parallel Applications},
booktitle={14th IEEE Symposium on Reliable Distributed Systems (SRDS-14)},
year=1995,
address={n/a},
}
@inproceedings{cisuc-992-1995,
author={Madeira, H. and Carreira, J. and Silva, J.G. },
title={Injection of Faults in Complex Computers},
booktitle={Workshop on Evaluation Techniques for Dependable Systems},
year=1995,
address={n/a},
}
@inproceedings{cisuc-993-1995,
author={Carreira, J. and Madeira, H. and Silva, J.G. },
title={Xception: Software Fault Injection and Monitoring in Processor Functional Units},
booktitle={Fifth IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-5)},
year=1995,
address={n/a},
}
@inproceedings{cisuc-1048-1995,
author={Carreira, J. and Madeira, H. and Silva, J.G. },
title={Assessing the Effects of Communication Faults on Parallel Applications},
booktitle={1st IEEE International Performance and Dependability Symposium (IPDS'95)},
year=1995,
address={n/a},
}
@inproceedings{cisuc-596-1994,
author={Madeira, H. and Mario Zenha-Rela and Moreira, F. and Silva, J.G. },
title={RIFLE: a general purpose pin-level fault injector},
booktitle={1st European Dependable Computing Conference (EDCC-1)},
volume={852},
year=1994,
address={n/a},
}
@inproceedings{cisuc-997-1994,
author={Madeira, H. and Silva, J.G. },
title={Experimental evaluation of the fail-silent behavior in computers without error masking},
booktitle={24th Fault Tolerant Computing Symposium FTCS-24},
year=1994,
address={n/a},
}
@inproceedings{cisuc-1049-1994,
author={Silva, J.G. and Silva, L. and Madeira, H. and Jorge Bernardino },
title={A fault-tolerant mechanism for simple controllers},
booktitle={First European Dependable Computing Conference},
year=1994,
address={n/a},
}
@inproceedings{cisuc-1050-1993,
author={Madeira, H. and Moreira, F. and Furtado, P. and Mario Zenha-Rela and Silva, J.G. },
title={Pin-level Fault Injection for Dependability Validation: Some Research Results at the University of Coimbra},
booktitle={First IEEE International Workshop on Fault and Error Injection for Dependability Validation},
year=1993,
address={n/a},
}
@inproceedings{cisuc-597-1992,
author={Madeira, H. and Mario Zenha-Rela and Furtado, P. and Silva, J.G. },
title={Time Behaviour Monitoring as an Error Detection Mechanism},
booktitle={3rd IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-3)},
year=1992,
address={n/a},
}
@inproceedings{cisuc-1220-1991,
author={Madeira, H. and Silva, J.G. },
booktitle={n/a},
title={On-line Signature Learning and Checking: Experimental Evaluation},
year=1991,
address={n/a},
}
@inproceedings{cisuc-157-1984,
author={Madeira, H. and Gonçalves, A. and Antonio Jose Mendes and Silva, F.G. },
booktitle={n/a},
title={Bancada Modular e Evolutiva para o Ensino da Tecnologia da Informática},
year=1984,
address={n/a},
}
@inbook{cisuc-5467-2019,
author={Marilia Curado and Madeira, H. and Paulo Rupino da Cunha and Bruno Cabral and David Perez Abreu and Barata, J. and Licinio Roque and Roger Immich },
title={Internet of Things},
chapter={16},
publisher={Springer International Publishing},
booktitle={Cyber Resilience of Systems and Networks},
volume={1},
edition={1},
pages={381--401},
year=2019,
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-5291-2017,
author={Ivano Irrera and Zentai, A. and Cunha, J.C. and Madeira, H. },
title={Validating a Safety Critical Railway Application Using Fault Injection},
chapter={11},
publisher={River Publishers},
booktitle={Certifications of Critical Systems – The CECRIS Experience},
pages={227--246},
year=2017,
address={n/a},
}
@inbook{cisuc-3022-2012,
author={Micskei, Z. and Majzik, I. and Madeira, H. and Marco Vieira and Nuno Antunes and Avritzer, A. },
pages={n/a},
title={Robustness Testing Techniques and Tools},
publisher={Springer},
booktitle={Resilience Assessment and Evaluation of Computing Systems},
year=2012,
address={n/a},
}
@inbook{cisuc-3125-2012,
author={Joao Duraes and José Fonseca and Madeira, H. and Marco Vieira },
title={Field Studies on Resilience: Measurements and Repositories},
chapter={11},
publisher={Springer Berlin Heidelberg},
booktitle={Resilience Assessment and Evaluation},
volume={na},
edition={na},
pages={213--237},
year=2012,
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},
}
@inbook{cisuc-3332-2012,
author={Marco Vieira and Madeira, H. and Sachs, K. and Kounev, S. },
pages={n/a},
title={Resilience Benchmarking},
publisher={Springer},
booktitle={Resilience Assessment and Evaluation of Computing Systems},
year=2012,
address={n/a},
}
@inbook{cisuc-2561-2011,
author={Laranjeiro, N. and Marco Vieira and Madeira, H. },
pages={n/a},
title={Building Web Services with Time Requirements},
editor={Valeria Cardellini, Emiliano Casalicchio, Kalinka Castelo Branco, Julio Cezar Estrella, Francisco Jose Monaco},
publisher={IGI-Global},
booktitle={Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions},
year=2011,
address={n/a},
}
@inbook{cisuc-2134-2009,
author={Laranjeiro, N. and Marco Vieira and Madeira, H. },
pages={n/a},
title={Robustness Validation in Service Oriented Architectures},
editor={Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice Beek, eds.},
publisher={Springer-Verlag},
booktitle={Architecting Dependable Systems VI},
volume={6},
year=2009,
address={n/a},
}
@inbook{cisuc-1417-2008,
author={Joao Duraes and Marco Vieira and Madeira, H. },
pages={n/a},
title={Dependability Benchmarking of Web-Servers},
editor={Lisa Spainhower & Karama Kanoun Eds},
publisher={IEEE Computer Society},
booktitle={Dependability Benchmarking for Computer Systems (ISBN: 978-0-470-23055-8)},
year=2008,
address={n/a},
}
@inbook{cisuc-1418-2008,
author={Marco Vieira and Joao Duraes and Madeira, H. },
pages={n/a},
title={Dependability Benchmarks for OLTP Systems},
editor={Lisa Spainhower & Karama Kanoun Eds.},
publisher={Wiley-IEEE Computer Society Press},
booktitle={Dependability Benchmarking for Computer Systems (ISBN: 978-0-470-23055-8)},
edition={1},
year=2008,
address={n/a},
}
@inbook{cisuc-2719-2008,
author={Olga Craveiro and Macedo, J. and Madeira, H. },
title={PorTexTO: sistema de anotação/extracção de expressões temporais},
chapter={8},
publisher={Linguateca},
booktitle={Desafios na avaliação conjunta do reconhecimento de entidades mencionadas: O Segundo HAREM},
edition={1},
pages={159--170},
year=2008,
address={n/a},
}
@inbook{cisuc-3656-2007,
author={Madeira, H. and Martins, E. and Moraes, R. },
title={Component-Based Software Certification Based on Experimental Risk Assessment},
chapter={1},
publisher={Springer Berlin Heidelberg},
booktitle={Lecture Notes in Computer Science Volume},
volume={4746},
edition={1},
pages={179--197},
year=2007,
address={n/a},
}
@inbook{cisuc-797-2005,
author={Silva, J.G. and Madeira, H. },
pages={n/a},
title={Experimental Dependability Evaluation},
editor={Hassan B. Diab and Albert Y. Zomaya},
chapter={12},
publisher={John Wiley & Sons, Inc},
booktitle={Dependable Computing Systems: Paradigms, Performance Issues, and Applications},
year=2005,
address={n/a},
}
@inbook{cisuc-344-2003,
author={Costa, D. and Madeira, H. and Carreira, J. and Silva, J.G. },
pages={n/a},
title={Xception?: a Software Implemented Fault Injection Tool},
editor={Alfredo Benso and Paolo Prineto},
publisher={Kluwer Academic Publisher},
booktitle={Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation},
year=2003,
address={n/a},
}
@inbook{cisuc-781-2002,
author={Jorge Bernardino and Madeira, H. },
pages={n/a},
title={Data Warehouse Striping: Improved Query Response Time},
editor={Joaquim Filipe, Bernadette Sharp and Paula Miranda},
publisher={Kluwer Academic Publishers},
booktitle={Enterprise Information Sysytems III},
year=2002,
address={n/a},
}
@inbook{cisuc-1052-1992,
author={Madeira, H. and Silva, J.G. },
pages={n/a},
title={On-line Signature Learning and Checking},
editor={J.F.Meyer, R.D. Schlichting (ed.), Springer Verlag},
publisher={Springer Verlag},
booktitle={Dependable Computing for Critical Applications 2},
year=1992,
address={n/a},
}
@techreport{cisuc-1987-2003,
author={Marco Vieira and Madeira, H. },
title={DBench ' OLTP: A Dependability Benchmark for OLTP Application Environments},
number={TR DEI-006-2002},
year=2003,
address={n/a},
}