@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},
}
@inproceedings{cisuc-154-1999,
author={Prata, P. and Silva, J.G. },
title={Fault-Detection by Result-Checking for the Eigenproblem},
booktitle={EDDC-3},
year=1999,
address={n/a},
}
@inproceedings{cisuc-159-1999,
author={Prata, P. and Silva, J.G. },
title={Algorithm Based  Fault Tolerance versus Result-Checking for Matrix Computations},
booktitle={FTCS - 29},
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},
}