Search dblp for Publications

export results for "toc:db/conf/dsn/dsn2013.bht:"

 download as .bib file

@inproceedings{DBLP:conf/dsn/AlonsoGNT13,
  author       = {Javier Alonso and
                  Michael Grottke and
                  Allen P. Nikora and
                  Kishor S. Trivedi},
  title        = {An empirical investigation of fault repairs and mitigations in space
                  mission system software},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575355},
  doi          = {10.1109/DSN.2013.6575355},
  timestamp    = {Fri, 15 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/AlonsoGNT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/AmrouchEH13,
  author       = {Hussam Amrouch and
                  Thomas Ebi and
                  J{\"{o}}rg Henkel},
  title        = {Stress balancing to mitigate {NBTI} effects in register files},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575315},
  doi          = {10.1109/DSN.2013.6575315},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/AmrouchEH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/AmrutkarHJJSTV13,
  author       = {Chaitrali Amrutkar and
                  Matti A. Hiltunen and
                  Trevor Jim and
                  Kaustubh R. Joshi and
                  Oliver Spatscheck and
                  Patrick Traynor and
                  Shobha Venkataraman},
  title        = {Why is my smartphone slow? On the fly diagnosis of underperformance
                  on the mobile Internet},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575301},
  doi          = {10.1109/DSN.2013.6575301},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/AmrutkarHJJSTV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/AnceaumeBS13,
  author       = {Emmanuelle Anceaume and
                  Yann Busnel and
                  Bruno Sericola},
  title        = {Uniform node sampling service robust against collusions of malicious
                  nodes},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575363},
  doi          = {10.1109/DSN.2013.6575363},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/AnceaumeBS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/Avizienis13,
  author       = {Algirdas Avizienis},
  title        = {The architecture of a resilience infrastructure for computing and
                  communication systems},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--2},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575340},
  doi          = {10.1109/DSN.2013.6575340},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/Avizienis13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BagchiAROKG13,
  author       = {Saurabh Bagchi and
                  Fahad A. Arshad and
                  Jan S. Rellermeyer and
                  Thomas H. Osiecki and
                  Michael Kistler and
                  Ahmed Gheith},
  title        = {Lilliput meets brobdingnagian: Data center systems management through
                  mobile devices},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575327},
  doi          = {10.1109/DSN.2013.6575327},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/BagchiAROKG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BehamVR13,
  author       = {Michael Beham and
                  Marius Vlad and
                  Hans P. Reiser},
  title        = {Intrusion detection and honeypots in nested virtualization environments},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575329},
  doi          = {10.1109/DSN.2013.6575329},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/BehamVR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BergerRGJ13,
  author       = {Andreas Berger and
                  Stefan Ruehrup and
                  Wilfried N. Gansterer and
                  Oliver Jung},
  title        = {Locality matters: Reducing Internet traffic graphs using location
                  analysis},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575365},
  doi          = {10.1109/DSN.2013.6575365},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/BergerRGJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BielyD0S13,
  author       = {Martin Biely and
                  Pamela Delgado and
                  Zarko Milosevic and
                  Andr{\'{e}} Schiper},
  title        = {Distal: {A} framework for implementing fault-tolerant distributed
                  algorithms},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575306},
  doi          = {10.1109/DSN.2013.6575306},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsn/BielyD0S13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BirkePCS13,
  author       = {Robert Birke and
                  Andrej Podzimek and
                  Lydia Y. Chen and
                  Evgenia Smirni},
  title        = {State-of-the-practice in data center virtualization: Toward a better
                  understanding of {VM} usage},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575350},
  doi          = {10.1109/DSN.2013.6575350},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/BirkePCS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BorchertSS13,
  author       = {Christoph Borchert and
                  Horst Schirmeier and
                  Olaf Spinczyk},
  title        = {Generative software-based memory error detection and correction for
                  operating system data structures},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575308},
  doi          = {10.1109/DSN.2013.6575308},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/BorchertSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/Candea13,
  author       = {George Candea},
  title        = {Message from the {DCCS} program chair},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575289},
  doi          = {10.1109/DSN.2013.6575289},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/Candea13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/CaoRLCM13,
  author       = {Yinzhi Cao and
                  Vaibhav Rastogi and
                  Zhichun Li and
                  Yan Chen and
                  Alexander Moshchuk},
  title        = {Redefining web browser principals with a Configurable Origin Policy},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575317},
  doi          = {10.1109/DSN.2013.6575317},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/CaoRLCM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/CotroneoPR13,
  author       = {Domenico Cotroneo and
                  Antonio Pecchia and
                  Stefano Russo},
  title        = {Towards secure monitoring and control systems: Diversify!},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--2},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575341},
  doi          = {10.1109/DSN.2013.6575341},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/CotroneoPR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/CouceiroRRR13,
  author       = {Maria Couceiro and
                  Pedro Ruivo and
                  Paolo Romano and
                  Lu{\'{\i}}s E. T. Rodrigues},
  title        = {Chasing the optimum in replicated in-memory transactional platforms
                  via protocol adaptation},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575311},
  doi          = {10.1109/DSN.2013.6575311},
  timestamp    = {Tue, 30 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsn/CouceiroRRR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/El-SayedS13,
  author       = {Nosayba El{-}Sayed and
                  Bianca Schroeder},
  title        = {Reading between the lines of failure logs: Understanding how {HPC}
                  systems fail},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575356},
  doi          = {10.1109/DSN.2013.6575356},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/El-SayedS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/ElphinstoneS13,
  author       = {Kevin Elphinstone and
                  Yanyan Shen},
  title        = {Increasing the trustworthiness of commodity hardware through software},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575328},
  doi          = {10.1109/DSN.2013.6575328},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/ElphinstoneS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/FordKLSM13,
  author       = {Michael D. Ford and
                  Ken Keefe and
                  Elizabeth LeMay and
                  William H. Sanders and
                  Carol Muehrcke},
  title        = {Implementing the {ADVISE} security modeling formalism in M{\"{o}}bius},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575362},
  doi          = {10.1109/DSN.2013.6575362},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/FordKLSM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/FrattiniGCRT13,
  author       = {Flavio Frattini and
                  Rahul Ghosh and
                  Marcello Cinque and
                  Andy J. Rindos and
                  Kishor S. Trivedi},
  title        = {Analysis of bugs in Apache Virtual Computing Lab},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575324},
  doi          = {10.1109/DSN.2013.6575324},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/FrattiniGCRT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/GiuffridaCT13,
  author       = {Cristiano Giuffrida and
                  Lorenzo Cavallaro and
                  Andrew S. Tanenbaum},
  title        = {Practical automated vulnerability monitoring using program state invariants},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575318},
  doi          = {10.1109/DSN.2013.6575318},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/GiuffridaCT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/GuSDZX13,
  author       = {Zhongshu Gu and
                  William N. Sumner and
                  Zhui Deng and
                  Xiangyu Zhang and
                  Dongyan Xu},
  title        = {{DRIP:} {A} framework for purifying trojaned kernel drivers},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575342},
  doi          = {10.1109/DSN.2013.6575342},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/GuSDZX13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/HuSWHK13,
  author       = {Yung{-}Li Hu and
                  Wei{-}Bing Su and
                  Li{-}ying Wu and
                  Yennun Huang and
                  Sy{-}Yen Kuo},
  title        = {Design of event-based Intrusion Detection System on OpenFlow Network},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--2},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575335},
  doi          = {10.1109/DSN.2013.6575335},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/HuSWHK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/HuangH13,
  author       = {Shin{-}Ying Huang and
                  Yennun Huang},
  title        = {Network traffic anomaly detection based on growing hierarchical {SOM}},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--2},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575338},
  doi          = {10.1109/DSN.2013.6575338},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/HuangH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/IacobelliT13,
  author       = {Giulio Iacobelli and
                  Mirco Tribastone},
  title        = {Lumpability of fluid models with heterogeneous agent types},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--11},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575346},
  doi          = {10.1109/DSN.2013.6575346},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/IacobelliT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/JinOZMKW13,
  author       = {Jing Jin and
                  Jeff Offutt and
                  Nan Zheng and
                  Feng Mao and
                  Aaron Koehl and
                  Haining Wang},
  title        = {Evasive bots masquerading as human beings on the web},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575366},
  doi          = {10.1109/DSN.2013.6575366},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/JinOZMKW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/Kemper13,
  author       = {Peter Kemper},
  title        = {Message from the {PDS} program chair},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575290},
  doi          = {10.1109/DSN.2013.6575290},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/Kemper13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/KimLCLN13,
  author       = {Jaeho Kim and
                  Jongmin Lee and
                  Jongmoo Choi and
                  Donghee Lee and
                  Sam H. Noh},
  title        = {Improving {SSD} reliability with {RAID} via Elastic Striping and Anywhere
                  Parity},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575359},
  doi          = {10.1109/DSN.2013.6575359},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/KimLCLN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/KolesnichenkoBRH13,
  author       = {Anna Kolesnichenko and
                  Pieter{-}Tjerk de Boer and
                  Anne Remke and
                  Boudewijn R. Haverkort},
  title        = {A logic for model-checking mean-field models},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575345},
  doi          = {10.1109/DSN.2013.6575345},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/KolesnichenkoBRH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/KrishnanTMM13,
  author       = {Srinivas Krishnan and
                  Teryl Taylor and
                  Fabian Monrose and
                  John McHugh},
  title        = {Crossing the threshold: Detecting network malfeasance via sequential
                  hypothesis testing},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575364},
  doi          = {10.1109/DSN.2013.6575364},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/KrishnanTMM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/LelogluAA13,
  author       = {Engin Leloglu and
                  Tolga Ayav and
                  Burak Galip Aslan},
  title        = {A review of cloud deployment models for e-learning systems},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--2},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575331},
  doi          = {10.1109/DSN.2013.6575331},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/LelogluAA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/LiGR13,
  author       = {Peng Li and
                  Debin Gao and
                  Michael K. Reiter},
  title        = {Mitigating access-driven timing channels in clouds using StopWatch},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575299},
  doi          = {10.1109/DSN.2013.6575299},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/LiGR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/LiuM13,
  author       = {Yang Liu and
                  Jogesh K. Muppala},
  title        = {Fault-tolerance characteristics of data center network topologies
                  using fault regions},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575321},
  doi          = {10.1109/DSN.2013.6575321},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/LiuM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MachidaXTMH13,
  author       = {Fumio Machida and
                  Jianwen Xiang and
                  Kumiko Tadano and
                  Yoshiharu Maeno and
                  Takashi Horikawa},
  title        = {Performability analysis of {RAID10} versus {RAID6}},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--2},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575339},
  doi          = {10.1109/DSN.2013.6575339},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/MachidaXTMH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MaiaMVPOR13,
  author       = {Francisco Maia and
                  Miguel Matos and
                  Ricardo Manuel Pereira Vila{\c{c}}a and
                  Jos{\'{e}} Pereira and
                  Rui Oliveira and
                  Etienne Rivi{\`{e}}re},
  title        = {{DATAFLASKS:} An epidemic dependable key-value substrate},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575326},
  doi          = {10.1109/DSN.2013.6575326},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/MaiaMVPOR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MalikMHBC13,
  author       = {Muhammad Salman Malik and
                  Mirko Montanari and
                  Jun Ho Huh and
                  Rakesh B. Bobba and
                  Roy H. Campbell},
  title        = {Towards {SDN} enabled network control delegation in clouds},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575320},
  doi          = {10.1109/DSN.2013.6575320},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/MalikMHBC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MeloMAMA13,
  author       = {Matheus D'E{\c{c}}a Torquato de Melo and
                  Paulo Romero Martins Maciel and
                  Jean Araujo and
                  R{\'{u}}bens de Souza Matos J{\'{u}}nior and
                  Carlos Ara{\'{u}}jo},
  title        = {Availability study on cloud computing environments: Live migration
                  as a rejuvenation mechanism},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575322},
  doi          = {10.1109/DSN.2013.6575322},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/MeloMAMA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MolinaM13,
  author       = {Jose Antonio Navas Molina and
                  Shivakant Mishra},
  title        = {Addressing memory exhaustion failures in Virtual Machines in a cloud
                  environment},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575330},
  doi          = {10.1109/DSN.2013.6575330},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/MolinaM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MonazzahFMFA13,
  author       = {Amir Mahdi Hosseini Monazzah and
                  Hamed Farbeh and
                  Seyed Ghassem Miremadi and
                  Mahdi Fazeli and
                  Hossein Asadi},
  title        = {{FTSPM:} {A} Fault-Tolerant ScratchPad Memory},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575351},
  doi          = {10.1109/DSN.2013.6575351},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/MonazzahFMFA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MuppalaHCV13,
  author       = {Jogesh K. Muppala and
                  Matti A. Hiltunen and
                  Roy H. Campbell and
                  Paulo Ver{\'{\i}}ssimo},
  title        = {The Third International Workshop on Dependability of Clouds, Data
                  Centers and Virtual Machine Technology {DCDV} 2013},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--2},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575319},
  doi          = {10.1109/DSN.2013.6575319},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/MuppalaHCV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/NewellOTNA13,
  author       = {Andrew Newell and
                  Daniel Obenshain and
                  Thomas Tantillo and
                  Cristina Nita{-}Rotaru and
                  Yair Amir},
  title        = {Increasing network resiliency by optimally assigning diverse variants
                  to routing nodes},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575305},
  doi          = {10.1109/DSN.2013.6575305},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/NewellOTNA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/NunesCBR13,
  author       = {Jose Luis Nunes and
                  Jo{\~{a}}o Carlos Cunha and
                  Raul Barbosa and
                  M{\'{a}}rio Zenha Rela},
  title        = {Evaluating Xilinx {SEU} Controller Macro for fault injection},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--2},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575336},
  doi          = {10.1109/DSN.2013.6575336},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/NunesCBR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/PareekB13,
  author       = {Himanshu Pareek and
                  N. Sarat Chandra Babu},
  title        = {Complementing static and dynamic analysis approaches for better network
                  defense},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--2},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575334},
  doi          = {10.1109/DSN.2013.6575334},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/PareekB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/Pataricza13,
  author       = {Andr{\'{a}}s Pataricza},
  title        = {Message from the general chair},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575288},
  doi          = {10.1109/DSN.2013.6575288},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/Pataricza13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/PrakashVYL13,
  author       = {Aravind Prakash and
                  Eknath Venkataramani and
                  Heng Yin and
                  Zhiqiang Lin},
  title        = {Manipulating semantic values in kernel data structures: Attack assessments
                  and implications},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575344},
  doi          = {10.1109/DSN.2013.6575344},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/PrakashVYL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/QureshiC13,
  author       = {Moinuddin K. Qureshi and
                  Zeshan Chishti},
  title        = {Operating SECDED-based caches at ultra-low voltage with {FLAIR}},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--11},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575314},
  doi          = {10.1109/DSN.2013.6575314},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/QureshiC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/RemkeW13,
  author       = {Anne Remke and
                  Xian Wu},
  title        = {WirelessHART modeling and performance evaluation},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575358},
  doi          = {10.1109/DSN.2013.6575358},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/RemkeW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SahaL0LM13,
  author       = {Suman Saha and
                  Jean{-}Pierre Lozi and
                  Ga{\"{e}}l Thomas and
                  Julia L. Lawall and
                  Gilles Muller},
  title        = {Hector: Detecting Resource-Release Omission Faults in error-handling
                  code for systems software},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575307},
  doi          = {10.1109/DSN.2013.6575307},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/SahaL0LM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SansotteraCC13,
  author       = {Andrea Sansottera and
                  Giuliano Casale and
                  Paolo Cremonesi},
  title        = {Fitting second-order acyclic Marked Markovian Arrival Processes},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575347},
  doi          = {10.1109/DSN.2013.6575347},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/SansotteraCC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SaysanasongkhamIAFW13,
  author       = {Aromhack Saysanasongkham and
                  Kenta Imai and
                  Masayuki Arai and
                  Satoshi Fukumoto and
                  Keiji Wada},
  title        = {An adaptive approach to dependable circuits for a digital power control},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--2},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575333},
  doi          = {10.1109/DSN.2013.6575333},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/SaysanasongkhamIAFW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SciasciaP13,
  author       = {Daniele Sciascia and
                  Fernando Pedone},
  title        = {Geo-replicated storage with scalable deferred update replication},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575360},
  doi          = {10.1109/DSN.2013.6575360},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/SciasciaP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SharmaCDYJ13,
  author       = {Abhishek B. Sharma and
                  Haifeng Chen and
                  Min Ding and
                  Kenji Yoshihira and
                  Guofei Jiang},
  title        = {Fault detection and localization in distributed systems using invariant
                  relationships},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575304},
  doi          = {10.1109/DSN.2013.6575304},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/SharmaCDYJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SharmaJVD13,
  author       = {Bikash Sharma and
                  Praveen Jayachandran and
                  Akshat Verma and
                  Chita R. Das},
  title        = {CloudPD: Problem determination and diagnosis in shared dynamic clouds},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575298},
  doi          = {10.1109/DSN.2013.6575298},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/SharmaJVD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SilvaBCV13,
  author       = {Nuno Silva and
                  Ricardo Barbosa and
                  Jo{\~{a}}o Carlos Cunha and
                  Marco Vieira},
  title        = {A view on the past and future of fault injection},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--2},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575332},
  doi          = {10.1109/DSN.2013.6575332},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/SilvaBCV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SilvaMTZ13,
  author       = {Bruno Silva and
                  Paulo Romero Martins Maciel and
                  Eduardo Tavares and
                  Armin Zimmermann},
  title        = {Dependability models for designing disaster tolerant cloud computing
                  systems},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575323},
  doi          = {10.1109/DSN.2013.6575323},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/SilvaMTZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SiniavineG13,
  author       = {Maxim Siniavine and
                  Ashvin Goel},
  title        = {Seamless kernel updates},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575312},
  doi          = {10.1109/DSN.2013.6575312},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/SiniavineG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SloanKB13,
  author       = {Joseph Sloan and
                  Rakesh Kumar and
                  Greg Bronevetsky},
  title        = {An algorithmic approach to error localization and partial recomputation
                  for low-overhead fault tolerance},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575309},
  doi          = {10.1109/DSN.2013.6575309},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/SloanKB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SuhAD13,
  author       = {Jinho Suh and
                  Murali Annavaram and
                  Michel Dubois},
  title        = {{PHYS:} Profiled-HYbrid Sampling for soft error reliability benchmarking},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575352},
  doi          = {10.1109/DSN.2013.6575352},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/SuhAD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SunC13,
  author       = {Yifeng Sun and
                  Tzi{-}cker Chiueh},
  title        = {{SIDE:} Isolated and efficient execution of unmodified device drivers},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575348},
  doi          = {10.1109/DSN.2013.6575348},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/SunC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SundaramE13,
  author       = {Vinaitheerthan Sundaram and
                  Patrick Eugster},
  title        = {Lightweight message tracing for debugging wireless sensor networks},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575302},
  doi          = {10.1109/DSN.2013.6575302},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/SundaramE13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SurtonBR13,
  author       = {Robert Surton and
                  Ken Birman and
                  Robbert van Renesse},
  title        = {Application-driven {TCP} recovery and non-stop {BGP}},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575313},
  doi          = {10.1109/DSN.2013.6575313},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/SurtonBR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/TanWWBZS13,
  author       = {Feng Tan and
                  Yufei Wang and
                  Qixin Wang and
                  Lei Bu and
                  Rong Zheng and
                  Neeraj Suri},
  title        = {Guaranteeing Proper-Temporal-Embedding safety rules in wireless {CPS:}
                  {A} hybrid formal modeling approach},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575357},
  doi          = {10.1109/DSN.2013.6575357},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/TanWWBZS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/ThomasP13,
  author       = {Anna Thomas and
                  Karthik Pattabiraman},
  title        = {Error detector placement for soft computation},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575353},
  doi          = {10.1109/DSN.2013.6575353},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/ThomasP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/WaltersZF13,
  author       = {John Paul Walters and
                  Kenneth M. Zick and
                  Matthew French},
  title        = {A practical characterization of a {NASA} SpaceCube application through
                  fault emulation and laser testing},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575354},
  doi          = {10.1109/DSN.2013.6575354},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/WaltersZF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/WangSDH13,
  author       = {Xu Wang and
                  Hailong Sun and
                  Ting Deng and
                  Jinpeng Huai},
  title        = {Consistency or latency? {A} quantitative analysis of replication systems
                  based on replicated state machines},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575361},
  doi          = {10.1109/DSN.2013.6575361},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/WangSDH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/WangSHF13,
  author       = {Gang Wang and
                  Jack W. Stokes and
                  Cormac Herley and
                  David Felstead},
  title        = {Detecting malicious landing pages in Malware Distribution Networks},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--11},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575316},
  doi          = {10.1109/DSN.2013.6575316},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/WangSHF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/WangWW13,
  author       = {Qiushi Wang and
                  Huaming Wu and
                  Katinka Wolter},
  title        = {Model-based performance analysis of local re-execution scheme in offloading
                  system},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575325},
  doi          = {10.1109/DSN.2013.6575325},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/WangWW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/WinterTSS13,
  author       = {Stefan Winter and
                  Michael Tretter and
                  Benjamin Sattler and
                  Neeraj Suri},
  title        = {simFI: From single to simultaneous software fault injections},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575310},
  doi          = {10.1109/DSN.2013.6575310},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/WinterTSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/WuSHLLC13,
  author       = {Yu{-}Sung Wu and
                  Pei{-}Keng Sun and
                  Chun{-}Chi Huang and
                  Sung{-}Jer Lu and
                  Syu{-}Fang Lai and
                  Yi{-}Yung Chen},
  title        = {EagleEye: Towards mandatory security monitoring in virtualized datacenter
                  environment},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575300},
  doi          = {10.1109/DSN.2013.6575300},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/WuSHLLC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/XiaoXHW13,
  author       = {Jidong Xiao and
                  Zhang Xu and
                  Hai Huang and
                  Haining Wang},
  title        = {Security implications of memory deduplication in a virtualized environment},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575349},
  doi          = {10.1109/DSN.2013.6575349},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/XiaoXHW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/XuZLBLF13,
  author       = {Xiwei Xu and
                  Liming Zhu and
                  Jim Zhanwen Li and
                  Len Bass and
                  Qinghua Lu and
                  Min Fu},
  title        = {Modeling and analysing operation processes for dependability},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--2},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575337},
  doi          = {10.1109/DSN.2013.6575337},
  timestamp    = {Sat, 27 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsn/XuZLBLF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/ZamfirAS13,
  author       = {Cristian Zamfir and
                  Gautam Altekar and
                  Ion Stoica},
  title        = {Automating the debugging of datacenter applications with {ADDA}},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575303},
  doi          = {10.1109/DSN.2013.6575303},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/ZamfirAS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/ZhangLSS13,
  author       = {Fengwei Zhang and
                  Kevin Leach and
                  Kun Sun and
                  Angelos Stavrou},
  title        = {{SPECTRE:} {A} dependable introspection framework via System Management
                  Mode},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575343},
  doi          = {10.1109/DSN.2013.6575343},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/ZhangLSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsn/2013,
  title        = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6569391/proceeding},
  isbn         = {978-1-4673-6471-3},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsn/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics