Search dblp for Publications

export results for "toc:db/conf/rssrail/rssrail2023.bht:"

 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    = {Fri, 06 Oct 2023 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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.