Search dblp for Publications

export results for "toc:db/conf/depcos/depcos2009.bht:"

 download as .bib file

@inproceedings{DBLP:conf/depcos/BabczynskiLM09,
  author       = {Tomasz Babczynski and
                  Miroslaw Lukowicz and
                  Jan Magott},
  title        = {Selection of Tripping Times for Distance Protection Using Probabilistic
                  Fault Trees with Time Dependencies},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {315--323},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.18},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.18},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/BabczynskiLM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/BagrijMW09,
  author       = {Lukasz Bagrij and
                  Katarzyna Michalska and
                  Marek Woda},
  title        = {Applying Queuing Models for Assessing Network Services Dependability
                  Parameters in Modern Information Systems},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {135--143},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.48},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.48},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/BagrijMW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/BanczykK09,
  author       = {Karol Banczyk and
                  Henryk Krawczyk},
  title        = {Ontology Oriented Threat Detection System {(OOTDS)}},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {144--151},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.45},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.45},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/BanczykK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/BessamKM09,
  author       = {Ammar Bessam and
                  Mohamed Tahar Kimour and
                  Ali Melit},
  title        = {Separating Users' Views in a Development Process for Agile Methods},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {61--68},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.16},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/BessamKM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Bialas09,
  author       = {Andrzej Bialas},
  title        = {Ontology-Based Security Problem Definition and Solution for the Common
                  Criteria Compliant Development Process},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {3--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.15},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Bialas09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/BluemkeR09,
  author       = {Ilona Bluemke and
                  Artur Rembiszewski},
  title        = {Dataflow Approach to Testing Java Programs},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {69--76},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.34},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.34},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/BluemkeR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Bouabana-Tebibel09,
  author       = {Thouraya Bouabana{-}Tebibel},
  title        = {{UML} 2 Interaction Overview Diagram Validation},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {11--16},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.47},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.47},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Bouabana-Tebibel09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/BoualiBS09,
  author       = {Mohamed Bouali and
                  Pavol Barger and
                  Walter Sch{\"{o}}n},
  title        = {Inconsistent State Analysis of a Network Receiver with Colored Petri
                  Nets},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {152--159},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.42},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.42},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/BoualiBS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Bourahla09,
  author       = {Mustapha Bourahla},
  title        = {Model-Based Diagnostic Using Model Checking},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {229--236},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.33},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.33},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Bourahla09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Caban09,
  author       = {Dariusz Caban},
  title        = {Dependability of Large Reconfigurable Information Systems},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {160--167},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.44},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.44},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Caban09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/CichonCJ09,
  author       = {Jacek Cichon and
                  Adam Czubak and
                  Andrzej Jasinski},
  title        = {Minimal B{\"{u}}chi Automata for Certain Classes of {LTL} Formulas},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {17--24},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.31},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.31},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/CichonCJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/CichonCK09,
  author       = {Jacek Cichon and
                  Krzysztof Cichon and
                  Przemyslaw Kobylanski},
  title        = {Node Evaluation in the Chord {P2P} Systems},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {168--175},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.32},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.32},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/CichonCK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Dworak09,
  author       = {Hugo Dworak},
  title        = {A Concept of a Web Application Blending Thin and Fat Client Architectures},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {84--90},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.9},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.9},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Dworak09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Dworak09a,
  author       = {Hugo Dworak},
  title        = {The Design and Implementation of a Documentation Generator for the
                  {PRISM} Language},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {91--98},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.29},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.29},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Dworak09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Elyasi-KomariKBGS09,
  author       = {Iraj Elyasi{-}Komari and
                  Vyacheslav S. Kharchenko and
                  Eugene Babeshko and
                  Anatoliy Gorbenko and
                  Alexandr Siora},
  title        = {Extended Dependability Analysis of Information and Control Systems
                  by FME(C)A-technique: Models, Procedures, Application},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {25--32},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.13},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Elyasi-KomariKBGS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Fechner09,
  author       = {Bernhard Fechner},
  title        = {Fault-Masking Capabilities of Basic Circuit Structures},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {245--253},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.25},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Fechner09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/FechnerK09,
  author       = {Bernhard Fechner and
                  Oliver K{\"{o}}rber},
  title        = {A Tool for Dependable and Distributable Presentations},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {254--260},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.26},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/FechnerK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/GashkovBBFZ09,
  author       = {Sergej B. Gashkov and
                  Anatoli A. Bolotov and
                  Alexej A. Burtzev and
                  Alexander Frolov and
                  Sergei Zhebet},
  title        = {On Hardware and Software Implementation of Arithmetic in Finite Fields
                  of Characteristic 7 for Calculation of Pairings},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {261--270},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.37},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.37},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/depcos/GashkovBBFZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Gluchowski09,
  author       = {Pawel Gluchowski},
  title        = {Languages of {CTL} and {RTCTL} Calculi in Real-Time Analysis of a
                  System Described by a Fault Tree with Time Dependencies},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {33--41},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.12},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Gluchowski09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/KharchenkoSS09,
  author       = {Vyacheslav S. Kharchenko and
                  Vladimir V. Sklyar and
                  Alexandr Siora},
  title        = {Dependability of Safety-Critical Computer Systems through Component-Based
                  Evolution},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {42--49},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.22},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.22},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/KharchenkoSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Kharitonov09,
  author       = {Vasily Y. Kharitonov},
  title        = {A Consistency Model for Distributed Virtual Reality Systems},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {271--278},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.17},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Kharitonov09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/KotulskiS09,
  author       = {Leszek Kotulski and
                  Adam Sedziwy},
  title        = {On Complexity of Coordination of Parallel Graph Transformations in
                  {GRADIS} Framework},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {279--289},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.51},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.51},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/KotulskiS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/KoutrasSP09,
  author       = {Vasilis P. Koutras and
                  Christoforos{-}Panagiotis S. Salagaras and
                  Agapios N. Platis},
  title        = {Software Rejuvenation for Higher Levels of VoIP Availability and Mean
                  Time to Failure},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {99--106},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.21},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/KoutrasSP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/KowalskiW09,
  author       = {Marcin Kowalski and
                  Kazimierz Wilkosz},
  title        = {A Domain Specific Language in Dependability Analysis},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {324--331},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.14},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/KowalskiW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Lipinski09,
  author       = {Zbigniew Lipinski},
  title        = {UML-Based Reliability Modeling of Network Services, a {UDP} Echo Service
                  Case Study},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {50--57},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.11},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Lipinski09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Maciejewski09,
  author       = {Henryk Maciejewski},
  title        = {Reliability Centered Maintenance of Repairable Equipment},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {332--339},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.19},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Maciejewski09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Nikodem09,
  author       = {Jan Nikodem},
  title        = {Relational Approach Towards Feasibility Performance for Routing Algorithms
                  in Wireless Sensor Network},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {176--183},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.40},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.40},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Nikodem09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/OlahM09,
  author       = {J{\'{a}}nos Ol{\'{a}}h and
                  Istv{\'{a}}n Majzik},
  title        = {A Model Based Framework for Specifying and Executing Fault Injection
                  Experiments},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {107--114},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.41},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.41},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/OlahM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Orlov09,
  author       = {Dmitry Orlov},
  title        = {Application of Computations with Calculation Error Exclusion for Computation
                  Geometry Algorithms},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {290--295},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.43},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.43},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Orlov09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Piech09,
  author       = {Henryk Piech},
  title        = {Analysis of Possibilities and Effectiveness of Combine Rough Sets
                  and Neighborhood Theories for Solving Dynamic Scheduling Problem},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {296--303},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.36},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.36},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Piech09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/PiechG09,
  author       = {Henryk Piech and
                  Urszula G{\'{o}}rnik},
  title        = {The Use of Heuristics in Creating Speculation Strategy},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {304--312},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.38},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.38},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/PiechG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Siergiejczyk09,
  author       = {Miroslaw Siergiejczyk},
  title        = {Operational Availability of Railway Dispatch Communication System},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {340--347},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.28},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Siergiejczyk09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/SilvaGMLGH09,
  author       = {Antonio da Silva and
                  Alberto Gonzalez{-}Calero and
                  Jos{\'{e}}{-}Fern{\'{a}}n Mart{\'{\i}}nez and
                  Lourdes L{\'{o}}pez{-}Santidri{\'{a}}n and
                  Ana Bel{\'{e}}n Garc{\'{\i}}a and
                  Vicente Hern{\'{a}}ndez},
  title        = {Design and Implementation of a Java Fault Injector for Exhaustif{\textregistered}
                  {SWIFI} Tool},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {77--83},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.27},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.27},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/SilvaGMLGH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/SilvaS09,
  author       = {Antonio da Silva and
                  Sebasti{\'{a}}n S{\'{a}}nchez},
  title        = {On the Use of Dynamic Binary Instrumentation to Perform Faults Injection
                  in Transaction Level Models},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {237--244},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.30},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.30},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/SilvaS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/SugierA09,
  author       = {Jaroslaw Sugier and
                  George J. Anders},
  title        = {Modifying Markov Models of Ageing Equipment for Modeling Changes in
                  Maintenance Policies},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {348--355},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.23},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.23},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/SugierA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/SzlachcicM09,
  author       = {Ewa Szlachcic and
                  Jacek Mlynek},
  title        = {Efficiency Analysis in Communication Networks Topology Design},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {184--191},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.50},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.50},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/SzlachcicM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Szymczyk09,
  author       = {Miroslaw Szymczyk},
  title        = {Detecting Botnets in Computer Networks Using Multi-agent Technology},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {192--201},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.46},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.46},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Szymczyk09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/ToporkovTTY09,
  author       = {Victor V. Toporkov and
                  Anna S. Toporkova and
                  Alexey Tselishchev and
                  Dmitry Yemelyanov},
  title        = {Job and Application-Level Scheduling: An Integrated Approach for Achieving
                  Quality of Service in Distributed Computing},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {202--209},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.10},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.10},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/ToporkovTTY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/TorresA09,
  author       = {Alvaro Torres and
                  George J. Anders},
  title        = {Spectral Graph Theory and Network Dependability},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {356--363},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.52},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.52},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/TorresA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Tylman09,
  author       = {Wojciech Tylman},
  title        = {Data Mining Techniques for Semi-automatic Signature Generation},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {210--217},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.24},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.24},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Tylman09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Walkowiak09,
  author       = {Tomasz Walkowiak},
  title        = {Information Systems Performance Analysis Using Task-Level Simulator},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {218--225},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.49},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.49},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Walkowiak09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/WalkowiakM09,
  author       = {Tomasz Walkowiak and
                  Jacek Mazurkiewicz},
  title        = {Analysis of Critical Situations in Discrete Transport Systems},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {364--371},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.39},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.39},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/WalkowiakM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Worwa09,
  author       = {Kazimierz Worwa},
  title        = {A Comparison of Structural Testing Strategies Based on Subdomain Testing
                  and Random Testing},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {115--122},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.20},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Worwa09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/Zuberek09,
  author       = {Wlodek M. Zuberek},
  title        = {Siphon-Based Verification of Component Compatibility},
  booktitle    = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  pages        = {123--132},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.35},
  doi          = {10.1109/DEPCOS-RELCOMEX.2009.35},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/Zuberek09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/depcos/2009,
  title        = {Fourth International Conference on Dependability of Computer Systems,
                  DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/5260979/proceeding},
  isbn         = {978-0-7695-3674-3},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/depcos/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics