Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/safecomp/safecomp2016.bht:"
@inproceedings{DBLP:conf/safecomp/0001JK16, author = {Matthias Volk and Sebastian Junges and Joost{-}Pieter Katoen}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {253--265}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_20}, doi = {10.1007/978-3-319-45477-1\_20}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/0001JK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/AlajramiGSRI16, author = {Sami Alajrami and Barbara Gallina and Irfan Sljivo and Alexander B. Romanovsky and Petter Isberg}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {Towards Cloud-Based Enactment of Safety-Related Processes}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {309--321}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_24}, doi = {10.1007/978-3-319-45477-1\_24}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/AlajramiGSRI16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/AliabadiP16, author = {Maryam Raiyat Aliabadi and Karthik Pattabiraman}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {{FIDL:} {A} Fault Injection Description Language for Compiler-Based {SFI} Tools}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {12--23}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_2}, doi = {10.1007/978-3-319-45477-1\_2}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/AliabadiP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/AnielloCCFQR16, author = {Leonardo Aniello and Claudio Ciccotelli and Marcello Cinque and Flavio Frattini and Leonardo Querzoni and Stefano Russo}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {Automatic Invariant Selection for Online Anomaly Detection}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {172--183}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_14}, doi = {10.1007/978-3-319-45477-1\_14}, timestamp = {Wed, 22 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/safecomp/AnielloCCFQR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/AskarpourMRV16, author = {Mehrnoosh Askarpour and Dino Mandrioli and Matteo Rossi and Federico Vicentini}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {{SAFER-HRC:} Safety Analysis Through Formal vERification in Human-Robot Collaboration}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {283--295}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_22}, doi = {10.1007/978-3-319-45477-1\_22}, timestamp = {Mon, 17 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/AskarpourMRV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/BackstromBHKK16, author = {Ola B{\"{a}}ckstr{\"{o}}m and Yuliya Butkova and Holger Hermanns and Jan Krc{\'{a}}l and Pavel Krc{\'{a}}l}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {Effective Static and Dynamic Fault Tree Analysis}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {266--280}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_21}, doi = {10.1007/978-3-319-45477-1\_21}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/BackstromBHKK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/BosBT16, author = {Victor Bos and Harold Bruintjes and Stefano Tonetta}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {Catalogue of System and Software Properties}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {88--101}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_8}, doi = {10.1007/978-3-319-45477-1\_8}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/BosBT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/CappartS16, author = {Quentin Cappart and Pierre Schaus}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {A Dedicated Algorithm for Verification of Interlocking Systems}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {76--87}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_7}, doi = {10.1007/978-3-319-45477-1\_7}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/CappartS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/Clausing0DD16, author = {Robert Clausing and Robert Fischer and Jana Dittmann and Yongjian Ding}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {Your Industrial Facility and Its {IP} Address: {A} First Approach for Cyber-Physical Attack Modeling}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {201--212}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_16}, doi = {10.1007/978-3-319-45477-1\_16}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/Clausing0DD16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/DenneyP16, author = {Ewen Denney and Ganesh J. Pai}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {Composition of Safety Argument Patterns}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {51--63}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_5}, doi = {10.1007/978-3-319-45477-1\_5}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/DenneyP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/DureuilPPLCC16, author = {Louis Dureuil and Guillaume Petiot and Marie{-}Laure Potet and Thanh{-}Ha Le and Aude Crohen and Philippe de Choudens}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {{FISSC:} {A} Fault Injection and Simulation Secure Collection}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {3--11}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_1}, doi = {10.1007/978-3-319-45477-1\_1}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/DureuilPPLCC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/ExcoffonFL16, author = {William Excoffon and Jean{-}Charles Fabre and Micha{\"{e}}l Lauer}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {Towards Modelling Adaptive Fault Tolerance for Resilient Computing Analysis}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {159--171}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_13}, doi = {10.1007/978-3-319-45477-1\_13}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/ExcoffonFL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/FielderLH16, author = {Andrew Fielder and Tingting Li and Chris Hankin}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {Modelling Cost-Effectiveness of Defenses in Industrial Control Systems}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {187--200}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_15}, doi = {10.1007/978-3-319-45477-1\_15}, timestamp = {Wed, 20 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/safecomp/FielderLH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/HardinSBPO16, author = {David S. Hardin and Konrad Slind and Mark Bortz and James Potts and Scott Owens}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {A High-Assurance, High-Performance Hardware-Based Cross-Domain System}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {102--113}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_9}, doi = {10.1007/978-3-319-45477-1\_9}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/HardinSBPO16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/HawkinsRK16, author = {Richard Hawkins and Thomas Richardson and Tim Kelly}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {Using Process Models in System Assurance}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {27--38}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_3}, doi = {10.1007/978-3-319-45477-1\_3}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/HawkinsRK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/JamthagenLH16, author = {Christopher J{\"{a}}mthagen and Patrik Lantz and Martin Hell}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {Exploiting Trust in Deterministic Builds}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {238--249}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_19}, doi = {10.1007/978-3-319-45477-1\_19}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/safecomp/JamthagenLH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/KnightR16, author = {John C. Knight and Jonathan C. Rowanhill}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {The Indispensable Role of Rationale in Safety Standards}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {39--50}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_4}, doi = {10.1007/978-3-319-45477-1\_4}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/KnightR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/MacherABK16, author = {Georg Macher and Eric Armengaud and Eugen Brenner and Christian Kreiner}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {A Review of Threat Analysis and Risk Assessment Methods in the Automotive Context}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {130--141}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_11}, doi = {10.1007/978-3-319-45477-1\_11}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/MacherABK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/MallyaPALW16, author = {Archana Mallya and Vera Pantelic and Morayo Adedjouma and Mark Lawford and Alan Wassyng}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {Using {STPA} in an {ISO} 26262 Compliant Process}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {117--129}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_10}, doi = {10.1007/978-3-319-45477-1\_10}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/MallyaPALW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/PuysP016, author = {Maxime Puys and Marie{-}Laure Potet and Pascal Lafourcade}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {Formal Analysis of Security Properties on the {OPC-UA} {SCADA} Protocol}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {67--75}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_6}, doi = {10.1007/978-3-319-45477-1\_6}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/safecomp/PuysP016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/SilvaV16, author = {Nuno Silva and Marco Vieira}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {Adapting the Orthogonal Defect Classification Taxonomy to the Space Domain}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {296--308}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_23}, doi = {10.1007/978-3-319-45477-1\_23}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/safecomp/SilvaV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/TroubitsynaLPKI16, author = {Elena Troubitsyna and Linas Laibinis and Inna Pereverzeva and Tuomas Kuismin and Dubravka Ilic and Timo Latvala}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {Towards Security-Explicit Formal Modelling of Safety-Critical Systems}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {213--225}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_17}, doi = {10.1007/978-3-319-45477-1\_17}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/TroubitsynaLPKI16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/ZanettiJPP16, author = {Marcelo Zanetti and Edgard Jamhour and Marcelo Eduardo Pellenz and Manoel Camillo Penna}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {A New SVM-Based Fraud Detection Model for {AMI}}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {226--237}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_18}, doi = {10.1007/978-3-319-45477-1\_18}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/ZanettiJPP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/ZoppiCB16, author = {Tommaso Zoppi and Andrea Ceccarelli and Andrea Bondavalli}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {Context-Awareness to Improve Anomaly Detection in Dynamic Service Oriented Architectures}, booktitle = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, pages = {145--158}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1\_12}, doi = {10.1007/978-3-319-45477-1\_12}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/ZoppiCB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/safecomp/2016, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Friedemann Bitsch}, title = {Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9922}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45477-1}, doi = {10.1007/978-3-319-45477-1}, isbn = {978-3-319-45476-4}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/2016.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.