default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/rssrail:"
download as .bib file
@inproceedings{DBLP:conf/rssrail/BanerjeeCLLRSW23,
author = {Madhusree Banerjee and
Victor Cai and
Sunitha Lakshmanappa and
Andrew Lawrence and
Markus Roggenbach and
Monika Seisenberger and
Thomas Werner},
editor = {Birgit Milius and
Simon Collart Dutilleul and
Thierry Lecomte},
title = {A Tool-Chain for the Verification of Geographic Scheme Data},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 5th International Conference, RSSRail
2023, Berlin, Germany, October 10-12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14198},
pages = {211--224},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43366-5\_13},
doi = {10.1007/978-3-031-43366-5\_13},
timestamp = {Fri, 06 Oct 2023 18:13:29 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/BanerjeeCLLRSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/BeqiriBPC23,
author = {Lodiana Beqiri and
Zeinab Bakhshi and
Sasikumar Punnekkat and
Antonio Cicchetti},
editor = {Birgit Milius and
Simon Collart Dutilleul and
Thierry Lecomte},
title = {Remaining Useful Life Estimation for Railway Gearbox Bearings Using
Machine Learning},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 5th International Conference, RSSRail
2023, Berlin, Germany, October 10-12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14198},
pages = {62--77},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43366-5\_4},
doi = {10.1007/978-3-031-43366-5\_4},
timestamp = {Fri, 06 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/BeqiriBPC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/FakhereldineZM23,
author = {Amin Fakhereldine and
Mohammad Zulkernine and
Dan Murdock},
editor = {Birgit Milius and
Simon Collart Dutilleul and
Thierry Lecomte},
title = {TrainSec: {A} Simulation Framework for Security Modeling and Evaluation
in {CBTC} Networks},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 5th International Conference, RSSRail
2023, Berlin, Germany, October 10-12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14198},
pages = {22--39},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43366-5\_2},
doi = {10.1007/978-3-031-43366-5\_2},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/FakhereldineZM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/GruteserGLRV23,
author = {Jan Gruteser and
David Gele{\ss}us and
Michael Leuschel and
Jan Ro{\ss}bach and
Fabian Vu},
editor = {Birgit Milius and
Simon Collart Dutilleul and
Thierry Lecomte},
title = {A Formal Model of Train Control with AI-Based Obstacle Detection},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 5th International Conference, RSSRail
2023, Berlin, Germany, October 10-12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14198},
pages = {128--145},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43366-5\_8},
doi = {10.1007/978-3-031-43366-5\_8},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/GruteserGLRV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/HalchinSBFFL23,
author = {Alexandra Halchin and
Adja Ndeye Sylla and
Sarah Benyagoub and
Abderrahmane Feliachi and
Yoann Fonteneau and
Sven Leger},
editor = {Birgit Milius and
Simon Collart Dutilleul and
Thierry Lecomte},
title = {Integral Formal Proof: {A} Verification Approach Bridging the Gap
Between System and Software Levels in Railway Systems},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 5th International Conference, RSSRail
2023, Berlin, Germany, October 10-12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14198},
pages = {165--177},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43366-5\_10},
doi = {10.1007/978-3-031-43366-5\_10},
timestamp = {Fri, 06 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/HalchinSBFFL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/HaxthausenFGMP23,
author = {Anne E. Haxthausen and
Alessandro Fantechi and
Gloria Gori and
{\'{O}}li K{\'{a}}rason Mikkelsen and
Sofie{-}Amalie Petersen},
editor = {Birgit Milius and
Simon Collart Dutilleul and
Thierry Lecomte},
title = {Automated Compositional Verification of Interlocking Systems},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 5th International Conference, RSSRail
2023, Berlin, Germany, October 10-12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14198},
pages = {146--164},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43366-5\_9},
doi = {10.1007/978-3-031-43366-5\_9},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/HaxthausenFGMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/IliasovTLR23,
author = {Alexei Iliasov and
Dominic Taylor and
Linas Laibinis and
Alexander B. Romanovsky},
editor = {Birgit Milius and
Simon Collart Dutilleul and
Thierry Lecomte},
title = {The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking
Verification Tool},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 5th International Conference, RSSRail
2023, Berlin, Germany, October 10-12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14198},
pages = {117--127},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43366-5\_7},
doi = {10.1007/978-3-031-43366-5\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/IliasovTLR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/LeuschelN23,
author = {Michael Leuschel and
Nader Nayeri},
editor = {Birgit Milius and
Simon Collart Dutilleul and
Thierry Lecomte},
title = {Modelling, Visualisation and Proof of an {ETCS} Level 3 Moving Block
System},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 5th International Conference, RSSRail
2023, Berlin, Germany, October 10-12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14198},
pages = {193--210},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43366-5\_12},
doi = {10.1007/978-3-031-43366-5\_12},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/LeuschelN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/MasettiGC23,
author = {Giulio Masetti and
Felicita Di Giandomenico and
Silvano Chiaradonna},
editor = {Birgit Milius and
Simon Collart Dutilleul and
Thierry Lecomte},
title = {Dependability Analysis of {UPS} Architectures for the Italian Railway
Signaling System},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 5th International Conference, RSSRail
2023, Berlin, Germany, October 10-12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14198},
pages = {98--114},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43366-5\_6},
doi = {10.1007/978-3-031-43366-5\_6},
timestamp = {Fri, 06 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/MasettiGC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/PoorhadiT23,
author = {Ehsan Poorhadi and
Elena Troubitsyna},
editor = {Birgit Milius and
Simon Collart Dutilleul and
Thierry Lecomte},
title = {Automating an Analysis of Safety-Security Interactions for Railway
Systems},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 5th International Conference, RSSRail
2023, Berlin, Germany, October 10-12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14198},
pages = {3--21},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43366-5\_1},
doi = {10.1007/978-3-031-43366-5\_1},
timestamp = {Fri, 06 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/PoorhadiT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/TangZKW23,
author = {Ziyue Tang and
Ning Zhao and
Khalid Khan and
Katinka Wolter},
editor = {Birgit Milius and
Simon Collart Dutilleul and
Thierry Lecomte},
title = {Safety Analysis of Automatic Train Operation Based on {ETCS}},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 5th International Conference, RSSRail
2023, Berlin, Germany, October 10-12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14198},
pages = {43--61},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43366-5\_3},
doi = {10.1007/978-3-031-43366-5\_3},
timestamp = {Fri, 06 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/TangZKW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/WildBEM23,
author = {Michael Wild and
Jan Steffen Becker and
G{\"{u}}nter Ehmen and
Eike M{\"{o}}hlmann},
editor = {Birgit Milius and
Simon Collart Dutilleul and
Thierry Lecomte},
title = {Towards Scenario-Based Certification of Highly Automated Railway Systems},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 5th International Conference, RSSRail
2023, Berlin, Germany, October 10-12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14198},
pages = {78--97},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43366-5\_5},
doi = {10.1007/978-3-031-43366-5\_5},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/WildBEM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/ZickertS23,
author = {Gustav Zickert and
Nikitas Stathatos},
editor = {Birgit Milius and
Simon Collart Dutilleul and
Thierry Lecomte},
title = {Halfway Generic Verification of Railway Control Systems},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 5th International Conference, RSSRail
2023, Berlin, Germany, October 10-12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14198},
pages = {178--189},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43366-5\_11},
doi = {10.1007/978-3-031-43366-5\_11},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/ZickertS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rssrail/2023,
editor = {Birgit Milius and
Simon Collart Dutilleul and
Thierry Lecomte},
title = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 5th International Conference, RSSRail
2023, Berlin, Germany, October 10-12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14198},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43366-5},
doi = {10.1007/978-3-031-43366-5},
isbn = {978-3-031-43365-8},
timestamp = {Fri, 06 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/AmendolaBBCSFGG22,
author = {Arturo Amendola and
Lorenzo Barruffo and
Marco Bozzano and
Alessandro Cimatti and
Salvatore De Simone and
Eugenio Fedeli and
Artem Gabbasov and
Domenico Ernesto Garrubba and
Massimiliano Girardi and
Diana Serra and
Roberto Tiella and
Gianni Zampedri},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Formal Design and Validation of an Automatic Train Operation Control
System},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {169--178},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_12},
doi = {10.1007/978-3-031-05814-1\_12},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/AmendolaBBCSFGG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/BadeauCL22,
author = {Fr{\'{e}}d{\'{e}}ric Badeau and
Julien Chappelin and
Joris Lamare},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Generating and Verifying Configuration Data with {OVADO}},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {143--148},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_10},
doi = {10.1007/978-3-031-05814-1\_10},
timestamp = {Mon, 23 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/BadeauCL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/BuddeJLS22,
author = {Carlos E. Budde and
Duncan Jansen and
Inka L. M. Locht and
Mari{\"{e}}lle Stoelinga},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Learning to Learn {HVAC} Failures: Layering {ML} Experiments in the
Absence of Ground Truth},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {95--111},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_7},
doi = {10.1007/978-3-031-05814-1\_7},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/BuddeJLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/BurdyDS22,
author = {Lilian Burdy and
David D{\'{e}}harbe and
Denis Sabatier},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Assigning Safe Executed Systems to Meanings},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {130--142},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_9},
doi = {10.1007/978-3-031-05814-1\_9},
timestamp = {Mon, 23 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/BurdyDS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/FantechiGHL22,
author = {Alessandro Fantechi and
Gloria Gori and
Anne E. Haxthausen and
Christophe Limbr{\'{e}}e},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Compositional Verification of Railway Interlockings: Comparison of
Two Methods},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {3--19},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_1},
doi = {10.1007/978-3-031-05814-1\_1},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/FantechiGHL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/FlamminiDFV22,
author = {Francesco Flammini and
Lorenzo De Donato and
Alessandro Fantechi and
Valeria Vittorini},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {A Vision of Intelligent Train Control},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {192--208},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_14},
doi = {10.1007/978-3-031-05814-1\_14},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/FlamminiDFV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/HaehnAK22,
author = {Rebecca Haehn and
Erika {\'{A}}brah{\'{a}}m and
Niklas Kotowski},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Acceleration Techniques for Symbolic Simulation of Railway Timetables},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {46--62},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_4},
doi = {10.1007/978-3-031-05814-1\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/HaehnAK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/HunterM22,
author = {Josh Hunter and
John Alexander McDermid},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Investigating Human Error Within GoA-2 Metro Lines},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {179--191},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_13},
doi = {10.1007/978-3-031-05814-1\_13},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/HunterM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/IliasovLTLR22,
author = {Alexei Iliasov and
Linas Laibinis and
Dominic Taylor and
Ilya Lopatkin and
Alexander B. Romanovsky},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Safety Invariant Verification that Meets Engineers' Expectations},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {20--31},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_2},
doi = {10.1007/978-3-031-05814-1\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/IliasovLTLR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/MagnienCRHLW22,
author = {Airy Magnien and
Gabriele Cecchetti and
Anna Lina Ruscelli and
Paul Hyde and
Jin Liu and
Stefan Wegele},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Formalization and Processing of Data Requirements for the Development
of Next Generation Railway Traffic Management Systems},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {35--45},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_3},
doi = {10.1007/978-3-031-05814-1\_3},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/MagnienCRHLW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/MahtaniCHR22,
author = {Ankur Mahtani and
Nadia Chouchani and
Maxime Herbreteau and
Denis Rafin},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Enhancing Autonomous Train Safety Through {A} Priori-Map Based Perception},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {115--129},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_8},
doi = {10.1007/978-3-031-05814-1\_8},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/MahtaniCHR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/MazzantiB22,
author = {Franco Mazzanti and
Dimitri Belli},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {The 4SECURail Formal Methods Demonstrator},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {149--165},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_11},
doi = {10.1007/978-3-031-05814-1\_11},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/MazzantiB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/PehamPPW22,
author = {Tom Peham and
Judith Przigoda and
Nils Przigoda and
Robert Wille},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Optimal Railway Routing Using Virtual Subsections},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {63--79},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_5},
doi = {10.1007/978-3-031-05814-1\_5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/PehamPPW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/ProencaBNPN22,
author = {Jos{\'{e}} Proen{\c{c}}a and
Sina Borrami and
Jorge Sanchez de Nova and
David Pereira and
Giann Spilere Nandi},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Verification of Multiple Models of a Safety-Critical Motor Controller
in Railway Systems},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {83--94},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_6},
doi = {10.1007/978-3-031-05814-1\_6},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/ProencaBNPN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/RotherGAKRHP22,
author = {Benjamin Rother and
Frank Golatowski and
Zeeshan Ansar and
Don Kuzhiyelil and
Stefan Resch and
Reinhard Hametner and
Prashant Pathak},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Analysis of Safety-Critical Communication Protocols for On-Premise
{SIL4} Cloud in Railways},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {211--220},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_15},
doi = {10.1007/978-3-031-05814-1\_15},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/RotherGAKRHP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/TefekEWH22,
author = {Utku Tefek and
Ertem Esiner and
Lin Wei and
Yih{-}Chun Hu},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {{TASC:} Transparent, Agnostic, Secure Channel for {CBTC} Under Failure
or Cyberattack},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {221--237},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_16},
doi = {10.1007/978-3-031-05814-1\_16},
timestamp = {Mon, 23 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/TefekEWH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rssrail/2022,
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1},
doi = {10.1007/978-3-031-05814-1},
isbn = {978-3-031-05813-4},
timestamp = {Mon, 23 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/0001BHMPS19,
author = {Nathalie Bertrand and
Benjamin Bordais and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Thomas Mari and
Julie Parreaux and
Ocan Sankur},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {59--76},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_4},
doi = {10.1007/978-3-030-18744-6\_4},
timestamp = {Tue, 28 May 2019 13:27:54 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/0001BHMPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/0001KHP19,
author = {Jan Peleska and
Niklas Krafczyk and
Anne E. Haxthausen and
Ralf Pinger},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Efficient Data Validation for Geographical Interlocking Systems},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {142--158},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_9},
doi = {10.1007/978-3-030-18744-6\_9},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/0001KHP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/AberBFMO19,
author = {Na{\"{\i}}m Aber and
Benjamin Blanc and
Nathalie Ferkane and
Mohand Meziani and
Julien Ordioni},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {{RBS2HLL} - {A} Formal Modeling of Relay-Based Interlocking},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {191--201},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_12},
doi = {10.1007/978-3-030-18744-6\_12},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/AberBFMO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/BasileFRM19,
author = {Davide Basile and
Alessandro Fantechi and
Luigi Rucher and
Gianluca Mand{\`{o}}},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Statistical Model Checking of Hazards in an Autonomous Tramway Positioning
System},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {41--58},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_3},
doi = {10.1007/978-3-030-18744-6\_3},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/BasileFRM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/ComptierLMPM19,
author = {Mathieu Comptier and
Michael Leuschel and
Luis{-}Fernando Mejia and
Julien Molinero Perez and
Mareike Mutz},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Property-Based Modelling and Validation of a {CBTC} Zone Controller
in Event-B},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {202--212},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_13},
doi = {10.1007/978-3-030-18744-6\_13},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/ComptierLMPM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/DillmannH19,
author = {Stefan Dillmann and
Reiner H{\"{a}}hnle},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Automated Planning of {ETCS} Tracks},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {79--90},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_5},
doi = {10.1007/978-3-030-18744-6\_5},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/DillmannH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/Fantechi19,
author = {Alessandro Fantechi},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Connected or Autonomous Trains?},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {3--19},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_1},
doi = {10.1007/978-3-030-18744-6\_1},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/Fantechi19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/FerrariBMBFGPT19,
author = {Alessio Ferrari and
Maurice H. ter Beek and
Franco Mazzanti and
Davide Basile and
Alessandro Fantechi and
Stefania Gnesi and
Andrea Piattino and
Daniele Trentini},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Survey on Formal Methods and Tools in Railways: The ASTRail Approach},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {226--241},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_15},
doi = {10.1007/978-3-030-18744-6\_15},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/FerrariBMBFGPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/FischerD19,
author = {Tomas Fischer and
Dana Dghaym},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Formal Model Validation Through Acceptance Tests},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {159--169},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_10},
doi = {10.1007/978-3-030-18744-6\_10},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/FischerD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/IdaniLWAB19,
author = {Akram Idani and
Yves Ledru and
Abderrahim Ait Wakrime and
Rahma Ben Ayed and
Philippe Bon},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Towards a Tool-Based Domain Specific Approach for Railway Systems
Modeling and Validation},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {23--40},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_2},
doi = {10.1007/978-3-030-18744-6\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/IdaniLWAB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/KarraLLS19,
author = {Shyam Lal Karra and
Kim Guldstrand Larsen and
Florian Lorber and
Jir{\'{\i}} Srba},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Safe and Time-Optimal Control for Railway Games},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {106--122},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_7},
doi = {10.1007/978-3-030-18744-6\_7},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/KarraLLS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/LedruIAWB19,
author = {Yves Ledru and
Akram Idani and
Rahma Ben Ayed and
Abderrahim Ait Wakrime and
Philippe Bon},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {A Separation of Concerns Approach for the Verified Modelling of Railway
Signalling Rules},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {173--190},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_11},
doi = {10.1007/978-3-030-18744-6\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/LedruIAWB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/MuramGK19,
author = {Faiz Ul Muram and
Barbara Gallina and
Samina Kanwal},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant
Safety Approval Process},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {125--141},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_8},
doi = {10.1007/978-3-030-18744-6\_8},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/MuramGK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/NakhaeeHSN19,
author = {Muhammad Chenariyan Nakhaee and
Djoerd Hiemstra and
Mari{\"{e}}lle Stoelinga and
Martijn van Noort},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {The Recent Applications of Machine Learning in Rail Track Maintenance:
{A} Survey},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {91--105},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_6},
doi = {10.1007/978-3-030-18744-6\_6},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/NakhaeeHSN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/ParillaudFB19,
author = {Camille Parillaud and
Yoann Fonteneau and
Fabien Belmonte},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Interlocking Formal Verification at Alstom Signalling},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {215--225},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_14},
doi = {10.1007/978-3-030-18744-6\_14},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/ParillaudFB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/PereiraDPB19,
author = {Dalay Israel de Almeida Pereira and
David D{\'{e}}harbe and
Matthieu Perin and
Philippe Bon},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {B-Specification of Relay-Based Railway Interlocking Systems Based
on the Propositional Logic of the System State Evolution},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {242--258},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_16},
doi = {10.1007/978-3-030-18744-6\_16},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/PereiraDPB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/SchlehuberR19,
author = {Christian Schlehuber and
Dominik Renkel},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Merging Worlds - Aligning Safety and Security},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {284--295},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_19},
doi = {10.1007/978-3-030-18744-6\_19},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/SchlehuberR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/SchmittnerTHSMT19,
author = {Christoph Schmittner and
Peter Tummeltshammer and
David Hofbauer and
Abdelkader Magdy Shaaban and
Michael Meidlinger and
Markus Tauber and
Arndt Bonitz and
Reinhard Hametner and
Manuela Brandstetter},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Threat Modeling in the Railway Domain},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {261--271},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_17},
doi = {10.1007/978-3-030-18744-6\_17},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/SchmittnerTHSMT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/SchulzGT19,
author = {Thorsten Schulz and
Frank Golatowski and
Dirk Timmermann},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Integration Approach for Communications-Based Train Control Applications
in a High Assurance Security Architecture},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {272--283},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_18},
doi = {10.1007/978-3-030-18744-6\_18},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/SchulzGT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rssrail/2019,
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6},
doi = {10.1007/978-3-030-18744-6},
isbn = {978-3-030-18743-9},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Sun, 04 Aug 2024 01:00:00 +0200},
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}
}
@inproceedings{DBLP:conf/rssrail/BenaissaBFO16,
author = {Nazim Bena{\"{\i}}ssa and
David Bonvoisin and
Abderrahmane Feliachi and
Julien Ordioni},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {The {PERF} Approach for Formal Verification},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {203--214},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_15},
doi = {10.1007/978-3-319-33951-1\_15},
timestamp = {Mon, 05 Feb 2024 20:34:31 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/BenaissaBFO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/BloomfieldBBST16,
author = {Robin E. Bloomfield and
Marcus Bendele and
Peter G. Bishop and
Robert J. Stroud and
Simon Tonks},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security
Perspective: Methodology and Lessons Learned},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {3--19},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_1},
doi = {10.1007/978-3-319-33951-1\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/BloomfieldBBST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/BretonF16,
author = {Nicolas Breton and
Yoann Fonteneau},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {{S3:} Proving the Safety of Critical Systems},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {231--242},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_17},
doi = {10.1007/978-3-319-33951-1\_17},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/BretonF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/ConchonI16,
author = {Sylvain Conchon and
Mohamed Iguernelala},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {243--253},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_18},
doi = {10.1007/978-3-319-33951-1\_18},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/ConchonI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/DrossM16,
author = {Claire Dross and
Yannick Moy},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {Abstract Software Specifications and Automatic Proof of Refinement},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {215--230},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_16},
doi = {10.1007/978-3-319-33951-1\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/DrossM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/FilaxGO16,
author = {Marco Filax and
Tim Gonschorek and
Frank Ortmeier},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {Correct Formalization of Requirement Specifications: {A} V-Model for
Building Formal Models},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {106--122},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_8},
doi = {10.1007/978-3-319-33951-1\_8},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/FilaxGO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/HanTLW16,
author = {Xiao Han and
Tao Tang and
Jidong Lv and
Haifeng Wang},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {Failure Analysis of Chinese Train Control System Level 3 Based on
Model Checking},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {95--105},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_7},
doi = {10.1007/978-3-319-33951-1\_7},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/HanTLW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/HaxthausenNR16,
author = {Anne Elisabeth Haxthausen and
Hoang Nga Nguyen and
Markus Roggenbach},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {Comparing Formal Verification Approaches of Interlocking Systems},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {160--177},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_12},
doi = {10.1007/978-3-319-33951-1\_12},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/HaxthausenNR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/HuangM16,
author = {Po{-}Chi Huang and
Birgit Milius},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {Operational Security - {A} Coming Evolution of Railway Operational
Procedures Under the {IT} Security Threat},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {69--78},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_5},
doi = {10.1007/978-3-319-33951-1\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/HuangM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/IliasovSA16,
author = {Alexei Iliasov and
Paulius Stankaitis and
David Adjepon{-}Yamoah},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {Static Verification of Railway Schema and Interlocking Design Data},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {123--133},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_9},
doi = {10.1007/978-3-319-33951-1\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/IliasovSA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/KastnerF16,
author = {Daniel K{\"{a}}stner and
Christian Ferdinand},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {Applying Abstract Interpretation to Verify {EN-50128} Software Safety
Requirements},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {191--202},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_14},
doi = {10.1007/978-3-319-33951-1\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/KastnerF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/LimbreeCPT16,
author = {Christophe Limbr{\'{e}}e and
Quentin Cappart and
Charles Pecheur and
Stefano Tonetta},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {Verification of Railway Interlocking - Compositional Approach with
{OCRA}},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {134--149},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_10},
doi = {10.1007/978-3-319-33951-1\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/LimbreeCPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/Martin16,
author = {Luke J. W. Martin},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {Predictive Reasoning and Machine Learning for the Enhancement of Reliability
in Railway Systems},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {178--188},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_13},
doi = {10.1007/978-3-319-33951-1\_13},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/Martin16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/PeleskaHH16,
author = {Jan Peleska and
Wen{-}ling Huang and
Felix H{\"{u}}bner},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {A Novel Approach to {HW/SW} Integration Testing of Route-Based Interlocking
System Controllers},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {32--49},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_3},
doi = {10.1007/978-3-319-33951-1\_3},
timestamp = {Thu, 15 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/PeleskaHH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/PepinV16,
author = {Florent P{\'{e}}pin and
Maria Grazia Vigliotti},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {Risk Assessment of the 3Des in {ERTMS}},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {79--92},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_6},
doi = {10.1007/978-3-319-33951-1\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/PepinV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/RuiterTC16,
author = {Joeri de Ruiter and
Richard James Thomas and
Tom Chothia},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {A Formal Security Analysis of {ERTMS} Train to Trackside Protocols},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {53--68},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_4},
doi = {10.1007/978-3-319-33951-1\_4},
timestamp = {Sun, 28 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/RuiterTC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/Sabatier16,
author = {Denis Sabatier},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {Using Formal Proof and {B} Method at System Level for Industrial Projects},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {20--31},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_2},
doi = {10.1007/978-3-319-33951-1\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/Sabatier16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/StankaitisI16,
author = {Paulius Stankaitis and
Alexei Iliasov},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {Safety Verification of Heterogeneous Railway Networks},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {150--159},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_11},
doi = {10.1007/978-3-319-33951-1\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/StankaitisI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rssrail/2016,
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1},
doi = {10.1007/978-3-319-33951-1},
isbn = {978-3-319-33950-4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/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.
retrieved on 2024-11-19 12:21 CET 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:
