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/

A Diagnosis Study on a Train Passenger Access System using Petri Net Models

CTS 2018, 15th IFAC Symposium on Control in Transportation Systems, ITALIE, 6p

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

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

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

Maintenance on the Railway Network: Disruptions and re-scheduling

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

Optimization of a railway freight yard in real time

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

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

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

Using Bayesian Networks for the Purpose of Risk Analysis at Railway Level Crossings

CTS 2018, 15th IFAC Symposium on Control in Transportation Systems, ITALIE, 8p

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

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

Timetable Optimization during Railway Infrastructure Maintenance

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

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

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

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 Benders' decomposition for the real-time Railway Traffic Management Problem

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

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

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 survey of lubrication techniques of railway switches and crossings

Railway Engineering-2017, ROYAUME-UNI, 11p

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

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

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

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

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

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

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

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

WCTR 2016 - World Conference on Transport Research, CHINE, pp2167-2181

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

Petri net diagnosability analyzer

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

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

International Railway Safety Council, France, 10p

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

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

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/