default search action

combined dblp search
author search
venue search
publication search

ask others

RSSRail 2023: Berlin, Germany

> Home > Conferences and Workshops > RSSRail

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/2023
Birgit Milius, Simon Collart Dutilleul, Thierry Lecomte:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings. Lecture Notes in Computer Science 14198, Springer 2023, ISBN 978-3-031-43365-8

Modeling for Security

- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/PoorhadiT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/PoorhadiT23
Ehsan Poorhadi, Elena Troubitsyna:
Automating an Analysis of Safety-Security Interactions for Railway Systems. 3-21
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/FakhereldineZM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/FakhereldineZM23
Amin Fakhereldine, Mohammad Zulkernine, Dan Murdock:
TrainSec: A Simulation Framework for Security Modeling and Evaluation in CBTC Networks. 22-39

Tooled Approaches and Dependability of Highly Automated Transport Systems

- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/TangZKW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/TangZKW23
Ziyue Tang, Ning Zhao, Khalid Khan, Katinka Wolter:
Safety Analysis of Automatic Train Operation Based on ETCS. 43-61
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/BeqiriBPC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/BeqiriBPC23
Lodiana Beqiri, Zeinab Bakhshi, Sasikumar Punnekkat, Antonio Cicchetti:
Remaining Useful Life Estimation for Railway Gearbox Bearings Using Machine Learning. 62-77
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/WildBEM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/WildBEM23
Michael Wild, Jan Steffen Becker, Günter Ehmen, Eike Möhlmann:
Towards Scenario-Based Certification of Highly Automated Railway Systems. 78-97
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/MasettiGC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/MasettiGC23
Giulio Masetti, Felicita Di Giandomenico, Silvano Chiaradonna:
Dependability Analysis of UPS Architectures for the Italian Railway Signaling System. 98-114

Formal Methods for Safety Assessment

- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/IliasovTLR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/IliasovTLR23
Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky:
The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool. 117-127
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/GruteserGLRV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/GruteserGLRV23
Jan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach, Fabian Vu:
A Formal Model of Train Control with AI-Based Obstacle Detection. 128-145
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/HaxthausenFGMP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/HaxthausenFGMP23
Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen:
Automated Compositional Verification of Interlocking Systems. 146-164
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/HalchinSBFFL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/HalchinSBFFL23
Alexandra Halchin, Adja Ndeye Sylla, Sarah Benyagoub, Abderrahmane Feliachi, Yoann Fonteneau, Sven Leger:
Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems. 165-177
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/ZickertS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/ZickertS23
Gustav Zickert, Nikitas Stathatos:
Halfway Generic Verification of Railway Control Systems. 178-189

Formal Model and Visual Tooling

- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/LeuschelN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/LeuschelN23
Michael Leuschel, Nader Nayeri:
Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System. 193-210
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/BanerjeeCLLRSW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/BanerjeeCLLRSW23
Madhusree Banerjee, Victor Cai, Sunitha Lakshmanappa, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger, Thomas Werner:
A Tool-Chain for the Verification of Geographic Scheme Data. 211-224

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.