Conferences in DBLP
Günther Bauer , Hermann Kopetz Transparent Redundancy in the Time-Triggered Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Yann-Hang Lee , Daeyoung Kim , Mohamed F. Younis , Jeffrey X. Zhou , James McElroy Resource Scheduling in Dependable Integrated Modular Avionics. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Hiller Executable Assertions for Detecting Data Errors in Embedded Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Scott Johnson , Farnam Jahanian , Sunondo Ghosh , Brian Van Voorst , Nicholas Weininger Experiences with Group Communication Middleware. [Citation Graph (0, 0)][DBLP ] Conf ] Yi-Min Wang , Wilf Russell , Anish Arora , Rajesh Jagannathan , Jun Xu Towards Dependable Home Networking: An Experience Report. [Citation Graph (0, 0)][DBLP ] Conf ] Adnan Agbaria , James S. Plank Design, Implementation, and Performance of Checkpointing in NetSolve. [Citation Graph (0, 0)][DBLP ] Conf ] Julia L. Lawall , Gilles Muller Efficient Incremental Checkpointing of Java Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Alfredo Benso , Silvia Chiusano , Paolo Prinetto , Luca Tagliaferri A C/C++ Source-to-Source Compiler for Dependable Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Yutao He , Algirdas Avizienis Assessment of the Applicability of COTS Microprocessors in High-Confidence Computing Systems: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Chris J. Walter , Neeraj Suri , T. Monaghan Evaluating COTS Standards for Design of Dependable Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Subhachandra Chandra , Peter M. Chen Whither Generic Recovery from Application Faults? A Fault Study using Open-Source Software. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Turmon , Robert Granat , Daniel S. Katz Software-Implemented Fault Detection for High-Performance Space Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Stefania Gnesi , Diego Latella , Gabriele Lenzini , C. Abbaneo , Arturo M. Amendola , P. Marmo An Automatic SPIN Validation of a Safety Critical Railway Control System. [Citation Graph (0, 0)][DBLP ] Conf ] Meng-Lai Yin , Craig L. Hyde , Rafael R. Arellano Sensitivity Analysis on Dependencies in Dynamic Availability Models for Large Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Moura Silva , Victor Batista , João Gabriel Silva Fault-Tolerant Execution of Mobile Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Ajay Mohindra , Apratim Purakayastha , Prasannaa Thati Exploiting Non-Determinism for Reliability of Mobile Agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Baptiste Boullié , Michel Brun A New Rolling Stock Architecture Using Safety Computers and Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Jim Chen , David Har , Ken Mak , Charles O. Schulz , R. Brett Tremaine , Michael E. Wazlowski Reliability-Availability-Serviceability Characteristics of a Compressed-Memory System. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth Prager , Michael Vahey , William Farwell , James Whitney , Jon Lieb A Fault Tolerant Signal Processing Computer. [Citation Graph (0, 0)][DBLP ] Conf ] John F. Meyer Performability of Algorithms for Connection Admission Control. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Chen , Sam Toueg , Marcos Kawazoe Aguilera On the Quality of Service of Failure Detectors. [Citation Graph (0, 0)][DBLP ] Conf ] Koji Hashimoto , Tatsuhiro Tsuchiya , Tohru Kikuno Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Caruso , Stefano Chessa , Piero Maestrini , Paolo Santi Diagnosis of Regular Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Myron Hecht , Xuegao An , Bing Zhang , Yutao He OFTT: A Fault Tolerance Middleware Toolkit for Process Monitoring and Control Windows NT Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Bondavalli , Ivan Mura , Silvano Chiaradonna , Roberto Filippini , S. Poli , F. Sandrini DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ramesh Chandra , Ryan M. Lefever , Michel Cukier , William H. Sanders Loki: A State-Driven Fault Injector for Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Contini , Stefan Scheer , Marc Wilikens Sensitivity Analysis for System Design Improvement. [Citation Graph (0, 0)][DBLP ] Conf ] Diamantino Costa , Tiago Rilho , Henrique Madeira Joint Evaluation of Performance and Robustness of a COTS DBMS through Fault-Injection. [Citation Graph (0, 0)][DBLP ] Conf ] Charles P. Shelton , Philip Koopman , Kobey Devale Robustness Testing of the Microsoft Win32 API. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Baldoni , Jean-Michel Hélary , Michel Raynal From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Lorenzo Alvisi , Evelyn Tumlin Pierce , Dahlia Malkhi , Michael K. Reiter , Rebecca N. Wright Dynamic Byzantine Quorum Systems. [Citation Graph (0, 0)][DBLP ] Conf ] J. Jenny Li , Joseph Robert Horgan A Tool Suite for Diagnosis and Testing of Software Design Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Betty H. C. Cheng , Laura A. Campbell , Enoch Y. Wang Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Bengi Karaçali , Kuo-Chung Tai , Mladen A. Vouk Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Yair Amir , Claudiu Danilov , Jonathan Robert Stanton A Low Latency, Loss Tolerant Architecture and Protocol for Wide Area Group Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Ruppert R. Koch , Louise E. Moser , P. M. Melliar-Smith A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Qixiang Sun , Daniel C. Sturman A Gossip-Based Reliable Multicast for Large-Scale High-Throughput Applications. [Citation Graph (0, 0)][DBLP ] Conf ] S. Song , Jiandong Huang , P. Kappler , R. Freimark , J. Gustin , T. Kozlik Fault-Tolerant Ethernet for IP-Based Process Control: A Demonstration. [Citation Graph (0, 0)][DBLP ] Conf ] Fannie Chen , Loring Craymer , Jeff Deifik , Alvin J. Fogel , Daniel S. Katz , Alfred G. Silliman Jr. , Raphael R. Some , Sean A. Upchurch , Keith Whisnant Demonstration of the Remote Exploration and Experimentation (REE) Fault-Tolerant Parallel-Processing Supercomputer for Spacecraft Onboard Scientific Data Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Irith Pomeranz , Sudhakar M. Reddy Test-Point Insertion to Enhance Test Compaction for Scan Designs. [Citation Graph (0, 0)][DBLP ] Conf ] Masayuki Arai , Anna Yamaguchi , Kazuhiko Iwasaki Method to Recover Internet Packet Losses Using (n, n - 1, m) Convolutional Codes. [Citation Graph (0, 0)][DBLP ] Conf ] Yasunao Katayama , Sumio Morioka One-Shot Reed-Solomon Decoding for High-Performance Dependable Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Eliane Martins , Amanda C. A. Rosa A Fault Injection Approach Based on Reflective Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Henrique Madeira , Diamantino Costa , Marco Vieira On the Emulation of Software Faults by Software Fault Injection. [Citation Graph (0, 0)][DBLP ] Conf ] Timothy K. Tsai , Navjot Singh Reliability Testing of Applications on Windows NT. [Citation Graph (0, 0)][DBLP ] Conf ] Graham Morgan , Santosh K. Shrivastava Implementing Flexible Object Group Invocation in Networked Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Svend Frølund , Rachid Guerraoui Implementing e-Transactions with Asynchronous Replication. [Citation Graph (0, 0)][DBLP ] Conf ] Cristiana Amza , Alan L. Cox , Willy Zwaenepoel Data Replication Strategies for Fault Tolerance and Availability on Commodity Clusters. [Citation Graph (0, 0)][DBLP ] Conf ] Avi Mendelson , Neeraj Suri Designing High-Performance & Reliable Superscalar Architectures: The out of Order Reliable Superscalar (O3RS) Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Faisal Rashid , Kewal K. Saluja , Parameswaran Ramanathan Fault Tolerance through Re-Execution in Multiscalar Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Algirdas Avizienis A Fault Tolerance Infrastructure for Dependable Computing with High-Performance COTS Components. [Citation Graph (0, 0)][DBLP ] Conf ] Vijay Lakamraju , Zahava Koren , C. Mani Krishna Synthesis of Interconnection Networks: A Novel Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Achour Mostéfaoui , Michel Raynal , Frederic Tronel The Best of Both Worlds: A Hybrid Approach to Solve Consensus. [Citation Graph (0, 0)][DBLP ] Conf ] Bernadette Charron-Bost , Rachid Guerraoui , André Schiper Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issue. [Citation Graph (0, 0)][DBLP ] Conf ] Paulo Veríssimo , Antonio Casimiro , Christof Fetzer he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. [Citation Graph (0, 0)][DBLP ] Conf ] G. Sai Kiran Reddy , C. Siva Ram Murthy , G. Manimaran Reconfiguration Based Failure Restoration in Wavelength-Routed WDM Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas S. Bowen , Daniel C. Sturman , Tina Ting Liu Towards Continuous Availability of Internet Services through Availability Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Cheng J. Lin , Alberto Avritzer , Elaine J. Weyuker , Sai-Lai Lo Issues in Interoperability and Performance Verification in a Multi-ORB Telecommunications Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Scott Hazelhurst , Adi Attar , Raymond Sinnappan Algorithms for Improving the Dependability of Firewall and Filter Rule Lists. [Citation Graph (0, 0)][DBLP ] Conf ] Dam Q. Hai , Son T. Vuong Dynamic-Distributed Differentiated Service for Multimedia Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Wenliang Du , Aditya P. Mathur Testing for Software Vulnerability Using Environment Perturbation. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjay K. Jha , Jeannette M. Wing , Richard C. Linger , Thomas A. Longstaff Survivability Analysis of Network Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Roy A. Maxion , Kymie M. C. Tan Benchmarking Anomaly-Based Detection Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Peng Liu , Peng Ning , Sushil Jajodia Avoiding Loss of Fairness Owing to Process Crashes in Fair Data Exchange Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Cheung , Karl N. Levitt A Formal-Specification Based Approach for Protecting the Domain Name System. [Citation Graph (0, 0)][DBLP ] Conf ] 