Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/safecomp/safecomp2015w.bht:"
download as .bib file
@inproceedings{DBLP:conf/safecomp/0001NSC15,
author = {Martin Becker and
Markus Neumair and
Alexander S{\"{o}}hn and
Samarjit Chakraborty},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Approaches for Software Verification of An Emergency Recovery System
for Micro Air Vehicles},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {369--385},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_32},
doi = {10.1007/978-3-319-24249-1\_32},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/0001NSC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/0001SN15,
author = {Kenji Taguchi and
Daisuke Souma and
Hideaki Nishihara},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Safe {\&} Sec Case Patterns},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {27--37},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_3},
doi = {10.1007/978-3-319-24249-1\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/0001SN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/AmorimRDS15,
author = {Tiago Amorim and
Alejandra Ruiz and
Christoph Dropmann and
Daniel Schneider},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Multidirectional Modular Conditional Safety Certificates},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {357--368},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_31},
doi = {10.1007/978-3-319-24249-1\_31},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/AmorimRDS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ArnoldGKS15,
author = {Florian Arnold and
Dennis Guck and
Rajesh Kumar and
Mari{\"{e}}lle Stoelinga},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Sequential and Parallel Attack Tree Modelling},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {291--299},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_25},
doi = {10.1007/978-3-319-24249-1\_25},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/ArnoldGKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BandurM15,
author = {Victor Bandur and
John Alexander McDermid},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Informing Assurance Case Review Through a Formal Interpretation of
{GSN} Core Logic},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {3--14},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_1},
doi = {10.1007/978-3-319-24249-1\_1},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BandurM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BasagiannisG15,
author = {Stylianos Basagiannis and
Francisco Jos{\'{e}} Gonz{\'{a}}lez{-}Esp{\'{\i}}n},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Towards Verification of Multicore Motor-Drive Controllers in Aerospace},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {190--200},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_17},
doi = {10.1007/978-3-319-24249-1\_17},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/BasagiannisG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Becker15,
author = {Uwe Becker},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Dependability Arguments Supported by Fuzz-Testing},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {409--420},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_35},
doi = {10.1007/978-3-319-24249-1\_35},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/Becker15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BrunelC15,
author = {Julien Brunel and
David Chemouil},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Safety and Security Assessment of Behavioral Properties Using Alloy},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {251--263},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_22},
doi = {10.1007/978-3-319-24249-1\_22},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BrunelC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CarloniFFMOV15,
author = {Marco Carloni and
Orlando Ferrante and
Alberto Ferrari and
Gianpaolo Massaroli and
Antonio Orazzo and
Luigi Velardi},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite
- Application to Ansaldo {STS} Rapid Transit Metro System Use Case},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {178--189},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_16},
doi = {10.1007/978-3-319-24249-1\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/CarloniFFMOV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CassanoGSALMW15,
author = {Valentin Cassano and
Silviya Grigorova and
Neeraj Kumar Singh and
Morayo Adedjouma and
Mark Lawford and
T. S. E. Maibaum and
Alan Wassyng},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Is Current Incremental Safety Assurance Sound?},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {397--408},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_34},
doi = {10.1007/978-3-319-24249-1\_34},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/CassanoGSALMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CeccarelliS15,
author = {Andrea Ceccarelli and
Nuno Silva},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Analysis of Companies Gaps in the Application of Standards for Safety-Critical
Software},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {303--313},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_26},
doi = {10.1007/978-3-319-24249-1\_26},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/CeccarelliS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ChenSMTDJS15,
author = {Binbin Chen and
Christoph Schmittner and
Zhendong Ma and
William G. Temple and
Xinshu Dong and
Douglas L. Jones and
William H. Sanders},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Security Analysis of Urban Railway Systems: The Need for a Cyber-Physical
Perspective},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {277--290},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_24},
doi = {10.1007/978-3-319-24249-1\_24},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/ChenSMTDJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CimattiDMT15,
author = {Alessandro Cimatti and
Rance DeLong and
Davide Marcantonio and
Stefano Tonetta},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Combining {MILS} with Contract-Based Design for Safety and Security
Requirements},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {264--276},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_23},
doi = {10.1007/978-3-319-24249-1\_23},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/CimattiDMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DuanRHSL15,
author = {Lian Duan and
Sanjai Rayadurgam and
Mats Per Erik Heimdahl and
Oleg Sokolsky and
Insup Lee},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Representing Confidence in Assurance Case Evidence},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {15--26},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_2},
doi = {10.1007/978-3-319-24249-1\_2},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/DuanRHSL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GruberZ15,
author = {Thomas Gruber and
Christian Zinner},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Approach for Demonstrating Safety for a Collision Avoidance System},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {167--177},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_15},
doi = {10.1007/978-3-319-24249-1\_15},
timestamp = {Thu, 04 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/GruberZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KnightRAW15,
author = {John C. Knight and
Jonathan C. Rowanhill and
M. Anthony Aiello and
Kimberly S. Wasson},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {A Comprehensive Safety Lifecycle},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {38--49},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_4},
doi = {10.1007/978-3-319-24249-1\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KnightRAW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KnightRX15,
author = {John C. Knight and
Jonathan C. Rowanhill and
Jian Xiang},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {A Safety Condition Monitoring System},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {83--94},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_8},
doi = {10.1007/978-3-319-24249-1\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KnightRX15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KristenA15,
author = {Erwin Kristen and
Egbert Althammer},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {FlexRay Robustness Testing Contributing to Automated Safety Certification},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {201--211},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_18},
doi = {10.1007/978-3-319-24249-1\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KristenA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MacherHSAK15,
author = {Georg Macher and
Andrea H{\"{o}}ller and
Harald Sporer and
Eric Armengaud and
Christian Kreiner},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {A Combined Safety-Hazards and Security-Threat Analysis Method for
Automotive Systems},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {237--250},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_21},
doi = {10.1007/978-3-319-24249-1\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/MacherHSAK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MullerL15,
author = {Sebastian M{\"{u}}ller and
Peter Liggesmeyer},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {A Motion Certification Concept to Evaluate Operational Safety and
Optimizing Operating Parameters at Runtime},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {156--166},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_14},
doi = {10.1007/978-3-319-24249-1\_14},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/MullerL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/NetkachovaBPN15,
author = {Kateryna Netkachova and
Robin E. Bloomfield and
Peter T. Popov and
Oleksandr Netkachov},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Using Structured Assurance Case Approach to Analyse Security and Reliability
of Critical Infrastructures},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {345--354},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_30},
doi = {10.1007/978-3-319-24249-1\_30},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/NetkachovaBPN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/NetkachovaNB15,
author = {Kateryna Netkachova and
Oleksandr Netkachov and
Robin E. Bloomfield},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Tool Support for Assurance Case Building Blocks - Providing a Helping
Hand with {CAE}},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {62--71},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_6},
doi = {10.1007/978-3-319-24249-1\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/NetkachovaNB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/NetlandS15,
author = {{\O}yvind Netland and
Amund Skavhaug},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Dependable Cyber-Physical Systems with Redundant Consumer Single-Board
Linux Computers},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {224--234},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_20},
doi = {10.1007/978-3-319-24249-1\_20},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/NetlandS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/PrillerGOP15,
author = {Peter Priller and
Werner Gruber and
Niklas Olberding and
Dietmar Peinsipp},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Towards Perfectly Scalable Real-Time Systems},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {212--223},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_19},
doi = {10.1007/978-3-319-24249-1\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/PrillerGOP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ProcterHWF15,
author = {Sam Procter and
John Hatcliff and
Sandy Weininger and
Anura Fernando},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Error Type Refinement for Assurance of Families of Platform-Based
Systems},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {95--106},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_9},
doi = {10.1007/978-3-319-24249-1\_9},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/ProcterHWF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/RatiuZK15,
author = {Daniel Ratiu and
Marc Zeller and
Lennart Killian},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Safety.Lab: Model-Based Domain Specific Tooling for Safety Argumentation},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {72--82},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_7},
doi = {10.1007/978-3-319-24249-1\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/RatiuZK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/RothL15,
author = {Michael Roth and
Peter Liggesmeyer},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Sequential Logic for State/Event Fault Trees: {A} Methodology to Support
the Failure Modeling of Cyber Physical Systems},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {121--132},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_11},
doi = {10.1007/978-3-319-24249-1\_11},
timestamp = {Mon, 16 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/RothL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SagliettiWL15,
author = {Francesca Saglietti and
Stefan Winzinger and
Raimar Lill},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Reconfiguration Testing for Cooperating Autonomous Agents},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {144--155},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_13},
doi = {10.1007/978-3-319-24249-1\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/SagliettiWL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SchmittnerM15,
author = {Christoph Schmittner and
Zhendong Ma},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Towards a Framework for Alignment Between Automotive Safety and Security
Standards},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {133--143},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_12},
doi = {10.1007/978-3-319-24249-1\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/SchmittnerM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/StalhaneM15,
author = {Tor St{\aa}lhane and
Thor Myklebust},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {The Role of {CM} in Agile Development of Safety-Critical Software},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {386--396},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_33},
doi = {10.1007/978-3-319-24249-1\_33},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/StalhaneM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SteinerL15,
author = {Max Steiner and
Peter Liggesmeyer},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Qualitative and Quantitative Analysis of CFTs Taking Security Causes
into Account},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {109--120},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_10},
doi = {10.1007/978-3-319-24249-1\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/SteinerL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/TilocaRD15,
author = {Marco Tiloca and
Francesco Racciatti and
Gianluca Dini},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Simulative Evaluation of Security Attacks in Networked Critical Infrastructures},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {314--323},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_27},
doi = {10.1007/978-3-319-24249-1\_27},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/TilocaRD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Varro-GyapayMKT15,
author = {Szilvia Varr{\'{o}}{-}Gyapay and
D{\'{a}}niel L{\'{a}}szl{\'{o}} Magyar and
Melinda Kocsis{-}Magyar and
Katalin Tasi and
Attila Hoangthanh Dinh and
{\'{A}}gota Bausz and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Optimization of Reconfiguration Mechanisms in Critical Infrastructures},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {324--334},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_28},
doi = {10.1007/978-3-319-24249-1\_28},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Varro-GyapayMKT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/WaflerH15,
author = {Jonas W{\"{a}}fler and
Poul E. Heegaard},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {How to Use Mobile Communication in Critical Infrastructures: {A} Dependability
Analysis},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {335--344},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_29},
doi = {10.1007/978-3-319-24249-1\_29},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/WaflerH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Yamamoto15,
author = {Shuichiro Yamamoto},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {An Approach to Assure Dependability Through ArchiMate},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {50--61},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_5},
doi = {10.1007/978-3-319-24249-1\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Yamamoto15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2015w,
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1},
doi = {10.1007/978-3-319-24249-1},
isbn = {978-3-319-24248-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/2015w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-25 06:24 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
