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/ftscs/ftscs2015.bht:"
download as .bib file
@proceedings{DBLP:conf/ftscs/2015,
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29510-7},
doi = {10.1007/978-3-319-29510-7},
isbn = {978-3-319-29509-1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/AledoSH15,
author = {Pablo Gonz{\'{a}}lez de Aledo and
Pablo S{\'{a}}nchez Espeso and
Ralf Huuck},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {An Approach to Static-Dynamic Software Analysis},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {225--240},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_13},
doi = {10.1007/978-3-319-29510-7\_13},
timestamp = {Wed, 24 May 2017 08:30:54 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/AledoSH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/Andre15,
author = {{\'{E}}tienne Andr{\'{e}}},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {What's Decidable About Parametric Timed Automata?},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {52--68},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_3},
doi = {10.1007/978-3-319-29510-7\_3},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/Andre15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/AokiTCMNN15,
author = {Toshiaki Aoki and
Kriangkrai Traichaiyaporn and
Yuki Chiba and
Masahiro Matsubara and
Masataka Nishi and
Fumio Narisawa},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Modeling Safety Requirements of {ISO26262} Using Goal Trees and Patterns},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {206--221},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_12},
doi = {10.1007/978-3-319-29510-7\_12},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftscs/AokiTCMNN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/ArshadMRH15,
author = {Fahd Arshad and
Hassan Mehmood and
Fauzan Raza and
Osman Hasan},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {g-HOL: {A} Graphical User Interface for the {HOL} Proof Assistant},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {265--269},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_16},
doi = {10.1007/978-3-319-29510-7\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/ArshadMRH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/BeckerV15,
author = {Klaus Becker and
Sebastian Voss},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {A Formal Model and Analysis of Feature Degradation in Fault-Tolerant
Systems},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {139--154},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_8},
doi = {10.1007/978-3-319-29510-7\_8},
timestamp = {Sat, 10 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftscs/BeckerV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/BoudjadarDMK15,
author = {Abdeldjalil Boudjadar and
Juergen Dingel and
Boris Madzar and
Jin Hyun Kim},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Compositional Predictability Analysis of Mixed Critical Real Time
Systems},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {69--84},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_4},
doi = {10.1007/978-3-319-29510-7\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/BoudjadarDMK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/GhadhabKKF15,
author = {Majdi Ghadhab and
Matthias Kuntz and
Dmitrii Kuvaiskii and
Christof Fetzer},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {A Controller Safety Concept Based on Software-Implemented Fault Tolerance
for Fail-Operational Automotive Applications},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {189--205},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_11},
doi = {10.1007/978-3-319-29510-7\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/GhadhabKKF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/GrunerKM15,
author = {Stefan Gruner and
Apurva Kumar and
Tom Maibaum},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Towards a Body of Knowledge in Formal Methods for the Railway Domain:
Identification of Settled Knowledge},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {87--102},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_5},
doi = {10.1007/978-3-319-29510-7\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/GrunerKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/JamesLRS15,
author = {Phillip James and
Andrew Lawrence and
Markus Roggenbach and
Monika Seisenberger},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Towards Safety Analysis of {ERTMS/ETCS} Level 2 in Real-Time Maude},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {103--120},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_6},
doi = {10.1007/978-3-319-29510-7\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/JamesLRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/LegayT15,
author = {Axel Legay and
Louis{-}Marie Traonouez},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Statistical Model Checking of Simulink Models with Plasma Lab},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {259--264},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_15},
doi = {10.1007/978-3-319-29510-7\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/LegayT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/LinOKA15,
author = {Hsin{-}Hung Lin and
Yoichi Omori and
Shigeru Kusakabe and
Keijiro Araki},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Towards Verifying {VDM} Using {SPIN}},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {241--256},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_14},
doi = {10.1007/978-3-319-29510-7\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/LinOKA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/MayoAH15,
author = {Jackson R. Mayo and
Robert C. Armstrong and
Geoffrey C. Hulette},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Leveraging Abstraction to Establish Out-of-Nominal Safety Properties},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {172--186},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_10},
doi = {10.1007/978-3-319-29510-7\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/MayoAH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/Meseguer15,
author = {Jos{\'{e}} Meseguer},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Variant-Based Satisfiability in Initial Algebras},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {3--34},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_1},
doi = {10.1007/978-3-319-29510-7\_1},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/Meseguer15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/NardoneGBPVMM15,
author = {Roberto Nardone and
Ugo Gentile and
Massimo Benerecetti and
Adriano Peron and
Valeria Vittorini and
Stefano Marrone and
Nicola Mazzocca},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Modeling Railway Control Systems in Promela},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {121--136},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_7},
doi = {10.1007/978-3-319-29510-7\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/NardoneGBPVMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/WuZ15,
author = {Xi Wu and
Huibiao Zhu},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Probabilistic Analysis of a Calculus for Wireless Sensor Networks},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {155--171},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_9},
doi = {10.1007/978-3-319-29510-7\_9},
timestamp = {Mon, 11 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/WuZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/ZhangM15,
author = {Min Zhang and
Fr{\'{e}}d{\'{e}}ric Mallet},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {An Executable Semantics of Clock Constraint Specification Language
and Its Applications},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {37--51},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_2},
doi = {10.1007/978-3-319-29510-7\_2},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/ZhangM15.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 14:41 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:
