Search dblp for Publications

export results for "toc:db/conf/prdc/prdc2014.bht:"

 download as .bib file

@inproceedings{DBLP:conf/prdc/BaderLS14,
  author       = {Kaci Bader and
                  Benjamin Lussier and
                  Walter Sch{\"{o}}n},
  title        = {A Fault Tolerant Architecture for Data Fusion Targeting Hardware and
                  Software Faults},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {1--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.9},
  doi          = {10.1109/PRDC.2014.9},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/BaderLS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/BeckerRT14,
  author       = {Jan Steffen Becker and
                  Dilshod Rahmatov and
                  Oliver E. Theel},
  title        = {Region-Adherent Algorithms: Restricting the Impact of Faults on Service
                  Quality},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {203--212},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.34},
  doi          = {10.1109/PRDC.2014.34},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/BeckerRT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/BhuiyanW14,
  author       = {Md. Zakirul Alam Bhuiyan and
                  Guojun Wang},
  title        = {Reliable Shortest Paths in Wireless Sensor Networks: Refocusing on
                  Link Failure Scenarios from Applications},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {225--233},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.37},
  doi          = {10.1109/PRDC.2014.37},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/BhuiyanW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/Callenes-SloanM14,
  author       = {Joseph Callenes{-}Sloan and
                  Hugh McNamara},
  title        = {Algorithm Selection for Error Resilience in Scientific Computing},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {96--105},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.20},
  doi          = {10.1109/PRDC.2014.20},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/Callenes-SloanM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/ChamazcotiM14,
  author       = {Saeideh Alinezhad Chamazcoti and
                  Seyed Ghassem Miremadi},
  title        = {{EA-EO:} Endurance Aware Erasure Code for SSD-Based Storage Systems},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {76--85},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.18},
  doi          = {10.1109/PRDC.2014.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/ChamazcotiM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/DittrichHCM14,
  author       = {Andreas Dittrich and
                  Daniel Solis Herrera and
                  Pablo Coto and
                  Miroslaw Malek},
  title        = {Responsiveness of Service Discovery in Wireless Mesh Networks},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {234--243},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.38},
  doi          = {10.1109/PRDC.2014.38},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/DittrichHCM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/FayollasFPCND14,
  author       = {Camille Fayollas and
                  Jean{-}Charles Fabre and
                  Philippe A. Palanque and
                  Martin Cronel and
                  David Navarre and
                  Yannick Deleris},
  title        = {A Software-Implemented Fault-Tolerance Approach for Control and Display
                  Systems in Avionics},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {21--30},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.11},
  doi          = {10.1109/PRDC.2014.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/FayollasFPCND14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/FukumotoEOA14,
  author       = {Satoshi Fukumoto and
                  Tomoki Endo and
                  Mamoru Ohara and
                  Masayuki Arai},
  title        = {Study on Routing Protocol for Structured {P2P} Network Taking Account
                  of the Nodes Which Behave Like a Byzantine Fault},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {31--32},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.12},
  doi          = {10.1109/PRDC.2014.12},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/FukumotoEOA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/GraydonB14,
  author       = {Patrick J. Graydon and
                  Iain Bate},
  title        = {The Nature and Content of Safety Contracts: Challenges and Suggestions
                  for a Way Forward},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {135--144},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.24},
  doi          = {10.1109/PRDC.2014.24},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/GraydonB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/IliadisSTV14,
  author       = {Ilias Iliadis and
                  Dmitry Sotnikov and
                  Paula Ta{-}Shma and
                  Vinodh Venkatesan},
  title        = {Reliability of Geo-replicated Cloud Storage Systems},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {169--179},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.30},
  doi          = {10.1109/PRDC.2014.30},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/IliadisSTV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/IrreraV14,
  author       = {Ivano Irrera and
                  Marco Vieira},
  title        = {A Practical Approach for Generating Failure Data for Assessing and
                  Comparing Failure Prediction Algorithms},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {86--95},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.19},
  doi          = {10.1109/PRDC.2014.19},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/IrreraV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/IvakiAB14,
  author       = {Naghmeh Ramezani Ivaki and
                  Filipe Ara{\'{u}}jo and
                  Fernando J. Barros},
  title        = {Design of Multi-threaded Fault-Tolerant Connection-Oriented Communication},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {11--20},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.10},
  doi          = {10.1109/PRDC.2014.10},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/IvakiAB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/JubranT14,
  author       = {Oday Jubran and
                  Oliver E. Theel},
  title        = {Exploiting Synchronicity for Immediate Feedback in Self-Stabilizing
                  {PIF} Algorithms},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {106--115},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.21},
  doi          = {10.1109/PRDC.2014.21},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/JubranT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/KogaDO14,
  author       = {Toshitaka Koga and
                  Tadashi Dohi and
                  Hiroyuki Okamura},
  title        = {Optimal Reliability Design for Real-Time Systems with Dynamic Voltage
                  and Frequency Scaling},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {213--222},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.35},
  doi          = {10.1109/PRDC.2014.35},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/KogaDO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/KonoMYY14,
  author       = {Kenji Kono and
                  Shunsuke Miyahara and
                  Hiroshi Yamada and
                  Takeshi Yoshimura},
  title        = {FoxyFeed: Forging Device-Level Asynchronous Events for Kernel Development},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {145--154},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.25},
  doi          = {10.1109/PRDC.2014.25},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/KonoMYY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/KotakiK14,
  author       = {Shohei Kotaki and
                  Masato Kitakami},
  title        = {Codes Correcting Asymmetric/Unidirectional Errors along with Bidirectional
                  Errors of Small Magnitude},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {159--160},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.28},
  doi          = {10.1109/PRDC.2014.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/KotakiK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/KouraiN14,
  author       = {Kenichi Kourai and
                  Kousuke Nakamura},
  title        = {Efficient {VM} Introspection in {KVM} and Performance Comparison with
                  Xen},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {192--202},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.33},
  doi          = {10.1109/PRDC.2014.33},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/KouraiN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/KreutzBFC14,
  author       = {Diego Kreutz and
                  Alysson Neves Bessani and
                  Eduardo Feitosa and
                  Hugo Cunha},
  title        = {Towards Secure and Dependable Authentication and Authorization Infrastructures},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {43--52},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.14},
  doi          = {10.1109/PRDC.2014.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/KreutzBFC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/MondalMMT14,
  author       = {Subrota K. Mondal and
                  Jogesh K. Muppala and
                  Fumio Machida and
                  Kishor S. Trivedi},
  title        = {Computing Defects per Million in Cloud Caused by Virtual Machine Failures
                  with Replication},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {161--168},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.29},
  doi          = {10.1109/PRDC.2014.29},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/MondalMMT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/NagamotoKNT14,
  author       = {Takahiro Nagamoto and
                  Hideharu Kojima and
                  Hiroyuki Nakagawa and
                  Tatsuhiro Tsuchiya},
  title        = {Locating a Faulty Interaction in Pair-wise Testing},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {155--156},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.26},
  doi          = {10.1109/PRDC.2014.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/NagamotoKNT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/NogueiraAB14,
  author       = {Rodrigo Nogueira and
                  Filipe Ara{\'{u}}jo and
                  Raul Barbosa},
  title        = {CloudBFT: Elastic Byzantine Fault Tolerance},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {180--189},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.31},
  doi          = {10.1109/PRDC.2014.31},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/NogueiraAB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/OkamuraKD14,
  author       = {Hiroyuki Okamura and
                  Yusuke Kunimoto and
                  Tadashi Dohi},
  title        = {Coarse-Grained Parallel Uniformization for Continuous-Time Markov
                  Chains},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {116--124},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.22},
  doi          = {10.1109/PRDC.2014.22},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/OkamuraKD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/ParisSAL14,
  author       = {Jehan{-}Fran{\c{c}}ois P{\^{a}}ris and
                  Thomas J. E. Schwarz and
                  Ahmed Amer and
                  Darrell D. E. Long},
  title        = {Protecting {RAID} Arrays against Unexpectedly High Disk Failure Rates},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {68--75},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.17},
  doi          = {10.1109/PRDC.2014.17},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/ParisSAL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/PengS14,
  author       = {Rui Peng and
                  F. R. Shahrzad},
  title        = {Simulation of Software Fault Detection and Correction Processes Considering
                  Different Skill Levels of Debuggers},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {157--158},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.27},
  doi          = {10.1109/PRDC.2014.27},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/PengS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/PintardFLKR14,
  author       = {Ludovic Pintard and
                  Jean{-}Charles Fabre and
                  Michel Leeman and
                  Karama Kanoun and
                  Matthieu Roy},
  title        = {From Safety Analyses to Experimental Validation of Automotive Embedded
                  Systems},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {125--134},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.23},
  doi          = {10.1109/PRDC.2014.23},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/PintardFLKR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/SatoMMK14,
  author       = {Yasuo Sato and
                  Masafumi Monden and
                  Yousuke Miyake and
                  Seiji Kajihara},
  title        = {Reduction of NBTI-Induced Degradation on Ring Oscillators in {FPGA}},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {59--67},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.16},
  doi          = {10.1109/PRDC.2014.16},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/SatoMMK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/Tamas-SeliceanP14,
  author       = {Domitian Tamas{-}Selicean and
                  Paul Pop},
  title        = {Optimization of Partitioned Architectures to Support Soft Real-Time
                  Applications},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {223--224},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.36},
  doi          = {10.1109/PRDC.2014.36},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/prdc/Tamas-SeliceanP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/TippenhauerTVCNKS14,
  author       = {Nils Ole Tippenhauer and
                  William G. Temple and
                  An Hoa Vu and
                  Binbin Chen and
                  David M. Nicol and
                  Zbigniew Kalbarczyk and
                  William H. Sanders},
  title        = {Automatic Generation of Security Argument Graphs},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {33--42},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.13},
  doi          = {10.1109/PRDC.2014.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/TippenhauerTVCNKS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/WangLZP14,
  author       = {Mengdi Wang and
                  Bo Li and
                  Yongxin Zhao and
                  Geguang Pu},
  title        = {Formalizing Google File System},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {190--191},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.32},
  doi          = {10.1109/PRDC.2014.32},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/WangLZP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/Wu0ZZ14,
  author       = {Xi Wu and
                  Si Liu and
                  Huibiao Zhu and
                  Yongxin Zhao},
  title        = {Reasoning about Group-Based Mobility in MANETs},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {244--253},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.39},
  doi          = {10.1109/PRDC.2014.39},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/prdc/Wu0ZZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/XingWK14,
  author       = {Yihuan Xing and
                  Ford{-}Long Wong and
                  Akash Kumar},
  title        = {Lightweight Bare-Metal Stateful Firewall},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {53--58},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.15},
  doi          = {10.1109/PRDC.2014.15},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/XingWK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prdc/2014,
  title        = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6974756/proceeding},
  isbn         = {978-1-4799-6474-1},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/prdc/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics