Conferences in DBLP
Ravishankar K. Iyer , Zbigniew Kalbarczyk , Philip Koopman , Henrique Madeira , Gunter Heiner , Karama Kanoun , Haim Levendel , Brendan Murphy , Lawrence G. Votta , Don Wilson Joint Panel - IPDS and Workshop on Dependability Benchmarking. [Citation Graph (0, 0)][DBLP ] Conf ] Sumeer Bhola , Robert E. Strom , Saurabh Bagchi , Yuanyuan Zhao , Joshua S. Auerbach Exactly-once Delivery in a Content-based Publish-Subscribe System. [Citation Graph (0, 0)][DBLP ] Conf ] Sudha Krishnamurthy , William H. Sanders , Michel Cukier An Adaptive Framework for Tunable Consistency and Timeliness Using Replication. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Casimiro , Paulo Veríssimo Generic Timing Fault Tolerance using a Timely Computing Base. [Citation Graph (0, 0)][DBLP ] Conf ] Priya Narasimhan , Louise E. Moser , P. M. Melliar-Smith Lessons Learned in Building a Fault-Tolerant CORBA System. [Citation Graph (0, 0)][DBLP ] Conf ] M. Edwin Johnson Model Checking Safety Properties of Servo-Loop Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ludovic Casset , Lilian Burdy , Antoine Requet Formal Development of an Embedded Verifier for Java Card Byte Code. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaoliang Zhao , Dan Pei , Lan Wang , Daniel Massey , Allison Mankin , Shyhtsun Felix Wu , Lixia Zhang Detection of Invalid Routing Announcement in the Internet. [Citation Graph (0, 0)][DBLP ] Conf ] B. Floering , B. Brothers , Zbigniew Kalbarczyk , Ravishankar K. Iyer An Adaptive Architecture for Monitoring and Failure Analysis of High-Speed Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Aaron Striegel , G. Manimaran Edge-Based Fault Detection in a DiffServ Network. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Santi , Douglas M. Blough An Evaluation of Connectivity in Mobile Wireless Ad Hoc Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Boudewijn R. Haverkort , Lucia Cloth , Holger Hermanns , Joost-Pieter Katoen , Christel Baier Model Checking Performability Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Robin E. Bloomfield , Sofia Guerra Process Modelling to Support Dependability Arguments. [Citation Graph (0, 0)][DBLP ] Conf ] João Carlos Cunha , Mário Zenha Rela On the Use of Disaster Prediction for Failure-Tolerance in Feedback Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Hiller , Arshad Jhumka , Neeraj Suri On the Placement of Software Mechanisms for Detection of Data Errors. [Citation Graph (0, 0)][DBLP ] Conf ] John DeVale , Philip Koopman Robust Software - No More Excuses. [Citation Graph (0, 0)][DBLP ] Conf ] Christof Fetzer , Zhen Xiao An Automated Approach to Increasing the Robustness of C Libraries. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Cachin , Jonathan A. Poritz Secure Intrusion-tolerant Replication on the Internet. [Citation Graph (0, 0)][DBLP ] Conf ] Raimundo José de Araújo Macêdo , Flávio Morais de Assis Silva Coordination of Mobile Processes with Mobile Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Zhen Xiao , Kenneth P. Birman , Robbert van Renesse Optimizing Buffer Management for Reliable Multicast. [Citation Graph (0, 0)][DBLP ] Conf ] Gary Schwartz Reliability and Survivability in the Reduced Ship?s Crew by Virtual Presence System. [Citation Graph (0, 0)][DBLP ] Conf ] Cristian Constantinescu Impact of Deep Submicron Technology on Dependability of VLSI Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Joakim Aidemark , Jonny Vinter , Peter Folkesson , Johan Karlsson Experimental Evaluation of Time-redundant Execution for a Brake-by-wire Application. [Citation Graph (0, 0)][DBLP ] Conf ] Roy A. Maxion , Tahlia N. Townsend Masquerade Detection Using Truncated Command Lines. [Citation Graph (0, 0)][DBLP ] Conf ] HariGovind V. Ramasamy , Prashant Pandey , James Lyons , Michel Cukier , William H. Sanders Quantifying the Cost of Providing Intrusion Tolerance in Group Communication Systems. [Citation Graph (0, 0)][DBLP ] Conf ] David Sames , Brian Matt , Brian Niebuhr , Gregg Tally , Brent Whitmore , David E. Bakken Developing a Heterogeneous Intrusion Tolerant CORBA System. [Citation Graph (0, 0)][DBLP ] Conf ] Nick Cook , Santosh K. Shrivastava , Stuart M. Wheater Distributed Object Middleware to Support Dependable Information Sharing between Organisations. [Citation Graph (0, 0)][DBLP ] Conf ] Richard D. Schlichting , Andrew A. Chien , Carl Kesselman , Keith Marzullo , James S. Plank , Santosh K. Shrivastava Dependability and the Grid: Issues and Challenges. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Rodríguez , Arnaud Albinet , Jean Arlat MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andy A. Franz , Radek Mista , David E. Bakken , Curtis E. Dyreson , Muralidhar Medidi Mr. Fusion: A Programmable Data Fusion Middleware Subsystem with a Tunable Statistical Profiling Service. [Citation Graph (0, 0)][DBLP ] Conf ] Elias Procópio Duarte Jr. , Luis Carlos Erpen De Bona A Dependable SNMP-based Tool for Distributed Network Management. [Citation Graph (0, 0)][DBLP ] Conf ] James C. Reynolds , James E. Just , Ed Lawson , Larry A. Clough , Ryan Maglich , Karl N. Levitt The Design and Implementation of an Intrusion Tolerant System. [Citation Graph (0, 0)][DBLP ] Conf ] José Orlando Pereira , Luís Rodrigues , Rui Carlos Oliveira Reducing the Cost of Group Communication with Semantic View Synchrony. [Citation Graph (0, 0)][DBLP ] Conf ] Abhinandan Das , Indranil Gupta , Ashish Motivala SWIM: Scalable Weakly-consistent Infection-style Process Group Membership Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Th. Eugster , Rachid Guerraoui Probabilistic Multicast. [Citation Graph (0, 0)][DBLP ] Conf ] Henrique Madeira , Raphael R. Some , Francisco Moreira , Diamantino Costa , David A. Rennels Experimental Evaluation of a COTS System for Space Application. [Citation Graph (0, 0)][DBLP ] Conf ] Tahar Jarboui , Jean Arlat , Yves Crouzet , Karama Kanoun Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Dong Chen , Selvamuthu Dharmaraja , Dongyan Chen , Lei Li , Kishor S. Trivedi , Raphael R. Some , Allen P. Nikora Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System. [Citation Graph (0, 0)][DBLP ] Conf ] Carole Delporte-Gallet , Hugues Fauconnier , Rachid Guerraoui A Realistic Look At Failure Detectors. [Citation Graph (0, 0)][DBLP ] Conf ] Marin Bertier , Olivier Marin , Pierre Sens Implementation and Performance Evaluation of an Adaptable Failure Detector. [Citation Graph (0, 0)][DBLP ] Conf ] Achour Mostéfaoui , Sergio Rajsbaum , Michel Raynal A Versatile and Modular Consensus Protoco. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Philippe Martin , Lorenzo Alvisi , Michael Dahlin Small Byzantine Quorum Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Premkishore Shivakumar , Michael Kistler , Stephen W. Keckler , Doug Burger , Lorenzo Alvisi Modeling the Effect of Technology Trends on the Soft Error Rate of Combinational Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Jochim Detecting Processor Hardware Faults by Means of Automatically Generated Virtual Duplex Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jiri Gaisler A Portable and Fault-Tolerant Microprocessor Based on the SPARC V8 Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Seongwoo Kim , Arun K. Somani Soft Error Sensitivity Characterization for Microprocessor Dependability Enhancement Strategy. [Citation Graph (0, 0)][DBLP ] Conf ] Tzi-cker Chiueh , Lan Huang Track-Based Disk Logging. [Citation Graph (0, 0)][DBLP ] Conf ] Algis Rudys , Dan S. Wallach Transactional Rollback for Language-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Nagarajan Kandasamy , John P. Hayes , Brian T. Murray Time-Constrained Failure Diagnosis in Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Philip Koopman 32-Bit Cyclic Redundancy Codes for Internet Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Merzbacher , Dan Patterson Measuring End-User Availability on the Web: Practical Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Karen J. Cassidy , Kenny C. Gross , Amir Malekpour Advanced Pattern Recognition for Detection of Complex Software Aging Phenomena in Online Transaction Processing Servers. [Citation Graph (0, 0)][DBLP ] Conf ] Eliane Martins , Cecília M. F. Rubira , Nelson G. M. Leme Jaca: A Reflective Fault Injection Tool Based on Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Dong Tang , Ji Zhu , Roy Andrada Automatic Generation of Availability Models in RAScad. [Citation Graph (0, 0)][DBLP ] Conf ] Shuo Chen , Jun Xu , Ravishankar K. Iyer , Keith Whisnant Evaluating the Security Threat of Firewall Data Corruption Caused by Transient Errors. [Citation Graph (0, 0)][DBLP ] Conf ] Bharat B. Madan , Katerina Goseva-Popstojanova , Kalyanaraman Vaidyanathan , Kishor S. Trivedi Modeling and Quantification of Security Attributes of Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Cláudia Betous-Almeida , Karama Kanoun Stepwise Construction and Refinement of Dependability Models. [Citation Graph (0, 0)][DBLP ] Conf ] Shih-Chang Lai , Shih-Lien Lu , Jih-Kwon Peir Ditto Processor. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Baudin , Anne Pacalet , Jacques Raguideau , Dominique Schoen , N. Williams CAVEAT : A Tool for Software Validation. [Citation Graph (0, 0)][DBLP ] Conf ] Adriana Carloganu , Jacques Raguideau CLAIRE: An Event-Driven Simulation Tool for Test and Validation of Software Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Hlavicka , Stanislav Racek C-Sim - The C Language Enhancement for Discrete-Time Simulations. [Citation Graph (0, 0)][DBLP ] Conf ] Giuliana Franceschinis , Marco Gribaudo , Mauro Iacono , Valeria Vittorini , C. Bertoncello DrawNet++: A Flexible Framework for Building Dependability Models. [Citation Graph (0, 0)][DBLP ] Conf ] Timothy K. Tsai , Navjot Singh Libsafe: Transparent System-wide Protection Against Buffer Overflow Attacks. [Citation Graph (0, 0)][DBLP ] Conf ] David T. Stott , Phillip H. Jones III , M. Hamman , Zbigniew Kalbarczyk , Ravishankar K. Iyer NFTAPE: Networked Fault Tolerance and Performance Evaluator. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Bobbio , András Horváth , Miklós Telek PhFit: A General Phase-type Fitting Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Kishor S. Trivedi SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator. [Citation Graph (0, 0)][DBLP ] Conf ] Gianfranco Ciardo , R. L. Jones III , Robert M. Marmorstein , Andrew S. Miner , Radu Siminiceanu SMART: Stochastic Model-checking Analyzer for Reliability and Timing. [Citation Graph (0, 0)][DBLP ] Conf ] Kishor S. Trivedi SREPT: A Tool for Software Reliability Estimation and Prediction. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo Maia , Luis Henriques , Diamantino Costa , Henrique Madeira Xception? - Enhanced Automated Fault-Injection Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Coccoli , Péter Urbán , Andrea Bondavalli Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements. [Citation Graph (0, 0)][DBLP ] Conf ] Ann T. Tai , William H. Sanders , Leon Alkalai , Savio N. Chau , Kam S. Tso Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Jin , Rakesh D. Barve , Kishor S. Trivedi A Simple Characterization of Provably Efficient Prefetching Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Keith Whisnant , Ravishankar K. Iyer , P. Jones , Raphael R. Some , David A. Rennels An Experimental Evaluation of the REE SIFT Environment for Spaceborne Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Mike Y. Chen , Emre Kiciman , Eugene Fratkin , Armando Fox , Eric A. Brewer Pinpoint: Problem Determination in Large, Dynamic Internet Services. [Citation Graph (0, 0)][DBLP ] Conf ] George Candea , James Cutler , Armando Fox , Rushabh Doshi , Priyank Garg , Rakesh Gowda Reducing Recovery Time in a Small Recursively Restartable System. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Vieira , Henrique Madeira Recovery and Performance Balance of a COTS DBMS in the Presence of Operator Faults. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Bobbio , András Horváth , Miklós Telek The Scale Factor: A New Degree of Freedom in Phase Type Approximation. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew S. Miner Efficient State Space Generation of GSPNs using Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Buchholz An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Kemper Parallel Randomization for Large Structured Markov Chains. [Citation Graph (0, 0)][DBLP ] Conf ] Ram Chillarege , Kothanda Ram Prasad Test and Development Process Retrospective - A Case Study using ODC Triggers. [Citation Graph (0, 0)][DBLP ] Conf ] Hairong Sun , James J. Han , Isaac Levendel Impact of Fault Management Server and Its Failure-related Parameters on High-Availability Communication Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Steven M. Matz , Lawrence G. Votta , Mohammad Malkawi Analysis of Failure and Recovery Rates in a Wireless Telecommunications System. [Citation Graph (0, 0)][DBLP ] Conf ] Siddhartha R. Dalal , Yu-Yun Ho , Ashish Jain , Allen A. McIntosh Application Performance using End-to-End User Level Monitoring. [Citation Graph (0, 0)][DBLP ] Conf ] Michela Meo , Marco Ajmone Marsan , Cecilia Batetta Resource Management Policies in GPRS Wireless Internet Access Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Lindemann , Oliver P. Waldhorst Evaluating the Impact of Different Document Types on the Performance of Web Cache Replacement Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Rachid El Abdouni Khayari , Ramin Sadre , Boudewijn R. Haverkort A Validation of the Pseudo Self-Similar Traffic Model. [Citation Graph (0, 0)][DBLP ] Conf ] Gerardo Rubino Evaluation of the Maximum Level Reached by a Queue Over a Finite Period. [Citation Graph (0, 0)][DBLP ] Conf ] Olivia Das , C. Murray Woodside Modeling the Coverage and Effectiveness of Fault-Management Architectures in Layered Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kiyoaki Yoshida , Tohru Kohda , Yasumasa Sujaku Self-Organizing Systems with Self-Diagnosability. [Citation Graph (0, 0)][DBLP ] Conf ] Mohammad Zulkernine , Rudolph E. Seviora A Compositional Approach to Monitoring Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Ballarini , Simona Bernardi , Susanna Donatelli Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. [Citation Graph (0, 0)][DBLP ] Conf ] Carl E. Landwehr , Steven M. Bellovin Intrusion Tolerant Systems Workshop. [Citation Graph (0, 0)][DBLP ] Conf ] Raja Chatila , Jean-Claude Laprie Workshop on Dependability and Robotics. [Citation Graph (0, 0)][DBLP ] Conf ] Lisa Spainhower , Nicholas S. Bowen , Steven Hunter Dependability of E-Commerce Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Philip Koopman , Henrique Madeira Workshop on Dependability Benchmarking. [Citation Graph (0, 0)][DBLP ] Conf ] Priya Narasimhan , Pascal Felber Workshop on Dependable Middleware-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Dimiter R. Avresky Scalable, Uniterruptible Computin. [Citation Graph (0, 0)][DBLP ] Conf ] 