Timetable rearrangement to cope with railway maintenance activities

Computers and Operations Research, 95, pp123-138, doi: 10.1016/j.cor.2018.02.018

https://doi.org/10.1016/j.cor.2018.02.018
https://www.sciencedirect.com/science/article/pii/S0305054818300571?via%3Dihub

Efficient diagnosability assessment via ILP optimization: a railway benchmark

IEEE ETFA 2018, 23rd International Conference on Emerging Technologies and Factory Automation, ITALIE, 8p

Satellite positioning in the transport domain: applications and challenges

Data Science and Mobility Conference, SUISSE, 18p

https://archiveweb.epfl.ch/dsmc18.epfl.ch/

Safety Appraisal of GNSS-Based Localization Systems Used in Train Spacing Control

IEEE Access, 6, 99, pp9898-9916, doi: 10.1109/ACCESS.2018.2807127

http://ieeexplore.ieee.org/document/8293773/
http://dx.doi.org/10.1109/ACCESS.2018.2807127

Model-Based Monitoring of a Train Passenger Access System

IEEE Access, 6, 1, pp41619-41632, doi: 10.1109/ACCESS.2018.2860966

https://ieeexplore.ieee.org/abstract/document/8423174/
https://dx.doi.org/10.1109/ACCESS.2018.2860966

Fault diagnosis of discrete-event systems based on the symbolic observation graph

International Journal of Critical Computer-Based Systems (IJCCBS), 8, 2, pp141-168, doi: 10.1504/IJCCBS.2018.10011234

http://www.inderscience.com/offer.php?id=96178
https://dx.doi.org/10.1504/IJCCBS.2018.10011234

Le projet MORIPAN « Modèle de Risque au Passage à Niveau »

Revue Générale des Chemins de Fer (RGCF), 281, 9p

A passenger flow oriented security and safety approach in international railway stations

TRA 2018, 7th Transport Research Arena, AUTRICHE, 10p

An MDA Approach for the Specification of Relay-Based Diagrams

MEDI 2018, 8th International Conference on Model and Data Engineering, MAROC, 13p

https://doi.org/10.1007/978-3-030-02852-7_2

Improving Safety By Integrating Dysfunctional Analysis Into The Design Of Railway Systems

WIT Transactions on the Built Environment, 181, pp399-411, doi: 10.2495/CR180361

https://www.wessex.ac.uk/conferences/2018/comprail-2018
https://www.witpress.com/books/978-1-78466-285-1
https://www.witpress.com/elibrary/wit-transactions-on-the-built-environment/181/36887
https://dx.doi.org/10.2495/CR180361

Towards Semantic Interpretation of Goal-Oriented Safety Decision based on Foundational Ontology

ICCSIT 2018, 11th International Conference on Computer Science and Information Technology, FRANCE, 9p

Maintenance on the Railway Network: Disruptions and re-scheduling

Electronic Notes in Discrete Mathematics, 69, pp109-116, doi: 10.1016/j.endm.2018.07.015

http://www.sciencedirect.com/science/article/pii/S1571065318301598
https://doi.org/10.1016/j.endm.2018.07.015

Maintenance on the Railway Network: Disruptions and re-scheduling

EURO/ALIO 2018, International Conference on Applied Combinatorial Optimization, ITALIE, 8p

Optimiser une gare de triage en temps réel

ROADEF 2018, 19ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision, FRANCE, 2p

Optimization of a railway freight yard in real time

EURO 2018, 29th European Conference On Operational Research, ESPAGNE, 1p

Design solutions to improve resilience of metro vehicle to blast events

Transportation Research Part A: Policy and Practice, 118, pp280-291, doi: 10.1016/j.tra.2018.09.015

https://www.sciencedirect.com/science/article/pii/S0965856418305895?via%3Dihub
https://doi.org/10.1016/j.tra.2018.09.015

An Automated Method for the Study of Human Reliability in Railway Supervision Systems

IEEE Transactions on Intelligent Transportation Systems, 99, 16p, doi: 10.1109/TITS.2017.2779565

https://ieeexplore.ieee.org/document/8283579/
https://dx.doi.org/10.1109/TITS.2017.2779565

Modelling and verification: Performance evaluation and test: part 2

International Journal of Critical Computer Based Systems, 8, 3/4, pp231-233

Proposition of a formal model for crisis management in the context of high-speed train networks in border areas

TRA 2018, 7th Transport Research Arena, AUTRICHE, 10p

Analyzing risky behavior of motorists during the closure cycle of railway level crossings

Safety Science, 12p, doi: 10.1016/j.ssci.2017.12.008

https://doi.org/10.1016/j.ssci.2017.12.008
https://www.sciencedirect.com/science/journal/09257535

On-the-Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets

Asian Journal of Control, 20, 1, 13p, doi: 10.1002/asjc.1508

http://onlinelibrary.wiley.com/journal/10.1002
http://dx.doi.org/10.1002/asjc.1508

Comparaison de l'approche sécurité multi-domaine

Lambda-Mu, 21ème Congrès de Maîtrise des Risques et Sûreté de Fonctionnement, FRANCE, 7p

EGNOS service evaluation in railway environment for safety-critical operations

TRA 2018, 7th Transport Research Arena, AUTRICHE, 10p

Toward an Application Guide for Safety Integrity Level Allocation in Railway Systems

Risk Analysis, 22p, doi: 10.1111/risa.12972

http://onlinelibrary.wiley.com/journal/10.1111/(ISSN)1539-6924
http://dx.doi.org/10.1111/risa.12972

Collecting evidence from distributed sources to evaluate railway suicide and trespass prevention measures

Ergonomics, 61, pp1433-1453, doi: 10.1080/00140139.2018.1485970

https://doi.org/10.1080/00140139.2018.1485970
https://www.tandfonline.com/doi/full/10.1080/00140139.2018.1485970

Applications of train routing selection methods for real-time railway traffic management

ITSC 2018, 21st International Conference on Intelligent Transportation Systems, ETATS-UNIS, pp72-77

https://ieeexplore.ieee.org/document/8569555

Train timetable rearrangement facing infrastructure maintenance activities

ROADEF 2017, 18ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision, France, 2p

Timetable Optimization during Railway Infrastructure Maintenance

7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, France, 20p

A CPN/B method transformation framework for railway safety rules formal validation

European Transport Research Review, 13, 9, 15p, doi: 10.1007/s12544-017-0228-x

https://link.springer.com/journal/12544
https://doi.org/10.1007/s12544-017-0228-x

DIAG-IPF: A Software Tool for Fault Diagnosis of Discrete Event Systems

MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, FRANCE, 2p

Diagnosticabilité des Systèmes à Évènements Discrets: Une Nouvelle Variante de l'Approche Diagnostiqueur

MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, FRANCE, 15p

An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study

Lecture Notes in Computer Science, 10466, pp 92-107, doi: 10.1007/978-3-319-66176-6_7

https://doi.org/10.1007/978-3-319-66176-6_7
http://madis-collection.ifsttar.fr/cd/vecos/2017%20-%20VECOS/VeCOS2017_Proceedings.pdf

A Diagnoser-Based Approach for Intermittent Fault Diagnosis of Discrete-Event Systems

ACC - 2017 American Control Conference, ETATS-UNIS, pp 3860-3867

http://ieeexplore.ieee.org/document/7963546/
http://dx.doi.org/10.23919/ACC.2017.7963546

DPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser

MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, FRANCE, 14p

An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems

DX'17 - 28th International Workshop on Principles of Diagnosis, ITALIE, p8

A Control Scheme for Automatic Level Crossings under the ERTMS/ETCS Level 2/3 Operation

IEEE transactions on Intelligent Transportation Systems, 18, 10, 13p, doi: 10.1109/TITS.2017.2657695

https://doi.org/10.1109/TITS.2017.2657695
http://ieeexplore.ieee.org/document/7850991/

Réussir les transitions que nous sommes en train de vivre. Point de vue de la directrice de l'Institut Francais des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux - Ifsttar

TEC Transport environnement circulation, 232, 2p.

Sysml formalization of the disruption management process in european railways

96th Transportation Research Board Annual Meeting, Etats-Unis, 1p

Décomposition de Benders pour la gestion opérationnelle du trafic ferroviaire

132p

A decomposition approach for the real time Railway Traffic Management Problem

ROADEF 2017, 18ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision, France, 2p

A Benders' decomposition for the real-time Railway Traffic Management Problem

7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, France, 19p

A risk assessment study on accidents at French level crossings using Bayesian belief networks

International Journal of Injury Control and Safety Promotion, 15p, doi: 10.1080/17457300.2017.1416480

http://www.tandfonline.com/doi/full/10.1080/17457300.2017.1416480
https://doi.org/10.1080/17457300.2017.1416480

Bayesian Network Modeling Applied on Railway Level Crossing Safety

RSSRail 2017 - 2nd International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification, ITALIE, 15p

A new insight on the risky behavior of motorists at railway level crossings: An observational field study

Accident Analysis and Prevention, 108, pp.181-188, doi: 10.1016/j.aap.2017.08.030

http://www.sciencedirect.com/science/article/pii/S000145751730310X
https://doi.org/10.1016/j.aap.2017.08.030

Developing accident prediction model for railway level crossings

Safety science, 101, pp.48-59, doi: 10.1016/j.ssci.2017.08.013

http://www.sciencedirect.com/science/article/pii/S092575351630666X
https://doi.org/10.1016/j.ssci.2017.08.013

A survey of lubrication techniques of railway switches and crossings

Railway Engineering-2017, ROYAUME-UNI, 11p

A Survey of GNSS-Based Research and Developments for the European Railway Signaling

IEEE Transactions on Intelligent Transportation Systems, 10, 18, p2602 - 2618, doi: 10.1109/TITS.2017.2658179

http://ieeexplore.ieee.org/document/7857080/
https://doi.org/10.1109/TITS.2017.2658179

Boosting the performance of railway traffic management through the reformulation of RECIFE-MILP

7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, France, 16p

RECIFE-SAT: A MILP-based algorithm for the railway saturation problem

Journal of Rail Transport Planning & Management, 7, pp19-32, doi: 10.1016/j.jrtpm.2017.08.001

http://www.sciencedirect.com/science/article/pii/S2210970617300355
https://doi.org/10.1016/j.jrtpm.2017.08.001

On the tactical and operational train routing selection problem

Transportation research - Part C : Emerging technologies, 76, p1-15, doi: 10.1016/j.trc.2016.12.010

http://dx.doi.org/10.1016/j.trc.2016.12.010
http://www.sciencedirect.com/science/journal/0968090X

The potential of the routing selection problem in real-time railway traffic management

RailLille2017 - 7th International Conference on Railway Operations Modelling and Analysis, France, 19p

Ant Colony Optimization for train routing selection: operational vs tactical application

MT-ITS 2017 - 5th IEEE International Conference on Models and Technologies for Intelligent Transportation Systems, ITALIE, 6p

http://ieeexplore.ieee.org/document/8005684/
http://dx.doi.org/10.1109/MTITS.2017.8005684

Contributions d'un modèle microscopique à la résolution du problème de construction d'une grille horaire et à la planification des activités de maintenance de l'infrastructure ferroviaire

180p

Timetable Optimization to cope with Railway Infrastructure Maintenance

ROADEF 2016, 17ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision, FRANCE, 2p

http://roadef2016.utc.fr/

Pratiques partagées ou divergentes d'allocation de niveaux d'intégrité de sécurité dans le domaine ferroviaire

Lambda-Mu, 20ème Congrès de maîtrise des risques et de sûreté de fonctionnement, FRANCE, 8p

The New Challenges of Rail Security

Journal of Traffic and Logistics Engineering, 5p

http://www.jtle.net/
http://www.jtle.net/index.php?m=content&c=index&a=show&catid=43&id=161

Contributions au Diagnostic à Base de Modèles des Systèmes à Évènements Discrets

270p

Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults-A Railway Case-Study

VECOS 2016 - 10th International Workshop on Verification and Evaluation of Computer and Communication Systems, TUNISIE, 11p

Intermittent Fault Diagnosis of Industrial Systems in a Model-Checking Framework

ICPHM - 2016 IEEE International Conference on Prognostics and Health Management, CANADA, 6p

http://ieeexplore.ieee.org/document/7542874/
http://dx.doi.org/10.1109/ICPHM.2016.7542874

A Twin-Plant Based Approach for Diagnosability Analysis of Intermittent Failure

13th International Workshop on Discrete Event Systems - WODES 2016, Chine, p237-244

http://dx.doi.org/10.1109/WODES.2016.7497854

Railway Accident Prevention and Infrastructure Protection

Journal of Civil Engineering and Architecture, 10, p96-107, doi: 10.17265/1934-7359/2016.01.010

http://www.davidpublisher.org/Home/Journal/JCEA
http://www.davidpublisher.org/Public/uploads/Contribute/56b19ed06cc92.pdf

Implementation of ERTMS: a methodology based on formal methods and simulation with respect to French national rules

TRA2016 - Moving Forward. Innovative Solutions for Tomorrow's Mobility, Pologne, 10p

http://www.traconference.eu/

Trace analysis from ERTMS engineering

Comprail, International Conference on Railway Engineering Design and Operation, Espagne, 12p

http://www.wessex.ac.uk/conferences/2016/comprail-2016

Statistical automaton for verifying temporal properies and computing information on traces

International Journal of Computers Communications & Control, 11, 11.5, 12p, doi: 10.15837/ijccc.2016.5.2148

http://dx.doi.org/10.15837/ijccc.2016.5.2148
http://univagora.ro/jour/index.php/ijccc/index

A branch-and-cut algorithm for the truck dock assignment problem with operational time constraints

European Journal of Operational Research, 249, 3, pp1144-1152, doi: 10.1016/j.ejor.2015.09.049

https://doi.org/10.1016/j.ejor.2015.09.049
https://www.sciencedirect.com/science/article/pii/S0377221715008917?via%3Dihub

A Customizable Railway Benchmark to Deal with Fault Diagnosis Issues in DES

13th International Workshop on Discrete Event Systems - WODES 2016, Chine, p177-182

http://dx.doi.org/10.1109/WODES.2016.7497845

Solving the real-time Railway Traffic Management Problem with Benders decomposition

ROADEF 2016, 17ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision, FRANCE, 11p

Contribution à l'évaluation de la sécurité de systèmes de localisation ferroviaires basés sur les GNSS par la formalisation des concepts d'intégrité étendue

192p

From extended integrity monitoring to the safety evaluation of satellite-based localisation system

Reliability Engineering and System Safety, 155, pp. 105-114, doi: 10.1016/j.ress.2016.04.011

http://www.journals.elsevier.com/reliability-engineering-and-system-safety
http://dx.doi.org/10.1016/j.ress.2016.04.011

Towards eco-aware timetabling: evolutionary approach and cascading initialisation strategy for the bi-objective optimisation of train running times

IET Intelligent Transport Systems, 10, 7, pp. 483-494, doi: 10.1049/iet-its.2014.0309

http://digital-library.theiet.org/content/journals/10.1049/iet-its.2014.0309

Risk analysis on level crossings using a causal Bayesian network based approach

WCTR 2016 - World Conference on Transport Research, CHINE, 17p

http://www.sciencedirect.com/science/article/pii/S2352146517307251
https://doi.org/10.1016/j.trpro.2017.05.418

Statistical Analysis of Collisions at French Level Crossings

The Third International Conference on Railway Technology: Research, Development and Maintenance, ITALIE, 15p

Petri net diagnosability analyzer

11th International Design and Test Symposium - IDT 2016, Tunisie, 6p

Model-Based Diagnosis of Multi-Track Level Crossing Plants

IEEE Transactions on Intelligent Transportation Systems, 17, 2, p546 - 556, doi: 10.1109/TITS.2015.2478910

http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979
http://dx.doi.org/10.1109/TITS.2015.2478910

A new analytical approach to evaluate the critical-event probability due to wireless communication errors in Train Control Systems

IEEE Transactions on Intelligent Transportation Systems, 13p, doi: 10.1109/TITS.2016.2604043

http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979
http://dx.doi.org/10.1109/TITS.2016.2604043

Safety integrity level allocation shared or divergent practices in the railway domain

International Railway Safety Council, France, 10p

A detailed analysis of the actual impact of real-time railway traffic management optimization

Journal of Rail Transport Planning & Management, 19p, doi: 10.1016/j.jrtpm.2016.01.002

http://dx.doi.org/10.1016/j.jrtpm.2016.01.002
http://www.sciencedirect.com/science/journal/22109706

RECIFE-MILP for real-time railway traffic optimization: main results and open issues

WCRR 2016, 11th World Congress of Railway Research, Italie, 7p

A µ calculus formulation of the diagnosability of discrete event systems

International Journal of Critical Computer-Based Systems, 6, 4, 27p, doi: 10.1504/IJCCBS.2016.081806

http://dx.doi.org/10.1504/IJCCBS.2016.081806
http://www.inderscienceonline.com/loi/ijccbs

The ON-TIME real-time railway traffic management framework: A proof-of-concept using a scalable standardised data communication architecture

Transportation Research Part C: Emerging technologies, 63, p23-50, doi: 10.1016/j.trc.2015.11.014

http://dx.doi.org/10.1016/j.trc.2015.11.014
http://www.sciencedirect.com/science/journal/0968090X

Ant colony optimization for the real-time train routing selection problem

Transportation research - Part B : Methodological, 85, p89-108, doi: 10.1016/j.trb.2016.01.005

http://www.sciencedirect.com/science/journal/01912615
http://dx.doi.org/10.1016/j.trb.2016.01.005

Modélisation UML/B pour la validation des exigences de sécurité des règles d'exploitation ferroviaires

171 p

https://tel.archives-ouvertes.fr/tel-01450737
https://tel.archives-ouvertes.fr/tel-01450737/file/Yangui_Rahma_DLE.pdf

A Hybrid Method for Assigning Containers to AGVs in the Dynamic Environment of Container Terminals

CTS 2016, 14th IFAC Symposium on Control in Transportation Systems, TURQUIE, 9p

https://hal.archives-ouvertes.fr/hal-01727566/