@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-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-362-2002,
author={Marques, P. and Silva, L. and Silva, J.G. },
title={M&M's: Building Binary Software Components for Supporting Mobile-Agent Enabled Applications},
journal={Journal of Autonomous Agents and Multi-Agents Systems},
volume={5},
number={1},
pages={101--109},
year=2002,
address={n/a},
}
@article{cisuc-948-2000,
author={Silva, L. and Martins, P. and Silva, J.G. },
title={Heterogeneous Parallel Computing using Java and WMPI},
editor={Mark Baker},
journal={special issue of Concurrency Practice and Experience},
volume={12},
number={n/a},
pages={1077--1091},
year=2000,
address={n/a},
}
@article{cisuc-951-1999,
author={Carreira, J. and Costa, D. and Silva, J.G. },
title={Fault-Injection spot-checks computer system dependability},
journal={IEEE Spectrum},
volume={36},
number={8},
pages={50--55},
year=1999,
address={n/a},
}
@article{cisuc-954-1998,
author={Echtle, K. and Silva, J.G. },
title={Fehlerinjektion - ein Mittel zur Bewertung der Maÿnahmen gegen Fehler in komplexen Rechensystemen},
journal={Informatik Spektrum},
volume={21},
number={6},
pages={328--336},
year=1998,
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-986-1998,
author={Bizarro, P. and Silva, L. and Silva, J.G. },
title={JWARP: a Java library for parallel discrete event simulations},
journal={Concurrency: Practice and Experience},
volume={10},
number={11-13},
pages={999--1005},
year=1998,
address={n/a},
}
@article{cisuc-1879-1998,
author={Silva, L. and Silva, J.G. },
title={Using two-level stable storage for efficient checkpointing},
journal={IEE Software Engineering Journal},
volume={145},
pages={n/a},
number={6},
year=1998,
address={n/a},
}
@article{cisuc-1880-1998,
author={Bizarro, P. and Silva, J.G. and Silva, L. },
title={JWARP: A Java Library for Parallel Discrete-Event Simulations},
journal={Concurrency: Practice and Experience},
volume={10},
pages={n/a},
number={11-13},
year=1998,
address={n/a},
}
@article{cisuc-981-1997,
author={Silva, L. and Silva, J.G. and Chapple, S. },
title={Implementation and Performance of DSMPI},
editor={John Wiley and Sons},
journal={Scientific Programming Journal},
volume={6},
number={2},
pages={201--214},
year=1997,
address={n/a},
}
@article{cisuc-982-1997,
author={Silva, L. and Silva, J.G. and Chapple, S. },
title={Web - based Metacomputing with JET},
journal={Concurrency: Practice and Experience},
volume={9},
pages={n/a},
number={11},
year=1997,
address={n/a},
}
@article{cisuc-983-1997,
author={Silva, L. and Silva, J.G. },
title={Checkpointing Distributed Shared Memory},
journal={n/a},
volume={11},
number={2},
pages={137--158},
year=1997,
address={n/a},
}
@article{cisuc-985-1997,
author={Carreira, J. and Costa, D. and Silva, J.G. },
title={WinFT: Software Implemented Fault Tolerance for Win32 Applications.},
journal={BYTE},
number={n/a},
pages={51--52},
year=1997,
address={n/a},
}
@article{cisuc-593-1996,
author={Magalhães, A.P. and Mario Zenha-Rela and Silva, J.G. },
title={On the Nature of Deadlines},
editor={Euromicro},
journal={Microprocessors and Microsystems},
volume={20},
number={2},
pages={79--88},
year=1996,
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-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-1336-2006,
author={Domingues, P. and Silva, J.G. and Silva, L. },
title={Sharing Checkpoints to Improve Turnaround Time in Desktop Grid},
booktitle={Advanced Information Networking and Applications (AINA\'06)},
volume={1},
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-847-2005,
author={Rodríguez, M. and Silva, J.G. and Rodríguez-Dapena, P. and Loon, H.v. and Aldea-Montero, F. },
title={Proposed Approach and Extensions to Product Assurance and Software Engineering Standards},
booktitle={4th International Conference on COTS-Based Software Systems - ICCBSS 2005},
year=2005,
address={n/a},
}
@inproceedings{cisuc-848-2004,
author={Silva, J.G. and Rodríguez, M. and Costa, D. and Loon, H.v. and Rodríguez-Dapena, P. and Pedersen, K. and Aldea-Montero, F. },
title={Product Assurance of Software Reuse in the SPICE for Space Framework},
booktitle={4th International SPICE Conference on Process Assessment and Improvement},
year=2004,
address={n/a},
}
@inproceedings{cisuc-849-2004,
author={Christensen, A.L. and Brito, J. and Silva, J.G. },
title={The Architecture and Performance of WMPI II},
booktitle={11th European PVM/MPI Users' Group Meeting - Recent Advances in Parallel Virtual Machine and Message Passing Interface},
year=2004,
address={n/a},
}
@inproceedings{cisuc-148-2003,
author={Domingues, P. and Silva, L. and Silva, J.G. },
title={DRMonitor - A Distributed Resource Monitoring System},
booktitle={11th Euromicro Parallel, Distributed and Network-Based Processing},
year=2003,
address={n/a},
}
@inproceedings{cisuc-239-2003,
author={Domingues, P. and Silva, L. and Silva, J.G. },
title={MPI Farm programs on non-dedicated clusters},
booktitle={10th European PVM/MPI Users' Group Meeting},
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-359-2002,
author={Marques, P. and Fonseca, R. and Simões, P. and Silva, L. and Silva, J.G. },
booktitle={n/a},
title={A Component-Based Approach for Integrating Mobile Agents Into the Existing Web Infrastructure},
year=2002,
address={n/a},
}
@inproceedings{cisuc-363-2002,
author={Santos, N. and Marques, P. and Silva, L. and Silva, J.G. },
booktitle={n/a},
title={A Framework for Smart Proxies and Interceptors in RMI},
year=2002,
address={n/a},
}
@inproceedings{cisuc-366-2002,
author={Marques, P. and Santos, P. and Silva, L. and Silva, J.G. },
booktitle={n/a},
title={Supporting Disconnected Computing in Mobile Agent Systems},
year=2002,
address={n/a},
}
@inproceedings{cisuc-419-2002,
author={Tiago Baptista and Pedroso, H. and Silva, J.G. },
title={The Implementation of One-Sided Communications for WMPI II},
booktitle={Euro PVM/MPI 2001},
year=2002,
address={n/a},
}
@inproceedings{cisuc-468-2002,
author={Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. },
title={On the Use of Disaster Prediction for Failure-Tolerance in Feedback Control Systems},
booktitle={The International Conference on Dependable Systems and Networks, DSN-2002},
year=2002,
address={n/a},
}
@inproceedings{cisuc-469-2002,
author={Cunha, J.C. and Henriques, J. and Mario Zenha-Rela and Silva, J.G. },
title={Reset-Driven Fault Tolerance},
booktitle={4th European Dependable Computing Conference (EDCC-4)},
volume={2485},
year=2002,
address={n/a},
}
@inproceedings{cisuc-312-2001,
author={Marques, P. and Simões, P. and Silva, L. and Silva, J.G. and Boavida, F. },
booktitle={n/a},
title={Towards Manageable Mobile Agent Infrastructures},
year=2001,
address={n/a},
}
@inproceedings{cisuc-313-2001,
author={Marques, P. and Simões, P. and Silva, L. and Boavida, F. and Silva, J.G. },
booktitle={n/a},
title={Providing Applications With Mobile Agent Technology},
year=2001,
address={n/a},
}
@inproceedings{cisuc-356-2001,
author={Marques, P. and Santos, N. and Silva, L. and Silva, J.G. },
booktitle={n/a},
title={The Security Architecture of the M&M Mobile Agent Framework},
year=2001,
address={n/a},
}
@inproceedings{cisuc-357-2001,
author={Marques, P. and Fonseca, R. and Simões, P. and Silva, L. and Silva, J.G. },
title={Integrating Mobile Agents into Off-the-Shelf Web Servers: The M&M Approach},
booktitle={Munich, Germany},
year=2001,
address={n/a},
}
@inproceedings{cisuc-430-2001,
author={Cunha, J.C. and Silva, J.G. },
title={Software-Implemented Stable Storage in Main Memory},
booktitle={IX Brazilian Symposium on Fault-Tolerant Computing (SCTF'2001)},
year=2001,
address={n/a},
}
@inproceedings{cisuc-435-2001,
author={Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. },
title={A Study of Failure Models in Feedback Control Systems},
booktitle={The International Conference on Dependable Systems and Networks, DSN-2001},
year=2001,
address={n/a},
}
@inproceedings{cisuc-1896-2001,
author={Marques, P. and Fonseca, R. and Silva, L. and Silva, J.G. },
title={Integrating Mobile Agents With Off-the-shelf Web-servers},
booktitle={Systems and Applications (INBOSA\'2001)},
year=2001,
address={n/a},
}
@inproceedings{cisuc-350-2000,
author={Marques, P. and Silva, L. and Silva, J.G. },
booktitle={n/a},
title={A Flexible Mobile-Agent Framework for Accessing Information Systems in Disconnected Computing Environments},
year=2000,
address={n/a},
}
@inproceedings{cisuc-351-2000,
author={Marques, P. and Silva, L. and Silva, J.G. },
booktitle={n/a},
title={Building Domain-Specific Mobile Agent Platforms from Reusable Software Components},
year=2000,
address={n/a},
}
@inproceedings{cisuc-352-2000,
author={Marques, P. and Silva, L. and Silva, J.G. },
booktitle={n/a},
title={Going Beyond Mobile Agent Platforms: Component-Based Development of Mobile Agent Systems},
year=2000,
address={n/a},
}
@inproceedings{cisuc-353-2000,
author={Marques, P. and Silva, L. and Silva, J.G. },
booktitle={n/a},
title={Addressing the Question of Platform Extensibility in Mobile Agent Systems},
year=2000,
address={n/a},
}
@inproceedings{cisuc-946-2000,
author={Marques, P. and Simões, P. and Silva, L. and Boavida, F. and Silva, J.G. },
title={Mobile Agent Systems: From Technology to Applications},
booktitle={OOPSLA'2000 Workshop on Experiences with Autonomous Mobile Objects and Agent Based Systems},
year=2000,
address={n/a},
}
@inproceedings{cisuc-947-2000,
author={Silva, L. and Batista, V. and Silva, J.G. },
title={Fault-Tolerant Execution of Mobile Agents},
booktitle={DSN-00 - International Conference on Dependable Systems and Networks},
year=2000,
address={n/a},
}
@inproceedings{cisuc-1897-2000,
author={Távora, V.M.N. and Silva, L. and Silva, J.G. },
title={Distributed Checkpointing Mechanism for a Parallel File System},
booktitle={EuroPVM/MPI\'2000},
year=2000,
address={n/a},
}
@inproceedings{cisuc-1898-2000,
author={Távora, V.M.N. and Silva, L. and Silva, J.G. },
title={Fault Tolerance for Parallel Systems},
booktitle={Proc. Int. Conference on Parallel and Distributed Computing and Systems},
year=2000,
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-349-1999,
author={Marques, P. and Silva, L. and Silva, J.G. },
booktitle={n/a},
title={Security Mechanisms for Using Mobile Agents in Electronic Commerce},
year=1999,
address={n/a},
}
@inproceedings{cisuc-429-1999,
author={Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. },
title={Can Software Implemented Fault-Injection be used on Real-Time Systems?},
booktitle={EDDC-3},
volume={1667},
year=1999,
address={n/a},
}
@inproceedings{cisuc-949-1999,
author={Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. },
title={Implementing MPI-2 Extended Collective Operations},
booktitle={6th European PVM/MPI Users' Group Meeting},
volume={1697},
year=1999,
address={n/a},
}
@inproceedings{cisuc-950-1999,
author={Silva, L. and Silva, J.G. },
title={An Experimental Evaluation of Coordinated Checkpointing in a Parallel Machine},
booktitle={Third European Dependable Computing Conference (EDCC-3)},
volume={1667},
year=1999,
address={n/a},
}
@inproceedings{cisuc-952-1999,
author={Silva, L. and Silva, J.G. },
title={The Performance of Coordinated and Independent Checkpointing},
booktitle={IPPS/SPDP 1999},
year=1999,
address={n/a},
}
@inproceedings{cisuc-953-1999,
author={Mourão, F.E. and Silva, J.G. },
title={Implementing MPI-2 One-Sided Communications for WMPI},
booktitle={6th European PVM/MPI Users' Group Meeting},
volume={1697},
year=1999,
address={n/a},
}
@inproceedings{cisuc-1899-1999,
author={Marques, P. and Silva, L. and Silva, J.G. },
title={Establishing a Secure Open-Environment for the Computations of Mobile Agents},
booktitle={In Proceedings of  ASA/MAâ??99},
year=1999,
address={n/a},
}
@inproceedings{cisuc-1902-1999,
author={Silva, L. and Silva, J.G. },
title={An Experimental Evaluation of Coordinated  Checkpointing in a Parallel Machine},
booktitle={In Proceedings of EDCC-3, European Dependable Computing Conference},
volume={1667},
year=1999,
address={n/a},
}
@inproceedings{cisuc-1904-1999,
author={Silva, L. and Silva, J.G. },
title={Using Message Semantics for Fast-Output Commit in Checkpointing-and-Rollback Recovery},
booktitle={Proceedings of the Hawaii International Conference on System Sciences, IEEE},
year=1999,
address={n/a},
}
@inproceedings{cisuc-1913-1999,
author={Silva, L. and Silva, J.G. },
title={Using Mobile Agents for the Management of Telecommunications},
booktitle={Proceedings of  ConfTele99},
year=1999,
address={n/a},
}
@inproceedings{cisuc-153-1998,
author={Marinho, J.M. and Silva, J.G. },
title={WMPI - Message Passing Interface for Win32 Clusters},
booktitle={EuroPVM/MPI98},
year=1998,
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-466-1998,
author={Bizarro, P. and Silva, L. and Silva, J.G. },
booktitle={n/a},
title={JWarp: A Java Library For Parallel Discrete-Event Simulations},
year=1998,
address={n/a},
}
@inproceedings{cisuc-467-1998,
author={Bizarro, P. and Silva, L. and Silva, J.G. },
title={Implementing the Time-Warp Simulation Model in Java},
booktitle={VECPARâ??98 - 3rd International Meeting on Vector and Parallel Processing},
year=1998,
address={n/a},
}
@inproceedings{cisuc-955-1998,
author={Batista, V. and Silva, L. and Silva, J.G. },
title={Checkpointing Java-based Parallel Applications},
booktitle={11th Parallel and Distributed Computing Systems, PDCS'98},
year=1998,
address={n/a},
}
@inproceedings{cisuc-956-1998,
author={Silva, L. and Silva, J.G. },
title={System-Level versus User-Defined Checkpointing},
booktitle={17th IEEE Symposium on Reliable Distributed Systems, SRDS'98},
year=1998,
address={n/a},
}
@inproceedings{cisuc-973-1998,
author={Silva, L. and Martins, P. and Silva, J.G. },
title={Merging Web-based with Cluster-based Computing},
booktitle={Second International Symposium on Computing in Object-Oriented Parallel Environments ISCOPE'98},
year=1998,
address={n/a},
}
@inproceedings{cisuc-974-1998,
author={Martins, P. and Silva, L. and Silva, J.G. },
title={A Java Interface for WMPI},
booktitle={EuroPVM/MPI 98},
year=1998,
address={n/a},
}
@inproceedings{cisuc-975-1998,
author={Silva, L. and Silva, J.G. },
title={An Experimental Study about Diskless Checkpointing},
booktitle={Euromicro Workshop on Dependable Computer Systems, 1998},
year=1998,
address={n/a},
}
@inproceedings{cisuc-976-1998,
author={Soares, F. and Silva, L. and Silva, J.G. },
title={How to Get Volunteers for Web-based Computing},
booktitle={DCW'98, Workshop on Distributed Computing on the Web},
year=1998,
address={n/a},
}
@inproceedings{cisuc-977-1998,
author={Silva, L. and Silva, J.G. },
title={Avoiding Checkpoint Contamination in Parallel Systems},
booktitle={28th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-28},
year=1998,
address={n/a},
}
@inproceedings{cisuc-1906-1998,
author={Silva, L. and Silva, J.G. },
title={JET: Massively Parallel Computing with Java},
booktitle={Proc. 3rd Int. Conference on Massively Parallel Computing Systems, MPCSâ??98},
year=1998,
address={n/a},
}
@inproceedings{cisuc-979-1997,
author={Carreira, J. and Silva, J.G. and Langendoen, K. },
title={Efficient and Portable Parallel Programming: An Open Distributed Shared Memory Implementation},
booktitle={10th Int. Conf. on Parallel and Distributed Computing Systems (PDCS'97)},
year=1997,
address={n/a},
}
@inproceedings{cisuc-980-1997,
author={Carreira, J. and Silva, J.G. and Langendoen, K. },
title={Web-based Metacomputing with JET},
booktitle={ACM 1997 Workshop on Java for Science and Engineering Computation},
year=1997,
address={n/a},
}
@inproceedings{cisuc-984-1997,
author={Silva, L. and Pedroso, H. },
title={The Design of JET: A Java Library for Embarrassingly Parallel Applications},
booktitle={Wotug-20 - Parallel Programming and Java},
volume={50},
year=1997,
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-987-1996,
author={Silva, L. and Silva, J.G. },
title={A Checkpoint Facility for an Heterogeneous DSM System},
booktitle={Ninth ISCA International Conference on Parallel and Distributed Computing Systems (PDCS 96)},
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-989-1996,
author={Silva, L. and Silva, J.G. and Chapple, S. },
title={Implementing Distributed Shared Memory on top of MPI: the DSMPI library},
booktitle={4th Euromicro Workshop on Parallel and Distributed Processing (PDP'96)},
year=1996,
address={n/a},
}
@inproceedings{cisuc-990-1996,
author={Silva, L. and Silva, J.G. },
title={Portable Transparent Checkpointing for Distributed Shared Memory},
booktitle={Fifth IEEE International Symposium on High Performance Distributed Computing (HPDC-5)},
year=1996,
address={n/a},
}
@inproceedings{cisuc-991-1996,
author={Silva, L. and Távora, V.M.N. and Silva, J.G. },
title={Mechanisms of File-Checkpointing for Unix Applications},
booktitle={14th IASTED International Conference on Applied Informatics},
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-1054-1995,
author={Silva, L. and Silva, J.G. and Chapple, S. and Clarke, L. },
title={Portable Checkpointing and Recovery},
booktitle={4th IEEE International Symposium on High Performance Distributed Computing (HPDC-4)},
year=1995,
address={n/a},
}
@inproceedings{cisuc-1055-1995,
author={Alves, A. and Silva, L. and Carreira, J. and Silva, J.G. },
title={WPVM: Parallel Computing for the People},
booktitle={International Conference on High-Performance Computing and Networking (HPCN 95)},
volume={919},
year=1995,
address={n/a},
}
@inproceedings{cisuc-1907-1995,
author={Silva, L. and Silva, J.G. and Clarke, L. and Chapple, S. },
title={Fault-Tolerance for Regular Decomposition Grid Applications},
booktitle={Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing PDPâ??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-994-1994,
author={Carreira, J. and Silva, L. and Silva, J.G. },
title={On the design of Eilean: A Linda-like library for MPI},
booktitle={IEEE Second Scalable Parallel Libraries Conference},
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-1057-1994,
author={Silva, L. and Silva, J.G. },
title={On the Optimum Recovery of Distributed Programs},
booktitle={20th EUROMICRO Conference},
year=1994,
address={n/a},
}
@inproceedings{cisuc-1058-1994,
author={Silva, L. and Silva, J.G. },
title={Checkpointing Pipeline Applications},
booktitle={1994 World Transputer Congress},
volume={41},
year=1994,
address={n/a},
}
@inproceedings{cisuc-1059-1994,
author={Silva, L. and Veer, B. and Silva, J.G. },
title={Checkpointing SPMD Applications on Transputer Networks},
booktitle={1994 Scalable High Performance Computing Conference (SHPCC 94)},
year=1994,
address={n/a},
}
@inproceedings{cisuc-1909-1994,
author={Silva, L. and Silva, J.G. and Veer, B. },
booktitle={n/a},
title={The Helios Tuple Space Library},
year=1994,
address={n/a},
}
@inproceedings{cisuc-1910-1994,
author={Silva, L. and Silva, J.G. },
booktitle={n/a},
title={Integrating a Checkpointing and Rollback-Recovery Algorithm with a Causal Order Protocol},
year=1994,
address={n/a},
}
@inproceedings{cisuc-1911-1994,
author={Silva, L. and Silva, J.G. },
booktitle={n/a},
title={PipeLib: A Parallel Library for Writing Pipeline Applications},
year=1994,
address={n/a},
}
@inproceedings{cisuc-1912-1994,
author={Silva, L. and Silva, J.G. and Veer, B. },
booktitle={n/a},
title={A Fault-Tolerant Tuple Space Library},
volume={41},
year=1994,
address={n/a},
}
@inproceedings{cisuc-995-1993,
author={Silva, L. and Silva, J.G. },
title={How to Get a Fault-Tolerant Farm},
booktitle={1993 World Transputer Congress},
volume={2},
year=1993,
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-1908-1993,
author={Silva, L. and Silva, J.G. },
title={DIP: Distributed Diagnosis Protocol},
booktitle={Microprocessing and Microprogramming},
volume={38},
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-996-1992,
author={Silva, L. and Silva, J.G. },
title={Global Checkpointing for Distributed Programs},
booktitle={IEEE 11th Symposium on Reliable Distributed Systems SRDS-11},
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},
}
@proceedings{cisuc-1452-2006,
author={Silva, J.G. and Karlsson, J. },
edition={n/a},
title={Proceedings of the Sixth European Dependable Computing Conference (EDCC-6)},
publisher={IEEE Computer Society Press},
year=2006,
address={n/a},
}
@proceedings{cisuc-1211-2005,
author={Maziero, C.A. and Silva, J.G. and Andrade, A.M.S. and Silva, F.M.d.A. },
edition={n/a},
title={Dependable Computing - Second Latin-American Symposium, LADC 2005},
publisher={Springer},
volume={3747},
isbn={3-540-29572-0},
year=2005,
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-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-598-2000,
author={Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. },
title={Fault-Injection for Real-Time},
year=2000,
address={n/a},
}