Carlos A. Liceaga

• A general graphical user interface for automatic reliability modeling
• Automatic specification of reliability models for fault-tolerant computers
• Towards automatic Markov reliability modeling of computer architectures