Conferences in DBLP
Roy A. Maxion Masquerade Detection Using Enriched Command Lines. [Citation Graph (0, 0)][DBLP ] Conf ] Silke Kuball , Gordon Hughes Decision-Support for Certification by Calculating the Evidential Volume of a Product. [Citation Graph (0, 0)][DBLP ] Conf ] Robin E. Bloomfield , Bev Littlewood Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Backes , Christian Cachin Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Rodrigues , Sidath B. Handurukande , José Orlando Pereira , Rachid Guerraoui , Anne-Marie Kermarrec Adaptive Gossip-Based Broadcast. [Citation Graph (0, 0)][DBLP ] Conf ] Sumeer Bhola , Yuanyuan Zhao , Joshua S. Auerbach Scalably Supporting Durable Subscriptions in a Publish/Subscribe System. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Pugh , Eric Aliot Pragmatic Fault Tolerance for Railway Control and Safety Protection of the Channel Tunnel. [Citation Graph (0, 0)][DBLP ] Conf ] Thuy Nguyen , Alain Ourghanlian Dependability Assessment of Safety-Critical System Software by Static Analysis Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Geert Deconinck , Vincenzo De Florio , Ronnie Belmans , Giovanna Dondossola , Judit Szanto Integrating Recovery Strategies into a Primary Substation Automation System. [Citation Graph (0, 0)][DBLP ] Conf ] Henrique Madeira , João Costa , Marco Vieira The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Rodríguez , Jean-Charles Fabre , Jean Arlat Building SWIFI Tools from Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] João Durães , Henrique Madeira Definition of Software Fault Emulation Operators: A Field Data Study. [Citation Graph (0, 0)][DBLP ] Conf ] Ji Zhu , James Mauro , Ira Pramanick Robustness Benchmarking for Hardware Maintenance Events. [Citation Graph (0, 0)][DBLP ] Conf ] Astrit Ademaj , Håkan Sivencrona , Günther Bauer , Jan Torin Evaluation of Fault Handling of the Time-Triggered Architecture with Bus and Star Topology. [Citation Graph (0, 0)][DBLP ] Conf ] Anish Arora , Hongwei Zhang LSRP: Local Stabilization in Shortest Path Routing. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Basile , Zbigniew Kalbarczyk , Ravishankar K. Iyer A Preemptive Deterministic Scheduling Algorithm for Multithreaded Replicas. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Girault , Hamoudi Kalla , Mihaela Sighireanu , Yves Sorel An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. [Citation Graph (0, 0)][DBLP ] Conf ] Pradeep Kyasanur , Nitin H. Vaidya Detection and Handling of MAC Layer Misbehavior in Wireless Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Dan Pei , Lan Wang , Daniel Massey , Shyhtsun Felix Wu , Lixia Zhang A Study of Packet Delivery Performance during Routing Convergence. [Citation Graph (0, 0)][DBLP ] Conf ] Vijay Lakamraju , Israel Koren , C. Mani Krishna Low Overhead Fault Tolerant Networking in Myrinet. [Citation Graph (0, 0)][DBLP ] Conf ] Stefano Chessa , Piero Maestrini Dependable and Secure Data Storage and Retrieval in Mobile, Wireless Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Ningning Zhu , Tzi-cker Chiueh Design, Implementation, and Evaluation of Repairable File Service. [Citation Graph (0, 0)][DBLP ] Conf ] Dimane Mpoeleng , Paul D. Ezhilchelvan , Neil A. Speirs From Crash Tolerance to Authenticated Byzantine Tolerance: A Structured Approach, the Cost and Benefits. [Citation Graph (0, 0)][DBLP ] Conf ] Yujuan Bao , Xiaobai Sun , Kishor S. Trivedi Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] Lorenzo Strigini , Andrey Povyakalo , Eugenio Alberdi Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Seth Gilbert , Nancy A. Lynch , Alexander A. Shvartsman RAMBO II: Rapidly Reconfigurable Atomic Memory for Dynamic Networks. [Citation Graph (0, 0)][DBLP ] Conf ] John G. Dorsey , Daniel P. Siewiorek The Design of Wearable Systems: A Shift in Development Effort. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel J. Sorin , Mark D. Hill , David A. Wood Dynamic Verification of End-to-End Multiprocessor Invariants. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Zhang 0002 , Sudhanva Gurumurthi , Mahmut T. Kandemir , Anand Sivasubramaniam ICR: In-Cache Replication for Enhancing Data Cache Reliability. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Vieira , Henrique Madeira Benchmarking the Dependability of Different OLTP Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yi-Min Wang , Chad Verbowski , Daniel R. Simon Persistent-State Checkpoint Comparison for Troubleshooting Configuration Failures. [Citation Graph (0, 0)][DBLP ] Conf ] Christof Fetzer , Zhen Xiao HEALERS: A Toolkit for Enhancing the Robustness and Security of Existing Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Ruppert R. Koch , Sanjay Hortikar , Sivaguru Sankaridurg , Paul Ngan , Michael O. Neary , Dirk Wagner The Anacapa System. [Citation Graph (0, 0)][DBLP ] Conf ] José Rufino , Paulo Veríssimo , Guilherme Arroz Node Failure Detection and Membership in CANELy. [Citation Graph (0, 0)][DBLP ] Conf ] Wenbing Zhao , Louise E. Moser , P. M. Melliar-Smith Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Achour Mostéfaoui , Eric Mourgaya , Michel Raynal Asynchronous Implementation of Failure Detectors. [Citation Graph (0, 0)][DBLP ] Conf ] Szu-Chi Wang , Sy-Yen Kuo Communication Strategies for Heartbeat-Style Failure Detectors in Wireless Ad Hoc Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Manish Marwah , Shivakant Mishra , Christof Fetzer TCP Server Fault Tolerance Using Connection Migration to a Backup Server. [Citation Graph (0, 0)][DBLP ] Conf ] Ruppert R. Koch , Sanjay Hortikar , Louise E. Moser , P. M. Melliar-Smith Transparent TCP Connection Failover. [Citation Graph (0, 0)][DBLP ] Conf ] Dmitrii Zagorodnov , Keith Marzullo , Lorenzo Alvisi , Thomas C. Bressoud Engineering Fault-Tolerant TCP/IP Servers Using FT-TCP. [Citation Graph (0, 0)][DBLP ] Conf ] Yair Amir , Ryan Caudy , Ashima Munjal , Theo Schlossnagle , Ciprian Tutu N-Way Fail-Over Infrastructure for Reliable Servers and Routers. [Citation Graph (0, 0)][DBLP ] Conf ] Jonny Vinter , Andréas Johansson , Peter Folkesson , Johan Karlsson On the Design of Robust Integrators for Fail-Bounded Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jeff Napper , Lorenzo Alvisi , Harrick M. Vin A Fault-Tolerant Java Virtual Machine. [Citation Graph (0, 0)][DBLP ] Conf ] François Taïani , Jean-Charles Fabre , Marc-Olivier Killijian Towards Implementing Multi-Layer Reflection for Fault-Tolerance. [Citation Graph (0, 0)][DBLP ] Conf ] Christof Fetzer , Karin Högstedt , Pascal Felber Automatic Detection and Masking of Non-Atomic Exception Handling. [Citation Graph (0, 0)][DBLP ] Conf ] Weining Gu , Zbigniew Kalbarczyk , Ravishankar K. Iyer , Zhen-Yu Yang Characterization of Linux Kernel Behavior under Errors. [Citation Graph (0, 0)][DBLP ] Conf ] Kerstin Buchacker , Mario Dal Cin , Hans-Jörg Höxer , Roland Karch , Volkmar Sieh , Oliver Tschäche Reproducible Dependability Benchmarking Experiments Based on Unambiguous Benchmark Setup Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Ali Reza Ejlali , Seyed Ghassem Miremadi , Hamid R. Zarandi , Ghazanfar Asadi , Siavash Bayat Sarmadi A Hybrid Fault Injection Approach Based on Simulation and Emulation Co-operation. [Citation Graph (0, 0)][DBLP ] Conf ] Jayakrishnan Nair , Zahava Koren , Israel Koren , C. Mani Krishna Pre-Processing Input Data to Augment Fault Tolerance in Space Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Srikant Sharma , Jiawu Chen , Wei Li , Kartik Gopalan , Tzi-cker Chiueh Duplex: A Reusable Fault Tolerance Extension Framework for Network Access Devices. [Citation Graph (0, 0)][DBLP ] Conf ] Yair Amir , Claudiu Danilov Reliable Communication in Overlay Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Dongyan Chen , Sachin Garg , Chandra M. R. Kintala , Kishor S. Trivedi Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Henrik C. Bohnenkamp , Peter van der Stok , Holger Hermanns , Frits W. Vaandrager Cost-Optimization of the IPv4 Zeroconf Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Achour Mostéfaoui , Eric Mourgaya , Philippe Raipin Parvédy , Michel Raynal Evaluating the Condition-Based Approach to Solve Consensus. [Citation Graph (0, 0)][DBLP ] Conf ] Lívia M. R. Sampaio , Francisco Vilar Brasileiro , Walfredo Cirne , Jorge C. A. de Figueiredo How Bad Are Wrong Suspicions? Towards Adaptive Distributed Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Doru P. Munteanu , Víctor Suñé , Rosa Rodríguez-Montañés , Juan A. Carrasco A Combinatorial Method for the Evaluation of Yield of Fault-Tolerant Systems-on-Chip. [Citation Graph (0, 0)][DBLP ] Conf ] Pam Binns Real-Time Estimation of Event-Driven Traffic Latency Distributions when Layered on Static Schedules. [Citation Graph (0, 0)][DBLP ] Conf ] Felix Engelhard , Stefan Greiner , Reinhard German ParEs - A Parameter-Estimation-Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Chen Fu , Richard P. Martin , Kiran Nagaraja , Thu D. Nguyen , Barbara G. Ryder , David Wonnacott Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services. [Citation Graph (0, 0)][DBLP ] Conf ] Shuo Chen , Zbigniew Kalbarczyk , Jun Xu , Ravishankar K. Iyer A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities. [Citation Graph (0, 0)][DBLP ] Conf ] Sankalp Singh , Michel Cukier , William H. Sanders Probabilistic Validation of an Intrusion-Tolerant Replication System. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Thesing , Jean Souyris , Reinhold Heckmann , Famantanantsoa Randimbivololona , Marc Langenbach , Reinhard Wilhelm , Christian Ferdinand An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. [Citation Graph (0, 0)][DBLP ] Conf ] Marin Bertier , Olivier Marin , Pierre Sens Performance Analysis of a Hierarchical Failure Detector. [Citation Graph (0, 0)][DBLP ] Conf ] Péter Urbán , Ilya Shnayderman , André Schiper Comparison of Failure Detectors and Group Membership: Performance Study of Two Atomic Broadcast Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Ann T. Tai , Kam S. Tso , Leon Alkalai , Savio N. Chau , William H. Sanders Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Regina Lúcia de Oliveira Moraes , Eliane Martins Jaca - A Software Fault Injection Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Joakim Aidemark , Jonny Vinter , Peter Folkesson , Johan Karlsson GOOFI: Generic Object-Oriented Fault Injection Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Yuste , David de Andrés , Lenin Lemus , Juan José Serrano , Pedro J. Gil INERTE: Integrated NExus-Based Real-Time Fault Injection Tool for Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kerstin Buchacker , Mario Dal Cin , Hans-Jörg Höxer , Volkmar Sieh , Oliver Tschäche , Martin Waitz Hardware Fault Injection with UMLinux. [Citation Graph (0, 0)][DBLP ] Conf ] Henrik C. Bohnenkamp , Tod Courtney , David Daly , Salem Derisavi , Holger Hermanns , Joost-Pieter Katoen , Ric Klaren , Vinh Vi Lam , William H. Sanders On Integrating the MÖBIUS and MODEST Modeling Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Olivia Das , C. Murray Woodside Dependable LQNS: A Performability Modeling Tool for Layered Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Holger Hermanns , Joost-Pieter Katoen , Joachim Meyer-Kayser , Markus Siegle ETMCC: Model Checking Performability Properties of Markov Chains. [Citation Graph (0, 0)][DBLP ] Conf ] Tianjun Shi , Xudong He A Methodology for Dependability and Performability Analysis in SAM. [Citation Graph (0, 0)][DBLP ] Conf ] Liudong Xing Reliability Analysis of Fault-Tolerant Systems with Common-Cause Failures. [Citation Graph (0, 0)][DBLP ] Conf ] Juan A. Carrasco Validation of Approximate Dependability Models of a RAID Architecture with Orthogonal Organization. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Kaâniche , Karama Kanoun , Magnos Martinello A User-Perceived Availability Evaluation of a Web Based Travel Agency. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Shereshevsky , Jonathan Crowell , Bojan Cukic , Vijai Gandikota , Yan Liu Software Aging and Multifractality of Memory Resources. [Citation Graph (0, 0)][DBLP ] Conf ] Zeng Fancong Deadlock Resolution via Exceptions for Dependable Java Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Diganta Roychowdhury , Israel Koren , C. Mani Krishna , Yann-Hang Lee A Voltage Scheduling Heuristic for Real-Time Task Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Ali Movaghar On Dynamic Assignment of Impatient Customers to Parallel Queues. [Citation Graph (0, 0)][DBLP ] Conf ] Felix C. Gärtner , Klaus Kursawe , Levente Buttyán PoDSy 2003: Principles of Dependable Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Edmund M. Clarke , Masahiro Fujita , David P. Gluch Model Checking for Dependable Software-Intensive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Lisa Spainhower , Aad P. A. van Moorsel First Workshop on the Design of Self-Managing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Shing-Tsaan Huang , Ted Herman Self-Stabilization Workshop. [Citation Graph (0, 0)][DBLP ] Conf ] 