This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025. The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4 extended abstracts of journal-first papers presented here were carefully reviewed and selected from 35 submissions.They were focused on the following topical sections:Invited Presentations; AI & Planning; Surveys & Comparisons; Communication & Control; Industrial Experiences & Trams; Formal Modelling & Analysis.

Produktinformation

Utgivningsdatum2025-11-16
Mått155 x 235 x 19 mm
Vikt528 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor332
FörlagSpringer Nature Switzerland AG
ISBN9783032107619

Tillhör följande kategorier

Artificiell intelligens inom Data och IT
Järnvägar inom Naturvetenskap och teknik
IT-säkerhet inom Data och IT

.- Invited Presentations..- Moving Block in ERJU..- Empirical Formal Methods in Railways: Experiences and Roadmap..- Wireless Communications Challenges for Safety Applications in Railways..- AI & Planning..- From Relay-based Railway Interlocking Circuits to Formal Specification: An AI-driven Approach..- SMT-based Verification of Railway Plannings..- Using N-Version Architectures for Railway Segmentation with Deep Neural Networks..- Trade-Off Between Interpretability and Accuracy: How Can XAI Build Trust in Track Geometry Predictive Maintenance?..- Creating Synthetic Test Data for Rail Design Tools - The Case of Linear Scheme Plans..- Surveys & Comparisons..- Bridging Formal Verification and Domain Validation in Railway Systems..- Condition-Based Maintenance in Passenger Trains: Insights from Maintenance Logs and Accident Data..- Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review..- Comparing Model Checking and Model-based Simulation..- Communication & Control..- CPN-Based Modelling to Assess Dependability of Train-to-Train Wireless Communication for Virtual Coupling..- Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard..- Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining..- Industrial Experiences & Trams..- Configurable Interlocking Verification..- Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron..- Efficient Derivation of Optimal Signal Schedules for Multimodal Intersections..- A Zero Latency Handover Scheme for Autonomous Tram Signaling in a 5G Scenario..- Fusion2: Achieving SIL4 Onboard Positioning for Autonomous Trams..- Formal Modelling & Analysis..- Compositional Model Checking of Railway Interlocking Systems Featuring Flank Protection..- Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation..- Formal Analysis of a Railway Signaling Block Designed in AIDA..- Use of Certified Industrial Tools for Formal Analysis and Monitoring of Communications-Based Train Control Systems.

Mer från samma författare

Formal Methods – The Next 30 Years

Maurice H. ter Beek, Annabelle McIver, José N. Oliveira

Häftad, 2019

749 kr

Del 11865

From Software Engineering to Formal Methods and Tools, and Back

Maurice H. ter Beek, Alessandro Fantechi, Laura Semini

Häftad, 2019

749 kr

Del 12327

Formal Methods for Industrial Critical Systems

Maurice H. ter Beek, Dejan Ničković

Häftad, 2020

749 kr

Del 13274

Integrated Formal Methods

Maurice H. ter Beek, Rosemary Monahan

Häftad, 2022

1 119 kr

Del 13271

Coordination Models and Languages

Maurice H. ter Beek, Marjan Sirjani

Häftad, 2022

1 779 kr

Formal Methods: Foundations and Applications

Maurice H. ter Beek, Leopoldo Teixeira

Häftad, 2025

869 kr

Journeys Between Formal Methods and the Railway Industry

Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini

Häftad, 2026

1 459 kr

Del 9933

Critical Systems: Formal Methods and Automated Verification

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

Häftad, 2016

749 kr

Architecting Dependable Systems VI

Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek

Häftad, 2009

749 kr

Web Services and Formal Methods

Maurice H. ter Beek, Niels Lohmann

Häftad, 2013

689 kr

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi - Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops, Häftad

Del 15401

Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi

Häftad, 2025

969 kr

Du kanske också är intresserad av

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky

Häftad, 2019

869 kr

Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad

Del 13294

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte

Häftad, 2022

969 kr

Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad

Del 14198

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte

Häftad, 2023

939 kr

Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad

Del 10598

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky

Häftad, 2017

729 kr

Thierry Lecomte, Ralf Pinger, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad

Del 9707

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Thierry Lecomte, Ralf Pinger, Alexander Romanovsky

Häftad, 2016

749 kr

Del 15456

Risks and Security of Internet and Systems

Samir Ouchani, Simon Collart-Dutilleul, Samir Ouchani, Nora Cuppens, Frédéric Cuppens

Häftad, 2025

1 929 kr

Formal Methods: Foundations and Applications

Maurice H. ter Beek, Leopoldo Teixeira

Häftad, 2025

869 kr

Del 13271

Coordination Models and Languages

Maurice H. ter Beek, Marjan Sirjani

Häftad, 2022

1 779 kr

Operating Rules and Interoperability in Trans-National High-Speed Rail

Simon Collart-Dutilleul

Inbunden, 2021

2 449 kr

Del 10090

Formal Methods: Foundations and Applications

Leila Ribeiro, Thierry Lecomte

Häftad, 2016

749 kr

Del i serien Lecture Notes in Computer Science

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

6th International Conference, RSSRail 2025, Pisa, Italy, November 26–28, 2025, Proceedings

Häftad, Engelska, 2025

AvMaurice H. ter Beek,Simon Collart-Dutilleul,Thierry Lecomte

839 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (5)

Häftad

869 kr

Skickas inom 10-15 vardagar

Häftad

969 kr

Skickas inom 10-15 vardagar

Häftad

939 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

729 kr

Skickas inom 10-15 vardagar

Produktinformation

Utgivningsdatum2025-11-16
Mått155 x 235 x 19 mm
Vikt528 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor332
FörlagSpringer Nature Switzerland AG
ISBN9783032107619

Tillhör följande kategorier

Artificiell intelligens inom Data och IT
Järnvägar inom Naturvetenskap och teknik
IT-säkerhet inom Data och IT

.- Invited Presentations..- Moving Block in ERJU..- Empirical Formal Methods in Railways: Experiences and Roadmap..- Wireless Communications Challenges for Safety Applications in Railways..- AI & Planning..- From Relay-based Railway Interlocking Circuits to Formal Specification: An AI-driven Approach..- SMT-based Verification of Railway Plannings..- Using N-Version Architectures for Railway Segmentation with Deep Neural Networks..- Trade-Off Between Interpretability and Accuracy: How Can XAI Build Trust in Track Geometry Predictive Maintenance?..- Creating Synthetic Test Data for Rail Design Tools - The Case of Linear Scheme Plans..- Surveys & Comparisons..- Bridging Formal Verification and Domain Validation in Railway Systems..- Condition-Based Maintenance in Passenger Trains: Insights from Maintenance Logs and Accident Data..- Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review..- Comparing Model Checking and Model-based Simulation..- Communication & Control..- CPN-Based Modelling to Assess Dependability of Train-to-Train Wireless Communication for Virtual Coupling..- Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard..- Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining..- Industrial Experiences & Trams..- Configurable Interlocking Verification..- Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron..- Efficient Derivation of Optimal Signal Schedules for Multimodal Intersections..- A Zero Latency Handover Scheme for Autonomous Tram Signaling in a 5G Scenario..- Fusion2: Achieving SIL4 Onboard Positioning for Autonomous Trams..- Formal Modelling & Analysis..- Compositional Model Checking of Railway Interlocking Systems Featuring Flank Protection..- Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation..- Formal Analysis of a Railway Signaling Block Designed in AIDA..- Use of Certified Industrial Tools for Formal Analysis and Monitoring of Communications-Based Train Control Systems.