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/rssrail/rssrail2017.bht:"
download as .bib file
@inproceedings{DBLP:conf/rssrail/AdelineDFHK17,
author = {Bruno Adeline and
Pierre Dersin and
{\'{E}}ric Fabre and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Karim Kecir},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {195--211},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_13},
doi = {10.1007/978-3-319-68499-4\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/AdelineDFHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/BasileGG17,
author = {Davide Basile and
Felicita Di Giandomenico and
Stefania Gnesi},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Dependable Dynamic Routing for Urban Transport Systems Through Integer
Linear Programming},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {221--237},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_15},
doi = {10.1007/978-3-319-68499-4\_15},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/BasileGG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/Braband17,
author = {Jens Braband},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Cyber Security in Railways: Quo Vadis?},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {3--14},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_1},
doi = {10.1007/978-3-319-68499-4\_1},
timestamp = {Tue, 07 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/Braband17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/ButlerDFHRST17,
author = {Michael J. Butler and
Dana Dghaym and
Tomas Fischer and
Thai Son Hoang and
Klaus Reichl and
Colin F. Snook and
Peter Tummeltshammer},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Formal Modelling Techniques for Efficient Development of Railway Control
Products},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {71--86},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_5},
doi = {10.1007/978-3-319-68499-4\_5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/ButlerDFHRST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/CanonicoMNV17,
author = {Roberto Canonico and
Stefano Marrone and
Roberto Nardone and
Valeria Vittorini},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications
in {ERTMS/ETCS}},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {34--50},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_3},
doi = {10.1007/978-3-319-68499-4\_3},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/CanonicoMNV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/ComptierDPMTS17,
author = {Mathieu Comptier and
David D{\'{e}}harbe and
Julien Molinero Perez and
Louis Mussat and
Pierre Thibaut and
Denis Sabatier},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Safety Analysis of a {CBTC} System: {A} Rigorous Approach with Event-B},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {148--159},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_10},
doi = {10.1007/978-3-319-68499-4\_10},
timestamp = {Tue, 07 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/ComptierDPMTS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/FerrariFG17,
author = {Alessio Ferrari and
Mario Fusani and
Stefania Gnesi},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Are Standards an Ambiguity-Free Reference for Product Validation?},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {251--264},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_17},
doi = {10.1007/978-3-319-68499-4\_17},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/FerrariFG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/FredjLFO17,
author = {Manel Fredj and
Sven Leger and
Abderrahmane Feliachi and
Julien Ordioni},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {{OVADO} - Enhancing Data Validation for Safety-Critical Railway Systems},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {87--98},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_6},
doi = {10.1007/978-3-319-68499-4\_6},
timestamp = {Tue, 07 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/FredjLFO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/HalchinFSAO17,
author = {Alexandra Halchin and
Abderrahmane Feliachi and
Neeraj Kumar Singh and
Yamine A{\"{\i}}t Ameur and
Julien Ordioni},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {B-PERFect - Applying the {PERF} Approach to {B} Based System Developments},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {160--172},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_11},
doi = {10.1007/978-3-319-68499-4\_11},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/HalchinFSAO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/KamburjanH17,
author = {Eduard Kamburjan and
Reiner H{\"{a}}hnle},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Deductive Verification of Railway Operations},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {131--147},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_9},
doi = {10.1007/978-3-319-68499-4\_9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/KamburjanH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/LiangGCBE17,
author = {Ci Liang and
Mohamed Ghazel and
Olivier Cazier and
Laurent Bouillaut and
El{-}Miloudi El{-}Koursi},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Bayesian Network Modeling Applied on Railway Level Crossing Safety},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {116--130},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_8},
doi = {10.1007/978-3-319-68499-4\_8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/LiangGCBE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/MandoG17,
author = {Gianluca Mand{\`{o}} and
Giovanni Giambene},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {{LTE} System Design for Urban Light Rail Transport},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {17--33},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_2},
doi = {10.1007/978-3-319-68499-4\_2},
timestamp = {Fri, 24 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/MandoG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/MassaDPM17,
author = {Vincenzo Di Massa and
Mirko Damiani and
Maurizio Papini and
Gianluca Mand{\`{o}}},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Redundant and Reliable Architecture Based on Open Source Tools for
Light-Rail-Transit On-Board-Systems},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {212--220},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_14},
doi = {10.1007/978-3-319-68499-4\_14},
timestamp = {Tue, 07 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/MassaDPM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/MitschGBGP17,
author = {Stefan Mitsch and
Marco Gario and
Christof J. Budnik and
Michael Golm and
Andr{\'{e}} Platzer},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Formal Verification of Train Control with Air Pressure Brakes},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {173--191},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_12},
doi = {10.1007/978-3-319-68499-4\_12},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/MitschGBGP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/StankaitisI17,
author = {Paulius Stankaitis and
Alexei Iliasov},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Theories, Techniques and Tools for Engineering Heterogeneous Railway
Networks},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {241--250},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_16},
doi = {10.1007/978-3-319-68499-4\_16},
timestamp = {Tue, 07 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/StankaitisI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/TempleWCK17,
author = {William G. Temple and
Yue Wu and
Binbin Chen and
Zbigniew Kalbarczyk},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Systems-Theoretic Likelihood and Severity Analysis for Safety and
Security Co-engineering},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {51--67},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_4},
doi = {10.1007/978-3-319-68499-4\_4},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/TempleWCK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/VuHP17,
author = {Linh H. Vu and
Anne E. Haxthausen and
Jan Peleska},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {A Domain-Specific Language for Generic Interlocking Models and Their
Properties},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {99--115},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_7},
doi = {10.1007/978-3-319-68499-4\_7},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/VuHP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rssrail/2017,
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4},
doi = {10.1007/978-3-319-68499-4},
isbn = {978-3-319-68498-7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/2017.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-05 10:33 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:
