R. K. Iyer, W. H. Sanders, J. H. Patel, Z. Kalbarczyk  Home/Search
Context
Related
| uiuc.edu/PERFORM/Papers/U...04IYE01.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uiuc.edu/PERFORM/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The University of Illinois has been active in research in the dependable computing field for over 50 years. Fundamental ideas have been proposed and major contributions made by researchers at the University of Illinois in the areas of error detection and recovery, fault tolerance middleware, testing and diagnosis, experimental evaluation and benchmarking of system dependability, dependability modeling, and secure system design and validation. This paper traces the origins of these ideas and... (Update)
Active bibliography (related documents): More All
2.5: Multi-Formalism and Multi-Solution-Method Modeling .. - Sanders.. (Correct)
1.4: Design Of Experiments In The Möbius Modeling Framework - Webster (Correct)
1.3: Evaluating Unavailability Caused By Group Membership Using.. - Joshi (2003) (Correct)
Similar documents based on text: More All
0.2: Software-based Signaturing in Distributed Systems - Bagchi, Kalbarczyk, Iyer (Correct)
0.2: Chameleon: Software Infrastructure for Adaptive Fault.. - Bagchi, Whisnant.. (1999) (Correct)
0.2: The Chameleon Infrastructure for Adaptive, Software.. - Bagchi Whisnant.. (1998) (Correct)
BibTeX entry: (Update)
@misc{ iyer-evolution,
author = "R. K. Iyer and W. H. Sanders and J. H. Patel and Z. Kalbarczyk",
title = "The Evolution of Dependable Computing at the University of Illinois",
url = "citeseer.ist.psu.edu/692901.html" }
Citations (may not include all citations):143 HITEC: A Test Generation Package for Sequential Circuits (context) - Niermann, Patel - 2001
107 AQuA: An Adaptive Architecture that Provides Dependable Dist.. (context) - Ren, Bakken et al. - 2003
85 Formal Models for Computer Security (context) - Landwehr - 1981
73 A Theory of Asynchronous Circuits - Muller, Bartky - 1959
71 Algorithm-Based Fault Tolerance for Matrix Operations (context) - Huang, Abraham - 1984
63 PROOFS: A Fast Memory Efficient Sequential Circuit Fault Sim.. (context) - Niermann, Cheng et al. - 1992
58 Reduced Base Model Construction Methods for Stochastic Activ.. - Sanders, Meyer - 1991
56 the Connection Assignment Problem of Diagnosable Systems (context) - Preparata, Metze et al. - 1967
52 Intrusion Tolerance in Distributed Computing Systems - Deswarte, Blain et al. - 1991
51 The UltraSAN Modeling Environment - Sanders, Qureshi et al. - 1995
49 Test Set Compaction Algorithms for Combinational Circuits - Hamzaoglu, Patel - 1998
41 The SRI IDES Statistical Anomaly Detector (context) - Javitz, Valdes - 1991
40 A Unified Approach for Specifying Measures of Performance, D.. - Sanders, Meyer - 1991
37 Chameleon: A Software Infrastructure for Adaptive Fault Tole.. - Kalbarczyk, Iyer et al. - 1999
35 DEPEND: A Simulation-Based Environment for System Level Depe.. (context) - Goswami, Iyer et al. - 1997
25 Failure Data Analysis of LAN of Windows NT Based Computers (context) - Kalyanakrishnam, Kalbarczyk et al. - 1999
23 Construction and Solution of Performability Models Based on .. (context) - Sanders - 1988
23 The BACK Algorithm for Sequential Test Generation (context) - Cheng - 1988
21 Quantifying the Cost of Providing Intrusion Tolerance in Gro.. - Ramasamy, Pandey et al. - 2002
19 Test Generation for Microprocessors (context) - Thatte, Abraham - 1980
16 The Concurrent Simulation of Nearly Identical Digital System.. (context) - Ulrich, Baker - 1973
16 atel, "E-PROOFS: A CMOS Bridging Fault Simulator (context) - Greenstein - 1992
16 Towards Operational Measures of Computer Security - Littlewood, Brocklehurst et al. - 1993
16 Reducing Test Application Time for Full Scan Embedded Cores - Hamzaoglu, Patel - 1999
14 NFTAPE: A Framework for Assessing Dependability in Distribut.. - Stott, Floering et al. - 2000
14 Fault Detection Capabilities of Alternating Logic (context) - Reynolds, Metze - 1978
14 Fault Equivalence in Combinational Logic Networks (context) - McCluskey, Clegg - 1971
13 Transparent Runtime Randomization for Security (context) - Xu, Kalbarczyk et al. - 2003
13 Integrated Frameworks for Multi-Level and Multi-Formalism Mo.. (context) - Sanders - 1999
13 RENEW: A Tool for Fast and Efficient Implementation of Check.. - Neves, Fuchs - 1998
12 Efficient Spare Allocation in Reconfigurable Arrays (context) - Kuo, Fuchs - 1987
12 Coordinated Checkpointing Without Direct Coordination - Neves, Fuchs - 1998
12 An Effective Test Generation System for Sequential Circuits (context) - Marlett - 1986
12 Fast and Accurate CMOS Bridging Fault Simulation (context) - Rearick, Patel - 1993
12 Strongly Fault-Secure Logic Networks (context) - Smith, Metze - 1978
11 Intrusion-tolerant Enclaves - Dutertre, Crettaz et al. - 2002
11 Two-stage Fault Location (context) - Ryan, Rawat et al. - 1991
11 A March Test for Functional Faults in Semiconductor Random A.. (context) - Suk, Reddy - 1981
11 Fault Injection Based on a Partial View of the Global State .. (context) - Cukier, Chandra et al. - 1999
11 Fault-Tolerant FFT Networks (context) - Jou, Abraham - 1985
10 Stochastic Activity Networks: Formal Definitions and Concept.. - Sanders, Meyer
10 an Improved Diagnosis Program (context) - Seshu - 1965
10 Concurrent Error Detection in ALUs by Recomputing with Shift.. (context) - Patel, Fung - 1982
8 Experimental Evaluation of the Unavailability Induced by a G.. - Joshi, Cukier et al. - 2002
8 A New Methodology for Calculating Distributions of Reward Ac.. - Qureshi, Sanders - 1996
8 An Adaptive Algorithm for Tolerating Value Faults and Crash .. - Ren, Cukier et al. - 2001
8 Bounds on Algorithm-Based Fault Tolerance in Multiple Proces.. (context) - Banerjee, Abraham - 1986
8 Transient Solution of Markov Models by Combining Adaptive & .. - van Moorsel, Sanders - 1997
7 Probabilistic Validation of an Intrusion-Tolerant Replicatio.. - Singh, Cukier et al.
7 Loki: A State-Driven Fault Injector for Distributed Systems - Chandra, Lefever et al.
7 The Diagnosis of Asynchronous Sequential Switching Systems (context) - Seshu, Freeman - 1962
7 System-Level Fault Diagnosis (context) - Friedman, Simoncini - 1980
7 A Case Study on the Implementation of the Illinois Scan Arch.. (context) - Hsu, Butler et al. - 2001
6 Symbolic State-space Exploration and Numerical Analysis of S.. - Derisavi, Kemper et al. - 2003
6 Symbolic State-space Exploration and Numerical Analysis of S.. - Derisavi, Kemper et al.
6 Fault Diagnosis of Digital Systems (context) - Chang, Manning et al. - 1970
6 Dynamic Node Management and Measure Estimation in a State-Dr.. - Chandra, Cukier et al. - 2000
6 Fault-Tolerant Matrix Operations on Multiple Processor Syste.. (context) - Jou, Abraham - 1984
5 An Initial Foray into Understanding Adversary Planning and C.. (context) - Lowry - 2001
5 Concurrent Error Detection in Multiply and Divide Arrays (context) - Patel, Fung - 1983
5 Effect of System Workload on Operating System Reliability: A.. (context) - Iyer, Rossetti - 1985
5 Design of Dynamically Checked Computers (context) - Carter, Schneider - 1968
5 Stress-based and Pathbased Fault Injection (context) - Tsai, Hsueh et al. - 1999
5 AQuA: A Framework for Providing Adaptive Fault Tolerance to .. - Ren - 2001
5 Implementing a Stochastic Process Algebra within the Mbius M.. - Clark, Sanders
5 Characterization of Linux Kernel Behavior under Errors (context) - Gu, Kalbarczyk et al. - 2003
5 Probabilistic Validation of Intrusion Tolerance (context) - Sanders, Cukier et al.
4 Fault Dictionary Compaction by Output Sequence Removal - Boppana, Fuchs - 1994
4 Efficient Simulation of Hierarchical Stochastic Activity Net.. - Sanders, Freire - 1993
4 Low-Cost Schemes for Fault Tolerance in Matrix Operations wi.. (context) - Huang, Abraham - 1982
4 Dependability and Performance Evaluation of Intrusion-Tolera.. - Gupta, Lam et al.
4 The Mbius Modeling Tool (context) - Clark, Courtney et al. - 2001
4 Fault Folding for Irredundant and Redundant Combinational Ci.. (context) - To - 1973
4 An Environment for Importance Sampling Based on Stochastic A.. - Sanders
4 Algorithm-Based Fault Tolerance for Parallel Matrix Equation.. (context) - Luk - 1985
4 Reliability of Scrubbing Recovery Techniques for Memory Syst.. (context) - Saleh, Serrano et al. - 1990
4 An Experimental Study of Security Vulnerabilities Caused by .. - Xu, Chen et al. - 2001
4 Design of Totally Self-Checking Circuits for m-out-of-n Code.. (context) - Anderson, Metze - 1973
4 Networked Windows NT System Filed Failure Data Analysis (context) - Xu, Kalbarczyk et al. - 1999
3 An Adaptive Quality of Service Aware Middleware for Replicat.. - Krishnamurthy - 2002
3 Efficient Algorithms for Testing Semiconductor Random-Access.. (context) - Nair, Thatte et al. - 1978
3 Construction and Solution of Markov Reward Models (context) - Qureshi - 1996
3 An Adaptive Quality of Service Aware Middleware for Replicat.. - Krishnamurthy, Sanders et al. - 2003
3 Testing of Semiconductor Random Access Memories (context) - Thatte, Abraham - 1977
3 An Efficient Two-Stage Iterative Method for the SteadyState .. - Malhis, Sanders - 1996
3 Fault-Tolerant Algorithms and their Applications to Solving .. (context) - Huang, Abraham - 1984
3 The Design of Totally Self-Checking Combinational Circuits (context) - Smith - 1976
3 The Mbius Framework and Its Implementation (context) - Deavours, Clark et al. - 2002
3 Result Specification and Model Connection in the Mbius Model.. (context) - Christensen - 2000
3 Providing Intrusion Tolerance with ITUA (context) - Courtney, Lyons et al.
2 The Effects of an ARMOR-Based SIFT Environment on the Perfor.. (context) - Whisnant, Iyer et al. - 2004
2 A Structured Path-Based Approach for Computing Transient Rew.. - Lam, Buchholz et al.
2 Memory System Design for Tolerating Single-Event Upsets (context) - Abraham, Davidson et al. - 1983
2 Hierarchical Error Detection in a SIFT Environment (context) - Bagchi - 2000
2 A NAND Model for Fault Diagnosis in Combinational Logic Netw.. (context) - Hayes - 1971
2 A New Representation for Faults in Combinational Digital Cir.. (context) - Schertz, Metze - 1972
2 Diagnosis and Repair of Memory with Coupling Faults (context) - Chang, Fuchs et al. - 1989
2 A Data-Driven Finite State Machine Model for Analyzing Secur.. (context) - Chen, Kalbarczyk et al. - 2003
2 A System Model for Reconfigurable Software (context) - Whisnant, Kalbarczyk et al. - 2003
2 A Minimum Test Set for Multiple-Fault Detection in Ripple-Ca.. (context) - Cheng, Patel - 1985
2 The Mbius State-level Abstract Functional Interface (context) - Derisavi, Kemper et al. - 2003
2 Fault-Tolerant HighPerformance Matrix Multiplication: Theory.. - Gunnels, Katz et al. - 2001
2 Mbius: Framework and Atomic Models (context) - Deavours, Sanders
2 On Necessary and Sufficient Conditions for Multiple Fault Un.. (context) - Smith - 1979
2 On Integrating the Mbius and Modest Modeling Tools (context) - Bohnenkamp, Courtney et al. - 2003
2 Testing of Bit-Serial Multipliers (context) - Davis, Kunda et al. - 1985
2 Validation of an Intrusion-Tolerant Information System Using.. (context) - Stevens - 2004
2 An Experimental Evaluation of Correlated Network Partitions .. - Lefever, Cukier et al. - 2003
2 Error Correction in Arithmetic Operations using Time Redunda.. (context) - Laha, Patel - 1983
2 Adaptive Uniformization - van Moorsel, Sanders - 1994
2 A Global-StateTriggered Fault Injector for Distributed Syste.. - Chandra, Lefever et al.
2 Fault-Secure Algorithms for Multiple Processor Systems (context) - Banerjee, Abraham - 1984
1 Review of Electronic Digital Computers (context) - Meagher, Nash et al. - 1952
1 Strongly Language Disjoint Checkers (context) - Jansch, Courtois - 1985
1 Design of Testable Structures Defined by Simple Loops (context) - Abraham, Gajski - 1981
1 An Architectural Framework for Providing Reliability and Sec.. (context) - Nakka, Xu et al. - 2004
1 Optimal Message Log Reclamation for Independent Checkpointin.. (context) - Wang, Fuchs - 1993
1 A Measurement-Based Model for Workload Dependency of CPU Err.. (context) - Iyer, Rossetti - 1986
1 Diagnostic Programs for the ILLIAC (context) - Wheeler, Robertson - 1953
1 Roving Diagnosis for High-Performance Digital Systems (context) - Abraham, Metze - 1978
1 Application of Compiler-Assisted Multiple Instruction Rollba.. (context) - Alewine, Fuchs et al. - 1993
1 Design of Self-Checking Digital Networks (context) - Anderson - 1971
1 A Framework for Database Audit and Control Flow Checking for.. (context) - Bagchi, Liu et al. - 2001
1 Characterization and Testing of Physical Failures in MOS Log.. (context) - Banerjee, Abraham - 1984
1 Diagnostic Test Generation for Sequential Circuits (context) - Hartanto, Boppana et al. - 1997
1 Correction of Errors in Data Transmission using Time Redunda.. (context) - Pollard, Patel - 1983
1 the Representation of Digital Faults (context) - Schertz - 1969
1 the Indistinguishability of Faults in Digital Systems (context) - Schertz, Metze - 1968
1 A Configurable CORBA Gateway for Providing Adaptable System .. - Seri, Courtney et al.
1 Architecture and Applications for a Distributed Embedded Fir.. (context) - Payne, Markham - 2001
1 Modeling and Evaluating the Security Threats of Transient Er.. (context) - Chen, Xu et al. - 2004
1 Formal Reasoning of Various Categories of Widely Exploited S.. (context) - Chen, Pattabiraman et al.
1 Development and Application of an Efficient Method for the S.. (context) - Malhis - 1996
1 On Computer Self-Diagnosis: Part I and II (context) - Manning - 1966
1 Concurrent Error Detection in Iterative Logic Arrays (context) - Cheng, Patel - 1984
1 the Design and Testing of Self-Diagnosable Computers (context) - Marlett - 1966
1 Multiple-Fault Detection in Iterative Logic Arrays (context) - Cheng, Patel - 1985
1 A Shortest Length Test Sequence for Sequential-Fault Detecti.. (context) - Cheng, Patel - 1985
1 Fault Latency in the Memory: An Experimental Study on VAX 11.. (context) - Chillarege, Iyer - 1986
1 Survival by Defense-Enabling - Pal, Webber et al.
1 The Logic Organizer and Diagnosis Programs (context) - Seshu - 1964
1 Reliability of Internet Hosts: A Case Study from End User's .. (context) - Kalyanakrishnam, Iyer et al. - 1996
1 Formal Verification of an IntrusionTolerant Group Membership.. - Ramasamy, Cukier et al. - 2003
1 A Multivalued Algebra for Modeling Physical Failures in MOS .. (context) - Banerjee, Abraham - 1985
1 An Approach for Bounding Reward Measures in Markov Models Us.. - Daly, Buchholz et al.
1 the Existence of Combinational Networks with Arbitrary Multi.. (context) - Smith, Metze - 1975
1 Formal Specification of the Mbius Modeling Framework (context) - Deavours - 2001
1 Multiple Fault Diagnosis in Combinational Networks (context) - Cha - 1974
1 Error Sensitivity of the Linux Kernel Executing on PowerPC G.. (context) - Gu, Kalbarczyk et al. - 2004
1 The Effect of System Workload on Error Latency: An Experimen.. (context) - Chillarege, Iyer - 1985
1 NFTAPE: Network Fault Tolerance and Performance Evaluator (context) - Stott, Jones et al. - 2002
1 Solution of Large-Sparse Stochastic Process Representations .. (context) - Tvedt - 1990
1 The Mbius Execution Policy (context) - Deavours, Sanders - 2001
1 the Design of Self-Checking Systems under Various Fault Mode.. (context) - Dussault - 1977
1 Checkpointing of Control Structures in Main Memory Database .. (context) - Wang, Kalbarczyk et al. - 2004
1 BART: A Bridging Fault Test Generator for Sequential Circuit.. (context) - Cusey, Patel - 1997
http://www.securityfocus.com
Documents on the same site (http://www.crhc.uiuc.edu/PERFORM/): More
A Structured Path-Based Approach for Computing Transient.. - Lam, Buchholz, Sanders (Correct)
Approximate Computation of Transient Results for Large Markov .. - Buchholz, Sanders (Correct)
CoBFIT: A Component-Based Framework for Intrusion Tolerance - Ramasamy, Agbaria, Sanders (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC