Articles
2018
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
Plus d'infosSatellite 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
A Diagnosis Study on a Train Passenger Access System using Petri Net Models
CTS '18, 15th IFAC Symposium on Control in Transportation Systems, ITALIE, 6p
Plus d'infosModel-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
https://www.revue-rgcf.com/fr/revues/281/sommaire
A passenger flow oriented security and safety approach in international railway stations
TRA 2018, 7th Transport Research Arena, AUTRICHE, 10p
Plus d'infosAn 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
Plus d'infosImproving 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
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 '18, International Conference on Applied Combinatorial Optimization, ITALIE, 8p
Télécharger le documentOptimization of a railway freight yard in real time
EURO'18, 29th European Conference On Operational Research, ESPAGNE, 1p
Plus d'infosOptimiser 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
Télécharger le documentDesign 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
Télécharger le documentA Formal Approach for Multi-occurrence Crisis Management
ICSOFT 2018, 13th International Conference on Software Technologies, PORTUGAL, pp607-614
https://www.scitepress.org/Papers/2018/68656/pdf/index.html
https://www.scitepress.org/Link.aspx?doi=10.5220/0006865606410648
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
Plus d'infosUsing Bayesian Networks for the Purpose of Risk Analysis at Railway Level Crossings
CTS'18, 15th IFAC Symposium on Control in Transportation Systems, ITALIE, 8p
Plus d'infosAnalyzing risky behavior of motorists during the closure cycle of railway level crossings
Safety Science, 110, pp115-126, 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
Plus d'infosEGNOS service evaluation in railway environment for safety-critical operations
TRA 2018, 7th Transport Research Arena, AUTRICHE, 10p
Plus d'infosToward 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
2017
Timetable Optimization during Railway Infrastructure Maintenance
7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, France, 20p
Plus d'infosTrain 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
Télécharger le documentA 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
Télécharger le documentDiagnosticabilité 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
Télécharger le documentAn 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
Télécharger le documentAn Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems
DX'17 - 28th International Workshop on Principles of Diagnosis, ITALIE, p8
Télécharger le documentA 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/
Contribution of human factors and chronobiology vigilance in public transport safety in France
Annual Special issue of Magazine on The Rail Industry of India, 1, 2, pp01-22
https://hal.archives-ouvertes.fr/hal-02424067
Contribution of human factors and chronobiology vigilance in public transport safety in France
Annual Special issue of Magazine on The Rail Industry of India, 1, 2, pp01-22
https://hal.archives-ouvertes.fr/hal-02424023
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, pp6-7
https://atec-its-france.com/boutique/tec-232/
https://atec-its-france.com/extrait-pdf/?revue=8398
Sysml formalization of the disruption management process in european railways
96th Transportation Research Board Annual Meeting, Etats-Unis, 1p
Télécharger le documentDécomposition de Benders pour la gestion opérationnelle du trafic ferroviaire
132p
Télécharger le documentA Benders' decomposition for the real-time Railway Traffic Management Problem
7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, France, 19p
Télécharger le documentA 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
Télécharger le documentA risk assessment study on accidents at French level crossings using Bayesian belief networks
International Journal of Injury Control and Safety Promotion, pp162-172, 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
Télécharger le documentDeveloping accident prediction model for railway level crossings
Safety science, 101, pp48-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 new insight on the risky behavior of motorists at railway level crossings: An observational field study
Accident Analysis and Prevention, 108, pp181-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
A survey of lubrication techniques of railway switches and crossings
Railway Engineering-2017, ROYAUME-UNI, 11p
Plus d'infosA 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
Plus d'infosRECIFE-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
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
Télécharger le documentOn 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
2016
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
Télécharger le documentTimetable 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
Télécharger le documentPratiques 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
Plus d'infosThe 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
Télécharger le documentUsing 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
Télécharger le documentIntermittent 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
Plus d'infosTrace 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
Contribution of chronobiology vigilance in public transport safety
International Journal of Multidisciplinary Research and Development, 3, 9, pp214-221, doi: 10.22271/ijmrd
http://dx.doi.org/10.22271/ijmrd
https://hal.archives-ouvertes.fr/hal-02424015
Transportation safety assessment methodology based on artificial intelligence techniques
International Journal of Computing Science and Communication, 1, 1, pp22-30
https://hal.archives-ouvertes.fr/hal-02423988
Knowledge based system for the evaluation of safety and the prevention of railway accidents
International journal of railway research, 3, 1, pp37-44, doi: 10.22068 / IJRARE.3.1.37
http://dx.doi.org/10.22068 / IJRARE.3.1.37
https://hal.archives-ouvertes.fr/hal-02423996
CLASCA: Learning System for Classification and Capitalization of Accident Scenarios of Railway
International Journal of Engineering Research and Applications, 6, 8, pp91-98
https://hal.archives-ouvertes.fr/hal-02423765
Methods and Tools to Assist the Acquisition, Modelling, Capitalization and Assessment of the Safety of Transport
International Journal of Emerging Technology and Advanced Engineering, 6, 8, pp25-35
https://hal.archives-ouvertes.fr/hal-02423763
Contribution of Human factors and chronobiology vigilance in public transport safety in France
Magazine on The Rail Industry, 1, 2, pp49-52
https://hal.archives-ouvertes.fr/hal-02423768
Knowledge acquisition and machine learning: two complementary approaches to assessment of safety of rail transport
Journal of Engineering Precious Research and Applications, 1, 3, pp01-09
https://hal.archives-ouvertes.fr/hal-02423971
Les risques psychosociaux dans la politique Européenne du développement durable
Colloque international Union Européenne et développement durable, Défis et perspectives, France, P20
https://hal.archives-ouvertes.fr/hal-02424644
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
Télécharger le documentContribution à 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
Télécharger le documentFrom 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, pp2167-2181
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
Plus d'infosPetri net diagnosability analyzer
11th International Design and Test Symposium - IDT 2016, Tunisie, 6p
Plus d'infosModel-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
Télécharger le documentRECIFE-MILP for real-time railway traffic optimization: main results and open issues
WCRR 2016, 11th World Congress of Railway Research, Italie, 7p
Plus d'infosA 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
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/