Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/safecomp/AkellaM10,
  author       = {Ravi Akella and
                  Bruce M. McMillin},
  editor       = {Erwin Schoitsch},
  title        = {Information Flow Analysis of Energy Management in a Smart Grid},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {263--276},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_20},
  doi          = {10.1007/978-3-642-15651-9\_20},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/AkellaM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/AlexanderssonOK10,
  author       = {Ruben Alexandersson and
                  Peter {\"{O}}hman and
                  Johan Karlsson},
  editor       = {Erwin Schoitsch},
  title        = {Aspect-Oriented Implementation of Fault Tolerance: An Assessment of
                  Overhead},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {466--479},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_34},
  doi          = {10.1007/978-3-642-15651-9\_34},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/AlexanderssonOK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/BasirDF10,
  author       = {Nurlida Basir and
                  Ewen Denney and
                  Bernd Fischer},
  editor       = {Erwin Schoitsch},
  title        = {Deriving Safety Cases for Hierarchical Structure in Model-Based Development},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {68--81},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_6},
  doi          = {10.1007/978-3-642-15651-9\_6},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/BasirDF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/BishopC10,
  author       = {Peter G. Bishop and
                  Lukasz Cyra},
  editor       = {Erwin Schoitsch},
  title        = {Overcoming Non-determinism in Testing Smart Devices: {A} Case Study},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {237--250},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_18},
  doi          = {10.1007/978-3-642-15651-9\_18},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BishopC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/BishopTC10,
  author       = {Peter G. Bishop and
                  Konstantinos Tourlas and
                  Nick Chozos},
  editor       = {Erwin Schoitsch},
  title        = {An Approach to Using Non Safety-Assured Programmable Components in
                  Modest Integrity Systems},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {375--388},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_28},
  doi          = {10.1007/978-3-642-15651-9\_28},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BishopTC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/BohmG10,
  author       = {Petr B{\"{o}}hm and
                  Thomas Gruber},
  editor       = {Erwin Schoitsch},
  title        = {A Novel {HAZOP} Study Approach in the {RAMS} Analysis of a Therapeutic
                  Robot for Disabled Children},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {15--27},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_2},
  doi          = {10.1007/978-3-642-15651-9\_2},
  timestamp    = {Thu, 04 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BohmG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/DittelA10,
  author       = {Torsten Dittel and
                  Hans{-}J{\"{o}}rg Aryus},
  editor       = {Erwin Schoitsch},
  title        = {How to "Survive" a Safety Case According to {ISO} 26262},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {97--111},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_8},
  doi          = {10.1007/978-3-642-15651-9\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/DittelA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Driscoll10,
  author       = {Kevin R. Driscoll},
  editor       = {Erwin Schoitsch},
  title        = {Murphy Was an Optimist},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {481--482},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_36},
  doi          = {10.1007/978-3-642-15651-9\_36},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Driscoll10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/EckelMASVCSSKFa10,
  author       = {Andreas Eckel and
                  Paul Milbredt and
                  Zaid Al{-}Ars and
                  Stefan Schneele and
                  Bart Vermeulen and
                  Gy{\"{o}}rgy Csert{\'{a}}n and
                  Christoph Scheerer and
                  Neeraj Suri and
                  Abdelmajid Khelil and
                  Gerhard Fohler},
  editor       = {Erwin Schoitsch},
  title        = {INDEXYS, a Logical Step beyond {GENESYS}},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {431--451},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_32},
  doi          = {10.1007/978-3-642-15651-9\_32},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/EckelMASVCSSKFa10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/FazaSM10,
  author       = {Ayman Z. Faza and
                  Sahra Sedigh and
                  Bruce M. McMillin},
  editor       = {Erwin Schoitsch},
  title        = {Integrated Cyber-Physical Fault Injection for Reliability Analysis
                  of the Smart Grid},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {277--290},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_21},
  doi          = {10.1007/978-3-642-15651-9\_21},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/FazaSM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/GomezLS10,
  author       = {Carolina G{\'{o}}mez and
                  Peter Liggesmeyer and
                  Ariane Sutor},
  editor       = {Erwin Schoitsch},
  title        = {Variability Management of Safety and Reliability Models: An Intermediate
                  Model towards Systematic Reuse of Component Fault Trees},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {28--40},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_3},
  doi          = {10.1007/978-3-642-15651-9\_3},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/GomezLS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/GranzerK10,
  author       = {Wolfgang Granzer and
                  Wolfgang Kastner},
  editor       = {Erwin Schoitsch},
  title        = {Security Analysis of Open Building Automation Systems},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {303--316},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_23},
  doi          = {10.1007/978-3-642-15651-9\_23},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/GranzerK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/GruberAS10,
  author       = {Thomas Gruber and
                  Egbert Althammer and
                  Erwin Schoitsch},
  editor       = {Erwin Schoitsch},
  title        = {Field Test Methods for a Co-operative Integrated Traffic Management
                  System},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {183--195},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_14},
  doi          = {10.1007/978-3-642-15651-9\_14},
  timestamp    = {Wed, 24 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/GruberAS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/HaanappelB10,
  author       = {Suzanne Haanappel and
                  Sjaak Brinkkemper},
  editor       = {Erwin Schoitsch},
  title        = {Software Testing by People with Autism},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {251--262},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_19},
  doi          = {10.1007/978-3-642-15651-9\_19},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/HaanappelB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/HateburH10,
  author       = {Denis Hatebur and
                  Maritta Heisel},
  editor       = {Erwin Schoitsch},
  title        = {A {UML} Profile for Requirements Analysis of Dependable Software},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {317--331},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_24},
  doi          = {10.1007/978-3-642-15651-9\_24},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/HateburH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/HutchessonM10,
  author       = {Stuart Hutchesson and
                  John A. McDermid},
  editor       = {Erwin Schoitsch},
  title        = {Development of High-Integrity Software Product Lines Using Model Transformation},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {389--401},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_29},
  doi          = {10.1007/978-3-642-15651-9\_29},
  timestamp    = {Mon, 30 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/HutchessonM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/IliasovTLRVVIL10,
  author       = {Alexei Iliasov and
                  Elena Troubitsyna and
                  Linas Laibinis and
                  Alexander B. Romanovsky and
                  Kimmo Varpaaniemi and
                  Pauli V{\"{a}}is{\"{a}}nen and
                  Dubravka Ilic and
                  Timo Latvala},
  editor       = {Erwin Schoitsch},
  title        = {Verifying Mode Consistency for On-Board Satellite Software},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {126--141},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_10},
  doi          = {10.1007/978-3-642-15651-9\_10},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/IliasovTLRVVIL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/JeeKCL10,
  author       = {Eunkyoung Jee and
                  Suin Kim and
                  Sung Deok Cha and
                  Insup Lee},
  editor       = {Erwin Schoitsch},
  title        = {Automated Test Coverage Measurement for Reactor Protection System
                  Software Implemented in Function Block Diagram},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {223--236},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_17},
  doi          = {10.1007/978-3-642-15651-9\_17},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/JeeKCL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Johnson10,
  author       = {Christopher W. Johnson},
  editor       = {Erwin Schoitsch},
  title        = {Computational Concerns in the Integration of Unmanned Airborne Systems
                  into Controlled Airspace},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {142--154},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_11},
  doi          = {10.1007/978-3-642-15651-9\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Johnson10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/JohnsonR10,
  author       = {Christopher W. Johnson and
                  Stefan Raue},
  editor       = {Erwin Schoitsch},
  title        = {On the Safety Implications of E-Governance: Assessing the Hazards
                  of Enterprise Information Architectures in Safety-Critical Applications},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {402--417},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_30},
  doi          = {10.1007/978-3-642-15651-9\_30},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/JohnsonR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/KaiserKSHL10,
  author       = {Bernhard Kaiser and
                  Vanessa C. Klaas and
                  Stefan Schulz and
                  Christian Herbst and
                  Peter Lascych},
  editor       = {Erwin Schoitsch},
  title        = {Integrating System Modelling with Safety Activities},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {452--465},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_33},
  doi          = {10.1007/978-3-642-15651-9\_33},
  timestamp    = {Wed, 24 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/KaiserKSHL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/KastnerHF10,
  author       = {Daniel K{\"{a}}stner and
                  Reinhold Heckmann and
                  Christian Ferdinand},
  editor       = {Erwin Schoitsch},
  title        = {100{\%} Coverage for Safety-Critical Software - Efficient Testing
                  by Static Analysis},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {196--209},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_15},
  doi          = {10.1007/978-3-642-15651-9\_15},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/KastnerHF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Kopetz10,
  author       = {Hermann Kopetz},
  editor       = {Erwin Schoitsch},
  title        = {System of Systems Challenges},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {480},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_35},
  doi          = {10.1007/978-3-642-15651-9\_35},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Kopetz10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/LahtinenJRHN10,
  author       = {Jussi Lahtinen and
                  Mika Johansson and
                  Jukka Ranta and
                  Hannu Harju and
                  Risto Nevalainen},
  editor       = {Erwin Schoitsch},
  title        = {Comparison between {IEC} 60880 and {IEC} 61508 for Certification Purposes
                  in the Nuclear Domain},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {55--67},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_5},
  doi          = {10.1007/978-3-642-15651-9\_5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/LahtinenJRHN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Luiijf10,
  author       = {Eric A. M. Luiijf},
  editor       = {Erwin Schoitsch},
  title        = {Process Control Security: Go Dutch! (United, Shared, Lean and Mean)},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {483},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_37},
  doi          = {10.1007/978-3-642-15651-9\_37},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/Luiijf10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/MotaJGFW10,
  author       = {Alexandre Mota and
                  Joabe Jesus and
                  Adriano Gomes and
                  Felipe Ferri and
                  Edson H. Watanabe},
  editor       = {Erwin Schoitsch},
  title        = {Evolving a Safe System Design Iteratively},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {361--374},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_27},
  doi          = {10.1007/978-3-642-15651-9\_27},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/MotaJGFW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/NovakS10,
  author       = {Thomas Novak and
                  Christoph Stoegerer},
  editor       = {Erwin Schoitsch},
  title        = {The Right Degree of Configurability for Safety-Critical Embedded Software
                  in Variable Message Signs},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {418--430},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_31},
  doi          = {10.1007/978-3-642-15651-9\_31},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/NovakS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/PalinH10,
  author       = {Robert Palin and
                  Ibrahim Habli},
  editor       = {Erwin Schoitsch},
  title        = {Assurance of Automotive Safety - {A} Safety Case Approach},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {82--96},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_7},
  doi          = {10.1007/978-3-642-15651-9\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/PalinH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/RuzzanteCMF10,
  author       = {Silvia Ruzzante and
                  Elisa Castorini and
                  Elena Marchei and
                  Vincenzo Fioriti},
  editor       = {Erwin Schoitsch},
  title        = {A Metric for Measuring the Strength of Inter-dependencies},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {291--302},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_22},
  doi          = {10.1007/978-3-642-15651-9\_22},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/RuzzanteCMF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/SandbergCLJFTTKA10,
  author       = {Anders Sandberg and
                  De{-}Jiu Chen and
                  Henrik L{\"{o}}nn and
                  Rolf Johansson and
                  Lei Feng and
                  Martin T{\"{o}}rngren and
                  Sandra Torchiaro and
                  Ramin Tavakoli Kolagari and
                  Andreas Abele},
  editor       = {Erwin Schoitsch},
  title        = {Model-Based Safety Engineering of Interdependent Functions in Automotive
                  Vehicles Using {EAST-ADL2}},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {332--346},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_25},
  doi          = {10.1007/978-3-642-15651-9\_25},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/SandbergCLJFTTKA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/SchiffelSSF10,
  author       = {Ute Schiffel and
                  Andr{\'{e}} Schmitt and
                  Martin S{\"{u}}{\ss}kraut and
                  Christof Fetzer},
  editor       = {Erwin Schoitsch},
  title        = {{ANB-} and ANBDmem-Encoding: Detecting Hardware Errors in Software},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {169--182},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_13},
  doi          = {10.1007/978-3-642-15651-9\_13},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/SchiffelSSF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/SchillerM10,
  author       = {Frank Schiller and
                  Tina Mattes},
  editor       = {Erwin Schoitsch},
  title        = {Residual Error Probability of Embedded {CRC} by Stochastic Automata},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {155--168},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_12},
  doi          = {10.1007/978-3-642-15651-9\_12},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/SchillerM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/SchulzP10,
  author       = {Oliver Schulz and
                  Jan Peleska},
  editor       = {Erwin Schoitsch},
  title        = {Reliability Analysis of Safety-Related Communication Architectures},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {1--14},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_1},
  doi          = {10.1007/978-3-642-15651-9\_1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/SchulzP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/SvenningssonVET10,
  author       = {Rickard Svenningsson and
                  Jonny Vinter and
                  Henrik Eriksson and
                  Martin T{\"{o}}rngren},
  editor       = {Erwin Schoitsch},
  title        = {{MODIFI:} {A} MODel-Implemented Fault Injection Tool},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {210--222},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_16},
  doi          = {10.1007/978-3-642-15651-9\_16},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/SvenningssonVET10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/TerruggiaB10,
  author       = {Roberta Terruggia and
                  Andrea Bobbio},
  editor       = {Erwin Schoitsch},
  title        = {QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision
                  Diagrams},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {41--54},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_4},
  doi          = {10.1007/978-3-642-15651-9\_4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/TerruggiaB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/VerasVAPVM10,
  author       = {Paulo C. V{\'{e}}ras and
                  Em{\'{\i}}lia Villani and
                  Ana Maria Ambrosio and
                  Rodrigo Pastl Pontes and
                  Marco Vieira and
                  Henrique Madeira},
  editor       = {Erwin Schoitsch},
  title        = {Benchmarking Software Requirements Documentation for Space Application},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {112--125},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_9},
  doi          = {10.1007/978-3-642-15651-9\_9},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/VerasVAPVM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/WalterTL10,
  author       = {Dennis Walter and
                  Holger T{\"{a}}ubig and
                  Christoph L{\"{u}}th},
  editor       = {Erwin Schoitsch},
  title        = {Experiences in Applying Formal Verification in Robotics},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {347--360},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_26},
  doi          = {10.1007/978-3-642-15651-9\_26},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/WalterTL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/safecomp/2010,
  editor       = {Erwin Schoitsch},
  title        = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9},
  doi          = {10.1007/978-3-642-15651-9},
  isbn         = {978-3-642-15650-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/2010.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.