Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/safecomp/AlexanderKK06,
  author       = {Robert Alexander and
                  Dimitar Kazakov and
                  Tim Kelly},
  editor       = {Janusz G{\'{o}}rski},
  title        = {System of Systems Hazard Analysis Using Simulation and Machine Learning},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {1--14},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_1},
  doi          = {10.1007/11875567\_1},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/AlexanderKK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BanachB06,
  author       = {Richard Banach and
                  Marco Bozzano},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Retrenchment, and the Generation of Fault Trees for Static, Dynamic
                  and Cyclic Systems},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {127--141},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_10},
  doi          = {10.1007/11875567\_10},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BanachB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BerkenkotterH06,
  author       = {Kirsten Berkenk{\"{o}}tter and
                  Ulrich Hannemann},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Modeling the Railway Control Domain Rigorously with a {UML} 2.0 Profile},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {398--411},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_30},
  doi          = {10.1007/11875567\_30},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BerkenkotterH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Bialas06,
  author       = {Andrzej Bialas},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Development of an Integrated, Risk-Based Platform for Information
                  and E-Services Security},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {316--329},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_24},
  doi          = {10.1007/11875567\_24},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Bialas06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BritoM06,
  author       = {M{\'{a}}rio Brito and
                  John May},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Gaining Confidence in the Software Development Process Using Expert
                  Systems},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {113--126},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_9},
  doi          = {10.1007/11875567\_9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BritoM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CheikhrouhouRSSL06,
  author       = {Lassaad Cheikhrouhou and
                  Georg Rock and
                  Werner Stephan and
                  Matthias Schwan and
                  Gunter Lassmann},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Verifying a Chipcard-Based Biometric Identification Protocol in {VSE}},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {42--56},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_4},
  doi          = {10.1007/11875567\_4},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/CheikhrouhouRSSL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CholdaDJW06,
  author       = {Piotr Cholda and
                  Jerzy Domzal and
                  Andrzej Jajszczyk and
                  Krzysztof Wajda},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Reliability Analysis of Resilient Packet Rings},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {289--301},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_22},
  doi          = {10.1007/11875567\_22},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/CholdaDJW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ChouF06,
  author       = {I{-}Hsin Chou and
                  Chin{-}Feng Fan},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Regulatory Software Configuration Management System Design},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {99--112},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_8},
  doi          = {10.1007/11875567\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/ChouF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/FovinoM06,
  author       = {Igor Nai Fovino and
                  Marcelo Masera},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Through the Description of Attacks: {A} Multidimensional View},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {15--28},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_2},
  doi          = {10.1007/11875567\_2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/FovinoM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Garcia-AlfaroCC06,
  author       = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
                  Fr{\'{e}}d{\'{e}}ric Cuppens and
                  Nora Cuppens{-}Boulahia},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Towards Filtering and Alerting Rule Rewriting on Single-Component
                  Policies},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {182--194},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_14},
  doi          = {10.1007/11875567\_14},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/Garcia-AlfaroCC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Garsva06,
  author       = {Eimantas Garsva},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Computer System Survivability Modelling by Using Stochastic Activity
                  Network},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {71--84},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_6},
  doi          = {10.1007/11875567\_6},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Garsva06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GierszewskiMR06,
  author       = {Tomasz Gierszewski and
                  Wojciech Molisz and
                  Jacek Rak},
  editor       = {Janusz G{\'{o}}rski},
  title        = {On Certain Behavior of Scale-Free Networks Under Malicious Attacks},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {29--41},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_3},
  doi          = {10.1007/11875567\_3},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/GierszewskiMR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GieseT06,
  author       = {Holger Giese and
                  Matthias Tichy},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Component-Based Hazard Analysis: Optimal Designs, Product Lines, and
                  Online-Reconfiguration},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {156--169},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_12},
  doi          = {10.1007/11875567\_12},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/GieseT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Hall-MayK06,
  author       = {Martin Hall{-}May and
                  Tim Kelly},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Using Agent-Based Modelling Approaches to Support the Development
                  of Safety Policy for Systems of Systems},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {330--343},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_25},
  doi          = {10.1007/11875567\_25},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Hall-MayK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Kim06,
  author       = {Byungryong Kim},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Using Group Overlapping to Protect Server from Attack in Grid Computing},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {195--204},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_15},
  doi          = {10.1007/11875567\_15},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Kim06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/LeeLCMK06,
  author       = {Jang{-}Soo Lee and
                  Arndt Lindner and
                  Jong{-}Gyun Choi and
                  Horst Miedl and
                  Kee{-}Choon Kwon},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Software Safety Lifecycles and the Methods of a Programmable Electronic
                  Safety System for a Nuclear Power Plant},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {85--98},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_7},
  doi          = {10.1007/11875567\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/LeeLCMK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MazurczykK06,
  author       = {Wojciech Mazurczyk and
                  Zbigniew Kotulski},
  editor       = {Janusz G{\'{o}}rski},
  title        = {New VoIP Traffic Security Scheme with Digital Watermarking},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {170--181},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_13},
  doi          = {10.1007/11875567\_13},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/MazurczykK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MeulenR06,
  author       = {Meine van der Meulen and
                  Miguel A. Revilla},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Experiences with the Design of a Run-Time Check},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {302--315},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_23},
  doi          = {10.1007/11875567\_23},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/MeulenR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/OsterS06,
  author       = {Norbert Oster and
                  Francesca Saglietti},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Automatic Test Data Generation by Multi-objective Optimisation},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {426--438},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_32},
  doi          = {10.1007/11875567\_32},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/OsterS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/PeikenkampCVBPH06,
  author       = {Thomas Peikenkamp and
                  Antonella Cavallo and
                  Laura Valacca and
                  Eckard B{\"{o}}de and
                  Matthias Pretzer and
                  Ernst Moritz Hahn},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Towards a Unified Model-Based Safety Assessment},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {275--288},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_21},
  doi          = {10.1007/11875567\_21},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/PeikenkampCVBPH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Poniszewska-Maranda06,
  author       = {Aneta Poniszewska{-}Maranda},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Access Control Coherence of Information Systems Based on Security
                  Constraints},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {412--425},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_31},
  doi          = {10.1007/11875567\_31},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Poniszewska-Maranda06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/RydzakBSQG06,
  author       = {Felicjan Rydzak and
                  Lars S. Breistrand and
                  Finn Olav Sveen and
                  Ying Qian and
                  Jose J. Gonzalez},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Exploring Resilience Towards Risks in eOperations in the Oil and Gas
                  Industry},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {57--70},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_5},
  doi          = {10.1007/11875567\_5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/RydzakBSQG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Santen06,
  author       = {Thomas Santen},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Stepwise Development of Secure Systems},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {142--155},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_11},
  doi          = {10.1007/11875567\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Santen06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SchlagerHWGRE06,
  author       = {Martin Schlager and
                  Wolfgang Herzner and
                  Andreas Wolf and
                  Oliver Gr{\"{u}}ndonner and
                  Maximilian Rosenblattl and
                  Erwin Erkinger},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Encapsulating Application Subsystems Using the {DECOS} Core {OS}},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {386--397},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_29},
  doi          = {10.1007/11875567\_29},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/SchlagerHWGRE06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SchlickHS06,
  author       = {Rupert Schlick and
                  Wolfgang Herzner and
                  Thierry Le Sergent},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Checking {SCADE} Models for Correct Usage of Physical Units},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {358--371},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_27},
  doi          = {10.1007/11875567\_27},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/SchlickHS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SchoitschAEVGPC06,
  author       = {Erwin Schoitsch and
                  Egbert Althammer and
                  Henrik Eriksson and
                  Jonny Vinter and
                  L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
                  Andr{\'{a}}s Pataricza and
                  Gy{\"{o}}rgy Csert{\'{a}}n},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Validation and Certification of Safety-Critical Embedded Systems -
                  The {DECOS} Test Bench},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {372--385},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_28},
  doi          = {10.1007/11875567\_28},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/SchoitschAEVGPC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SongCHC06,
  author       = {Won Jay Song and
                  Moon Kyo Cho and
                  Im Sook H{\'{a}} and
                  Mun Kee Choi},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Healthcare System Architecture, Economic Value, and Policy Models
                  in Large-Scale Wireless Sensor Networks},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {233--246},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_18},
  doi          = {10.1007/11875567\_18},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/SongCHC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SujanHSPV06,
  author       = {Mark{-}Alexander Sujan and
                  Michael D. Harrison and
                  Alison Steven and
                  Pauline H. Pearson and
                  Susan J. Vernon},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Demonstration of Safety in Healthcare Organisations},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {219--232},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_17},
  doi          = {10.1007/11875567\_17},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/SujanHSPV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SzpyrkaS06,
  author       = {Marcin Szpyrka and
                  Tomasz Szmuc},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Verification of Automatic Train Protection Systems with RTCP-Nets},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {344--357},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_26},
  doi          = {10.1007/11875567\_26},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/SzpyrkaS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/TornerJO06,
  author       = {Fredrik T{\"{o}}rner and
                  Per Johannessen and
                  Peter {\"{O}}hman},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Assessment of Hazard Identification Methods for the Automotive Domain},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {247--260},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_19},
  doi          = {10.1007/11875567\_19},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/TornerJO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/TrawczynskiSZ06,
  author       = {Dawid Trawczynski and
                  Janusz Sosnowski and
                  Janusz Zalewski},
  editor       = {Janusz G{\'{o}}rski},
  title        = {A Tool for Databus Safety Analysis Using Fault Injection},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {261--274},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_20},
  doi          = {10.1007/11875567\_20},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/TrawczynskiSZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Wardzinski06,
  author       = {Andrzej Wardzinski},
  editor       = {Janusz G{\'{o}}rski},
  title        = {The Role of Situation Awareness in Assuring Safety of Autonomous Vehicles},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {205--218},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_16},
  doi          = {10.1007/11875567\_16},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Wardzinski06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2006,
  editor       = {Janusz G{\'{o}}rski},
  title        = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567},
  doi          = {10.1007/11875567},
  isbn         = {3-540-45762-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics