Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/safecomp/safecomp2006.bht:"
@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} }
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.