Search dblp for Publications

export results for "toc:db/conf/safecomp/safecomp2001.bht:"

 download as .bib file

@inproceedings{DBLP:conf/safecomp/Betous-AlmeidaK01,
  author       = {Cl{\'{a}}udia Betous{-}Almeida and
                  Karama Kanoun},
  editor       = {Udo Voges},
  title        = {Dependability Evaluation},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {227--237},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_22},
  doi          = {10.1007/3-540-45416-0\_22},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Betous-AlmeidaK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Bitsch01,
  author       = {Friedemann Bitsch},
  editor       = {Udo Voges},
  title        = {Safety Patterns - The Key to Formal Specification of Safety Requirements},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {176--189},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_18},
  doi          = {10.1007/3-540-45416-0\_18},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Bitsch01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/CaspiMP01,
  author       = {Paul Caspi and
                  Christine Mazuet and
                  Natacha Reynaud Paligot},
  editor       = {Udo Voges},
  title        = {About the Design of Distributed Control Systems: The Quasi-Synchronous
                  Approach},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {215--226},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_21},
  doi          = {10.1007/3-540-45416-0\_21},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/CaspiMP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/CichockiG01,
  author       = {Tadeusz Cichocki and
                  Janusz G{\'{o}}rski},
  editor       = {Udo Voges},
  title        = {Formal Support for Fault Modelling and Analysis},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {190--199},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_19},
  doi          = {10.1007/3-540-45416-0\_19},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/CichockiG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Faller01,
  author       = {Rainer Faller},
  editor       = {Udo Voges},
  title        = {Project Experience with {IEC} 61508 and Its Consequences},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {200--214},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_20},
  doi          = {10.1007/3-540-45416-0\_20},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Faller01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Fankhauser01,
  author       = {Hans R. Fankhauser},
  editor       = {Udo Voges},
  title        = {Safety Functions versus Control Functions},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {66--74},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_7},
  doi          = {10.1007/3-540-45416-0\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Fankhauser01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Fox01,
  author       = {John Fox},
  editor       = {Udo Voges},
  title        = {Designing Safety into Medical Decisions and Clinical Processes},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {1--13},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_1},
  doi          = {10.1007/3-540-45416-0\_1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Fox01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/GawkowskiS01,
  author       = {Piotr Gawkowski and
                  Janusz Sosnowski},
  editor       = {Udo Voges},
  title        = {Experimental Evaluation of Fault Handling Mechanisms},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {109--118},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_12},
  doi          = {10.1007/3-540-45416-0\_12},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/GawkowskiS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/GranH01,
  author       = {Bj{\o}rn Axel Gran and
                  Atte Helminen},
  editor       = {Udo Voges},
  title        = {A Bayesian Belief Network for Reliability Assessment},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {35--45},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_4},
  doi          = {10.1007/3-540-45416-0\_4},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/GranH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/KaanicheGAB01,
  author       = {Mohamed Ka{\^{a}}niche and
                  Yannick Le Gu{\'{e}}dart and
                  Jean Arlat and
                  Thierry Boyer},
  editor       = {Udo Voges},
  title        = {An Investigation on Mutation Strategies for Fault Injection into {RDD-100}
                  Models},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {130--144},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_14},
  doi          = {10.1007/3-540-45416-0\_14},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/KaanicheGAB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/KuballHMGJC01,
  author       = {Silke Kuball and
                  Gordon Hughes and
                  John H. R. May and
                  Julio Gallardo and
                  Andrew D. John and
                  Roy B. Carter},
  editor       = {Udo Voges},
  title        = {The Effectiveness of Statistical Testing when Applied to Logic Systems},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {156--165},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_16},
  doi          = {10.1007/3-540-45416-0\_16},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/KuballHMGJC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/LaibleBP01,
  author       = {Ulrich Laible and
                  Thomas B{\"{u}}rger and
                  G{\"{u}}nter Pritschow},
  editor       = {Udo Voges},
  title        = {A Fail-Safe Dual Channel Robot Control for Surgery Applications},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {75--85},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_8},
  doi          = {10.1007/3-540-45416-0\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/LaibleBP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/MackelH01,
  author       = {Oliver M{\"{a}}ckel and
                  Georg Hoever},
  editor       = {Udo Voges},
  title        = {Analyzing Human-Machine Interactions in Safety-Critical Systems: {A}
                  Basic Applicable Approach},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {92--99},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_10},
  doi          = {10.1007/3-540-45416-0\_10},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/MackelH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/NaedeleDS01,
  author       = {Martin Naedele and
                  Dacfey Dzung and
                  Michael Stanimirov},
  editor       = {Udo Voges},
  title        = {Network Security for Substation Automation Systems},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {25--34},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_3},
  doi          = {10.1007/3-540-45416-0\_3},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/NaedeleDS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Nordland01,
  author       = {Odd Nordland},
  editor       = {Udo Voges},
  title        = {Presenting a Safety Case - {A} Case Study},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {56--65},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_6},
  doi          = {10.1007/3-540-45416-0\_6},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Nordland01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/PapMP01,
  author       = {Zsigmond Pap and
                  Istv{\'{a}}n Majzik and
                  Andr{\'{a}}s Pataricza},
  editor       = {Udo Voges},
  title        = {Checking General Safety Criteria on {UML} Statecharts},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {46--55},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_5},
  doi          = {10.1007/3-540-45416-0\_5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/PapMP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/PasquiniRS01,
  author       = {Alberto Pasquini and
                  Antonio Rizzo and
                  Luca Save},
  editor       = {Udo Voges},
  title        = {Analysis of Incidents Involving Interactive Systems},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {100--108},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_11},
  doi          = {10.1007/3-540-45416-0\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/PasquiniRS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/PorcarelliGCB01,
  author       = {Stefano Porcarelli and
                  Felicita Di Giandomenico and
                  Amine Chohra and
                  Andrea Bondavalli},
  editor       = {Udo Voges},
  title        = {Tuning of Database Audits to Improve Scheduled Maintenance in Communication
                  Systems},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {238--248},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_23},
  doi          = {10.1007/3-540-45416-0\_23},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/PorcarelliGCB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Redmill01,
  author       = {Felix Redmill},
  editor       = {Udo Voges},
  title        = {The {COTS} Debate in Perspective},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {119--129},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_13},
  doi          = {10.1007/3-540-45416-0\_13},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Redmill01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Rushby01,
  author       = {John M. Rushby},
  editor       = {Udo Voges},
  title        = {Modeling the Human in Human Factors},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {86--91},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_9},
  doi          = {10.1007/3-540-45416-0\_9},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Rushby01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Vakalis01,
  author       = {Ioannis Vakalis},
  editor       = {Udo Voges},
  title        = {A Comparison Study of the Behavior of Equivalent Algorithms in Fault
                  Injection Experiments in Parallel Superscalar Architectures},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {145--155},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_15},
  doi          = {10.1007/3-540-45416-0\_15},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Vakalis01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/WintherJG01,
  author       = {Rune Winther and
                  Ole{-}Arnt Johnsen and
                  Bj{\o}rn Axel Gran},
  editor       = {Udo Voges},
  title        = {Security Assessments of Safety Critical Systems Using HAZOPs},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {14--24},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_2},
  doi          = {10.1007/3-540-45416-0\_2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/WintherJG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/ZoffmannGRS01,
  author       = {G{\"{u}}nther Zoffmann and
                  Manfred Gingerl and
                  Christian Reumann and
                  Gerald Sonneck},
  editor       = {Udo Voges},
  title        = {A Classification Scheme for Software Verification Tools with Regard
                  to {RTCA/DO-178B}},
  booktitle    = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  pages        = {166--175},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0\_17},
  doi          = {10.1007/3-540-45416-0\_17},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/ZoffmannGRS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/safecomp/2001,
  editor       = {Udo Voges},
  title        = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0},
  doi          = {10.1007/3-540-45416-0},
  isbn         = {3-540-42607-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.