|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 88 publication records. Showing 88 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Nader Nayeri |
Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen |
Automated Compositional Verification of Interlocking Systems. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Amin Fakhereldine, Mohammad Zulkernine, Dan Murdock |
TrainSec: A Simulation Framework for Security Modeling and Evaluation in CBTC Networks. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wild, Jan Steffen Becker, Günter Ehmen, Eike Möhlmann |
Towards Scenario-Based Certification of Highly Automated Railway Systems. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustav Zickert, Nikitas Stathatos |
Halfway Generic Verification of Railway Control Systems. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lodiana Beqiri, Zeinab Bakhshi, Sasikumar Punnekkat, Antonio Cicchetti |
Remaining Useful Life Estimation for Railway Gearbox Bearings Using Machine Learning. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit Milius, Simon Collart Dutilleul, Thierry Lecomte (eds.) |
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziyue Tang, Ning Zhao, Khalid Khan, Katinka Wolter |
Safety Analysis of Automatic Train Operation Based on ETCS. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ehsan Poorhadi, Elena Troubitsyna |
Automating an Analysis of Safety-Security Interactions for Railway Systems. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulio Masetti, Felicita Di Giandomenico, Silvano Chiaradonna |
Dependability Analysis of UPS Architectures for the Italian Railway Signaling System. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky |
The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rebecca Haehn, Erika Ábrahám, Niklas Kotowski |
Acceleration Techniques for Symbolic Simulation of Railway Timetables. |
RSSRail |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille |
Optimal Railway Routing Using Virtual Subsections. |
RSSRail |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankur Mahtani, Nadia Chouchani, Maxime Herbreteau, Denis Rafin |
Enhancing Autonomous Train Safety Through A Priori-Map Based Perception. |
RSSRail |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Josh Hunter, John Alexander McDermid |
Investigating Human Error Within GoA-2 Metro Lines. |
RSSRail |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Gloria Gori, Anne E. Haxthausen, Christophe Limbrée |
Compositional Verification of Railway Interlockings: Comparison of Two Methods. |
RSSRail |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Badeau, Julien Chappelin, Joris Lamare |
Generating and Verifying Configuration Data with OVADO. |
RSSRail |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Flammini, Lorenzo De Donato, Alessandro Fantechi, Valeria Vittorini |
A Vision of Intelligent Train Control. |
RSSRail |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Lilian Burdy, David Déharbe, Denis Sabatier |
Assigning Safe Executed Systems to Meanings. |
RSSRail |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Utku Tefek, Ertem Esiner, Lin Wei, Yih-Chun Hu |
TASC: Transparent, Agnostic, Secure Channel for CBTC Under Failure or Cyberattack. |
RSSRail |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Mazzanti, Dimitri Belli |
The 4SECURail Formal Methods Demonstrator. |
RSSRail |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte (eds.) |
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings |
RSSRail |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Linas Laibinis, Dominic Taylor, Ilya Lopatkin, Alexander B. Romanovsky |
Safety Invariant Verification that Meets Engineers' Expectations. |
RSSRail |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Schulz, Frank Golatowski, Dirk Timmermann |
Integration Approach for Communications-Based Train Control Applications in a High Assurance Security Architecture. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Shyam Lal Karra, Kim Guldstrand Larsen, Florian Lorber, Jirí Srba |
Safe and Time-Optimal Control for Railway Games. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Faiz Ul Muram, Barbara Gallina, Samina Kanwal |
A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Schmittner, Peter Tummeltshammer, David Hofbauer, Abdelkader Magdy Shaaban, Michael Meidlinger, Markus Tauber, Arndt Bonitz, Reinhard Hametner, Manuela Brandstetter |
Threat Modeling in the Railway Domain. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Collart Dutilleul, Thierry Lecomte, Alexander B. Romanovsky (eds.) |
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi |
Connected or Autonomous Trains? |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Schlehuber, Dominik Renkel |
Merging Worlds - Aligning Safety and Security. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Bertrand 0001, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur |
Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Basile 0001, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò |
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Naïm Aber, Benjamin Blanc, Nathalie Ferkane, Mohand Meziani, Julien Ordioni |
RBS2HLL - A Formal Modeling of Relay-Based Interlocking. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalay Israel de Almeida Pereira, David Déharbe, Matthieu Perin, Philippe Bon |
B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Dillmann, Reiner Hähnle |
Automated Planning of ETCS Tracks. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Peleska 0001, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger |
Efficient Data Validation for Geographical Interlocking Systems. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Comptier, Michael Leuschel, Luis-Fernando Mejia, Julien Molinero Perez, Mareike Mutz |
Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Chenariyan Nakhaee, Djoerd Hiemstra, Mariëlle Stoelinga, Martijn van Noort |
The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Camille Parillaud, Yoann Fonteneau, Fabien Belmonte |
Interlocking Formal Verification at Alstom Signalling. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon |
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon |
Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Fischer, Dana Dghaym |
Formal Model Validation Through Acceptance Tests. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Ferrari 0001, Maurice H. ter Beek, Franco Mazzanti, Davide Basile 0001, Alessandro Fantechi, Stefania Gnesi, Andrea Piattino, Daniele Trentini |
Survey on Formal Methods and Tools in Railways: The ASTRail Approach. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Comptier, David Déharbe, Julien Molinero Perez, Louis Mussat, Pierre Thibaut, Denis Sabatier |
Safety Analysis of a CBTC System: A Rigorous Approach with Event-B. |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh 0001, Yamine Aït Ameur, Julien Ordioni |
B-PERFect - Applying the PERF Approach to B Based System Developments. |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulius Stankaitis, Alexei Iliasov |
Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks. |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer |
Formal Verification of Train Control with Air Pressure Brakes. |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Ferrari 0001, Mario Fusani, Stefania Gnesi |
Are Standards an Ambiguity-Free Reference for Product Validation? |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Braband |
Cyber Security in Railways: Quo Vadis? |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh H. Vu, Anne E. Haxthausen, Jan Peleska 0001 |
A Domain-Specific Language for Generic Interlocking Models and Their Properties. |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Basile 0001, Felicita Di Giandomenico, Stefania Gnesi |
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming. |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Di Massa, Mirko Damiani, Maurizio Papini, Gianluca Mandò |
Redundant and Reliable Architecture Based on Open Source Tools for Light-Rail-Transit On-Board-Systems. |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Manel Fredj, Sven Leger, Abderrahmane Feliachi, Julien Ordioni |
OVADO - Enhancing Data Validation for Safety-Critical Railway Systems. |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Thierry Lecomte, Alexander B. Romanovsky (eds.) |
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Canonico, Stefano Marrone 0001, Roberto Nardone, Valeria Vittorini |
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS. |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduard Kamburjan, Reiner Hähnle |
Deductive Verification of Railway Operations. |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ci Liang, Mohamed Ghazel, Olivier Cazier, Laurent Bouillaut, El-Miloudi El-Koursi |
Bayesian Network Modeling Applied on Railway Level Crossing Safety. |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | William G. Temple, Yue Wu, Binbin Chen 0001, Zbigniew Kalbarczyk |
Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-engineering. |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Adeline, Pierre Dersin, Éric Fabre, Loïc Hélouët, Karim Kecir |
An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems. |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Mandò, Giovanni Giambene |
LTE System Design for Urban Light Rail Transport. |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Butler, Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin F. Snook, Peter Tummeltshammer |
Formal Modelling Techniques for Efficient Development of Railway Control Products. |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Conchon, Mohamed Iguernelala |
Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Claire Dross, Yannick Moy |
Abstract Software Specifications and Automatic Proof of Refinement. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Breton, Yoann Fonteneau |
S3: Proving the Safety of Critical Systems. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin E. Bloomfield, Marcus Bendele, Peter G. Bishop, Robert J. Stroud, Simon Tonks |
The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Kästner, Christian Ferdinand |
Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Po-Chi Huang, Birgit Milius |
Operational Security - A Coming Evolution of Railway Operational Procedures Under the IT Security Threat. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Elisabeth Haxthausen, Hoang Nga Nguyen, Markus Roggenbach |
Comparing Formal Verification Approaches of Interlocking Systems. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke J. W. Martin |
Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Filax, Tim Gonschorek, Frank Ortmeier |
Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazim Benaïssa, David Bonvoisin, Abderrahmane Feliachi, Julien Ordioni |
The PERF Approach for Formal Verification. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulius Stankaitis, Alexei Iliasov |
Safety Verification of Heterogeneous Railway Networks. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Peleska 0001, Wen-ling Huang, Felix Hübner |
A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao Han 0003, Tao Tang 0004, Jidong Lv, Haifeng Wang |
Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Sabatier |
Using Formal Proof and B Method at System Level for Industrial Projects. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta |
Verification of Railway Interlocking - Compositional Approach with OCRA. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent Pépin, Maria Grazia Vigliotti |
Risk Assessment of the 3Des in ERTMS. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Joeri de Ruiter, Richard J. Thomas, Tom Chothia |
A Formal Security Analysis of ERTMS Train to Trackside Protocols. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Lecomte, Ralf Pinger, Alexander B. Romanovsky (eds.) |
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah |
Static Verification of Railway Schema and Interlocking Design Data. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #88 of 88 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license