Neil's Bibliography on
Fault-tolerant Systems
Security & Related Books
Security & Privacy Resources
Steganography & Digital Watermarking
Steganography Software Wiki (add your own)
Cryptography & Encryption
The Codebreakers
Research in Cryptography
Related Systems Issues
Red Tape & White Flags
Documents, News & Publications
Security Newsgroups
Security Tools & Archives
Organizations in Security & Privacy
Selected Bibliographies
Other Security Links
Neil's Page
JJTC Home Page
Hot Sites

  1. A Kuntzmann
    SMART: A System Designer Support Tool to Evaluate the Performance of Complex Fault-tolerant Systems
    SARSS'87: Achieving Safety and Reliability with Computer Systems, p. 242, Elsevier Applied Science, 1987.
     
  1. A Robin Sahner and S Kishor Trivedi
    A Hierarchical Combinatorial-Markov Method of Solving Complex Reliability Models
    Technical Report, Duke University, Number DUKE-TR--1986--14, January 1, 1986.
     
  1. A Robin Sahner and S Kishor Trivedi
    SPADE: A Tool for Performance and Reliability Evaluation
    Technical Report, Duke University, Number DUKE-TR--1984--15, January 1, 1984.
     
  1. A. Avizienis
    Application of Fault Tolerance Technology: Design of Fault-Tolerant Systems
    BM/C3 Algorithm and Processor Working Group Report, Rome Air Development Centre, Griffiss AFB, New York, 1989.
     
  1. A. D. Singh and S. Murugesan
    Fault-Tolerant Systems
    IEEE Computer, 23(7), pp. 15-18, IEEE Computer Society, July 1990.
     
  1. A. Goswami and M. Bell and M. Joseph
    ISL : An Interval Logic for the Specification of Real--Time Programs
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 1-20, Springer, January 1991.
     
  1. A. Goswami and M. Bell and M. Joseph
    ISL: An Interval Logic for the Specification of Real-time Programs
    Research Report, Department of Computer Science, University of Warwick, Number CS-RR-197, October 1991.
     
  1. A. Goswami and M. Bell and M. Joseph
    ISL: An Interval Logic for the Specification of Real-time Programs
    Technical Report, University of Warwick, Number CS-RR-197, October 1, 1991.
     
  1. A. Jeffrey
    Translating Timed Process Algebra into Prioritized Process Algebra
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 493-506, Springer, January 1991.
     
  1. A. Reibman
    Outage Times in Fault-Tolerant Systems
    Proceedings of the 22nd Annual International Symposium on Fault-Tolerant Computing (FTCS '92), pp. 458-462, IEEE Computer Society Press, July 1992.
     
  1. A. Znidarsic
    Mfm Based Diagnosis Of Technical Systems
    Informatica, 18(1), 1994.
     
  1. Abha Moitra and General Electric Company
    Voluntary Preemption: a Tool in the Design of Hard Real--Time Systems
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 87-106, Springer, January 1991.
     
  1. Adit D. Singh and Singaravel Murugesan
    Guest Editors' Introduction: Fault-Tolerant Systems
    Computer, 23(7), pp. 15-17, July 1990.
     
  1. Algirdas Avizienis
    Fault-tolerant systems
    IEEE Transactions on Computers, 25(12), pp. 1304-1312, December 1976.
     
  1. Algirdas Avizienis
    Toward Systematic Design of Fault-Tolerant Systems
    Computer, 30(4), pp. 51-58, April 1997.
     
  1. Analysis of a computer performance reliability measure for fault-tolerant systems, 1987.
  1. Andrew L. Reibman and Malathi Veeraraghavan
    Reliability Modeling: An Overview for System Designers
    Computer, 24(4), pp. 49-57, April 1991.
     
  1. Anish Arora and Mohamed G. Gouda and George Varghese
    Constraint satisfaction as a basis for designing nonmasking fault-tolerant systems
    Journal of High Speed Networks, 5(3), pp. 293-306, 1996.
     
  1. Anish Arora and Mohamed G. Gouda
    Closure and Convergence: A Foundation of Fault-Tolerant Computing
    Technical Report, University of Texas, Austin, Number CS-TR-92-31, July 1, 1992.
     
  1. B Joanne Dugan and S Kishor Trivedi
    Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems
    Technical Report, Duke University, Number DUKE-TR--1986--32, January 1, 1986.
     
  1. B. Buth and J. Peleska and H. Shi
    Combining Methods for the Livelock Analysis of a Fault-Tolerant System
    Lecture Notes in Computer Science, Vol. 1548, pp. 124-139, 1999.
     
  1. B. Buth and M. Kouvaras and J. Peleska and H. Shi
    Deadlock analysis for a fault-tolerant system
    Lecture Notes in Computer Science, Vol. 1349, p. 60, 1997.
     
  1. B. Deylon and O. Maler
    On Fault--Tolerant Symbolic Computations
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 259-270, Springer, January 1991.
     
  1. B. E. Aupperle and J. F. Meyer and L. Wei
    Evaluation of Fault-Tolerant Systems with Nonhomogeneous Workloads
    International Symposium on Fault-Tolerant Computing (FTCS '89, pp. 159-166, IEEE Computer Society Press, June 1989.
     
  1. B. L. Di Vito and R. W. Butler
    Formal Techniques for Synchronized Fault-Tolerant Systems
    Dependable Computing for Critical Applications---3, Dependable Computing and Fault-Tolerant Systems, Vol. 8, pp. 163-188, Springer-Verlag, Vienna, Austria, September 1992.
     
  1. B. R. Iyer and L. Donatiello and P. Heidelberger
    Analysis of performability for stochastic models of fault-tolerant systems
    IEEE Transactions on Computers, Vol. C-35, Number 10, pp. 2-907, 1986.
     
  1. B. Vinnakota and N. K. Jha
    A Dependence Graph-Based Approach to the Design of Algorithm-Based Fault-Tolerant Systems
    Proceedings of the 20th International Symposium on Fault-Tolerant Computing (FTCS '90), pp. 122-129, IEEE Computer Society Press, June 1990.
     
  1. B. Vinnakota and N. K. Jha
    Design of multiprocessor systems for concurrent error detection and fault diagnosis
    21st Int. Symp. on Fault-Tolerant Computing (FTCS-21), pp. 504-11, IEEE Computer Society Press, 1991.
     
  1. Bapiraju Vinnakota and Niraj K. Jha
    Synthesis of algorithm-based fault-tolerant systems from dependence graphs
    IEEE Transactions on Parallel and Distributed Systems, 4(8), pp. 864-874, August 1993.
     
  1. Barry W. Johnson and Julia Pet-Edwards and Andrew J. Schwab
    Conditional expectations in the evaluation of fault-tolerant systems
    Reliability and Maintainability Symposium, pp. 242-247, 1991.
     
  1. Belfore and Johnson and Aylor
    The Design of Inherently Fault-Tolerant Systems
    Tewksbury & Dickinson & Schwartz (eds.), Concurrent Computations: Algorithms, Architecture, and Technology Plenum Press, New York",, 1988.
     
  1. C. Hennebert and G. Guiho
    SACEM: A Fault-Tolerant System for Train Speed Control
    Proceedings of the 23rd Annual International Symposium on Fault-Tolerant Computing (FTCS '93), pp. 624-629, IEEE Computer Society Press, June 1993.
     
  1. C. J. Fidge
    Specification and Verification of Real--Time Behaviour Using Z and RTL
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 393-410, Springer, January 1991.
     
  1. C. M. Krishna and A. D. Singh
    Modelling Correlated Transient Failures in Fault-Tolerant Systems
    International Symposium on Fault-Tolerant Computing (FTCS '89, pp. 374-381, IEEE Computer Society Press, June 1989.
     
  1. C. Seguin and V. Wiels
    Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems
    Lecture Notes in Computer Science, Vol. 1051, p. 347, 1996.
     
  1. C. Seguin and V. Wiels
    Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems
    FME '96: Industrial Benefit and Advances in Formal Methods, Lecture Notes in Computer Science, Vol. 1051, pp. 347-366, Springer-Verlag, 1996.
     
  1. Carsta Petersohn and Jan Peleska and Cornelis Huizing and Willem-Paul de Roever
    Formal Semantics for Ward
    & Mellor's TRANSFORMATION SCHEMA's and its Application to Fault-Tolerant Systems
    Technical Report, Technical University of Munich, Number Sep26-28, September 26, 1995.
     
  1. Chris J. Walter and Patrick Lincoln and Neeraj Suri
    Formally Verified On-Line Diagnosis
    IEEE Transactions on Software Engineering, 23(11), pp. 684-721, November 1997.
     
  1. Christof Fetzer and Flaviu Cristian
    On the possibility of consensus in asynchronous systems
    Proceedings of the 1995 Pacific Rim International Symposium on Fault-Tolerant Systems, December 1995.
     
  1. D. Brière and P. Traverse
    AIRBUS A320/A330/A340 Electrical Flight Controls - A Family of Fault-Tolerant Systems
    23rd Int. Conf. on Fault-Tolerant Computing (FTCS-23), pp. 616-623, IEEE Computer Society Press, 1993.
     
  1. D. Brière and P. Traverse
    AlRBUS A320/A330/A340 Electrical Flight Controls - A Family of Fault-Tolerant Systems
    Proceedings of the 23rd Annual International Symposium on Fault-Tolerant Computing (FTCS '93), pp. 616-623, IEEE Computer Society Press, June 1993.
     
  1. D. J. Scholefield and H. S. M. Zedan
    TAM: A Formal Framework for the Development of Distributed Real--Time Systems
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 411-428, Springer, January 1991.
     
  1. D. Murphy and D. Pitt
    Real--Timed Concurrent Refineable Behaviours
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 529-546, Springer, January 1991.
     
  1. D. Pilaud and N. Halbwachs
    From a Synchronous Declarative Language to a Temporal Logic Dealing with Multfform Time
    Proceedings of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 331, pp. 99-110, Springer, September 1988.
     
  1. D'Argenio and Brinksma
    A Calculus for Timed Automata
    FTRTFTS: Formal Techniques in Real-Time and Fault-Tolerant Systems: International Symposium Organized Jointly with the Working Group Provably Correct Systems -- ProCoS, LNCS, Springer-Verlag, 1996.
     
  1. David Powell and Michel Cukier and Jean Arlat and Yves Crouzet
    Estimation of Time-Dependent Coverage
    Research Report, LAAS-CNRS, p. 20, December 4, 1996.
     
  1. Eduardo Sanchez and Marco Tomassini (eds.)
    Towards evolvable hardware: the evolutionary engineering approach
    Towards evolvable hardware: the evolutionary engineering approach, Lecture Notes in Computer Science, Vol. 1062, p. vii + 265, Springer-Verlag Inc., 1996.
     
  1. Eric Jenn and Jean Arlat  and Marcus Rimen and Joakim Ohlsson and Johan Karlsson
    Fault Injection into VHDL Models: The MEFISTO Tool
    In Proceedings of the 24th International Symposium on Fault Tolerant Computing, (FTCS-24), IEEE, Austin Texas, USA, pp. 66-75",, 1994.
     
  1. Ernst J. Schmitter and Peter Baues
    The Basic Fault-Tolerant System
    IEEE Micro, 4(1), pp. 66-74, February 1984.
     
  1. F V Nicola and G V Kulkarni and S K Trivedi
    Queueing Analysis of Fault-Tolerant Computer Systems
    Technical Report, Duke University, Number DUKE-TR--1985--24, January 1, 1985.
     
  1. F Victor Nicola
    Performance, Reliability and Queueing Analysis of Fault-Tolerant Computer Systems
    Technical Report, Duke University, Number DUKE-TR--1986--23, January 1, 1986.
     
  1. F. Belli and K. E. Grosspietsch
    Specification of fault-tolerant system issues by predicate/transition nets and regular expressions
    IEEE Transactions on Software Engineering, 17(6), pp. 513-526, 1991.
     
  1. F. de Boer and J. Hooman
    The Real--Time Behaviour of Asynchronously Communicating Processes
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 451-472, Springer, January 1991.
     
  1. F. Pedone and R. Guerraoui
    On Transaction Liveness in Replicated Databases
    Proceedings of IEEE Pacific Rim International Symposium on Fault-Tolerant Systems (PRFTS'97), December 1997.
     
  1. F. Pedone and R. Guerraoui
    On Transaction Liveness in Replicated Databases
    Proceedings of IEEE Pacific Rime International Symposium on Fault-Tolerant Systems (PRFTS'97), December 1997.
     
  1. Felix C. Gärtner
    Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification
    Journal of Universal Computer Science (J.UCS), 5(10), pp. 668-692, October 1999.
     
  1. Flaviu Cristian
    A Rigorous Approach to Fault-Tolerant System Development
    Proceedings of the Workshop on Logics of Programs, LNCS, Vol. 164, pp. 147-160, Springer, June 1983.
     
  1. Flaviu Cristian
    Correct and robust programs
    IEEE Transactions on Software Engineering, 10(2), March 1984.
     
  1. Frank H. Born and Joseph A. Caroli
    Fault-tolerant system evaluation using the Rome Laboratory REST software
    Reliability and Maintainability Symposium, pp. 462-468, 1993.
     
  1. Fred B. Schneider
    Byzantine Generals In Action: Implementing Fail-Stop Processors
    Technical Report, Cornell University, Computer Science Department, Number TR83-569, p. 17, August 1983.
     
  1. G. Alvarez and F. Christian
    Applying Simulation to the Design and Performance Evaluation of Fault-tolerant Systems
    Proceedings of The 16th Symposium on Reliable Distributed Systems (SRDS '97), pp. 35-42, IEEE, October 1997.
     
  1. G. Choi and R. Iyer and V. Carreno
    FOCUS: An Experimental Environment for Validation of Fault-Tolerant Systems Case Study of a Jet-Engine Controller
    International Conference on Computer Design, VLSI in Computers and Processors, pp. 561-565, IEEE Computer Society Press, October 1989.
     
  1. G. H. MacEwen and D. B. Skillicorn
    Using Higher-order Logic for Modular Specification of Real-time Distributed Systems
    Proceedings of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 331, pp. 36-66, Springer, September 1988.
     
  1. G. Pappalardo and S. K. Shrivastava
    A Formal Treatment of Interference in Remote Procedure Calis
    Proceedings of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 331, pp. 209-227, Springer, September 1988.
     
  1. Gianfranco Ciardo and Raymond Marie and Bruno Sericola and Kishor Trivedi.
    Performability Analysis Using Semi-Markov Reward Processes
    Technical Report, Department of Computer Science, Duke University, Number Technical report DUKE-TR--1988--09, 1988.
     
  1. Gianfranco Ciardo and Raymond Marie and Bruno Sericola and Kishor Trivedi
    Performability Analysis Using Semi-Markov Reward Processes
    Technical Report, Duke University, Number DUKE-TR--1988--09, January 1, 1988.
     
  1. H. H. Amer and E. J. McCluskey
    Weighted Coverage in Fault-Tolerant Systems
    Proc. Annual Reliability and Maintainability Symp., pp. 187-191, IEEE Computer Society Press, 1987.
     
  1. H. Kopetz and G. Grünstel and J. Reisinger
    Fault-Tolerant Membership in a Synchronous Distributed Real-Time System
    Dependable Computing for Critical Applications, Dependable Computing and Fault-Tolerant Systems, pp. 411-429, Springer-Verlag, 1991.
     
  1. H. Langmaack and W.-P. de Roever and J. Vytopil (eds.)
    Proceedings of the Third International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'94), \rm Lübeck Germany, September 1994",
    Proceedings of the Third International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'94), \rm Lübeck Germany, September 1994",, Lecture Notes in Computer Science, Vol. 863, Springer-Verlag, 1994.
     
  1. H. Toetenel and J. van Katwijk
    Stepwise Development of Model--Oriented Real--Time Specifications from Action/Event Models
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 547-570, Springer, January 1991.
     
  1. H. Wupper and J. Vytopi
    A Specification Language for Reliable Real-time Systems
    Proceedings of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 331, pp. 111-127, Springer, September 1988.
     
  1. I. Lee and A. Zwarico
    Timed Acceptances: A Model of Time Dependent Processes
    Proceedings of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 331, pp. 128-130, Springer, September 1988.
     
  1. IV. Babcock and Philip S. and Gene Rosch and Jeffrey J. Zinchuk
    An automated environment for optimizing the design of fault-tolerant systems
    Reliability and Maintainability Symposium, pp. 360-367, 1991.
     
  1. J Salvatore Bavuso and B Joanne Dugan and Kishor Trivedi and Beth Rothmann and Mark Boyd
    Applications of the Hybrid Automated Reliability Predictor
    Technical Report, Duke University, Number DUKE-TR--1987--22, January 1, 1987.
     
  1. J Salvatore Bavuso and B Joanne Dugan and S Kishor Trivedi and M Elizabeth Rothmann and Earl W Smith
    Analysis of Typical Fault-Tolerant Architectures using HARP
    Technical Report, Duke University, Number DUKE-TR--1986--18, January 1, 1986.
     
  1. J. A. McDermid and G. Morgan
    Low Level Synchronisation Problems in Distributed Systems
    Proc. Workshop on Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988.
     
  1. J. A. McDermid and G. Morgan
    Low Lovel Synchronisation Problems in Digital Systems
    Proceedings of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 331, pp. 139-141, Springer, September 1988.
     
  1. J. A. Plaice
    RLucid, a General Real--Time Dataflow Language
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 363-374, Springer, January 1991.
     
  1. J. A. Smith and S. K. Shrivastava
    Fault-Tolerant Execution of Computationally and Storage Intensive Parallel Programs Over a Network of Workstations: A Case Study
    Technical Report, ESPRIT Basic Research Project BROADCAST, Number BROADCAST#TR95-103, p. 20, June 1995.
     
  1. J. Arlat and A. Costes and Y. Crouzet and J.-C. Laprie and D. Powell
    Fault Injection and Dependability Evaluation of Fault-Tolerant Systems
    Technical Report, LAAS-CNRS, Number 91260, 1991.
     
  1. J. Arlat and K. Kanoun and J.-C. Laprie
    Dependability Modeling and Evaluation of Software Fault-Tolerant Systems
    IEEE Transactions on Computers, 39(4), pp. 504-513, IEEE Computer Society, April 1990.
     
  1. J. Arlat and K. Kanoun and J-C. Laprie
    Dependability Modelling and Evaluation of Software Fault-Tolerant Systems
    IEEE Trans. on Computers, 39(4), pp. 504-513, 1990.
     
  1. J. B. Dugan and S. J. Bavuso and M. A. Boyd
    Modeling Advanced Fault-Tolerant Systems with HARP
    1991 Annual Reliability and Maintainability Symposium, pp. 1-25, 1991.
     
  1. J. Bartlett and J. Gray and B. Horst
    Fault Tolerance in Tandem Computer Systems
    The Evolution of Fault-Tolerant Systems, Dependable Computing and Fault-Tolerant Systems, pp. 55-76, Springer-Verlag, 1987.
     
  1. J. Bechta Dugan and K. S. Trivedi
    Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems
    IEEE Transactions on Computers, 38(6), pp. 775-787, IEEE Computer Society, June 1989.
     
  1. J. C. M. Baeten and J. A. Bergstra
    Asynchronous Communication in Real Space Process Algebra
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 473-492, Springer, January 1991.
     
  1. J. Coenen and J. Hooman
    A Compositional Semantics for Fault--Tolerant Real--Time Systems
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 33-52, Springer, January 1991.
     
  1. J. Coenen
    Top-Down Development of Layered Fault-Tolerant Systems and Its Problems---A Deoptic Perspective
    Annalss of Mathematics and Artificial Intelligence, Vol. 9, Number 1-2, pp. 133-150, 1993.
     
  1. J. Davies and D. Jackson and S. Schneider
    Broadcast Communication for Real--Time Processes
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 149-170, Springer, January 1991.
     
  1. J. Goldberg and R. J. Stroud
    Adaptive Fault-Tolerant Systems and Reflective Architectures
    Lecture Notes in Computer Science, Vol. 1357, p. 80, 1998.
     
  1. J. H. Slye and E. N. Elnozahy
    Supporting Nondeterministic Execution in Fault-Tolerant Systems
    Proceedings of the Twenty-Sixth International Symposium on Fault-Tolerant Computing, pp. 250-261, IEEE, June 25-27 1996.
     
  1. J. Jaray
    Timed Specifications for the Development of Real-time Systems
    Proceedings of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 331, pp. 67-83, Springer, September 1988.
     
  1. J. P. Shen Kent Wilken
    Concurrent Error Detection Using Signature Monitoring and Encryption
    Dependable computing and fault-tolerant systems, Vol. 4, pp. 365-384, Springer New York, Wien, 1991.
     
  1. J. Rushby
    Formal Specification and Verification of a Fault--Masking and Transient--Recovery Model for Digital Flight--Control Systems
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 237-258, Springer, January 1991.
     
  1. J. Sifakis
    Realization of Fault-Tolerant Systems by Coding Petri Nets
    J. Design Automat. Fault-Tolerant Comput., 3(2), 1979.
     
  1. J. Standeven and M. J. Colley
    Hardware voting of transputers in real-time nMR fault-tolerant systems
    Transputer Research and Applications 3, pp. 119-128, IOS Press, 1990.
     
  1. Jack Goldberg and Robert J. Stroud
    Adaptive Fault-Tolerant Systems and Reflective Architectures
    Object-Oriented Technology: ECOOP'97 Workshop Reader, Lecture Notes in Computer Science, Vol. 1357, pp. 80-88, Springer, 1997.
     
  1. Jan Vyptopil (ed.)
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems
    , LNCS, Vol. 571, Springer, January 1991.
     
  1. Jean Arlat and Alain Costes and Yves Crouzet and Jean-Claude Laprie and David Powell
    Fault Injection and Dependability Evaluation of Fault-Tolerant Systems
    Research Report, LAAS-CNRS, p. 21, January 1992.
     
  1. Joanne B. Dugan and Kishor S. Trivedi.
    Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems
    Technical Report, Department of Computer Science, Duke University, Number Technical report DUKE-TR--1986--32, 1986.
     
  1. João Carreira and Henrique Madeira and João Gabriel Silva
    Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers
    IEEE Transactions on Software Engineering, 24(2), pp. 125-136, February 1998.
     
  1. John H. Wensley and M. W. Green and Karl N. Levitt and Robert E. Shostak
    The design, analysis, and verification of the SIFT fault-tolerant system
    Proceedings of the 2nd International Conference on Software Engineering, pp. 458-469, IEEE Computer Society Press, 1976.
     
  1. John Rushby
    Critical System Properties: Survey and Taxonomy
    Reliability Engineering and System Safety, 43(2), pp. 189-219, 1994.
     
  1. John Rushby
    Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
    IEEE Transactions on Software Engineering, 25(5), pp. 651-660, September / oct 1999.
     
  1. K. C. Yang and J. Yuh and S. K. Choi
    Experimental Study of Fault-Tolerant System Design for Underwater Robots
    Proceedings of the IEEE International Conference on Robotics and Automation (ICRA-98), pp. 1051-1056, IEEE Computer Society, May 16-20 1998.
     
  1. K. D. Heidtmann
    Temporal Logic Applied to Reliability Modelling of Fault-Tolerant Systems
    Formal Techniques in Real-Time and Fault-Tolerant Systems 2nd International Symposium, LNCS, Vol. 571, pp. 271-290, Springer-Verlag, 1992.
     
  1. K. D. Heidtmann
    Temporal Logic Applied to Reliability Modelling of Fault-Tolerant Systems
    Lecture Notes in Computer Science, Vol. 571, p. 271, 1991.
     
  1. K. D. Heidtmann
    Temporal Logic Applied to Reliability Modelling of Fault--Tolerant Systems
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 271-290, Springer, January 1991.
     
  1. K. S. Trivedi and Joanne B. Dugan and Robert Geist and Mark Smotherman.
    Issues in Reliability Modeling of Fault-Tolerant Systems
    Technical Report, Department of Computer Science, Duke University, Number Technical report DUKE-TR--1984--01, 1984.
     
  1. K. S. Trivedi and Joanne B. Dugan.
    Computer-aided Reliability Analysis of Fault-Tolerant Systems
    Technical Report, Department of Computer Science, Duke University, Number Technical report DUKE-TR--1987--18, 1987.
     
  1. K. S. Trivedi
    Reliability Evaluation for Fault-Tolerant Systems
    Mathematical Computer Performance and Reliability, pp. 403-414, North-Holland, 1984.
     
  1. K. T. Narayana
    Observing Task Preemption in Ada 9X
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 107-130, Springer, January 1991.
     
  1. Kirsten M. Hansen and Anders P. Ravn and Victoria Stavridou
    From Safety Analysis to Software Requirements
    IEEE Transactions on Software Engineering, 24(7), pp. 573-584, July 1998.
     
  1. Kishor S. Trivedi.
    Modeling and Analysis of Fault-Tolerant Systems
    Technical Report, Department of Computer Science, Duke University, Number Technical report DUKE-TR--1984--09, 1984.
     
  1. L. Breveglieri and A. Cherubini and S. Crespi-Reghizzi
    Real--Time Scheduling by Queue Automata
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 131-148, Springer, January 1991.
     
  1. L. Lamport and S. Merz
    Specifying and Verifying Fault-Tolerant Systems
    Lecture Notes in Computer Science, Vol. 863, p. 41, 1994.
     
  1. L. V. Mancini and G. Pappalardo
    Towards a Theory of Replicated Processing
    Proceedings of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 331, pp. 175-192, Springer, September 1988.
     
  1. L. Y. Liu and R. K. Shyamasundar
    Static Analysis of Real-time Distributed Systems
    Proceedings of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 331, pp. 134-138, Springer, September 1988.
     
  1. Leslie Lamport and Stephan Merz
    Specifying and Verifying Fault-Tolerant Systems
    Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science, Vol. 863, pp. 41-76, Springer-Verlag, September 1994.
     
  1. Lorenzo Donatiello and Balakrishna R. Iyer
    Analysis of a Composite Performance Reliability Measure for Fault-Tolerant Systems
    Journal of the ACM, 34(1), pp. 179-199, January 1987.
     
  1. Lorenzo Donatiello and Balakrishna R. Iyer
    Analysis of a Composite Performance Reliability Measure for Fault-Tolerant Systems
    Journal of the ACM, 34(1), pp. 179-199, January 1987.
     
  1. M. A. Hiltunen and R. D. Schlichting
    A Model for Adaptive Fault-Tolerant Systems
    Lecture Notes in Computer Science, Vol. 852, p. 3, 1994.
     
  1. M. J. Fischer and L. D. Zuck
    Reasoning about Uncertainty in Fault-tolerant Distributed Systems
    Proceedings of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 331, pp. 142-158, Springer, September 1988.
     
  1. M. J. Iacoponi and S. F. McDonald
    Distributed reconfiguration and recovery in the advanced architec ture on-board processor
    21st Int. Symp. on Fault-Tolerant Computing (FTCS-21), pp. 436-43, IEEE Computer Society Press, 1991.
     
  1. M. Joseph (ed.)
    Formal techniques in real-time and fault-tolerant systems: proceedings of a symposium, Warwick, UK September 22--23, 1988",
    Formal techniques in real-time and fault-tolerant systems: proceedings of a symposium, Warwick, UK September 22--23, 1988",, Lecture Notes in Computer Science, Vol. 331, p. vi + 229, Springer-Verlag Inc., 1988.
     
  1. M. Joseph (ed.)
    Proceedings of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
    , LNCS, Vol. 331, Springer, September 1988.
     
  1. M. Richard and O. Roux
    An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 429-450, Springer, January 1991.
     
  1. M. Ruffin
    A Survey of Logging Uses
    Technical Report, ESPRIT Basic Research Project BROADCAST, Number BROADCAST#TR94-36, October 1994.
     
  1. M. Wiebel and S. Johnson
    The five levels of RAID (discrete event simulation)
    Dr. Dobb's Journal of Software Tools, 17(1), p. 24, 26, 28, 30, 78-80, January 1992.
     
  1. Manish Malhotra
    Specification and Solution of Dependability Models of Fault-tolerant Systems
    Technical Report, Duke University, Number DUKE-TR--1993--12, January 1, 1993.
     
  1. Marcus Rimen and Joakim Ohlsson and Johan Karlsson
    Experimental Evaluation of Control Flow Errors
    to appear in Proc. 1995 Pacific Rim International Symposium on Fault-Tolerant Systems (PRFTS-95), Newport Beach, CA, USA, December, 1995.
     
  1. Mark Smotherman and Kishor Trivedi
    A Methodology of Simple Models
    Technical Report, Duke University, Number DUKE-TR--1985--02, January 1, 1985.
     
  1. Mark Smotherman and Kishor Trivedi.
    A Methodology of Simple Models
    Technical Report, Department of Computer Science, Duke University, Number Technical report DUKE-TR--1985--02, 1985.
     
  1. Mats Daniels
    Modelling Real--Time Behaviour with an Interval Time Calculus
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 53-72, Springer, January 1991.
     
  1. Matti A. Hiltunen and Richard D. Schlichting
    Adaptive distributed and fault-tolerant systems
    International Journal of Computer Systems Science and Engineering, 11(5), pp. 275-285, September 1996.
     
  1. Matti A. Hiltunen
    Configurable Fault-Tolerant Distributed Services
    Technical Report, The Department of Computer Science, University of Arizona, Number TR96-12, Date issued.
     
  1. Matti A. Hiltunen
    Configurable Fault-Tolerant Distributed Services
    Technical Report, University of Arizona, Department of Computer Science, Number TR96-12.
     
  1. Maurice P. Herlihy and Jeannette M. Wing
    Reasoning about Atomic Objects
    Proceedings of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science, Vol. 331, pp. 193-208, Springer-Verlag, September 1988.
     
  1. Mei and Igarashi and Shimizu
    Efficient Broadcasting on Faulty Star Networks
    FTRTFTS: Formal Techniques in Real-Time and Fault-Tolerant Systems: International Symposium Organized Jointly with the Working Group Provably Correct Systems -- ProCoS, LNCS, Springer-Verlag, 1996.
     
  1. Michael K. Reiter and Kenneth P. Birman and Robbert van Renesse
    A Security Architecture for Fault-Tolerant Systems
    ACM Transactions on Computer Systems, 12(4), pp. 340-371, November 1994.
     
  1. Michael K. Reiter
    A Security Architecture for Fault-Tolerant Systems
    Technical Report, Cornell University, Computer Science Department, Number TR93-1367, p. 118, July 1993.
     
  1. Michael Reiter and Kenneth Birman and Robbert van Renesse
    A Security Architecture for Fault-Tolerant Systems
    TOCS, 12(4), pp. 340-371, November 1994.
     
  1. Michael von der Beeck
    A Comparison of Statecharts Variants
    Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science, Vol. 863, pp. 128-148, Springer-Verlag, 1994.
     
  1. N. Shankar
    Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 217-236, Springer, January 1991.
     
  1. N. Soundararajan and R. L. Costello
    Responsive Sequential Processes
    Proceedings of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 331, pp. 131-133, Springer, September 1988.
     
  1. N. Suri and M. M. Hugue and C. J. Walter
    Reliability Modeling of Large Fault-Tolerant Systems
    Proceedings of the 22nd Annual International Symposium on Fault-Tolerant Computing (FTCS '92), pp. 212-220, IEEE Computer Society Press, July 1992.
     
  1. O. Babaoglu and P. Stephenson and R. Drummond
    Reliable broadcasts and communication models: tradeoffs and lower bounds
    Distributed Computing, 2(4), pp. 177-189, Springer International, 1988.
     
  1. Odile Millet
    Multicycles and RTL Logic Satisfiability
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 73-86, Springer, January 1991.
     
  1. Olof Bridal
    A Methodology for Reliability Analysis of Fault-Tolerant Systems with Repairable Subsystems
    2nd IMA Conference on the Mathematics of Dependable Systems, York, UK, Sept 4-6, 1995.
     
  1. Olof Bridal
    Reliability Estimates for Repairable Fault-Tolerant Systems
    Nordic Seminar on Dependable Computing Systems Lyngby, Denmark",, 1994.
     
  1. Olof Bridal
    Reliability Evaluation of Some Basic Redundancy Configurations
    Technical Report, CTH, Dept. of Computer Engineering, Laboratory for Dependable Computing (LDC), Number 280, 1996.
     
  1. Olof Bridal
    Safety and Reliability Analysis of Repairable Fault-Tolerant Systems
    International Journal of Reliability, Quality and Safety Engineering (tentatively scheduled for the March 1997 issue).
     
  1. Ozalp Babaoglu and Rogerio Drummond
    Time-Communication Tradeoffs for Reliable Broadcast Protocols
    Technical Report, Cornell University, Computer Science Department, Number TR85-687, p. 22, June 1985.
     
  1. P. Ciompi and F. Grandoni and L. Simoncini and L. Strigini
    Open, Dependable Distributed Systems: The Delta-4 Approach
    Proc. 11th Int. Conf. on Fault-Tolerant Systems and Diagnostics, pp. 362-367, 1988.
     
  1. P. Coesmans and M. J. Wieczorek
    Formal Specification of Fault--Tolerant Real--Time Systems Using Minimal 3--Sorted Modal Logic
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 571-590, Springer, January 1991.
     
  1. P. Dillien and I. Phillips
    ASIC design flexibility with ERAs
    Electronic Product Design, 10(10), p. 29,31-32,34, October 1989.
     
  1. P. Krishnan and P. D. Mosses
    Specifying Asynchronous Transfer of Control
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 291-306, Springer, January 1991.
     
  1. P. Sens and B. Folliot
    STAR: A Fault-Tolerant System for Distributed Applications
    Symposium on Parallel and Distributed Systems (SPDP '93), pp. 656-660, IEEE Computer Society Press, December 1994.
     
  1. P. Thompson
    Globally-Connected Fault-Tolerant Systems
    Transputer and Occam Research : New Directions, pp. 11-24, IOS Press, 1993.
     
  1. Padmanabhan Krishnan and Peter D. Mosses
    Specifying Asynchronous Transfer of Control
    RTFT'92, Proc. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, Delft, Lecture Notes in Computer Science, Vol. 571, Springer-Verlag, 1992.
     
  1. Parameswaran Ramanathan and Kang G. Shin and Ricky W. Butler
    Fault-Tolerant Clock Synchronization in Distributed Systems
    Computer, 23(10), pp. 33-42, October 1990.
     
  1. Performability evaluation of multicomponent fault-tolerant systems, 1988.
  1. Peter Folkesson
    Experimental Validation of a Fault-Tolerant System Using Physical Fault Injection
    , Number 239L, 1996.
     
  1. Philip P. Shirvani and Edward J. McCluskey
    Fault-Tolerant Systems in A Space Environment: The CRC ARGOS Project
    Technical Report, Stanford University, Computer Systems Laboratory, Number CSL-TR-98-774, p. 39, December 1998.
     
  1. Philippe Joubert and Gerardo Rubino and Bruno Sericola
    Performability Analysis of Two Approaches to Fault Tolerance
    Technical Report, Inria, Institut National de Recherche en Informatique et en Automatique, Number RR-3009, p. 19 p..
     
  1. Proceedings of SOUTHEASTCON '94
     IEEE, 1994.
  1. R. Cardell-Oliver
    A Mechanized Theory for the Verification of Real--Time Program Code using Higher Order Logic
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 375-392, Springer, January 1991.
     
  1. R. Chillarege and R. Horst and D. P. Siewiorek and R. S. Swarz
    Challenges in Designing Fault-Tolerant Systems
    Fault Tolerant Computing, pp. 114-114, IEEE Computer Society Press, June 1991.
     
  1. R. D. Schlichting and F. B. Schneider and F. B.
    Fail-Stop Processors: An Approach to Designing Fault-Tolerant Systems
    ACM Trans. on Computer Sys., 1(3), p. 222, August 1983.
     
  1. R. de Lemos and A. Saeed and T. Anderson
    Analysis of Timeliness Requirements in Safety--Critical Systems
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 171-192, Springer, January 1991.
     
  1. R. Geist and M. Smotherman and R. Talley
    Modeling recovery time distributions in ultrareliable fault-tolerant systems
    20th Int. Symp. on Fault-Tolerant Computing Systems (FTCS-20), pp. 499-504, IEEE Computer Society Press, 1990.
     
  1. R. Geist and M. Smotherman and R. Talley
    Modeling Recovery Time Distributions in Ultrareliable Fault-Tolerant Systems
    Proceedings of the 20th International Symposium on Fault-Tolerant Computing (FTCS '90), p. 499, IEEE Computer Society Press, June 1990.
     
  1. R. Koymans and R. Kuiper and E. Zijlstra
    Paradigms for Real-time Systems
    Proceedings of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 331, pp. 159-174, Springer, September 1988.
     
  1. R. Kurki-Suonio and K. Systä and J. Vain
    Scheduling in Real--Time Models
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 327-340, Springer, January 1991.
     
  1. R. Nelson and A. N. Tantawi and D. Towsley
    The Order Statistics of the Sojourn Times of Customers that Form a Single Batch in the Mx/M/c Queue
    Technical Report, University of Massachusetts, Amherst, Computer Science, Number UM-CS-1991-005, August , 1989.
     
  1. Robert Geist and Kishor Trivedi
    Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques
    IEEE Computer, 23(7), pp. 52-61, 1990.
     
  1. Robin A. Sahner and Kishor S. Trivedi.
    A Hierarchical Combinatorial-Markov Method of Solving Complex Reliability Models
    Technical Report, Department of Computer Science, Duke University, Number Technical report DUKE-TR--1986--14, 1986.
     
  1. Robin A. Sahner and Kishor S. Trivedi.
    SPADE: A Tool for Performance and Reliability Evaluation
    Technical Report, Department of Computer Science, Duke University, Number Technical report DUKE-TR--1984--15, 1984.
     
  1. Rogerio Drummond
    Impact of Communciation Networks on Fault-Tolerant Distributed Computing
    Technical Report, Cornell University, Computer Science Department, Number TR86-748, p. 83, April 1986.
     
  1. Rong Chen and Tony P. Ng
    Building a Fault-Tolerant System Based on Mach
    Proceedings of the Worshop on Mach, pp. 157-168, USENIX Association, October 1990.
     
  1. S K Trivedi and B Joanne Dugan and Robert Geist and Mark Smotherman
    Issues in Reliability Modeling of Fault-Tolerant Systems
    Technical Report, Duke University, Number DUKE-TR--1984--01, January 1, 1984.
     
  1. S K Trivedi and B Joanne Dugan
    Computer-aided Reliability Analysis of Fault-Tolerant Systems
    Technical Report, Duke University, Number DUKE-TR--1987--18, January 1, 1987.
     
  1. S Kishor Trivedi
    Modeling and Analysis of Fault-Tolerant Systems
    Technical Report, Duke University, Number DUKE-TR--1984--09, January 1, 1984.
     
  1. S. Chau
    Fault Injection Boundary-Scan Design for Verification of Fault-Tolerant Systems
    International Test Conference, pp. 677-682, IEEE Computer Society Press, October 1994.
     
  1. S. Dutt and J. P. Hayes
    Some practical issues in the design of fault-tolerant multiprocessors
    21st Int. Symp. on Fault-Tolerant Computing (FTCS-21), pp. 292-9, IEEE Computer Society Press, 1991.
     
  1. S. K. Shrivastava and L. V. Mancini and B. Randell
    On the Duality of Fault-Tolerant System Structures
    Experiences with Distributed Systems, Lecture Notes in Computer Science, pp. 19-37, Springer-Verlag, 1987.
     
  1. S. K. Shrivastava and L. V. Mancini and B. Randell
    The Duality of Fault-Tolerant System Structures
    Technical Report, University of Newcastle-upon-Tyne, Number 305, February 1990.
     
  1. S. Mishra and L. Peterson and R. Schlichting
    A Membership Protocol Based on Partial Order
    Dependable Computing for Critical Applications 2, Dependable Computing and Fault-Tolerant Systems, pp. 309-331, Springer-Verlag, 1992.
     
  1. S. V. Makam and A. Avizienis
    ARIES 81: A Reliability and Life-Cycle Evaluation Tool for Fault-Tolerant Systems
    Proc. 12th Int. Symp. on Fault-Tolerant Computing (FTCS-12), pp. 267-274, IEEE Computer Society Press, 1982.
     
  1. Salvatore J. Bavuso and Joanne B. Dugan and Kishor S. Trivedi and Elizabeth M. Rothmann and W. Earl Smith.
    Analysis of Typical Fault-Tolerant Architectures using HARP
    Technical Report, Department of Computer Science, Duke University, Number Technical report DUKE-TR--1986--18, 1986.
     
  1. Salvatore J. Bavuso and Joanne B. Dugan and Kishor Trivedi and Beth Rothmann and Mark Boyd.
    Applications of the Hybrid Automated Reliability Predictor
    Technical Report, Department of Computer Science, Duke University, Number Technical report DUKE-TR--1987--22, 1987.
     
  1. Santosh K. Shrivastava and Luigi V. Mancini and Brian Randell
    The Duality of Fault-tolerant System Structures
    Software---Practice and Experience, 23(7), pp. 773-798, July 1993.
     
  1. Shantanu Dutt and John P. Hayes
    Designing fault-tolerant systems using automorphisms
    Journal of Parallel and Distributed Computing, 12(3), pp. 249-268, July 1991.
     
  1. Simon Y. Berkovich
    Multiprocessor interconnection network using pairwise balanced combinatorial designs
    Information Processing Letters, 50(4), pp. 217-222, May 1994.
     
  1. T. Higuchi and M. Iwata and I. Kajitani and H. Iba
    Evolvable Hardware and Its Applications to Pattern Recognition and Fault-Tolerant Systems
    Lecture Notes in Computer Science, Vol. 1062, p. 118, 1996.
     
  1. Thomas C. Bressoud
    Building a Virtually Fault-Tolerant System
    Technical Report, Cornell University, Computer Science, Number TR97-1618, p. 172, January 29, 1997.
     
  1. V. F. Nicola and V. G. Kulkarni and K. S. Trivedi.
    Queueing Analysis of Fault-Tolerant Computer Systems
    Technical Report, Department of Computer Science, Duke University, Number Technical report DUKE-TR--1985--24, 1985.
     
  1. V. G. Kulkarni and V. F. Nicola and R. M. Smith and K. S. Trivedi
    Numerical Evaluation of Performability and Job Completion Time in Repairable Fault-Tolerant Systems
    Proc. IEEE FTCS 16, Vienna, 1-4 July 1986, pp. 252-257, 1986.
     
  1. V. S. S. Nair and J. A. Abraham
    Hierarchical design and analysis of fault-tolerant multiprocessor systems using concurrent error detection
    20th Int. Symp. on Fault-Tolerant Computing Systems (FTCS-20), pp. 130-7, IEEE Computer Society Press, 1990.
     
  1. V. Yodaiken and K. Ramamritham
    Verification of a Reliable Net Protocol
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 193-216, Springer, January 1991.
     
  1. W. C. Carter
    Fault Detection and Recovery Algorithms for Fault-Tolerant Systems
    Proc. EURO IFIP'79, pp. 725-734, 1979.
     
  1. W. J. Cullyer
    High Integrity Computing
    Proceedings of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 331, pp. 1-35, Springer, September 1988.
     
  1. W. Janssen and J. Zwiers
    Protocol Design by Layered Decomposition: A Compositional Approach
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 307-326, Springer, January 1991.
     
  1. W. R. Moore and N. A. Haynes
    A Review of Synchronisation and Matching in Fault-Tolerant Systems
    Proceedings of the IEE, pp. 119-124, 1984.
     
  1. Webb T. Comfort
    Fault-Tolerant System Architecture for Navy Applications
    IBM Journal of Research and Development, 27(3), pp. 219-236, May 1983.
     
  1. Willi Gunter
    Design and implementation of the Attempto fault-tolerant system
    Computer Systems Science and Engineering, 8(2), pp. 101-108, April 1993.
     
  1. Y. Kesten and A. Pnueli
    Timed and Hybrid Statecharts and Their Textual Representation
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 591-620, Springer, January 1991.
     
  1. Y. Naik
    A Temporal Approach to Requirement Specification of Real--Time Systems
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 341-362, Springer, January 1991.
     
  1. Y. Ortega-Mallén
    Operational Semantics for Timed Observations
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 507-528, Springer, January 1991.
     
  1. Yann-Hang Lee and Kang G. Shin
    Optimal Reconfiguration Strategy for a Degradable Multimodule Computing System
    Journal of the ACM, 34(2), pp. 326-348, April 1987.
     
  1. Yuval Tamir
    Fault Tolerance for VLSI Multicomputers
    Technical Report, University of California, Berkeley, Number CSD-86-256, p. 152, August 1985.
     
  1. Zhiming Liu and A. P. Ravn and E. V. Sørensen and Zhou Chaochen
    A Probabilistic Duration Calculus
    Responsive Computer Systems, Dependable Comp. and Fault-Tolerant Systems, Vol. 7, pp. 29-52, Springer-Verlag, 1993.
     
  1. Zhou Chaochen and M. R. Hansen and A. P. Ravn and H. Rischel
    Duration Specifications for Shared Processors
    Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 571, pp. 21-32, Springer, January 1991.
     

SiegeSoft.com | providing privacy and security solutions for Internet users

|Neil's Homepage |Security and Privacy |Steganography |JJTC Main Page |

Send comments to nfj(at)jjtc(dot)com.
Copyright, ©1995-2008, Neil F. Johnson. All Rights Reserved.

In Association with Amazon.com


FastCounter by LinkExchange

Copyright, ©1999-2000, Neil F. Johnson. All Rights Reserved.