C.J. Walter

The MAFT architecture for distributed fault tolerance

R.M. Keichafer, C.J. Walter, Alan Finn et al. · IEEE Transactions on Computers · 1988 · 200 citations

Engineering, Executive Functions, Computer Architecture +22

Formally verified on-line diagnosis

C.J. Walter, Patrick Lincoln, Neeraj Suri · IEEE Transactions on Software Engineering · 1997 · 56 citations

Fault Diagnosis, Engineering, Verification +22

Synchronization issues in real-time systems

Neeraj Suri, M.M. Hugue, C.J. Walter · Proceedings of the IEEE · 1994 · 41 citations

Real-time System, Engineering, Real-time Algorithm +13

The customizable fault/error model for dependable distributed systems

C.J. Walter, Neeraj Suri · Theoretical Computer Science · 2002 · 29 citations

Reliability Engineering, Engineering, Customizable Fault/error Model +9

Evaluation and design of an ultra-reliable distributed architecture for fault tolerance

C.J. Walter · IEEE Transactions on Reliability · 1990 · 25 citations

Engineering, Computer Architecture, Fault Tolerance +24