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/safecomp2014.bht:"
download as .bib file
@inproceedings{DBLP:conf/safecomp/AichernigHL14,
author = {Bernhard K. Aichernig and
Klaus H{\"{o}}rmaier and
Florian Lorber},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Debugging with Timed Automata Mutations},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {49--64},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_4},
doi = {10.1007/978-3-319-10506-2\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/AichernigHL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ArtsDT14,
author = {Thomas Arts and
Michele Dorigatti and
Stefano Tonetta},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Making Implicit Safety Requirements Explicit - An {AUTOSAR} Safety
Case},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {81--92},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_6},
doi = {10.1007/978-3-319-10506-2\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/ArtsDT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/AyestaranNPLP14,
author = {Iban Ayestaran and
Carlos Fernando Nicol{\'{a}}s and
Jon P{\'{e}}rez and
Asier Larrucea and
Peter P. Puschner},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {A Simulated Fault Injection Framework for Time-Triggered Safety-Critical
Embedded Systems},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {1--16},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_1},
doi = {10.1007/978-3-319-10506-2\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/AyestaranNPLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BeckersCFHH14,
author = {Kristian Beckers and
Isabelle C{\^{o}}t{\'{e}} and
Thomas Frese and
Denis Hatebur and
Maritta Heisel},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Systematic Derivation of Functional Safety Requirements for Automotive
Systems},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {65--80},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_5},
doi = {10.1007/978-3-319-10506-2\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BeckersCFHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BishopS14,
author = {Peter G. Bishop and
Lorenzo Strigini},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Estimating Worst Case Failure Dependency with Partial Knowledge of
the Difficulty Function},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {186--201},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_13},
doi = {10.1007/978-3-319-10506-2\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BishopS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BuccafurriCDGLNR14,
author = {Francesco Buccafurri and
Luigi Coppolino and
Salvatore D'Antonio and
Alessia Garofalo and
Gianluca Lax and
Antonino Nocera and
Luigi Romano},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Trust-Based Intrusion Tolerant Routing in Wireless Sensor Networks},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {214--229},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_15},
doi = {10.1007/978-3-319-10506-2\_15},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BuccafurriCDGLNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DenneyNP14,
author = {Ewen Denney and
Dwight Naylor and
Ganesh J. Pai},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Querying Safety Cases},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {294--309},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_20},
doi = {10.1007/978-3-319-10506-2\_20},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/DenneyNP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/FlamminiGMNV14,
author = {Francesco Flammini and
Ugo Gentile and
Stefano Marrone and
Roberto Nardone and
Valeria Vittorini},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {A Petri Net Pattern-Oriented Approach for the Design of Physical Protection
Systems},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {230--245},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_16},
doi = {10.1007/978-3-319-10506-2\_16},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/FlamminiGMNV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Graydon14,
author = {Patrick John Graydon},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Towards a Clearer Understanding of Context and Its Role in Assurance
Argument Confidence},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {139--154},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_10},
doi = {10.1007/978-3-319-10506-2\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Graydon14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/HawkinsMCKR14,
author = {Richard Hawkins and
Alvaro Miyazawa and
Ana Cavalcanti and
Tim Kelly and
John Rowlands},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Assurance Cases for Block-Configurable Software},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {155--169},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_11},
doi = {10.1007/978-3-319-10506-2\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/HawkinsMCKR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KastnerF14,
author = {Daniel K{\"{a}}stner and
Christian Ferdinand},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Proving the Absence of Stack Overflows},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {202--213},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_14},
doi = {10.1007/978-3-319-10506-2\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KastnerF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KlebergerO14,
author = {Pierre Kleberger and
Tomas Olovsson},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Securing Vehicle Diagnostics in Repair Shops},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {93--108},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_7},
doi = {10.1007/978-3-319-10506-2\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KlebergerO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KriaaBCHP14,
author = {Siwar Kriaa and
Marc Bouissou and
Frederic Colin and
Yoran Halgand and
Ludovic Pi{\`{e}}tre{-}Cambac{\'{e}}d{\`{e}}s},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Safety and Security Interactions Modeling Using the {BDMP} Formalism:
Case Study of a Pipeline},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {326--341},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_22},
doi = {10.1007/978-3-319-10506-2\_22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KriaaBCHP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MachinDBGPW14,
author = {Mathilde Machin and
Fanny Dufoss{\'{e}} and
Jean{-}Paul Blanquart and
J{\'{e}}r{\'{e}}mie Guiochet and
David Powell and
H{\'{e}}l{\`{e}}ne Waeselynck},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Specifying Safety Monitors for Autonomous Systems Using Model-Checking},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {262--277},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_18},
doi = {10.1007/978-3-319-10506-2\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/MachinDBGPW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/RamirezSVLB14,
author = {Adrian Garcia Ramirez and
Julien Schmaltz and
Freek Verbeek and
Bruno Langenstein and
Holger Blasum},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {246--261},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_17},
doi = {10.1007/978-3-319-10506-2\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/RamirezSVLB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SchirmeierBS14,
author = {Horst Schirmeier and
Christoph Borchert and
Olaf Spinczyk},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Rapid Fault-Space Exploration by Evolutionary Pruning},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {17--32},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_2},
doi = {10.1007/978-3-319-10506-2\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/SchirmeierBS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SchmittnerGPS14,
author = {Christoph Schmittner and
Thomas Gruber and
Peter P. Puschner and
Erwin Schoitsch},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Security Application of Failure Mode and Effect Analysis {(FMEA)}},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {310--325},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_21},
doi = {10.1007/978-3-319-10506-2\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/SchmittnerGPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SljivoGCH14,
author = {Irfan Sljivo and
Barbara Gallina and
Jan Carlson and
Hans Hansson},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Generation of Safety Case Argument-Fragments from Safety Contracts},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {170--185},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_12},
doi = {10.1007/978-3-319-10506-2\_12},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/SljivoGCH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/TrindadeBA14,
author = {Raphael Fonte Boa Trindade and
Lukas Bulwahn and
Christoph Ainhauser},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Automatically Generated Safety Mechanisms from Semi-Formal Software
Safety Requirements},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {278--293},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_19},
doi = {10.1007/978-3-319-10506-2\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/TrindadeBA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Woskowski14,
author = {Christoph Woskowski},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {A Pragmatic Approach towards Safe and Secure Medical Device Integration},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {342--353},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_23},
doi = {10.1007/978-3-319-10506-2\_23},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Woskowski14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/XiangMTM14,
author = {Jianwen Xiang and
Fumio Machida and
Kumiko Tadano and
Yoshiharu Maeno},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Analysis of Persistence of Relevance in Systems with Imperfect Fault
Coverage},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {109--124},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_8},
doi = {10.1007/978-3-319-10506-2\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/XiangMTM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/XuTSN14,
author = {Jianjun Xu and
QingPing Tan and
Zeming Shao and
Hong Ning},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Exploiting Narrow Data-Width to Mask Soft Errors in Register Files},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {125--138},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_9},
doi = {10.1007/978-3-319-10506-2\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/XuTSN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ZouAM14,
author = {Xueyi Zou and
Rob Alexander and
John A. McDermid},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Safety Validation of Sense and Avoid Algorithms Using Simulation and
Evolutionary Search},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {33--48},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_3},
doi = {10.1007/978-3-319-10506-2\_3},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/ZouAM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2014,
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2},
doi = {10.1007/978-3-319-10506-2},
isbn = {978-3-319-10505-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/2014.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-29 15:30 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:
