• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 88 matches

• 2023
• 
  Madhusree Banerjee, Victor Cai, Sunitha Lakshmanappa, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger, Thomas Werner:
  A Tool-Chain for the Verification of Geographic Scheme Data. RSSRail 2023: 211-224
• 
  Lodiana Beqiri, Zeinab Bakhshi, Sasikumar Punnekkat, Antonio Cicchetti:
  Remaining Useful Life Estimation for Railway Gearbox Bearings Using Machine Learning. RSSRail 2023: 62-77
• 
  Amin Fakhereldine, Mohammad Zulkernine, Dan Murdock:
  TrainSec: A Simulation Framework for Security Modeling and Evaluation in CBTC Networks. RSSRail 2023: 22-39
• 
  Jan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach, Fabian Vu:
  A Formal Model of Train Control with AI-Based Obstacle Detection. RSSRail 2023: 128-145
• 
  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. RSSRail 2023: 165-177
• 
  Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen:
  Automated Compositional Verification of Interlocking Systems. RSSRail 2023: 146-164
• 
  Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky:
  The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool. RSSRail 2023: 117-127
• 
  Michael Leuschel, Nader Nayeri:
  Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System. RSSRail 2023: 193-210
• 
  Giulio Masetti, Felicita Di Giandomenico, Silvano Chiaradonna:
  Dependability Analysis of UPS Architectures for the Italian Railway Signaling System. RSSRail 2023: 98-114
• 
  Ehsan Poorhadi, Elena Troubitsyna:
  Automating an Analysis of Safety-Security Interactions for Railway Systems. RSSRail 2023: 3-21
• 
  Ziyue Tang, Ning Zhao, Khalid Khan, Katinka Wolter:
  Safety Analysis of Automatic Train Operation Based on ETCS. RSSRail 2023: 43-61
• 
  Michael Wild, Jan Steffen Becker, Günter Ehmen, Eike Möhlmann:
  Towards Scenario-Based Certification of Highly Automated Railway Systems. RSSRail 2023: 78-97
• 
  Gustav Zickert, Nikitas Stathatos:
  Halfway Generic Verification of Railway Control Systems. RSSRail 2023: 178-189
• 
  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 [contents]
• 2022
• 
  Arturo Amendola, Lorenzo Barruffo, Marco Bozzano, Alessandro Cimatti, Salvatore De Simone, Eugenio Fedeli, Artem Gabbasov, Domenico Ernesto Garrubba, Massimiliano Girardi, Diana Serra, Roberto Tiella, Gianni Zampedri:
  Formal Design and Validation of an Automatic Train Operation Control System. RSSRail 2022: 169-178
• 
  Frédéric Badeau, Julien Chappelin, Joris Lamare:
  Generating and Verifying Configuration Data with OVADO. RSSRail 2022: 143-148
• 
  Carlos E. Budde, Duncan Jansen, Inka L. M. Locht, Mariëlle Stoelinga:
  Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth. RSSRail 2022: 95-111
• 
  Lilian Burdy, David Déharbe, Denis Sabatier:
  Assigning Safe Executed Systems to Meanings. RSSRail 2022: 130-142
• 
  Alessandro Fantechi, Gloria Gori, Anne E. Haxthausen, Christophe Limbrée:
  Compositional Verification of Railway Interlockings: Comparison of Two Methods. RSSRail 2022: 3-19
• 
  Francesco Flammini, Lorenzo De Donato, Alessandro Fantechi, Valeria Vittorini:
  A Vision of Intelligent Train Control. RSSRail 2022: 192-208
• 
  Rebecca Haehn, Erika Ábrahám, Niklas Kotowski:
  Acceleration Techniques for Symbolic Simulation of Railway Timetables. RSSRail 2022: 46-62
• 
  Josh Hunter, John Alexander McDermid:
  Investigating Human Error Within GoA-2 Metro Lines. RSSRail 2022: 179-191
• 
  Alexei Iliasov, Linas Laibinis, Dominic Taylor, Ilya Lopatkin, Alexander B. Romanovsky:
  Safety Invariant Verification that Meets Engineers' Expectations. RSSRail 2022: 20-31
• 
  Airy Magnien, Gabriele Cecchetti, Anna Lina Ruscelli, Paul Hyde, Jin Liu, Stefan Wegele:
  Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems. RSSRail 2022: 35-45
• 
  Ankur Mahtani, Nadia Chouchani, Maxime Herbreteau, Denis Rafin:
  Enhancing Autonomous Train Safety Through A Priori-Map Based Perception. RSSRail 2022: 115-129
• 
  Franco Mazzanti, Dimitri Belli:
  The 4SECURail Formal Methods Demonstrator. RSSRail 2022: 149-165
• 
  Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille:
  Optimal Railway Routing Using Virtual Subsections. RSSRail 2022: 63-79
• 
  José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi:
  Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems. RSSRail 2022: 83-94
• 
  Benjamin Rother, Frank Golatowski, Zeeshan Ansar, Don Kuzhiyelil, Stefan Resch, Reinhard Hametner, Prashant Pathak:
  Analysis of Safety-Critical Communication Protocols for On-Premise SIL4 Cloud in Railways. RSSRail 2022: 211-220
• 
  Utku Tefek, Ertem Esiner, Lin Wei, Yih-Chun Hu:
  TASC: Transparent, Agnostic, Secure Channel for CBTC Under Failure or Cyberattack. RSSRail 2022: 221-237

skipping 58 more matches