| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Xiang Yin 0001, John C. Knight, Westley Weimer |
Exploiting refactoring in formal verification.  |
DSN  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Romano 0002, Francesco Quaglia |
Integration and evaluation of Multi-Instance-Precommit schemes within postgreSQL. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hisashige Ando, Ryuji Kan, Yoshiharu Tosaka, Keiji Takahisa, Kichiji Hatanaka |
Validation of hardware error recovery mechanisms for the SPARC64 V microprocessor. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kimberly Keeton |
Message from the PDS program chair. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yair Amir, Brian A. Coan, Jonathan Kirsch, John Lane |
Byzantine replication under attack. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ataul Bari, Quazi Rahman, Arunita Jaekel, Subir Bandyopadhyay |
Traffic grooming in WDM mesh networks with guaranteed survivability. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | José Fonseca 0002, Marco Vieira |
Mapping software faults with web security vulnerabilities. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lakshmi N. Bairavasundaram, Meenali Rungta, Nitin Agrawal 0001, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Michael M. Swift |
Analyzing the effects of disk-pointer corruption. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisabeth A. Nguyen, William S. Greenwell, Myron Hecht |
Using an assurance case to support independent assessment of the transition to a new GPS ground control system. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiqiang Lin, Xiangyu Zhang 0001, Dongyan Xu |
Convicting exploitable software vulnerabilities: An efficient input provenance based approach. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ningfang Mi, Giuliano Casale, Evgenia Smirni |
Scheduling for performance and availability in systems with temporal dependent workloads. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vimal K. Reddy, Eric Rotenberg |
Coverage of a microarchitecture-level fault check regimen in a superscalar processor. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric L. Hill, Mikko H. Lipasti, Kewal K. Saluja |
An accurate flip-flop selection technique for reducing logic SER. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga |
Architectural dependability evaluation with Arcade. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xu Chen, Jonathon Andersen, Zhuoqing Morley Mao, Michael D. Bailey, Jose Nazario |
Towards an understanding of anti-virtualization and anti-debugging behavior in modern malware. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan A. Winter, David H. Albonesi |
Scheduling algorithms for unpredictably heterogeneous CMP architectures. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kivanc M. Ozonat |
An information-theoretic approach to detecting performance anomalies and changes for large-scale distributed web services. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhuowei Li 0001, XiaoFeng Wang 0001, Zhenkai Liang, Michael K. Reiter |
AGIS: Towards automatic generation of infection signatures. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ningfang Mi, Alma Riska, Evgenia Smirni, Erik Riedel |
Enhancing data availability in disk drives through background activities. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Gmach, Jerry Rolia, Ludmila Cherkasova, Guillaume Belrose, Tom Turicchi, Alfons Kemper |
An integrated approach to resource pool management: Policies, efficiency and quality metrics. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pradeep Ramachandran, Prabhakar Kudva, Jeffrey W. Kellington, John Schumann, Pia N. Sanda |
Statistical Fault Injection. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tudor Marian, Mahesh Balakrishnan 0001, Ken Birman, Robbert van Renesse |
Tempest: Soft state replication in the service tier. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Allen Clement, Harry C. Li, Jeff Napper, Jean-Philippe Martin, Lorenzo Alvisi, Michael Dahlin |
BAR primer. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann T. Tai, Kam S. Tso, William H. Sanders |
A recurrence-relation-based reward model for performability evaluation of embedded systems. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Fu, Tao Li, José A. B. Fortes |
Combined circuit and microarchitecture techniques for effective soft error robustness in SMT processors. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Huaiyu Liu, Christian Maciocco, Vijay Kesavan, Andy Lock Yen Low |
A smart triggering scheme to reduce service interruption during heterogeneous handovers. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zibin Zheng, Michael R. Lyu |
WS-DREAM: A distributed reliability assessment Mechanism for Web Services. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Damian Nowroth, Ilia Polian, Bernd Becker 0001 |
A study of cognitive resilience in a JPEG compressor. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manish Marwah, Shivakant Mishra, Christof Fetzer |
Enhanced server fault-tolerance for improved user experience. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shravan Gaonkar, Eric Rozier, Anthony Tong, William H. Sanders |
Scaling file systems to support petascale clusters: A dependability analysis to support informed design choices. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin M. Greenan, Ethan L. Miller, Jay J. Wylie |
Reliability of flat XOR-based erasure codes on heterogeneous devices. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy Friedman, Gabriel Kliot, Chen Avin |
Probabilistic quorum systems in wireless ad hoc networks. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roxana Geambasu, Andrew Birrell, John MacCormick |
Experiences with formal specification of fault-tolerant file systems. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zahid Anwar, Ravinder Shankesi, Roy H. Campbell |
Automatic security assessment of critical cyber-infrastructures. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kapil Singh, Abhinav Srivastava, Jonathon T. Giffin, Wenke Lee |
Evaluating email's feasibility for botnet command and control. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Michael Nicolaidis |
Second workshop on dependable and secure nanocomputing. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Repantis, Vana Kalogeraki |
Hot-spot prediction and alleviation in distributed stream processing applications. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Yu 0002, Nan Zhang 0004, Xinwen Fu, Riccardo Bettati, Wei Zhao 0001 |
On localization attacks to Internet Threat Monitors: An information-theoretic framework. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludmila Cherkasova, Kivanc M. Ozonat, Ningfang Mi, Julie Symons, Evgenia Smirni |
Anomaly? application change? or workload change? towards automated detection of application performance anomaly and change. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Swarup Kumar Sahoo, Man-Lap Li, Pradeep Ramachandran, Sarita V. Adve, Vikram S. Adve, Yuanyuan Zhou |
Using likely program invariants to detect hardware errors. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sei Kato, Takayuki Osogami |
Evaluating availability under quasi-heavy-tailed repair times. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey J. Cook, Craig B. Zilles |
A characterization of instruction-level error derating and its implications for error detection. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Algirdas Avizienis |
On representing knowledge in the dependability domain: a panel discussion. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshitomo Murata, Tsutomu Inaba, Hiroyuki Takizawa, Hiroaki Kobayashi |
Implementation and evaluation of a distributed and cooperative load-balancing mechanism for dependable volunteer computing. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | |
The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008, June 24-27, 2008, Anchorage, Alaska, USA, Proceedings |
DSN |
2008 |
DBLP BibTeX RDF |
|
| 1 | Tim Moors, Patrick Chu |
End-system tools for enhancing email reliability. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Niranjan Soundararajan, Aditya Yanamandra, Chrysostomos Nicopoulos, Narayanan Vijaykrishnan, Anand Sivasubramaniam, Mary Jane Irwin |
Analysis and solutions to issue queue process variation. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Constantinescu, Ishwar Parulkar, R. Harper, Sarah Michalak |
Silent Data Corruption - Myth or reality? |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Poul E. Heegaard, Kishor S. Trivedi |
Survivability quantification of communication services. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiapu Luo, Edmond W. W. Chan, Rocky K. C. Chang |
TCP covert timing channels: Design and detection. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthik Pattabiraman, Shuo Chen 0001, Zbigniew Kalbarczyk |
Workshop on compiler and architectural techniques for application reliability and security (CATARS). |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Meixner, Daniel J. Sorin |
Detouring: Translating software to circumvent hard faults in simple cores. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek |
Workshop on Architecting Dependable Systems (WADS 2008). |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yawei Li, Zhiling Lan |
A fast restart mechanism for checkpoint/recovery protocols in networked environments. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Hills |
Dependability on the last frontier. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Fernández Pascual, José M. García 0001, Manuel E. Acacio, José Duato |
A fault-tolerant directory-based cache coherence protocol for CMP architectures. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Seder |
Automotive Enhanced Vision Systems - Issues arising from placing users in the loop. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thirumalesh Bhat, Nachiappan Nagappan |
Tempest: Towards early identification of failure-prone binaries. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anh Nguyen-Tuong, David Evans 0001, John C. Knight, Benjamin Cox, Jack W. Davidson |
Security through redundant data diversity. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Neeraj Suri |
Message from the DCCS program chair. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuan-Ta Chen, Jing-Kai Lou |
Toward an understanding of the processing delay of peer-to-peer relay nodes. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Koopman, Henrique Madeira |
Message from the conference general chair and coordinator. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Man-Lap Li, Pradeep Ramachandran, Swarup Kumar Sahoo, Sarita V. Adve, Vikram S. Adve, Yuanyuan Zhou |
Trace-based microarchitecture-level diagnosis of permanent hardware faults. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chinghway Lim, Navjot Singh 0001, Shalini Yajnik |
A log mining approach to failure analysis of enterprise telephony systems. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Keller, Prasang Upadhyaya, George Candea |
ConfErr: A tool for assessing resilience to human configuration errors. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Schiper, Sam Toueg |
A robust and lightweight stable leader election service for dynamic systems. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Afonso Araújo Neto, Marco Vieira |
Towards assessing the security of DBMS configurations. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sihyung Lee, Tina Wong, Hyong S. Kim |
Improving dependability of network configuration through policy classification. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Jalbert, Westley Weimer |
Automated duplicate detection for bug tracking systems. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
SymPLFIED: Symbolic program-level fault injection and error detection framework. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, István Majzik, Aad P. A. van Moorsel |
International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008). |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga |
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
compositional aggregation, Markov chain, modularity, Fault tree, Interactive process |
| 1 | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi |
Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenjing Rao, Alex Orailoglu, Ramesh Karri |
Fault Tolerant Approaches to Nanoelectronic Programmable Logic Arrays. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Koutsonikolas, Y. Charlie Hu |
The Case for FEC-Based Reliable Multicast in Wireless Mesh Networks. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Rogers, Saleem Bhatti |
A Lightweight Mechanism for Dependable Communication in Untrusted Networks. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisa Spainhower |
Industry Session. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Paulitsch, Brendan Hall |
Insights into the Sensitivity of the BRAIN (Braided Ring Availability Integrity Network) - On Platform Robustness in Extended Operation. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Keith Harrison, Shouhuai Xu |
Protecting Cryptographic Keys from Memory Disclosure Attacks. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
cryptographic key security, memory disclosure |
| 1 | Tony Hoare |
Science and Engineering: A Collusion of Cultures. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Idit Keidar, Alexander Shraer |
How to Choose a Timing Model? |
DSN |
2007 |
DBLP DOI BibTeX RDF |
synchrony assumptions, eventual synchrony, consensus algorithms, FT Middleware, failure detectors |
| 1 | Jinpeng Wei, Calton Pu |
Multiprocessors May Reduce System Dependability under File-Based Race Condition Attacks. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
Probabilistic Modeling, Race Condition |
| 1 | Jeonghee Shin, Victor V. Zyuban, Zhigang Hu, Jude A. Rivers, Pradip Bose |
A Framework for Architecture-Level Lifetime Reliability Modeling. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Yu, Yanyong Zhang |
R-Sentry: Providing Continuous Sensor Services against Random Node Failures. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
Gang, Fault Tolerance, Sensor Networks, Node Failure, Network Coverage |
| 1 | Olivier Rütti, Sergio Mena, Richard Ekwall, André Schiper |
On the Cost of Modularity in Atomic Broadcast. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
microprotocols, performance cost, experimental evaluation, modular design, atomic broadcast |
| 1 | Nik Looker, Jie Xu 0007 |
Dependability Assessment of Grid Middleware. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
Dependability Assessment, Grid, Fault Injection, Globus |
| 1 | Luís E. T. Rodrigues |
DSN 2007 Tutorials. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Peter Schwefel, Imad Antonios |
Performability Models for Multi-Server Systems with High-Variance Repair Durations. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yantao Song, Scott M. Pike |
Eventually k-Bounded Wait-Free Distributed Daemons. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
self-stabilization, wait-freedom, daemons |
| 1 | Marcelo De Barros, Jing Shiau, Chen Shang, Kenton Gidewall, Hui Shi, Joe Forsmann |
Web Services Wind Tunnel: On Performance Testing Large-Scale Stateful Web Services. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | James W. Mickens, Brian D. Noble |
Concilium: Collaborative Diagnosis of Broken Overlay Routes. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvano Chiaradonna, Paolo Lollini, Felicita Di Giandomenico |
On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin E. Bloomfield, Bev Littlewood, David Wright 0001 |
Confidence: Its Role in Dependability Cases for Risk Assessment. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello Cinque, Domenico Cotroneo, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
How Do Mobile Phones Fail? A Failure Data Analysis of Symbian OS Smart Phones. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Teruaki Sakata, Teppei Hirotsu, Hiromichi Yamada, Takeshi Kataoka |
A Cost-Effective Dependable Microcontroller Architecture with Instruction-Level Rollback for Soft Error Recovery. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuai Xu, Feng Wang 0002, Supratik Bhattacharyya, Zhi-Li Zhang |
A Real-Time Network Traffic Profiling System. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jay J. Wylie, Ram Swaminathan |
Determining Fault Tolerance of XOR-Based Erasure Codes Efficiently. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ningning Zhu, Tzi-cker Chiueh |
Portable and Efficient Continuous Data Protection for Network File Servers. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Viswanathan Subramanian, Mikel Bezdek, Naga Durga Prasad Avirneni, Arun K. Somani |
Superscalar Processor Performance Enhancement through Reliable Dynamic Clock Frequency Tuning. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
overclocking, Reliability, Fault-Tolerant Computing, Dynamic, Superscalar processor |
| 1 | Hiroshi Nakamura |
Fast Abstracts. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license