Publications

A Sound Abstraction Method Towards Efficient Neural Networks Verification

Références bibliographiques : References : Referencias : Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel. A Sound Abstraction Method Towards Efficient Neural Networks Verification. Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Oct 2023, Marrakech, Morocco. pp.76-89, ⟨10.1007/978-3-031-49737-7_6⟩. ⟨hal-04663758⟩

DOI : 10.1007/978-3-031-49737-7_6

A safety kernel for flexible level crossing management

Références bibliographiques : References : Referencias : Rim Brahim, Simon Collart Dutilleul, Philippe Bon, Pierre-Antoine Laharotte, Nour-Eddin El Faouzi. A safety kernel for flexible level crossing management. The Nineteenth International Conference on Risks and Security of Internet and Systems (CRiSIS-2024), Nov 2024, Aix-en-Provence, France. ⟨hal-04828812⟩

Contributions aux activités de sécurité des systèmes complexes critiques ferroviaires – Cadre des systèmes de contrôle-commande avancés

Références bibliographiques : References : Referencias : Julie Beugin. Contributions aux activités de sécurité des systèmes complexes critiques ferroviaires – Cadre des systèmes de contrôle-commande avancés. Sciences de l'ingénieur [physics]. Université de Lille, 2024. ⟨tel-04789036⟩

ERTMS/ETCS L3: Usable Formal Models for the "Loss of Train Integrity" Operation Scenario

Références bibliographiques : References : Referencias : Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel. ERTMS/ETCS L3: Usable Formal Models for the "Loss of Train Integrity" Operation Scenario. Verification and Evaluation of Computer and Communication Systems, Belgacem Ben Hedia; Mohamed Ghazel; Bruno Monsuez, Oct 2024, Djerba, Tunisia. ⟨10.1007/978-3-031-85356-2_12⟩. ⟨hal-04997909⟩

DOI : 10.1007/978-3-031-85356-2_12

Monitoring of Neural Network Classifiers using Neuron Activation Paths

Références bibliographiques : References : Referencias : Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel. Monitoring of Neural Network Classifiers using Neuron Activation Paths. International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), Oct 2024, Djerba, Tunisia, Tunisia. ⟨hal-04749896⟩

Quel rôle pour la SOTIF (ISO 21448:2022) dans la démonstration de sécurité des trains autonomes ?

Références bibliographiques : References : Referencias : Ouail Himrane, Abhimanyu Tonk, Abderraouf Boussif. Quel rôle pour la SOTIF (ISO 21448:2022) dans la démonstration de sécurité des trains autonomes ?. Congrès Lambda Mu 24 « Les métiers du risque : clés de la réindustrialisation et de la transition écologique », Institut pour la Maîtrise des Risques (IMdR), Oct 2024, Bourges, France. ⟨hal-05016249⟩

Quel rôle pour la SOTIF (ISO 21448 : 2022) dans la démonstration de sécurité des trains autonomes ?

Références bibliographiques : References : Referencias : Ouail Himrane, Abhimanyu Tonk, Abderraouf Boussif. Quel rôle pour la SOTIF (ISO 21448 : 2022) dans la démonstration de sécurité des trains autonomes ?. Congrès Lambda Mu 24, Institut pour la Maîtrise des Risques, Oct 2024, Bourges, France, France. ⟨hal-04908996⟩

Une approche orientée risques pour la prise de décision dans les trains autonomes : Cas de la fonction anti-collision

Références bibliographiques : References : Referencias : Mohammed Chelouati, Abderraouf Boussif, Julie Beugin, El Miloudi El Koursi. Une approche orientée risques pour la prise de décision dans les trains autonomes : Cas de la fonction anti-collision. Congrès Lambda Mu 24 « Les métiers du risque : clés de la réindustrialisation et de la transition écologique », Institut pour la Maîtrise des Risques (IMdR), Oct 2024, Bourges, France. ⟨hal-05016281⟩

An iterative formal model-driven approach to railway systems validation

Références bibliographiques : References : Referencias : Asfand Yar, Akram Idani, Yves Ledru, Simon Collart-Dutilleul, Amel Mammar, et al.. An iterative formal model-driven approach to railway systems validation. 28th International Conference on Engineering of Complex Computer Systems (ICECCS), Jun 2024, Limassol (Chypre), Cyprus. pp.272 - 289, ⟨10.1007/978-3-031-66456-4_15⟩. ⟨hal-04731687⟩

DOI : 10.1007/978-3-031-66456-4_15

Rescheduling and Rerouting of Connecting Trains after Perturbations

Références bibliographiques : References : Referencias : Bishal Sharma. Rescheduling and Rerouting of Connecting Trains after Perturbations. Computer Science [cs]. Université Gustave Eiffel, 2024. English. ⟨NNT : ⟩. ⟨tel-04901712⟩

Rescheduling and rerouting of connecting trains after perturbations

Références bibliographiques : References : Referencias : Bishal Sharma. Rescheduling and rerouting of connecting trains after perturbations. Infrastructures de transport. Université Gustave Eiffel, 2024. English. ⟨NNT : 2024UEFL2034⟩. ⟨tel-04940463⟩

Formulation of train routing selection problem for different real-time traffic management objectives

Références bibliographiques : References : Referencias : Bianca Pascariu, Marcella Sama, Paola Pellegrini, Andrea d'Ariano, Joaquin Rodriguez, et al.. Formulation of train routing selection problem for different real-time traffic management objectives. Journal of Rail Transport Planning and Management, In press, 31, ⟨10.1016/j.jrtpm.2024.100460⟩. ⟨hal-04617645⟩

DOI : 10.1016/j.jrtpm.2024.100460

Analyzing Rear-End Collision Risk Relevant to Autonomous Vehicles by Using a Humanlike Brake Model

Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel, Yusheng Ci, Wei Zheng. Analyzing Rear-End Collision Risk Relevant to Autonomous Vehicles by Using a Humanlike Brake Model. Journal of Transportation Engineering, Part A: Systems, 2024, 150 (7), 8 p. ⟨10.1061/JTEPBS.TEENG-8250⟩. ⟨hal-04599482⟩

DOI : 10.1061/JTEPBS.TEENG-8250

Contributions to the Verification and Monitoring of Neural Network Systems

Références bibliographiques : References : Referencias : Fateh Boudardara. Contributions to the Verification and Monitoring of Neural Network Systems. Automatic Control Engineering. Université Gustave Eiffel, 2024. English. ⟨NNT : 2024UEFL2020⟩. ⟨tel-04861222⟩

Contributions to safety assurance of autonomous trains

Références bibliographiques : References : Referencias : Mohammed Chelouati. Contributions to safety assurance of autonomous trains. Automatic Control Engineering. Université Gustave Eiffel, 2024. English. ⟨NNT : 2024UEFL2014⟩. ⟨tel-04692568⟩

An Efficient Algorithm for K -Diagnosability Analysis of Bounded and Unbounded Petri Nets

Références bibliographiques : References : Referencias : Amira Chouchane, Mohamed Ghazel. An Efficient Algorithm for K -Diagnosability Analysis of Bounded and Unbounded Petri Nets. WODES'2024 - 17th IFAC Workshop on Discrete Event Systems, Apr 2024, Rio de Janeiro, Brazil. ⟨hal-04578239v2⟩

A Methodology of Elicitation of Safety Requirements of Artificial Intelligence bases Functions in Railway

Références bibliographiques : References : Referencias : Ankur Mahtani, Insaf Sassi, Ouail Himrane, Abderraouf Boussif. A Methodology of Elicitation of Safety Requirements of Artificial Intelligence bases Functions in Railway. Transport Research Arena, Apr 2024, Dublin, Ireland. ⟨hal-04905385⟩

Fault-prognosability, K-step prognosis and K-step predictive diagnosis in partially observed petri nets by means of algebraic techniques

Références bibliographiques : References : Referencias : Amira Chouchane, Mohamed Ghazel. Fault-prognosability, K-step prognosis and K-step predictive diagnosis in partially observed petri nets by means of algebraic techniques. Automatica, 2024, 162, pp.111513. ⟨10.1016/j.automatica.2024.111513⟩. ⟨hal-04397381⟩

DOI : 10.1016/j.automatica.2024.111513

Towards self-organizing railway traffic management: concept and framework

Références bibliographiques : References : Referencias : Leo D’amato, Federico Naldini, Valentina Tibaldo, Vito Trianni, Paola Pellegrini. Towards self-organizing railway traffic management: concept and framework. Journal of Rail Transport Planning & Management, 2024, 29, pp.100427. ⟨10.1016/j.jrtpm.2023.100427⟩. ⟨hal-04402462⟩

DOI : 10.1016/j.jrtpm.2023.100427

Incorporating Ad Hoc Stops in Public Transport : A Study on Flex-Route Transit

Références bibliographiques : References : Referencias : Reza Shahin. Incorporating Ad Hoc Stops in Public Transport : A Study on Flex-Route Transit. Modeling and Simulation. Université Gustave Eiffel, 2024. English. ⟨NNT : 2024UEFL2004⟩. ⟨tel-04616660⟩

Real-time railway traffic management under moving-block signalling: A literature review and research agenda

Références bibliographiques : References : Referencias : Nina D Versluis, Egidio Quaglietta, Rob M.P. Goverde, Paola Pellegrini, Joaquin Rodriguez. Real-time railway traffic management under moving-block signalling: A literature review and research agenda. Transportation research. Part C, Emerging technologies, 2024, 158, pp.104438. ⟨10.1016/j.trc.2023.104438⟩. ⟨hal-04321627⟩

DOI : 10.1016/j.trc.2023.104438

A survey of Flex-Route Transit problem and its link with Vehicle Routing Problem

Références bibliographiques : References : Referencias : Reza Shahin, Pierre Hosteins, Paola Pellegrini, Pierre-Olivier Vandanjon, Luca Quadrifoglio. A survey of Flex-Route Transit problem and its link with Vehicle Routing Problem. Transportation research. Part C, Emerging technologies, 2024, 158, pp.104437. ⟨10.1016/j.trc.2023.104437⟩. ⟨hal-04321599v2⟩

DOI : 10.1016/j.trc.2023.104437

Application of Systems Theoretic Accident Model and Processes in Railway Systems: A Review

Références bibliographiques : References : Referencias : Abhimanyu Tonk, Abderraouf Boussif. Application of Systems Theoretic Accident Model and Processes in Railway Systems: A Review. IEEE Access, 2024, 12, pp.99872-99893. ⟨10.1109/ACCESS.2024.3429568⟩. ⟨hal-04681936⟩

DOI : 10.1109/ACCESS.2024.3429568

A Risk-Based Decision-Making Process for Autonomous Trains Using POMDP: Case of the Anti-Collision Function

Références bibliographiques : References : Referencias : Mohammed Chelouati, Abderraouf Boussif, Julie Beugin, El-Miloudi El-Koursi. A Risk-Based Decision-Making Process for Autonomous Trains Using POMDP: Case of the Anti-Collision Function. IEEE Access, 2024, 12, pp.5630-5647. ⟨10.1109/ACCESS.2023.3347500⟩. ⟨hal-04402491⟩

DOI : 10.1109/ACCESS.2023.3347500

Approches symboliques pour le contrôle des systèmes non linéaires

Références bibliographiques : References : Referencias : Antoine Girard, Pierre-Jean Meyer, Adnane Saoud. Approches symboliques pour le contrôle des systèmes non linéaires. Techniques de l'Ingénieur, 2024, ⟨10.51257/a-v1-s7467⟩. ⟨hal-04696141⟩

DOI : 10.51257/a-v1-s7467

A Dynamic Synchronous Interactive Functional Validation Approach for Electric Vehicles

Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel, Chi Xie, Wei Zheng, Wei Chen. A Dynamic Synchronous Interactive Functional Validation Approach for Electric Vehicles. IEEE Transactions on Intelligent Vehicles, 2024, pp.1-14. ⟨10.1109/TIV.2024.3393559⟩. ⟨hal-04570328⟩

DOI : 10.1109/TIV.2024.3393559

A Real-Time Railway Traffic Management Approach Preserving Passenger Connections

Références bibliographiques : References : Referencias : Bishal Sharma, Bianca Pascariu, Paola Pellegrini, Joaquin Rodriguez, Neeraj Chaudhary. A Real-Time Railway Traffic Management Approach Preserving Passenger Connections. IEEE Access, 2024, 12, pp.79066-79081. ⟨10.1109/ACCESS.2024.3409183⟩. ⟨hal-04657592⟩

DOI : 10.1109/ACCESS.2024.3409183

Engineering for Critical Systems: The Automatic Train Operation over European Train Control System for Freight Trains Use Case

Références bibliographiques : References : Referencias : Simon Collart-Dutilleul, Philippe Bon, Racem Bougacha, Régine Laleau. Engineering for Critical Systems: The Automatic Train Operation over European Train Control System for Freight Trains Use Case. International Journal of Transport - Development and integration, 2023, 7 (4), pp.311-320. ⟨10.18280/ijtdi.070405⟩. ⟨hal-04371400⟩

DOI : 10.18280/ijtdi.070405

FERROMOBILE and Security for Low Moment of Traffic Level Crossing

Références bibliographiques : References : Referencias : Rim Brahim, Simon Collart-Dutilleul, Philippe Bon, Pierre-Antoine Laharotte, Nour-Eddin El Faouzi. FERROMOBILE and Security for Low Moment of Traffic Level Crossing. 18th International Conference on Risks and Security of Internet and Systems, Dec 2023, Rabat, Morocco. ⟨hal-04486171⟩

Construire la transition vers une mobilité plus durable en péri-urbain : l'exemple d'une recherche action à Loos-en-Gohelle

Références bibliographiques : References : Referencias : Marielle Cuvelier, Catherine Gabaude, Geoffrey Mathon. Construire la transition vers une mobilité plus durable en péri-urbain : l'exemple d'une recherche action à Loos-en-Gohelle. Presses universitaires de Grenoble. Droit et gestion des collectivités territoriales, Action publique locale et mobilité., 2023, 978-2-7061-5485-0. ⟨hal-04425507⟩

Enhancing Safety and Security at Level Crossings of "FERROMOBILES

Références bibliographiques : References : Referencias : Rim Brahim, Simon Collart-Dutilleul, Philippe Bon, Pierre-Antoine Laharotte, Nour-Eddin El Faouzi. Enhancing Safety and Security at Level Crossings of "FERROMOBILES". RSSRail 2023 : 5th International Conference on Reliability, Safety and Security of Railway Systems, Oct 2023, Berlin, Germany. ⟨hal-04486216⟩

INNAbstract: An INN-Based Abstraction Method for Large-Scale Neural Network Verification

Références bibliographiques : References : Referencias : Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel. INNAbstract: An INN-Based Abstraction Method for Large-Scale Neural Network Verification. IEEE Transactions on Neural Networks and Learning Systems, 2023, pp.1-15. ⟨10.1109/tnnls.2023.3316551⟩. ⟨hal-04235453⟩

DOI : 10.1109/tnnls.2023.3316551

Integrated Ant Colony Optimization and Mixed Integer Linear Programming for Multi-objective Railway Timetabling

Références bibliographiques : References : Referencias : Nicola Coviello, Giorgio Medeossi, Thomas Nygreen, Paola Pellegrini, Joaquin Rodriguez. Integrated Ant Colony Optimization and Mixed Integer Linear Programming for Multi-objective Railway Timetabling. 26th IEEE International Conference on Intelligent Transportation Systems ITSC 2023, Sep 2023, Bilbao, Spain. ⟨hal-04280466⟩

Deliverable D1.2-Best Practices, Recommendations and Standardisation to Definition of the Railway Minimum Operations Performance Standards

Références bibliographiques : References : Referencias : E. Quaglietta, N. Versluis, Julie Beugin, Mohamed Ghazel, D. Kirkwood. Deliverable D1.2-Best Practices, Recommendations and Standardisation to Definition of the Railway Minimum Operations Performance Standards. Delft University of Technology. 2023. ⟨hal-04487960⟩

Deliverable D2.3-Moving Block Verification and Validation

Références bibliographiques : References : Referencias : R. Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel, S. Marrone, B. Janssen, et al.. Deliverable D2.3-Moving Block Verification and Validation. Université Gustave Eiffel. 2023. ⟨hal-04488053⟩

Rear-End Collision Risk Analysis for Autonomous Driving

Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel, Yusheng Ci, Nour-Eddin El Faouzi, Rui Wang, et al.. Rear-End Collision Risk Analysis for Autonomous Driving. Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 14182, Springer Nature Switzerland, pp.271-282, 2023, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-40953-0_23⟩. ⟨hal-04409188⟩

DOI : 10.1007/978-3-031-40953-0_23

Deliverable D2.2-Moving Block Specification Development

Références bibliographiques : References : Referencias : S. Marrone, F. Flammini, B. Janssen, R. Saddem-Yagoubi, Julie Beugin, et al.. Deliverable D2.2-Moving Block Specification Development. Consorzio interuniversitario nazionale per l’informatica. 2023. ⟨hal-04488013⟩

A full factorial sensitivity analysis for a capacitated Flex-Route Transit system

Références bibliographiques : References : Referencias : Reza Shahin, Pierre Hosteins, Paola Pellegrini, Pierre-Olivier Vandanjon. A full factorial sensitivity analysis for a capacitated Flex-Route Transit system. 2023 8th International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS), Jun 2023, Nice, France. pp.1-6, ⟨10.1109/mt-its56129.2023.10241378⟩. ⟨hal-04416930⟩

DOI : 10.1109/mt-its56129.2023.10241378

A review of abstraction methods towards verifying neural networks

Références bibliographiques : References : Referencias : Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel. A review of abstraction methods towards verifying neural networks. ACM Transactions on Embedded Computing Systems (TECS), 2023, 23 (4), pp.1-19. ⟨10.1145/3617508⟩. ⟨hal-04235472v2⟩

DOI : 10.1145/3617508

Guest Editorial: Innovative control approaches for smart transportation systems

Références bibliographiques : References : Referencias : Silvia Siri, Cecilia Pasquale, Neila Bhouri, Bart de Schutter, Mohamed Ghazel, et al.. Guest Editorial: Innovative control approaches for smart transportation systems. Control Engineering Practice, 137, pp.105564, 2023, ⟨10.1016/j.conengprac.2023.105564⟩. ⟨hal-04276704⟩

DOI : 10.1016/j.conengprac.2023.105564

Operational risk assessment of railway remote driving system

Références bibliographiques : References : Referencias : Abderraouf Boussif, Abhimanyu Tonk, Julie Beugin, Simon Collart Dutilleul. Operational risk assessment of railway remote driving system. Journal of Safety and Reliability, 2023, 42 (2-3), pp.143-164. ⟨10.1080/09617353.2023.2226965⟩. ⟨hal-04415127⟩

DOI : 10.1080/09617353.2023.2226965

Reachability Analysis of Neural Networks with Uncertain Parameters

Références bibliographiques : References : Referencias : Pierre-Jean Meyer. Reachability Analysis of Neural Networks with Uncertain Parameters. IFAC World Congress, Jul 2023, Yokohama, Japan. ⟨10.1016/j.ifacol.2023.10.1249⟩. ⟨hal-04426128⟩

DOI : 10.1016/j.ifacol.2023.10.1249

A formal approach for modeling high-level architectures of complex systems aligned with requirement models

Références bibliographiques : References : Referencias : Racem Bougacha. A formal approach for modeling high-level architectures of complex systems aligned with requirement models. Other [cs.OH]. Centrale Lille Institut, 2023. English. ⟨NNT : 2023CLIL0014⟩. ⟨tel-04412845⟩

Formal alignment of requirements models with high-level architecture models

Références bibliographiques : References : Referencias : Racem Bougacha, Régine Laleau, Simon Collart-Dutilleul. Formal alignment of requirements models with high-level architecture models. 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), Jun 2023, Toulouse, France. pp.216-225, ⟨10.1109/ICECCS59891.2023.00034⟩. ⟨hal-04345342⟩

DOI : 10.1109/ICECCS59891.2023.00034

A Review of Passenger-Oriented Railway Rescheduling Approaches

Références bibliographiques : References : Referencias : Bishal Sharma, Paola Pellegrini, Joaquín Rodriguez, Neeraj Chaudhary. A Review of Passenger-Oriented Railway Rescheduling Approaches. European Transport Research Review, 2023, 15 (14), ⟨10.1186/s12544-023-00587-0⟩. ⟨hal-04096291⟩

DOI : 10.1186/s12544-023-00587-0

The Cost and Benefits of Aerial Cable Cars Investment: A Case Study of Medellin City-Colombia

Références bibliographiques : References : Referencias : Saïd Hayat. The Cost and Benefits of Aerial Cable Cars Investment: A Case Study of Medellin City-Colombia. Revue scientifique internationale Management et Ingéniérie des systèmes, 2023, MIS : Management et Ingégneri des Systèmes, 8 p. ⟨hal-04519756⟩

Designing self-organizing railway traffic management

Références bibliographiques : References : Referencias : Leo D’amato, Federico Naldini, Valentina Tibaldo, Vito Trianni, Paola Pellegrini. Designing self-organizing railway traffic management. RailBelgrade 2023, the 10th International Conference on Railway Operations Modelling and Analysis (ICROMA), International Association of Railway Operations Research and University of Belgrade, Apr 2023, Belgrade, Serbia. ⟨hal-04410747⟩

A conditional time-intervals formulation of the real-time Railway Traffic Management Problem

Références bibliographiques : References : Referencias : Grégory Marlière, Sonia Sobieraj Richard, Paola Pellegrini, Joaquin Rodriguez. A conditional time-intervals formulation of the real-time Railway Traffic Management Problem. Control Engineering Practice, 2023, 133, pp.105430. ⟨10.1016/j.conengprac.2022.105430⟩. ⟨hal-04048199⟩

DOI : 10.1016/j.conengprac.2022.105430

Accident Prediction Modeling Approaches for European Railway Level Crossing Safety

Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel. Accident Prediction Modeling Approaches for European Railway Level Crossing Safety. New Research on Railway Engineering and Transport [Working Title], IntechOpen, 2023, ⟨10.5772/intechopen.109865⟩. ⟨hal-04409234⟩

DOI : 10.5772/intechopen.109865

Real-time train rescheduling for connecting trains

Références bibliographiques : References : Referencias : Bishal Sharma, Paola Pellegrini, Joaquin Rodriguez, Neeraj Chaudhary. Real-time train rescheduling for connecting trains. ROADEF 2023 (24ème édition du congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision), Rennes School of Business; IMT Atlantique; l'Université Rennes 1, Feb 2023, Rennes, France. ⟨hal-04095409⟩

Self-organization for train re-scheduling and re-routing : a proof of concept

Références bibliographiques : References : Referencias : Leo d'Amato, Federico Naldini, Valentina Tibaldo, Vito Trianni, Paola Pellegrini. Self-organization for train re-scheduling and re-routing : a proof of concept. ROADEF 2023 - 24ème édition du congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2023, Rennes, France. ⟨hal-04039144⟩

Graphical safety assurance case using Goal Structuring Notation (GSN) - challenges, opportunities and a framework for autonomous trains

Références bibliographiques : References : Referencias : Mohammed Chelouati, Abderraouf Boussif, Julie Beugin, El-Miloudi El Koursi. Graphical safety assurance case using Goal Structuring Notation (GSN) - challenges, opportunities and a framework for autonomous trains. Reliability Engineering and System Safety, 2023, 230, pp1-9. ⟨10.1016/j.ress.2022.108933⟩. ⟨hal-03896770⟩

DOI : 10.1016/j.ress.2022.108933

K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization

Références bibliographiques : References : Referencias : Amira Chouchane, Mohamed Ghazel, Abderraouf Boussif. K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization. Automatica, 2023, 147, pp1-13. ⟨10.1016/j.automatica.2022.110689⟩. ⟨hal-03842331⟩

DOI : 10.1016/j.automatica.2022.110689

A proven translation from a UML state machine subset to timed automata

Références bibliographiques : References : Referencias : Florent Peres, Mohamed Ghazel. A proven translation from a UML state machine subset to timed automata. ACM Transactions on Embedded Computing Systems (TECS), 2023, ⟨10.1145/3581771⟩. ⟨hal-04072931⟩

DOI : 10.1145/3581771

Implementation of a Model-Oriented Approach for Supporting Safe Integration of GNSS-Based Virtual Balises in ERTMS/ETCS Level 3

Références bibliographiques : References : Referencias : Ouail Himrane, Julie Beugin, Mohamed Ghazel. Implementation of a Model-Oriented Approach for Supporting Safe Integration of GNSS-Based Virtual Balises in ERTMS/ETCS Level 3. IEEE Open Journal of Intelligent Transportation Systems, 2023, ⟨10.1109/OJITS.2023.3267142⟩. ⟨hal-04070711⟩

DOI : 10.1109/OJITS.2023.3267142

Coordinated train rerouting and rescheduling in large infrastructures

Références bibliographiques : References : Referencias : Xiajie Yi, Grégory Marlière, Paola Pellegrini, Joaquin Rodriguez, Raffaele Pesenti. Coordinated train rerouting and rescheduling in large infrastructures. Transport Research Arena Conference (TRA Lisbon 2022), Nov 2022, Lisbonne, Portugal. pp.319-326, ⟨10.1016/j.trpro.2023.11.410⟩. ⟨hal-04662929⟩

DOI : 10.1016/j.trpro.2023.11.410

New onboard train integrity and train length determination: what are the safety requirements?

Références bibliographiques : References : Referencias : Insaf Sassi, El-Miloudi El-Koursi, Salvatore Danilo Iovino, Nicola Ricevuto. New onboard train integrity and train length determination: what are the safety requirements?. Transport Research Arena (TRA) Conference, Europe, 2023, Lisbone, France. pp.1443 - 1450, ⟨10.1016/j.trpro.2023.11.609⟩. ⟨hal-04483825⟩

DOI : 10.1016/j.trpro.2023.11.609

Contribution to safety and operational performance evaluation of GNSS-based railway localization systems using a formal model-based approach

Références bibliographiques : References : Referencias : Ouail Himrane. Contribution to safety and operational performance evaluation of GNSS-based railway localization systems using a formal model-based approach. Automatic. Université de Lille, 2022. English. ⟨NNT : 2022ULILB042⟩. ⟨tel-04130117⟩

Les réseaux de neurones et systèmes de transport et wagons intelligents (STI)

Références bibliographiques : References : Referencias : Hayat Saïd, Yassine Saddiki. Les réseaux de neurones et systèmes de transport et wagons intelligents (STI). revue scientifique internationale management et ingégneri des systèmes, 2022, MIS : Management et Ingégnerie des Systèmes, 20 p. ⟨hal-04511038⟩

Deliverable D1.1-Baseline System Specification and Definition for Moving Block Systems

Références bibliographiques : References : Referencias : M. Samra, Julie Beugin, Mohamed Ghazel, S. Marrone, V. Vittorini, et al.. Deliverable D1.1-Baseline System Specification and Definition for Moving Block Systems. University of Birmingham. 2022. ⟨hal-04487942⟩

An iterative algorithm for the coordinated train rerouting and rescheduling problem

Références bibliographiques : References : Referencias : Yi Xiajie, Grégory Marlière, Paola Pellegrini, Joaquín Rodriguez, Raffaele Pesenti. An iterative algorithm for the coordinated train rerouting and rescheduling problem. 4th SmartRaCon Workshop, Oct 2022, San Sebastian, Spain. ⟨hal-04666568⟩

Quantitative Safety Requirements of the New Onboard Train Integrity Function

Références bibliographiques : References : Referencias : Insaf Sassi, El Miloudi El Koursi, Joffrey Clarhaut, Dominique Renaux, Julie Beugin. Quantitative Safety Requirements of the New Onboard Train Integrity Function. 4th SmartRaCon Workshop, Oct 2022, San Sebastian, Spain. ⟨hal-04666557⟩

Argumentaire de sécurité graphique pour l'assurance de sécurité des trains autonomes

Références bibliographiques : References : Referencias : Mohammed Chelouati, Boussif Abderraouf, Julie Beugin, El Miloudi El Koursi. Argumentaire de sécurité graphique pour l'assurance de sécurité des trains autonomes. Congrès Lambda Mu 23 « Innovations et maîtrise des risques pour un avenir durable » - 23e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2022, Paris Saclay, France. ⟨hal-03968250⟩

Deep Neural Networks Abstraction using An Interval Weights Based Approach

Références bibliographiques : References : Referencias : Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel, Pierre-Jean Meyer. Deep Neural Networks Abstraction using An Interval Weights Based Approach. Confiance.ai Days 2022, Oct 2022, Gif-sur-Yvette, France. ⟨hal-04666949⟩

Deep Neural Networks Abstraction using An Interval Weights Based Approach

Références bibliographiques : References : Referencias : Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel. Deep Neural Networks Abstraction using An Interval Weights Based Approach. Confiance.ai Days, Oct 2022, Saclay (92), France. ⟨hal-04426163⟩

Train management in freight shunting yards: Formalisation and literature review

Références bibliographiques : References : Referencias : Samuel Deleplanque, Pierre Hosteins, Paola Pellegrini, Joaquin Rodriguez. Train management in freight shunting yards: Formalisation and literature review. IET Intelligent Transport Systems, 2022, 16 (10), pp.1286-1305. ⟨10.1049/itr2.12216⟩. ⟨hal-03736251⟩

DOI : 10.1049/itr2.12216

Interval Weight-Based Abstraction for Neural Network Verification

Références bibliographiques : References : Referencias : Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel. Interval Weight-Based Abstraction for Neural Network Verification. International Conference on Computer Safety, Reliability, and Security, Sep 2022, Munich, Germany. pp.330-342, ⟨10.1007/978-3-031-14862-0_24⟩. ⟨hal-04426156⟩

DOI : 10.1007/978-3-031-14862-0_24

Effective train routing selection for real-time traffic management: Improved model and ACO parallel computing

Références bibliographiques : References : Referencias : Bianca Pascariu, Marcella Sama, Paola Pellegrini, Andrea Dariano, Joaquin Rodriguez, et al.. Effective train routing selection for real-time traffic management: Improved model and ACO parallel computing. Computers & Operations reasearch, 2022, 145, 37p. ⟨10.1016/j.cor.2022.105859⟩. ⟨hal-03709926⟩

DOI : 10.1016/j.cor.2022.105859

Operational Design Domain or Operational Envelope; Seeking a Suitable Concept for Autonomous Railway Systems

Références bibliographiques : References : Referencias : Abhimanyu Tonk, Abderraouf Boussif. Operational Design Domain or Operational Envelope; Seeking a Suitable Concept for Autonomous Railway Systems. 32nd European Safety and Reliability Conference, Aug 2022, Dublin, Ireland. pp.2104-2111, ⟨10.3850/978-981-18-5183-4_S06-08-245-cd⟩. ⟨hal-04752626⟩

DOI : 10.3850/978-981-18-5183-4_S06-08-245-cd

Practical deployment of real-time railway traffic management algorithms: impact of process meta-parameters

Références bibliographiques : References : Referencias : Federico Naldini, Paola Pellegrini, Joaquín Rodriguez. Practical deployment of real-time railway traffic management algorithms: impact of process meta-parameters. ODS 2022, International Conference on Optimization and Decision Science, Prof. Fabio Schoen; GOL – Global Optimization Laboratory "Gerardo Poggiali" - UniFI, University of Florence, Italy; Airo - The Italian Association of Operations Research; DINFO (Dept. of Information Engineering, Università degli Studi di Firenze), Aug 2022, Firenze, Italy. pp.91. ⟨hal-04402651⟩

Multiobjective Timetable Development Tool for Railway Strategic Planning in Norway

Références bibliographiques : References : Referencias : Nicola Coviello, Giorgio Medeossi, Andrew Nash, Thomas Nygreen, Paola Pellegrini, et al.. Multiobjective Timetable Development Tool for Railway Strategic Planning in Norway. Transportation Research Record, 2022, 2677 (1), pp.720-729. ⟨10.1177/03611981221101392⟩. ⟨hal-04471710⟩

DOI : 10.1177/03611981221101392

A dynamic decomposition approach for the real-time Railway Traffic Management Problem

Références bibliographiques : References : Referencias : Matteo Petris, Federico Naldini, Paola Pellegrini, Raffaele Pesenti. A dynamic decomposition approach for the real-time Railway Traffic Management Problem. TRISTAN2022 - 11th Triennial Symposium on Transportation Analysis, Jul 2022, Mauritius Island, Mauritius. ⟨hal-04404701⟩

Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications

Références bibliographiques : References : Referencias : Racem Bougacha, Régine Laleau, Simon Collart-Dutilleul, Rahma Ben Ayed. Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications. International Symposium on Theoretical Aspects of Software Engineering, Jul 2022, Cluj-Napoca, Romania. pp.256-273, ⟨10.1007/978-3-031-10363-6_18⟩. ⟨hal-04030541⟩

DOI : 10.1007/978-3-031-10363-6_18

An iterative algorithm for the coordinated train rerouting and rescheduling problem

Références bibliographiques : References : Referencias : Yi Xiajie, Gregory Marlière, Paola Pellegrini, Joaquin Rodriguez, Raffaele Pesenti. An iterative algorithm for the coordinated train rerouting and rescheduling problem. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595243⟩

Optimal scheduling of an on-demand passenger transport service through electric autonomous vehicles

Références bibliographiques : References : Referencias : Adrien Cambier, Paola Pellegrini, Pierre Hosteins, Joaquin Rodriguez, David de Almeida, et al.. Optimal scheduling of an on-demand passenger transport service through electric autonomous vehicles. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595348⟩

Meta-heuristic Algorithms for Real-Time Energy Consumption Optimization in Railway Networks

Références bibliographiques : References : Referencias : Federico Naldini, Paola Pellegrini, Joaquin Rodriguez. Meta-heuristic Algorithms for Real-Time Energy Consumption Optimization in Railway Networks. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03596189⟩

Territoires périurbains : vers une mobilité quotidienne bas carbone. In: Cerema (Eds) Mobilités décarbonées. Un défi global

Références bibliographiques : References : Referencias : Marielle Cuvelier, Guillaume Uster. Territoires périurbains : vers une mobilité quotidienne bas carbone. In: Cerema (Eds) Mobilités décarbonées. Un défi global. Territoires périurbains : vers une mobilité quotidienne bas carbone. In: Cerema (Eds) Mobilités décarbonées. Un défi global, CEREMA, Construction21, lab recherche environnement VINCI ParisTech, pp135-138, 2022, Collection Les dossiers. ⟨hal-03549252⟩

A Safety Assurance Methodology for Autonomous Trains

Références bibliographiques : References : Referencias : Abhimanyu Tonk, Mohammed Chelouati, Abderraouf Boussif, Julie Beugin, El Miloudi El Koursi. A Safety Assurance Methodology for Autonomous Trains. TRA 2022, Transport Research Arena, Nov 2022, Lisbon, Portugal. 8p. ⟨hal-03690433⟩

À Loos-en-Gohelle, une mobilité durable « sur mesure » construite avec les habitants

Références bibliographiques : References : Referencias : Marielle Cuvelier. À Loos-en-Gohelle, une mobilité durable « sur mesure » construite avec les habitants. 2022, pp1-4. ⟨hal-03541483⟩

SoREn, How Dynamic Software Update Tools Can Help Cybersecurity Systems to Improve Monitoring and Actions

Références bibliographiques : References : Referencias : Sébastien Martinez, Christophe Gransart, Olivier Stienne, Virginie Deniau, Philippe Bon. SoREn, How Dynamic Software Update Tools Can Help Cybersecurity Systems to Improve Monitoring and Actions. Journal of Universal Computer Science, 2022, 28 (1), pp27-53. ⟨10.3897/jucs.66857⟩. ⟨hal-03550930⟩

DOI : 10.3897/jucs.66857

Reachability analysis of neural networks using mixed monotonicity

Références bibliographiques : References : Referencias : Pierre-Jean Meyer. Reachability analysis of neural networks using mixed monotonicity. IEEE Control Systems Letters, 2022, 6, pp3068-3073. ⟨10.1109/LCSYS.2022.3182547⟩. ⟨hal-03708688⟩

DOI : 10.1109/LCSYS.2022.3182547

A framework for risk-awareness and dynamic risk assessment for autonomous trains

Références bibliographiques : References : Referencias : Mohammed Chelouati, Abderraouf Boussif, Julie Beugin, El-Miloudi El Koursi. A framework for risk-awareness and dynamic risk assessment for autonomous trains. ESREL 2022, 32nd European Safety and Reliability Conference, Aug 2022, Dublin, France. 8p. ⟨hal-03691799⟩

Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3: The PERFORMINGRAIL Project

Références bibliographiques : References : Referencias : Rim Saddem-Yagoubi, Muhammad Usman Sanwal, Simone Libutti, Massimo Benerecetti, Julie Beugin, et al.. Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3: The PERFORMINGRAIL Project. ESREL 2022, 32nd European Safety and Reliability Conference, Aug 2022, Dublin, France. 8p. ⟨hal-03690961⟩

Verification Framework for Moving Block System Safety: application on the Loss of Train Integrity Use Case

Références bibliographiques : References : Referencias : Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel. Verification Framework for Moving Block System Safety: application on the Loss of Train Integrity Use Case. TRISTAN XI, 11th Triennial Symposium on Transportation Analysis conference, Jun 2022, Balaclava, France. 5p. ⟨hal-03691793⟩

A Formal Modelling Framework for Moving Block Systems in the PERFORMINGRAIL project

Références bibliographiques : References : Referencias : Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel. A Formal Modelling Framework for Moving Block Systems in the PERFORMINGRAIL project. RAILWAYS 2022, 5th International Conference on Railway Technology: Research, Development and Maintenance, Aug 2022, Montpellier, France. pp.5P. ⟨hal-03691765⟩

Statistical Model Checking for On-board Train Integrity Safety and Performance Analysis

Références bibliographiques : References : Referencias : Insaf Sassi, Mohamed Ghazel, El Miloudi El Koursi. Statistical Model Checking for On-board Train Integrity Safety and Performance Analysis. European Conference on Safety and Reliability (ESREL2022), Aug 2022, Dublin, France. 8p. ⟨hal-03784476⟩

Performance Evaluation of a Parallel Ant Colony Optimization for the Real-Time Train Routing Selection Problem in Large Instances

Références bibliographiques : References : Referencias : Bianca Pascariu, Marcella Sama, Paola Pellegrini, Andrea Dariano, Joaquin Rodriguez, et al.. Performance Evaluation of a Parallel Ant Colony Optimization for the Real-Time Train Routing Selection Problem in Large Instances. EVOCOP 2022, 22nd European Conference on Evolutionary Computation in Combinatorial Optimisation, Apr 2022, Séville, Spain. pp46-61, ⟨10.1007/978-3-031-04148-8_4⟩. ⟨hal-03709854⟩

DOI : 10.1007/978-3-031-04148-8_4

Methodology Framework for Modelling ETCS-L3 Moving Block System

Références bibliographiques : References : Referencias : Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel. Methodology Framework for Modelling ETCS-L3 Moving Block System. TRA 2022, Transport Research Arena, Nov 2022, Lisbon, Portugal. 6p. ⟨hal-03690726⟩

Complexity of the Multilvel Critical Node Problem

Références bibliographiques : References : Referencias : Adel Nabli, Margarida Carvalho, Pierre Hosteins. Complexity of the Multilvel Critical Node Problem. Journal of Computer and System Sciences, 2022, 127, pp122-145. ⟨10.1016/j.jcss.2022.02.004⟩. ⟨hal-03894879⟩

DOI : 10.1016/j.jcss.2022.02.004

The Connected Critical Node Problem

Références bibliographiques : References : Referencias : Pierre Hosteins, Rosarion Scatamacchia, Andrea Grosso, Roberto Aringhieri. The Connected Critical Node Problem. Theoretical Computer Science, 2022, 923, pp235-255. ⟨10.1016/j.tcs.2022.05.011⟩. ⟨hal-03894777⟩

DOI : 10.1016/j.tcs.2022.05.011

modèle des perturbations dans un réseau de transport collectif

Références bibliographiques : References : Referencias : Said Hayat. modèle des perturbations dans un réseau de transport collectif. revue scientifique internationale management et Ingegneri des systèmes, 2021, MIS : Management et Ingegneri des Systèmes, 15 p. ⟨hal-04498416⟩

Détection de défaillance dans les feux de signalisation ferroviaires

Références bibliographiques : References : Referencias : Saïd Hayat, Yassine Saddiki. Détection de défaillance dans les feux de signalisation ferroviaires. Revue scietifique internationale Managementet Ingeneries des Systmes, 2021, Revue scietifique internationale Managementet Ingeneries des Systmes. ⟨hal-04488118⟩

Approche de détection de défaillance de LEDS dans les feux de signalisation ferroviaires

Références bibliographiques : References : Referencias : Saïd Hayat, Yassine Saddiki. Approche de détection de défaillance de LEDS dans les feux de signalisation ferroviaires. revue scientifique internationale management et Ingegneri des systèmes, 2021, 12 p. ⟨hal-04498491⟩

Deliverable D3.1-Design document of the Location algorithms

Références bibliographiques : References : Referencias : M. Garcia, V. Suvorkin, E. Quaglietta, M. Samra, Julie Beugin, et al.. Deliverable D3.1-Design document of the Location algorithms. Rokubun. 2021. ⟨hal-04488067⟩

Mobility Allowance Shuttle Transit (MAST): an introduction and future research agenda

Références bibliographiques : References : Referencias : Reza Shahin. Mobility Allowance Shuttle Transit (MAST): an introduction and future research agenda. Doctoral. United States. 2021. ⟨hal-03562619⟩

DOI : 10.13140/RG.2.2.29785.24162

Mixed-Integer Linear Programming (MILP) formulation for a Mobility Allowance Shuttle Transit (MAST)

Références bibliographiques : References : Referencias : Reza Shahin, Pierre Hosteins, Pierre-Olivier Vandanjon, Paola Pellegrini. Mixed-Integer Linear Programming (MILP) formulation for a Mobility Allowance Shuttle Transit (MAST). INFORMS Annual Meeting, Oct 2021, California, United States. ⟨10.13140/RG.2.2.23703.50088⟩. ⟨hal-03544169⟩

DOI : 10.13140/RG.2.2.23703.50088

Safety and Performance analysis of virtually coupled train sets

Références bibliographiques : References : Referencias : Siddhartha Verma, Mohamed Ghazel, Marion Berbineau. Safety and Performance analysis of virtually coupled train sets. 3rd SmartRaCon Workshop, Sep 2021, Virtual conference, Germany. ⟨hal-04666554⟩

Integrate operational data related to the temporality of the driver's actions in the test architecture

Références bibliographiques : References : Referencias : Richard Philippe, Simon Collart-Dutilleul. Integrate operational data related to the temporality of the driver's actions in the test architecture. 3rd SmartRaCon Workshop, Sep 2021, Virtual conference, Germany. ⟨hal-04666547⟩

Deliverable D2.1-Modelling guidelines and Moving Block Use Cases characterization

Références bibliographiques : References : Referencias : C. Seceleanu, F. Flammini, S. Marrone, F. Mogavero, R. Nardone, et al.. Deliverable D2.1-Modelling guidelines and Moving Block Use Cases characterization. Mälardalen University. 2021. ⟨hal-04487984⟩

Towards a modular architecture of formal modelling : system/sub-systems decomposition in event-B

Références bibliographiques : References : Referencias : Kenza Kraibi. Towards a modular architecture of formal modelling : system/sub-systems decomposition in event-B. Automatic Control Engineering. Centrale Lille Institut, 2021. English. ⟨NNT : 2021CLIL0002⟩. ⟨tel-04137241⟩

Optimization of goods transport for multimodal logistic platforms

Références bibliographiques : References : Referencias : Said Ahmed. Optimization of goods transport for multimodal logistic platforms. Automatic Control Engineering. Université de Lille, 2021. English. ⟨NNT : 2021LILUI002⟩. ⟨tel-03346675⟩

An improved approach for train routing selection in large railway stations

Références bibliographiques : References : Referencias : Bianca Pascariu, Marcella Sama, Paola Pellegrini, Andrea D'ariano, Dario Pacciarelli, et al.. An improved approach for train routing selection in large railway stations. RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), Nov 2021, Pékin, China. ⟨hal-03467243⟩

Scheduling of Autonomous Electric Vehicles On-Demand

Références bibliographiques : References : Referencias : Ahmed Kadri, Pierre Hosteins, Paola Pellegrini, Joaquin Rodriguez, David de Almeida, et al.. Scheduling of Autonomous Electric Vehicles On-Demand. RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), Nov 2021, Pékin, China. 10p. ⟨hal-03467200⟩

Train routing selection problem: Ant colony optimization versus integer linear programming

Références bibliographiques : References : Referencias : Bianca Pascariu, Marcella Sama, Paola Pellegrini, Andrea D'ariano, Dario Pacciarelli, et al.. Train routing selection problem: Ant colony optimization versus integer linear programming. CTS 2021, 16th IFAC Symposium on Control in Transportation Systems, Jun 2021, Lille, France. pp167-172, ⟨10.1016/j.ifacol.2021.06.060⟩. ⟨hal-03288731⟩

DOI : 10.1016/j.ifacol.2021.06.060

A new framework for Mobility Allowance Shuttle Transit (MAST)

Références bibliographiques : References : Referencias : Reza Shahin, Pierre Hosteins, Pierre-Olivier Vandanjon, Paola Pellegrini. A new framework for Mobility Allowance Shuttle Transit (MAST). 31st European Conference on Operational Research, Jun 2021, Athens, France. ⟨10.13140/RG.2.2.27058.94407⟩. ⟨hal-03562604⟩

DOI : 10.13140/RG.2.2.27058.94407

Towards a Specified Operational Design Domain for a Safe Remote Driving of Trains

Références bibliographiques : References : Referencias : Abhimanyu Tonk, Abderraouf Boussif, Julie Beugin, Simon Collart-Dutilleul. Towards a Specified Operational Design Domain for a Safe Remote Driving of Trains. ESREL 2021, 31st European Safety And Reliability Conference, Sep 2021, Angers, France. 8p. ⟨hal-03328878⟩

Model-based dependability evaluation of a Wireless Communication System in a Virtually Coupled Train Set

Références bibliographiques : References : Referencias : Siddhartha Verma, Mohamed Ghazel, Marion Berbineau. Model-based dependability evaluation of a Wireless Communication System in a Virtually Coupled Train Set. CTS 2021, 16th IFAC Symposium on Control in Transportation Systems, Jun 2021, Lille, France. pp179-186, ⟨10.1016/j.ifacol.2021.06.045⟩. ⟨hal-03366348⟩

DOI : 10.1016/j.ifacol.2021.06.045

A semi-symbolic diagnoser for fault diagnosis of bounded labeled petri nets

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel, Kais Klai. A semi-symbolic diagnoser for fault diagnosis of bounded labeled petri nets. Asian Journal of Control, 2021, 23 (2), pp648-660. ⟨10.1002/asjc.2259⟩. ⟨hal-02483169⟩

DOI : 10.1002/asjc.2259

A Conditional Time-Intervals formulation of the real-time Railway Traffic Management Problem

Références bibliographiques : References : Referencias : Grégory Marliere, Sonia Sobieraj Richard, Paola Pellegrini, Joaquin Rodriguez. A Conditional Time-Intervals formulation of the real-time Railway Traffic Management Problem. CTS 2021, 16th IFAC Symposium on Control in Transportation Systems, Jun 2021, Lille, France. pp187-194, ⟨10.1016/j.ifacol.2021.06.046⟩. ⟨hal-03465106⟩

DOI : 10.1016/j.ifacol.2021.06.046

Closed-loop incremental stability for efficient symbolic control of non-linear systems

Références bibliographiques : References : Referencias : Pouria Tajvar, Pierre-Jean Meyer, Jana Tumova. Closed-loop incremental stability for efficient symbolic control of non-linear systems. 7th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2021, Jul 2021, Bruxelles, Belgium. pp121-126, ⟨10.1016/j.ifacol.2021.08.485⟩. ⟨hal-03379691⟩

DOI : 10.1016/j.ifacol.2021.08.485

Tuning the Diagnoser-based Approach for Diagnosability Analysis of Finite Automata

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. Tuning the Diagnoser-based Approach for Diagnosability Analysis of Finite Automata. International Journal of Control, Automation and Systems, 2021, 19 (8), pp2842-2858. ⟨10.1007/s12555-020-0100-y⟩. ⟨hal-03300679⟩

DOI : 10.1007/s12555-020-0100-y

Formal modeling of a new On-board Train integrity System ETCS Compliant

Références bibliographiques : References : Referencias : Insaf Sassi, Mohamed Ghazel, El-Miloudi El-Koursi. Formal modeling of a new On-board Train integrity System ETCS Compliant. 31st European Safety and Reliability Conference (ESREL 2021), Sep 2021, Angers, France. 9p. ⟨hal-03366521⟩

IFAC CTS'2021, 16th IFAC Symposium On Control in Transportation Systems CTS, Lille, France, 8-10 juin 2021, Proceedings

Références bibliographiques : References : Referencias : Mohamed Ghazel. IFAC CTS'2021, 16th IFAC Symposium On Control in Transportation Systems CTS, Lille, France, 8-10 juin 2021, Proceedings. IFAC-PapersOnLine, 54 (2), pp1-360, 2021. ⟨hal-03526488⟩

From French National Signaling Systems to ERTMS: Considering the Evolution of Track-Side Systems

Références bibliographiques : References : Referencias : Dalay Israel de Almeida Pereira, Ouail Himrane, Philippe Bon, Julie Beugin. From French National Signaling Systems to ERTMS: Considering the Evolution of Track-Side Systems. International Journal of Signal Processing Systems, 2021, 9 (2), pp11-16. ⟨10.18178/ijsps.9.2.11-16⟩. ⟨hal-03275636⟩

DOI : 10.18178/ijsps.9.2.11-16

Analytical redundancy relationship generation on a progressive horizon for fault diagnosis of a labelled Petri net

Références bibliographiques : References : Referencias : Amira Chouchane. Analytical redundancy relationship generation on a progressive horizon for fault diagnosis of a labelled Petri net. IMA Journal of Mathematical Control and Information, 2021, 38 (3), pp908-928. ⟨10.1093/imamci/dnab015⟩. ⟨hal-03338236⟩

DOI : 10.1093/imamci/dnab015

Imaginer l'humain pour anticiper la Vie Robomobile

Références bibliographiques : References : Referencias : Guillaume Uster, Philippe Vezin. Imaginer l'humain pour anticiper la Vie Robomobile. [Rapport de recherche] IFSTTAR - Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux. 2021, 46p. ⟨hal-03318671⟩

Energy-efficient multi-train operations in railway networks considering traffic perturbations

Références bibliographiques : References : Referencias : Federico Naldini, Paola Pellegrini, Joaquin Rodriguez. Energy-efficient multi-train operations in railway networks considering traffic perturbations. RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), Nov 2021, Pékin, China. 20p. ⟨hal-03467302⟩

A two-stage framework for strategic railway timetabling based on multi-objective ant colony optimization

Références bibliographiques : References : Referencias : Nicola Coviello, Giorgio Medeossi, Thomas Nygreen, Paola Pellegrini, Joaquin Rodriguez. A two-stage framework for strategic railway timetabling based on multi-objective ant colony optimization. RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), Nov 2021, Pékin, China. 11p. ⟨hal-03467151⟩

Solution algorithms for the generalized train unit shunting problem

Références bibliographiques : References : Referencias : Franck Kamenga, Paola Pellegrini, Joaquin Rodriguez, Boubekeur Merabet. Solution algorithms for the generalized train unit shunting problem. EURO Journal on Transportation and Logistics, 2021, 10, pp1-16. ⟨10.1016/j.ejtl.2021.100042⟩. ⟨hal-03287396⟩

DOI : 10.1016/j.ejtl.2021.100042

Real-Time Optimization of Energy Consumption in Railway Networks

Références bibliographiques : References : Referencias : Federico Naldini, Paola Pellegrini, Joaquin Rodriguez. Real-Time Optimization of Energy Consumption in Railway Networks. EWGT 2021, 24th Euro Working Group on Transportation Meeting, Sep 2021, Aveiro, Portugal. 8p. ⟨hal-03467003⟩

Ant Colony Optimization for Energy-Efficient Train Operations

Références bibliographiques : References : Referencias : Federico Naldini, Paola Pellegrini, Joaquin Rodriguez. Ant Colony Optimization for Energy-Efficient Train Operations. GECCO 2021, Genetic and Evolutionary Computation Conference Companion, Jul 2021, Lille, France. pp75-76, ⟨10.1145/3449726.3459436⟩. ⟨hal-03288839⟩

DOI : 10.1145/3449726.3459436

Transition vers une mobilité quotidienne bas carbone en périurbain

Références bibliographiques : References : Referencias : Marielle Cuvelier, Guillaume Uster. Transition vers une mobilité quotidienne bas carbone en périurbain. 2021, 5p. ⟨hal-03185495⟩

Toward Formal Safety and Performance Evaluation of GNSS-based Railway Localisation Function

Références bibliographiques : References : Referencias : Ouail Himrane, Julie Beugin, Mohamed Ghazel. Toward Formal Safety and Performance Evaluation of GNSS-based Railway Localisation Function. CTS 2021, 16th IFAC Symposium on Control in Transportation Systems, Jun 2021, Lille (virtual), France. pp159-166, ⟨10.1016/j.ifacol.2021.06.049⟩. ⟨hal-03366152⟩

DOI : 10.1016/j.ifacol.2021.06.049

Railway freight node capacity evaluation: a timetable-saturation approach and its application to the Novara freight terminal

Références bibliographiques : References : Referencias : Bianca Pascariu, Nicola Coviello, Andrea D’ariano. Railway freight node capacity evaluation: a timetable-saturation approach and its application to the Novara freight terminal. Transportation Research Procedia, 2021, 52, pp.155-162. ⟨10.1016/j.trpro.2021.01.017⟩. ⟨hal-04485626⟩

DOI : 10.1016/j.trpro.2021.01.017

Business Processes Meet Spatial Concerns: the sBPMN Verification Framework

Références bibliographiques : References : Referencias : Rim Saddem-Yagoubi, Pascal Poizat, Sara Houhou. Business Processes Meet Spatial Concerns: the sBPMN Verification Framework. FM 2021 - 24th International Symposium on Formal Methods, Nov 2021, Beijing, China. pp.218-234, ⟨10.1007/978-3-030-90870-6_12⟩. ⟨hal-03289951⟩

DOI : 10.1007/978-3-030-90870-6_12

Combinatorial optimization for integrating rolling stock management and railway trac scheduling in passenger stations

Références bibliographiques : References : Referencias : Franck Kamenga. Combinatorial optimization for integrating rolling stock management and railway trac scheduling in passenger stations. Operations Research [math.OC]. Université de Lille, 2020. English. ⟨NNT : ⟩. ⟨tel-03169424⟩

Analysis and formal specification of relay-based railway interlocking systems

Références bibliographiques : References : Referencias : Dalay Israel de Almeida Pereira. Analysis and formal specification of relay-based railway interlocking systems. Automatic Control Engineering. Centrale Lille Institut, 2020. English. ⟨NNT : 2020CLIL0009⟩. ⟨tel-03215450⟩

Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS

Références bibliographiques : References : Referencias : Ouail Himrane, Julie Beugin, Mohamed Ghazel. Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS. Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès) - 22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France. ⟨hal-03480709⟩

Merging Railway Standard Notations in a Formal DSL-Based Framework

Références bibliographiques : References : Referencias : Asfand Yar, Akram Idani, Simon Collart-Dutilleul. Merging Railway Standard Notations in a Formal DSL-Based Framework. FACS@ECSA, European Conference on Software Architecture, Companion Proceedings, 2020, L'Aquila, Italy. pp.411-419, ⟨10.1007/978-3-030-59155-7_30⟩. ⟨hal-03265296⟩

DOI : 10.1007/978-3-030-59155-7_30

Towards a Method for the Decomposition by Refinement in Event-B

Références bibliographiques : References : Referencias : Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart-Dutilleul, Philippe Bon, et al.. Towards a Method for the Decomposition by Refinement in Event-B. Formal Methods. FM 2019 International Workshops, Oct 2019, Porto, Portugal. pp.358-370, ⟨10.1007/978-3-030-54997-8_23⟩. ⟨hal-04662622⟩

DOI : 10.1007/978-3-030-54997-8_23

Formalisation et résolution du problème de construction de grilles horaires robustes pour les réseaux ferrés denses

Références bibliographiques : References : Referencias : Sélim Cornet. Formalisation et résolution du problème de construction de grilles horaires robustes pour les réseaux ferrés denses. Analyse de données, Statistiques et Probabilités [physics.data-an]. Université de Lille, 2020. Français. ⟨NNT : 2020LILUI081⟩. ⟨tel-03342328⟩

Extended method for safety target apportionment for the certification of satellite-based railway localization system

Références bibliographiques : References : Referencias : Insaf Sassi, Nourdine Aït Tmazirte, Julie Beugin, Mohamed Sallak. Extended method for safety target apportionment for the certification of satellite-based railway localization system. 2nd SmartRaCon Workshop, Jun 2020, San Sebastian, Spain. ⟨hal-04666462⟩

Decomposition-based integer programming for coordinated train rerouting and rescheduling

Références bibliographiques : References : Referencias : Peng Guo, Paola Pellegrini, Joaquin Rodriguez, Raffaele Pesenti. Decomposition-based integer programming for coordinated train rerouting and rescheduling. 2nd SmartRaCon Workshop, Jun 2020, San Sebastian, Spain. ⟨hal-04666467⟩

Formalising the Specifications of Onboard Train Integrity System for Verification Purposes

Références bibliographiques : References : Referencias : Insaf Sassi, Mohamed Ghazel, El Miloudi El Koursi. Formalising the Specifications of Onboard Train Integrity System for Verification Purposes. 2nd SmartRaCon Workshop, Jun 2020, San Sebastian, Spain. ⟨hal-04666459⟩

Onboard Train Integrity Safety Analysis

Références bibliographiques : References : Referencias : Insaf Sassi, El Miloudi El Koursi, Joffrey Clarhaut, Dominique Renaux. Onboard Train Integrity Safety Analysis. 2nd SmartRaCon Workshop, Jun 2020, San Sebastian, Spain. ⟨hal-04666430⟩

Security and safety integrated approach for multimodal-hubs crisis management: a railway and airway proposition

Références bibliographiques : References : Referencias : Simon Collart-Dutilleul, Hela Kadri, Philippe Bon, Georges Mykoniatis, Samir Ben Ahmed. Security and safety integrated approach for multimodal-hubs crisis management: a railway and airway proposition. TRA2020, 8th Transport Research Arena : Rethinking transport – towards clean and inclusive mobility, Apr 2020, Helsinki, Finland. ⟨hal-02952135⟩

Advanced model-based risk reasoning on automatic railway level crossings

Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel, Olivier Cazier, Laurent Bouillaut. Advanced model-based risk reasoning on automatic railway level crossings. Safety science, 2020, 124, pp1-11. ⟨10.1016/j.ssci.2019.104592⟩. ⟨hal-02461175⟩

DOI : 10.1016/j.ssci.2019.104592

Decomposition-based integer programming for coordinated train rerouting and rescheduling

Références bibliographiques : References : Referencias : Peng Guo, Paola Pellegrini, Joaquin Rodriguez, Raffaele Pesenti. Decomposition-based integer programming for coordinated train rerouting and rescheduling. 21th conference ROADEF of the French society of operations research and decision aid, Feb 2020, Montpellier, France. ⟨hal-04666255⟩

Gestion des modes de systèmes à événements discrets : application au passage de frontière sous ERTMS

Références bibliographiques : References : Referencias : Hela Kadri. Gestion des modes de systèmes à événements discrets : application au passage de frontière sous ERTMS. Automatique. Centrale Lille Institut; Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie), 2020. Français. ⟨NNT : 2020CLIL0031⟩. ⟨tel-03576638⟩

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

Références bibliographiques : References : Referencias : Kaba Keita, Paola Pellegrini, Joaquin Rodriguez. A three-step Benders decomposition for the real-time Railway Traffic Management Problem. Journal of Rail Transport Planning and Management, 2020, 16p. ⟨10.1016/j.jrtpm.2019.100170⟩. ⟨hal-02483432⟩

DOI : 10.1016/j.jrtpm.2019.100170

Réinventer la mobilité du quotidien avec et pour les habitants du périurbain. Cas de Loos-en-Gohelle - Bassin minier des Hauts de France

Références bibliographiques : References : Referencias : Marielle Cuvelier, Guillaume Uster. Réinventer la mobilité du quotidien avec et pour les habitants du périurbain. Cas de Loos-en-Gohelle - Bassin minier des Hauts de France. [Rapport de recherche] IFSTTAR - Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux. 2020, 110p. ⟨hal-02478154⟩

Système d'aide à la conduite automobile aux passages à niveau

Références bibliographiques : References : Referencias : Parinaz Bazeghi Kisomi, Francis Bedel, Mohamed Ghazel. Système d'aide à la conduite automobile aux passages à niveau. Revue Générale des Chemins de Fer (RGCF), 2020, 306, pp78-86. ⟨hal-02940747⟩

The Stochastic Critical Node Problem over Trees

Références bibliographiques : References : Referencias : Pierre Hosteins, Rosario Scatamacchia. The Stochastic Critical Node Problem over Trees. Networks, 2020, 30p. ⟨10.1002/net.21948⟩. ⟨hal-02565234v2⟩

DOI : 10.1002/net.21948

Comment estimer la durée d'arrêt des trains en gare en zone dense ? Les données de comptage automatique ouvrent de nouvelles perspectives

Références bibliographiques : References : Referencias : Selim Cornet, Christine Buisson, François Ramond, Joaquin Rodriguez. Comment estimer la durée d'arrêt des trains en gare en zone dense ? Les données de comptage automatique ouvrent de nouvelles perspectives. Revue Générale des Chemins de Fer (RGCF), 2020, 302, pp12-19. ⟨hal-02957987⟩

Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel, João Carlos Basilio. Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches. Discrete Event Dynamic Systems, 2020, 30 (3), 44p. ⟨10.1007/s10626-020-00324-y⟩. ⟨hal-02940679⟩

DOI : 10.1007/s10626-020-00324-y

Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS

Références bibliographiques : References : Referencias : Ouail Himrane, Julie Beugin, Mohamed Ghazel. Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS. Lambda Mu 22, 22e Congrès de maîtrise des risques et de sûreté de fonctionnement. Les risques au coeur des transitions (e-congrès), Nov 2020, Virtuel, France. pp687-696. ⟨hal-02998244⟩

Towards a Model-Based Safety Assessment of Railway Operation Using GNSS Localization

Références bibliographiques : References : Referencias : Ouail Himrane, Julie Beugin, Mohamed Ghazel. Towards a Model-Based Safety Assessment of Railway Operation Using GNSS Localization. ESREL 2020 PSAM 15, 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference, Nov 2020, Venise, Italy. 8p. ⟨hal-02588814⟩

Integrating yard, network and optimisation models towards real-time optimisation of rail freight yard operations

Références bibliographiques : References : Referencias : Riccardo Licciardello, Norbert Adamko, Samuel Deleplanque, Pierre Hosteins, Ronghui Liu, et al.. Integrating yard, network and optimisation models towards real-time optimisation of rail freight yard operations. Ingegneria Ferroviaria, 2020, 6, 21p. ⟨hal-02951523⟩

Démonstration de la sécurité opérationnelle de la téléconduite des trains : contexte, méthodologie et défis

Références bibliographiques : References : Referencias : Abderraouf Boussif, Simon Collart-Dutilleul, François Baranowski, Julie Beugin, Walter Schön. Démonstration de la sécurité opérationnelle de la téléconduite des trains : contexte, méthodologie et défis. Lambda Mu 22 - Congrès de maîtrise des risques et de sûreté de fonctionnement, Oct 2020, Le Havre (e-congrès), France. pp.312-320. ⟨hal-03347585⟩

Réinventer la mobilité avec et pour les habitants du périurbain - Cas de Loos en Gohelle

Références bibliographiques : References : Referencias : Marielle Cuvelier, Guillaume Uster. Réinventer la mobilité avec et pour les habitants du périurbain - Cas de Loos en Gohelle. ATEC ITS France, 47ème Congrès de la mobilité intelligente, Jan 2020, Paris, France. 11p. ⟨hal-02476463⟩

Assessing train timetable efficiency in a Mass Transit context using a data-based simulation method

Références bibliographiques : References : Referencias : Selim Cornet, Christine Buisson, François Ramond, Paul Bouvarel, Joaquin Rodriguez. Assessing train timetable efficiency in a Mass Transit context using a data-based simulation method. IEEE ITSC 2020, 23rd IEEE International Conference on Intelligent Transportation Systems, Sep 2020, Rhodes, France. pp2404-2409. ⟨hal-02957914⟩

A Compact Mixed Integer Linear Formulation for Safe Set Problems

Références bibliographiques : References : Referencias : Pierre Hosteins. A Compact Mixed Integer Linear Formulation for Safe Set Problems. Optimization Letters, 2020, 21p. ⟨10.1007/s11590-020-01540-z⟩. ⟨hal-02476289⟩

DOI : 10.1007/s11590-020-01540-z

Allocating imprecise safety targets in satellite-based localization systems used in railway signaling operations

Références bibliographiques : References : Referencias : Insaf Sassi, Julie Beugin, Mohamed Sallak, Nourdine Ait Tmazirte. Allocating imprecise safety targets in satellite-based localization systems used in railway signaling operations. 30th European Safety and Reliability Conference (ESREL 2020), Nov 2020, Venise, Italy. pp.913-920. ⟨hal-02589178⟩

A Branch-Price-and-Cut Procedure for the Discrete Ordered Median Problem

Références bibliographiques : References : Referencias : Samuel Deleplanque, Martine Labbé, Diego Ponce Lopez, Justo Puerto. A Branch-Price-and-Cut Procedure for the Discrete Ordered Median Problem. INFORMS Journal on Computing, 2020, ⟨10.1287/ijoc.2019.0915⟩. ⟨hal-01954865⟩

DOI : 10.1287/ijoc.2019.0915

Résolution du problème de yard à 1-étape

Références bibliographiques : References : Referencias : Samuel Deleplanque, Paola Pellegrini, Joaquim Rodriguez. Résolution du problème de yard à 1-étape. ROADEF 2019, Dec 2019, Le Havre, France. ⟨hal-02394550⟩

On-Board Train Integrity: Safety Requirements Analysis

Références bibliographiques : References : Referencias : Insaf Sassi, El Miloudi El Koursi. On-Board Train Integrity: Safety Requirements Analysis. Proceedings of the 29th European Safety and Reliability Conference (ESREL), Sep 2019, Hannover, Germany. pp.2961-2968, ⟨10.3850/978-981-11-2724-3_0308-cd⟩. ⟨hal-04662638⟩

DOI : 10.3850/978-981-11-2724-3_0308-cd

Toward application of operational parameters for testings in laboratory to reduce on-site testing: focus on human operators

Références bibliographiques : References : Referencias : Richard Philippe, Simon Collart-Dutilleul. Toward application of operational parameters for testings in laboratory to reduce on-site testing: focus on human operators. 1st SmartRaCon Workshop, Jun 2019, Villeneuve d’Ascq, France. ⟨hal-04666392⟩

Une approche basée sur la séparation des préoccupations pour modéliser et vérifier les règles de signalisation d'un système ferroviaire

Références bibliographiques : References : Referencias : Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon. Une approche basée sur la séparation des préoccupations pour modéliser et vérifier les règles de signalisation d'un système ferroviaire. AFADL 2019 - 18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2019, Toulouse, France. ⟨hal-04663674⟩

Contribution of Artificial Intelligence to Risk Assessment of Railway Accidents

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Contribution of Artificial Intelligence to Risk Assessment of Railway Accidents. Urban Rail Transit, 2019, 5 (2), pp.104-122. ⟨10.1007/s40864-019-0102-3⟩. ⟨hal-02280977⟩

DOI : 10.1007/s40864-019-0102-3

A Model-based Approach for the Modeling and the Verification of Railway Signaling System

Références bibliographiques : References : Referencias : Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart-Dutilleul. A Model-based Approach for the Modeling and the Verification of Railway Signaling System. 14th International Conference on Evaluation of Novel Approaches to Software Engineering, May 2019, Heraklion, Greece. pp.367-376, ⟨10.5220/0007728403670376⟩. ⟨hal-04661915⟩

DOI : 10.5220/0007728403670376

Formal Approach to Dynamic SoS Design

Références bibliographiques : References : Referencias : Hela Kadri, Simon Collart-Dutilleul, Philippe Bon, Samir Ben Ahmed. Formal Approach to Dynamic SoS Design. ENASE 2019, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, May 2019, Heraklion, France. ENASE 2019, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 1p, 2019. ⟨hal-02182024⟩

Methods for quantitative assessment of passenger flow influence on train dwell time in dense traffic areas

Références bibliographiques : References : Referencias : Selim Cornet, Christine Buisson, François Ramond, Paul Bouvarel, Joaquin Rodriguez. Methods for quantitative assessment of passenger flow influence on train dwell time in dense traffic areas. Transportation Research Part C: Emerging Technologies, 2019, 106, pp344-359. ⟨10.1016/j.trc.2019.05.008⟩. ⟨hal-02958118⟩

DOI : 10.1016/j.trc.2019.05.008

Towards Semantic Interpretation of Goal-Oriented Safety Decisions Based on Foundational Ontology

Références bibliographiques : References : Referencias : Sana Debbech, Philippe Bon, Simon Collart-Dutilleul. Towards Semantic Interpretation of Goal-Oriented Safety Decisions Based on Foundational Ontology. Journal of computers, 2019, 14 (4), pp257-267. ⟨10.17706/jcp.14.4.257-267⟩. ⟨hal-02117685⟩

DOI : 10.17706/jcp.14.4.257-267

B-specification of Relay-based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution

Références bibliographiques : References : Referencias : Dalay Israel de Almeida Pereira, David Deharbe, Matthieu Perin, Philippe Bon. B-specification of Relay-based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution. RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Jun 2019, Lille, France. pp242-258, ⟨10.1007/978-3-030-18744-6_16⟩. ⟨hal-02185230⟩

DOI : 10.1007/978-3-030-18744-6_16

Conceptual Modelling of the Dynamic Goal-Oriented Safety Management for Safety Critical Systems

Références bibliographiques : References : Referencias : Sana Debbech, Philippe Bon, Simon Collart-Dutilleul. Conceptual Modelling of the Dynamic Goal-Oriented Safety Management for Safety Critical Systems. ICSOFT 2019, 14th International Conference on Software Technologies, Jul 2019, Prague, France. pp287-297. ⟨hal-02185604⟩

Diagnosability Analysis of Intermittent Faults in Discrete Event Systems Using a Twin-plant Structure

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. Diagnosability Analysis of Intermittent Faults in Discrete Event Systems Using a Twin-plant Structure. International Journal of Control, Automation and Systems, 2019, 18 (3), pp682-695. ⟨10.1007/s12555-018-0682-9⟩. ⟨hal-02298344⟩

DOI : 10.1007/s12555-018-0682-9

Application of fuzzy theory for identifying the required availability of an autonomous localization unit in ETCS (European Train Control System )

Références bibliographiques : References : Referencias : Khanh Nguyen, Julie Beugin, Marion Berbineau, Juliette Marais. Application of fuzzy theory for identifying the required availability of an autonomous localization unit in ETCS (European Train Control System ). Journal of Intelligent Transportation Systems, 2019, 18p. ⟨10.1080/15472450.2018.1525533⟩. ⟨hal-02003258⟩

DOI : 10.1080/15472450.2018.1525533

Efficient train re-routing and rescheduling: Valid inequalities and reformulation of RECIFE-MILP

Références bibliographiques : References : Referencias : Paola Pellegrini, Raffaele Pesenti, Joaquin Rodriguez. Efficient train re-routing and rescheduling: Valid inequalities and reformulation of RECIFE-MILP. Transportation Research Part B: Methodological, 2019, 120, pp33-48. ⟨10.1016/j.trb.2018.12.008⟩. ⟨hal-01983495⟩

DOI : 10.1016/j.trb.2018.12.008

A Framework for the Formal Specification of Relay-Based Systems Based on a b-Method Graph Specification

Références bibliographiques : References : Referencias : Dalay Israel de Almeida Pereira, Matthieu Perin, Philippe Bon, Simon Collart-Dutilleul. A Framework for the Formal Specification of Relay-Based Systems Based on a b-Method Graph Specification. International Journal of Computer and Electrical Engineering (IJCEE), 2019, 11 (1), pp11-19. ⟨10.17706/IJCEE.2019.11.1.11-19⟩. ⟨hal-02091294⟩

DOI : 10.17706/IJCEE.2019.11.1.11-19

A bi-objective model for the single-machine scheduling problem with rejection cost and total tardiness minimization

Références bibliographiques : References : Referencias : Roberto Cordone, Pierre Hosteins. A bi-objective model for the single-machine scheduling problem with rejection cost and total tardiness minimization. Computers and Operations Research, 2019, 102, pp130-140. ⟨10.1016/j.cor.2018.10.006⟩. ⟨hal-01985204⟩

DOI : 10.1016/j.cor.2018.10.006

Analysis and Formal Modeling of Systems Behavior Using UML/Event-B

Références bibliographiques : References : Referencias : Kenza Kraibi, Rahma Ben Ayed, Simon Collart-Dutilleul, Philippe Bon, Dorian Petit. Analysis and Formal Modeling of Systems Behavior Using UML/Event-B. journal of communications, 2019, 14 (10), pp.980-986. ⟨10.12720/jcm.14.10.980-986⟩. ⟨hal-02483113⟩

DOI : 10.12720/jcm.14.10.980-986

Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model

Références bibliographiques : References : Referencias : Dalay Israel de Almeida Pereira, Sana Debbech, Matthieu Perin, Philippe Bon, Simon Collart-Dutilleul. Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model. ER 2019, 38th International Conference on Conceptual Modeling, Nov 2019, Salvador, Brazil. pp.14. ⟨hal-02185284⟩

A model-based system engineering approach to manage railway safety-related decisions

Références bibliographiques : References : Referencias : Sana Debbech, Philippe Bon, Simon Collart-Dutilleul. A model-based system engineering approach to manage railway safety-related decisions. International Journal of Transport Development and Integration, 2019, 3 (1), pp30-43. ⟨10.2495/TDI-V3-N1-30-43⟩. ⟨hal-02149840⟩

DOI : 10.2495/TDI-V3-N1-30-43

Formal Approach to Dynamic SoS Design

Références bibliographiques : References : Referencias : Hela Kadri, Simon Collart-Dutilleul, Philippe Bon, Samir Ben Ahmed. Formal Approach to Dynamic SoS Design. ENASE 2019, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, May 2019, Heraklion, France. pp377-384, ⟨10.5220/0007730903770384⟩. ⟨hal-02181954⟩

DOI : 10.5220/0007730903770384

A new Constraint Based Scheduling model for real-time Railway Traffic Management Problem using conditional Time-Intervals

Références bibliographiques : References : Referencias : Grégory Marliere, Sonia Sobieraj Richard, Paola Pellegrini, Joaquin Rodriguez. A new Constraint Based Scheduling model for real-time Railway Traffic Management Problem using conditional Time-Intervals. Rail Norrköping 2019, 8th International Conference on Railway Operations Modelling and Analysis (ICROMA), Jun 2019, Norrköping, France. 20p. ⟨hal-02179336⟩

Studies on the validity of the fixed-speed approximation for the real time Railway Traffic Management Problem

Références bibliographiques : References : Referencias : Pierre Hosteins, Paola Pellegrini, Joaquin Rodriguez. Studies on the validity of the fixed-speed approximation for the real time Railway Traffic Management Problem. RailNorrköping 2019, 8th International Conference on Railway Operations Modelling and Analysis (ICROMA), Jun 2019, Norrköping, France. pp409-424. ⟨hal-03127263⟩

A separation of concerns approach for the verified modelling of railway signalling rules

Références bibliographiques : References : Referencias : 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, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Jun 2019, Lille, France. pp173-190, ⟨10.1007/978-3-030-18744-6_11⟩. ⟨hal-02043174⟩

DOI : 10.1007/978-3-030-18744-6_11

Towards a tool-based domain specific approach for railway systems modeling and validation

Références bibliographiques : References : Referencias : 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, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Jun 2019, Lille, France. pp23-40, ⟨10.1007/978-3-030-18744-6_2⟩. ⟨hal-02043192⟩

DOI : 10.1007/978-3-030-18744-6_2

Integrity of autonomous train: safety requirements analysis

Références bibliographiques : References : Referencias : Insaf Sassi, El-Miloudi El-Koursi. Integrity of autonomous train: safety requirements analysis. ESREL, 2019, Vienna (AUSTRIA), Austria. ⟨10.3850/981-973-0000-00-0⟩. ⟨hal-04483933⟩

DOI : 10.3850/981-973-0000-00-0

Passenger-oriented modelling and optimization of the railway transportation plan in a mass transit system

Références bibliographiques : References : Referencias : Lucile Brethomé. Passenger-oriented modelling and optimization of the railway transportation plan in a mass transit system. Automatic. Ecole Centrale de Lille, 2018. English. ⟨NNT : 2018ECLI0014⟩. ⟨tel-05056943⟩

COMPARAISON DE l'APPROCHE SECURITE MULTI-DOMAINE

Références bibliographiques : References : Referencias : David Mailland, Martial Schaff, Amélie Thionville, Julie Beugin. COMPARAISON DE l'APPROCHE SECURITE MULTI-DOMAINE. Congrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France. ⟨hal-02071107⟩

Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B

Références bibliographiques : References : Referencias : Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart-Dutilleul, Yves Ledru, Akram Idani. Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. Model and Data Engineering - 8th International Conference, (MEDI), Oct 2018, Marrakesh, Morocco. pp.321-330. ⟨hal-02004414⟩

Toward green road freight transportation trends: truck platoon application

Références bibliographiques : References : Referencias : Said Moh Ahmed, Said Hayat, Yassin El Hillali, Atika Rivenq. Toward green road freight transportation trends: truck platoon application. Proceedings of 2018 International Conference on Global & Emerging Trends, ICGET 2018, May 2018, Abuja, Nigeria. ⟨hal-03579653⟩

Contributions to risk modeling and analysis at railway level crossings

Références bibliographiques : References : Referencias : Ci Liang. Contributions to risk modeling and analysis at railway level crossings. Engineering Sciences [physics]. Université de Lille, 2018. English. ⟨NNT : 2018LILUI017⟩. ⟨tel-04818188⟩

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

Références bibliographiques : References : Referencias : Julie Beugin, Cyril Legrand, Juliette Marais, Marion Berbineau, El Miloudi El Koursi. Safety Appraisal of GNSS-Based Localization Systems Used in Train Spacing Control. IEEE Access, 2018, 6 (99), pp.9898 - 9916. ⟨10.1109/ACCESS.2018.2807127⟩. ⟨hal-01724771⟩

DOI : 10.1109/ACCESS.2018.2807127

A Formal Approach for Multi-occurrence Crisis Management

Références bibliographiques : References : Referencias : Hela Kadri, Simon Collart-Dutilleul, Philippe Bon, Samir Ben Ahmed. A Formal Approach for Multi-occurrence Crisis Management. ICSOFT 2018, 13th International Conference on Software Technologies, Jul 2018, Porto, Portugal. pp607-614, ⟨10.5220/0006865606410648⟩. ⟨hal-03375466⟩

DOI : 10.5220/0006865606410648

Model-Based Monitoring of a Train Passenger Access System

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. Model-Based Monitoring of a Train Passenger Access System. IEEE Access, 2018, 6 (1), pp41619-41632. ⟨10.1109/ACCESS.2018.2860966⟩. ⟨hal-01871377⟩

DOI : 10.1109/ACCESS.2018.2860966

Efficient diagnosability assessment via ILP optimization: a railway benchmark

Références bibliographiques : References : Referencias : Francesco Basile, Gianmaria de Tommasi, Claudio Sterle, Abderraouf Boussif, Mohamed Ghazel. Efficient diagnosability assessment via ILP optimization: a railway benchmark. IEEE ETFA 2018, 23rd International Conference on Emerging Technologies and Factory Automation, Sep 2018, Torino, Italy. 8p. ⟨hal-01877250⟩

Maintenance on the Railway Network: Disruptions and re-scheduling

Références bibliographiques : References : Referencias : Samuel Deleplanque. Maintenance on the Railway Network: Disruptions and re-scheduling. EURO/ALIO 2018, International Conference on Applied Combinatorial Optimization, Jun 2018, Bologne, Italy. 8p. ⟨hal-01820952⟩

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

Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel, Olivier Cazier. Using Bayesian Networks for the Purpose of Risk Analysis at Railway Level Crossings. CTS 2018, 15th IFAC Symposium on Control in Transportation Systems, Jun 2018, Savona, Italy. 8p. ⟨hal-02464793⟩

Cas d'étude de mission ferroviaire télé-opérée

Références bibliographiques : References : Referencias : Sana Debbech, Simon Collart-Dutilleul, Philippe Bon. Cas d'étude de mission ferroviaire télé-opérée. [Rapport de recherche] IFSTTAR - Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux. 2018, 11p. ⟨hal-02020997v2⟩

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

Références bibliographiques : References : Referencias : Simon Collart-Dutilleul, Stephan Maurer, Philippe Bon, Peter Kaul. A passenger flow oriented security and safety approach in international railway stations. TRA 2018, 7th Transport Research Arena, Apr 2018, Vienne, Austria. 10p. ⟨hal-01871939⟩

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

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. A Diagnosis Study on a Train Passenger Access System using Petri Net Models. CTS 2018, 15th IFAC Symposium on Control in Transportation Systems, Jun 2018, Savona, Italy. 6p. ⟨hal-02464751⟩

Livrable 3.2 - GNSS Quantitative Analysis for ERSAT GGC Project - Projet ERSAT GGC - ERTMS on SATELLITE Galileo Game Changer

Références bibliographiques : References : Referencias : Francesco Sperandio, Silvia Sturaro, Salvatore Sabina, Julie Beugin. Livrable 3.2 - GNSS Quantitative Analysis for ERSAT GGC Project - Projet ERSAT GGC - ERTMS on SATELLITE Galileo Game Changer. [Research Report] IFSTTAR - Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux. 2018, 46p. ⟨hal-02096596⟩

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

Références bibliographiques : References : Referencias : Baisi Liu, Mohamed Ghazel, Armand Toguyeni. On-the-Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets. Asian Journal of Control, 2018, 20 (1), 13p. ⟨10.1002/asjc.1508⟩. ⟨hal-01463809⟩

DOI : 10.1002/asjc.1508

Satellite positioning in the transport domain: applications and challenges

Références bibliographiques : References : Referencias : Julie Beugin, Pierre-Yves Gillieron. Satellite positioning in the transport domain: applications and challenges. Data Science and Mobility Conference, Jan 2018, Lausanne, Switzerland. 18p. ⟨hal-01935286⟩

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

Références bibliographiques : References : Referencias : Antoine Ferlin, Siqi Qiu, Philippe Bon, Mohamed Sallak, Simon Collart-Dutilleul, et al.. An Automated Method for the Study of Human Reliability in Railway Supervision Systems. IEEE Transactions on Intelligent Transportation Systems, 2018, 19 (10), pp.3360-3375. ⟨10.1109/TITS.2017.2779565⟩. ⟨hal-01872120⟩

DOI : 10.1109/TITS.2017.2779565

Maintenance on the Railway Network: Disruptions and re-scheduling

Références bibliographiques : References : Referencias : Samuel Deleplanque. Maintenance on the Railway Network: Disruptions and re-scheduling. Electronic Notes in Discrete Mathematics, 2018, 69, pp109-116. ⟨10.1016/j.endm.2018.07.015⟩. ⟨hal-01871120⟩

DOI : 10.1016/j.endm.2018.07.015

Optimiser une gare de triage en temps réel

Références bibliographiques : References : Referencias : Samuel Deleplanque, Paola Pellegrini, Joaquin Rodriguez. 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, Feb 2018, Lorient, France. 2p. ⟨hal-01813414v2⟩

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

Références bibliographiques : References : Referencias : Sana Debbech, Philippe Bon, Simon Collart-Dutilleul. Towards Semantic Interpretation of Goal-Oriented Safety Decision based on Foundational Ontology. ICCSIT 2018, 11th International Conference on Computer Science and Information Technology, Dec 2018, Paris, France. 9p. ⟨hal-01925465⟩

Timetable rearrangement to cope with railway maintenance activities

Références bibliographiques : References : Referencias : Luis Diego Arenas Pimentel, Paola Pellegrini, Said Hanafi, Joaquin Rodriguez. Timetable rearrangement to cope with railway maintenance activities. Computers and Operations Research, 2018, 95, pp123-138. ⟨10.1016/j.cor.2018.02.018⟩. ⟨hal-01764963⟩

DOI : 10.1016/j.cor.2018.02.018

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

Références bibliographiques : References : Referencias : Brendan Ryan, Veli-Pekka Kallberg, Helena Radbo, Grigore M Havarneanu, Anne Silla, et al.. Collecting evidence from distributed sources to evaluate railway suicide and trespass prevention measures. Ergonomics, 2018, 61, pp1433-1453. ⟨10.1080/00140139.2018.1485970⟩. ⟨hal-02066849⟩

DOI : 10.1080/00140139.2018.1485970

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

Références bibliographiques : References : Referencias : Marcella Sama, Andrea d'Ariano, Dario Pacciarelli, Paola Pellegrini, Joaquin Rodriguez. Applications of train routing selection methods for real-time railway traffic management. ITSC 2018, 21st International Conference on Intelligent Transportation Systems, Nov 2018, Maui - Hawaï, United States. pp72-77, ⟨10.1109/ITSC.2018.8569555⟩. ⟨hal-01983766⟩

DOI : 10.1109/ITSC.2018.8569555

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

Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel, Olivier Cazier, El Miloudi El Koursi. Analyzing risky behavior of motorists during the closure cycle of railway level crossings. Safety science, 2018, 110, pp115-126. ⟨10.1016/j.ssci.2017.12.008⟩. ⟨hal-01757298⟩

DOI : 10.1016/j.ssci.2017.12.008

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

Références bibliographiques : References : Referencias : Héla Kadri, Simon Schleiner, Simon Collart-Dutilleul, Philippe Bon, Samir Ben Ahmed, et al.. 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, Apr 2018, Vienne, Austria. 10p. ⟨hal-01872018⟩

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

Références bibliographiques : References : Referencias : Olivier Cazier, Ci Liang, Mohamed Ghazel. Le projet MORIPAN « Modèle de Risque au Passage à Niveau ». Revue Générale des Chemins de Fer (RGCF), 2018, 281, 9p. ⟨hal-01799972⟩

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

Références bibliographiques : References : Referencias : Sana Debbech, Philippe Bon, Simon Collart-Dutilleul. Improving Safety By Integrating Dysfunctional Analysis Into The Design Of Railway Systems. COMPRAIL 2018, 16th International Conference on Railway Engineering Design & Operation, Jul 2018, Lisbonne, Portugal. 12p. ⟨hal-01878185⟩

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

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel, Kais Klai. Fault diagnosis of discrete-event systems based on the symbolic observation graph. International Journal of Critical Computer-Based Systems (IJCCBS), 2018, 8 (2), pp141-168. ⟨10.1504/IJCCBS.2018.10011234⟩. ⟨hal-01928797⟩

DOI : 10.1504/IJCCBS.2018.10011234

Design solutions to improve resilience of metro vehicle to blast events

Références bibliographiques : References : Referencias : El Miloudi El Koursi, Jean-Luc Bruyelle, Richard Seddon, Conor O'Neill. Design solutions to improve resilience of metro vehicle to blast events. Transportation Research Part A: Policy and Practice, 2018, 118, pp280-291. ⟨10.1016/j.tra.2018.09.015⟩. ⟨hal-02066672⟩

DOI : 10.1016/j.tra.2018.09.015

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

Références bibliographiques : References : Referencias : Kiswendsida Abel Ouedraogo, Julie Beugin, El Miloudi El Koursi, Joffrey Clarhaut, Dominique Renaux, et al.. Toward an Application Guide for Safety Integrity Level Allocation in Railway Systems. Risk Analysis, 2018, 22p. ⟨10.1111/risa.12972⟩. ⟨hal-01709711⟩

DOI : 10.1111/risa.12972

EGNOS service evaluation in railway environment for safety-critical operations

Références bibliographiques : References : Referencias : Juliette Marais, Julie Beugin, Jean Poumailloux, Marc Gandara. EGNOS service evaluation in railway environment for safety-critical operations. TRA 2018, 7th Transport Research Arena, Apr 2018, Vienne, Austria. 10p. ⟨hal-01988222⟩

An MDA Approach for the Specification of Relay-Based Diagrams

Références bibliographiques : References : Referencias : Dalay Israel de Almeida Pereira, Ouahmed Malki, Philippe Bon, Matthieu Perin, Simon Collart-Dutilleul. An MDA Approach for the Specification of Relay-Based Diagrams. MEDI 2018, 8th International Conference on Model and Data Engineering, Oct 2018, Marrakech, Morocco. 13p, ⟨10.1007/978-3-030-02852-7_2⟩. ⟨hal-01957941⟩

DOI : 10.1007/978-3-030-02852-7_2

Optimization of a railway freight yard in real time

Références bibliographiques : References : Referencias : Samuel Deleplanque, Paola Pellegrini, Joaquin Rodriguez. Optimization of a railway freight yard in real time. EURO 2018, 29th European Conference On Operational Research, Jul 2018, Valence, Spain. 1p. ⟨hal-02262515⟩

Runtime analysis for self-adaptive mutation rates

Références bibliographiques : References : Referencias : Benjamin Doerr, Carsten Witt, Jing Yang. Runtime analysis for self-adaptive mutation rates. GECCO '18: Genetic and Evolutionary Computation Conference, 2018, Kyoto (Japan), Japan. pp.1475-1482, ⟨10.1145/3205455.3205569⟩. ⟨hal-04484637⟩

DOI : 10.1145/3205455.3205569

Quels axes pour la sûreté dans les transports terrestres collectifs?

Références bibliographiques : References : Referencias : El Miloudi El Koursi, Virginie Deniau, Sébastien Ambellouis, Mohamed Ghazel, Christophe Gransart, et al.. Quels axes pour la sûreté dans les transports terrestres collectifs?. Congrès Lambda Mu 21 « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France. ⟨hal-02074285⟩

Benders decomposition for the real-time Railway Traffic Management Problem

Références bibliographiques : References : Referencias : Kaba Keita. Benders decomposition for the real-time Railway Traffic Management Problem. Automatic Control Engineering. Ecole Centrale de Lille, 2017. English. ⟨NNT : 2017ECLI0023⟩. ⟨tel-01667801v2⟩

The Ring Spur Assignment Problem: New formulation, valid inequalities and a branch-and-cut approach

Références bibliographiques : References : Referencias : Rahimeh Neamatian Monemi, Shahin Gelareh. The Ring Spur Assignment Problem: New formulation, valid inequalities and a branch-and-cut approach. Computers and Operations Research, 2017, 88, pp.91-102. ⟨10.1016/j.cor.2017.06.016⟩. ⟨hal-04538508⟩

DOI : 10.1016/j.cor.2017.06.016

Performance Evaluation Model of Railway Operators Safety Management Systems

Références bibliographiques : References : Referencias : Cyril Legrand, Laurent Cebulski, Joffrey Clarhaut, Mohamed Ghazel, Laurent Cauffriez, et al.. Performance Evaluation Model of Railway Operators Safety Management Systems. IRSC 2017, 27th International Railway Safety Council 2017, Oct 2017, Hong Kong, China. ⟨hal-03412434⟩

Possible refinements of RECIFE-MILP

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Sonia Sobieraj Richard, Joaquin Rodriguez. Possible refinements of RECIFE-MILP. [Research Report] IFSTTAR - Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux. 2017, 12p. ⟨hal-01667599⟩

A new analytical approach to evaluate the critical-event probability due to wireless communication errors in train control systems

Références bibliographiques : References : Referencias : Thi Phuong Khanh Nguyen, Julie Beugin, Marion Berbineau, Mohamed Kassab. 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, 2017, 18 (6), pp.1380-1392. ⟨10.1109/TITS.2016.2604043⟩. ⟨hal-01373465⟩

DOI : 10.1109/TITS.2016.2604043

Sysml formalization of the disruption management process in european railways

Références bibliographiques : References : Referencias : Birgit Jaekel, Paola Pellegrini, Sonia Sobieraj Richard, Joaquin Rodriguez. Sysml formalization of the disruption management process in european railways. Transportation Research Board 96th Annual Meeting - TRB, Jan 2017, Washigton, D.C., United States. Transportation Research Board 96th Annual Meeting - TRB, 2017. ⟨hal-01466638⟩

Bayesian Network Modeling Applied on Railway Level Crossing Safety

Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel, Olivier Cazier, Laurent Bouillaut, El Miloudi El Koursi. 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, Nov 2017, Pistoia, Italy. 15p. ⟨hal-01815714⟩

RECIFE-SAT: a MILP-based algorithm for saturating railway timetables

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Joaquin Rodriguez. RECIFE-SAT: a MILP-based algorithm for saturating railway timetables. [Research Report] IFSTTAR - Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux. 2017, 14p. ⟨hal-01565242⟩

Developing accident prediction model for railway level crossings

Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel, Olivier Cazier, El Miloudi El Koursi. Developing accident prediction model for railway level crossings. Safety science, 2017, 101, pp48-59. ⟨10.1016/j.ssci.2017.08.013⟩. ⟨hal-01631538⟩

DOI : 10.1016/j.ssci.2017.08.013

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

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. A Diagnoser-Based Approach for Intermittent Fault Diagnosis of Discrete-Event Systems. ACC - 2017 American Control Conference, May 2017, Seattle, United States. pp 3860-3867, ⟨10.23919/ACC.2017.7963546⟩. ⟨hal-01647001⟩

DOI : 10.23919/ACC.2017.7963546

STARS. D5.1 State of the art of EGNSS system for the rail application

Références bibliographiques : References : Referencias : Juliette Marais, Julie Beugin, Francesco Rispoli, Peter Gurnik, Andrei-Bogdan Toma. STARS. D5.1 State of the art of EGNSS system for the rail application. [Research Report] IFSTTAR - Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux. 2017, 61p. ⟨hal-01636102⟩

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

Références bibliographiques : References : Referencias : Zakaryae Boudi, Rahma Ben-Ayed, El Miloudi El Koursi, Simon Collart-Dutilleul, Thomas Nolasco, et al.. A CPN/B method transformation framework for railway safety rules formal validation. European Transport Research Review, 2017, 13 (9), 15p. ⟨10.1007/s12544-017-0228-x⟩. ⟨hal-01549539⟩

DOI : 10.1007/s12544-017-0228-x

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

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study. VECOS 2017 - 11th International Conference on Verification and Evaluation of Computer and Communication Systems, Aug 2017, Montreal, Canada. pp 92-107, ⟨10.1007/978-3-319-66176-6_7⟩. ⟨hal-01659407⟩

DOI : 10.1007/978-3-319-66176-6_7

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

Références bibliographiques : References : Referencias : Kaba Keita, Paola Pellegrini, Joaquin Rodriguez. A Benders' decomposition for the real-time Railway Traffic Management Problem. 7th International Conference on Railway Operations Modelling and Analysis (RailLille 2017), Apr 2017, Lille, France. 19p. ⟨hal-01550451⟩

A survey of lubrication techniques of railway switches and crossings

Références bibliographiques : References : Referencias : Baisi Liu, Mohamed Ghazel, Jonathan Paragreen, Rahi Rahbari. A survey of lubrication techniques of railway switches and crossings. Railway Engineering-2017, Jun 2017, Edinburgh, France. 11p. ⟨hal-01685555⟩

Stability of saturated timetables: the influence of buffer times

Références bibliographiques : References : Referencias : Nicolas Coviello, Paola Pellegrini, Sonia Sobieraj, Joaquin Rodriguez. Stability of saturated timetables: the influence of buffer times. 7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, Apr 2017, Lille, France. 17p. ⟨hal-01470267⟩

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

Références bibliographiques : References : Referencias : Marcella Sama, Paola Pellegrini, Andrea d'Ariano, Joaquin Rodriguez, Dario Pacciarelli. 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, Jun 2017, Naples, Italy. 6p, ⟨10.1109/MTITS.2017.8005684⟩. ⟨hal-01558360⟩

DOI : 10.1109/MTITS.2017.8005684

A decomposition approach for the real time Railway Traffic Management Problem

Références bibliographiques : References : Referencias : Kaba Keita, Paola Pellegrini, Joaquin Rodriguez. A decomposition approach for the real time Railway Traffic Management Problem. 18ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2017), Feb 2017, Metz, France. 2p. ⟨hal-01466801v2⟩

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

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. 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, Nov 2017, Marseille, France. 15p. ⟨hal-01647847⟩

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

Références bibliographiques : References : Referencias : Hélène Jacquot-Guimbal, Jean-Bernard Kovarik, Latifa Oukhellou, Alain L'Hostis, Guillaume Uster. 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 Mobilité intelligente [Revue TEC : Transport Environnement Circulation], 2017, 232, 2p. ⟨hal-01463074⟩

Timetable Optimization during Railway Infrastructure Maintenance

Références bibliographiques : References : Referencias : Luis Diego Arenas Pimentel, Paola Pellegrini, Said Hanafi, Joaquin Rodriguez. Timetable Optimization during Railway Infrastructure Maintenance. 7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, Apr 2017, Lille, France. 20p. ⟨hal-01470312⟩

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

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Raffaele Pessenti, Joaquin Rodriguez. Boosting the performance of railway traffic management through the reformulation of RECIFE-MILP. 7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, Apr 2017, Lille, France. 16p. ⟨hal-01470348⟩

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

Références bibliographiques : References : Referencias : Marcella Sama, Paola Pellegrini, Andrea d'Ariano, Joaquin Rodriguez, Dario Pacciarelli. The potential of the routing selection problem in real-time railway traffic management. 7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, Apr 2017, Lille, France. 19p. ⟨hal-01524253⟩

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

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Joaquin Rodriguez. RECIFE-SAT: A MILP-based algorithm for the railway saturation problem. Journal of Rail Transport Planning & Management, 2017, 7, pp19-32. ⟨10.1016/j.jrtpm.2017.08.001⟩. ⟨hal-01631606⟩

DOI : 10.1016/j.jrtpm.2017.08.001

Livrable Phare du COP 12-16 : Conception de nouvelles stratégies de régulation du trafic ferroviaire pour l'aide à la décision

Références bibliographiques : References : Referencias : Grégory Marliere, Paola Pellegrini, Joaquin Rodriguez. Livrable Phare du COP 12-16 : Conception de nouvelles stratégies de régulation du trafic ferroviaire pour l'aide à la décision. [Rapport de recherche] IFSTTAR - Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux. 2017, 19p. ⟨hal-01526216⟩

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

Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel. A risk assessment study on accidents at French level crossings using Bayesian belief networks. International Journal of Injury Control and Safety Promotion, 2017, 15p. ⟨10.1080/17457300.2017.1416480⟩. ⟨hal-01680200⟩

DOI : 10.1080/17457300.2017.1416480

Train timetable rearrangement facing infrastructure maintenance activities

Références bibliographiques : References : Referencias : Luis Diego Arenas Pimentel, Paola Pellegrini, Said Hanafi, Joaquin Rodriguez. 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, Feb 2017, Metz, France. 2p. ⟨hal-01469801v2⟩

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

Références bibliographiques : References : Referencias : Mohamed Ghazel. A Control Scheme for Automatic Level Crossings under the ERTMS/ETCS Level 2/3 Operation. IEEE Transactions on Intelligent Transportation Systems, 2017, 18 (10), 13p. ⟨10.1109/TITS.2017.2657695⟩. ⟨hal-01463858⟩

DOI : 10.1109/TITS.2017.2657695

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

Références bibliographiques : References : Referencias : Juliette Marais, Julie Beugin, Marion Berbineau. A Survey of GNSS-Based Research and Developments for the European Railway Signaling. IEEE Transactions on Intelligent Transportation Systems, 2017, 10 (18), p2602 - 2618. ⟨10.1109/TITS.2017.2658179⟩. ⟨hal-01489152v3⟩

DOI : 10.1109/TITS.2017.2658179

Extended discussion on efficient train re-routing and rescheduling: valid inequalities and reformulation of RECIFE-MILP

Références bibliographiques : References : Referencias : Paola Pellegrini, Raffaele Pesenti, Joaquin Rodriguez. Extended discussion on efficient train re-routing and rescheduling: valid inequalities and reformulation of RECIFE-MILP. [Research Report] IFSTTAR - Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux. 2017, 50p. ⟨hal-02046017⟩

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

Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel, Olivier Cazier, El Miloudi El Koursi. A new insight on the risky behavior of motorists at railway level crossings: An observational field study. Accident Analysis & Prevention, 2017, 108, pp.181-188. ⟨10.1016/j.aap.2017.08.030⟩. ⟨hal-01631543⟩

DOI : 10.1016/j.aap.2017.08.030

L4- Démonstrations de sécurité des systèmes de localisation ferroviaires utilisant les GNSS : contexte et problématiques

Références bibliographiques : References : Referencias : Julie Beugin. L4- Démonstrations de sécurité des systèmes de localisation ferroviaires utilisant les GNSS : contexte et problématiques. [Rapport de recherche] IFSTTAR - Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux. 2017, 32p. ⟨hal-01463898⟩

On the tactical and operational train routing selection problem

Références bibliographiques : References : Referencias : Marcella Sama, Paola Pellegrini, Andrea d'Ariano, Joaquin Rodriguez, Dario Pacciarelli. On the tactical and operational train routing selection problem. Transportation research. Part C, Emerging technologies, 2017, 76, p1-15. ⟨10.1016/j.trc.2016.12.010⟩. ⟨hal-01466791⟩

DOI : 10.1016/j.trc.2016.12.010

An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems

Références bibliographiques : References : Referencias : Abderraouf Boussif, Baisi Liu, Mohamed Ghazel. An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems. DX'17 - 28th International Workshop on Principles of Diagnosis, Sep 2017, Brescia, Italy. p8. ⟨hal-01647904⟩

Contribution of human factors and chronobiology vigilance in public transport safety in France

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Contribution of human factors and chronobiology vigilance in public transport safety in France. Annual Special issue of Magazine on The Rail Industry of India, 2017, 1 (2), pp.01-22. ⟨hal-02424023⟩

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

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel, Kais Klai. DPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser. 11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France. ⟨hal-01653191⟩

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

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. DIAG-IPF: A Software Tool for Fault Diagnosis of Discrete Event Systems. 11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France. ⟨hal-01657433⟩

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

Références bibliographiques : References : Referencias : Cyril Legrand. 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. Automatique. Université de Lille 1, 2016. Français. ⟨NNT : ⟩. ⟨tel-01469779⟩

Contributions on microscopic approaches to solve the train timetabling problem and its integration to the performance of infrastructure maintenance activities

Références bibliographiques : References : Referencias : Diego Arenas. Contributions on microscopic approaches to solve the train timetabling problem and its integration to the performance of infrastructure maintenance activities. Data Structures and Algorithms [cs.DS]. Université de Valenciennes et du Hainaut Cambraisis, 2016. English. ⟨NNT : ⟩. ⟨tel-01525810⟩

Contributions to Model-Based Diagnosis of Discrete-Event Systems

Références bibliographiques : References : Referencias : Abderraouf Boussif. Contributions to Model-Based Diagnosis of Discrete-Event Systems. Symbolic Computation [cs.SC]. Université de Lille1 - Sciences et Technologies, 2016. English. ⟨NNT : ⟩. ⟨tel-01667809⟩

Formal methods to tailored solution for single track low traffic french lines

Références bibliographiques : References : Referencias : Rahma Ben Ayed, Simon Collart-Dutilleul, Etienne Prun. Formal methods to tailored solution for single track low traffic french lines. International Railway Safety Council (IRSC 2016), Oct 2016, Paris, France. ⟨hal-04663837⟩

Knowledge acquisition and machine learning: two complementary approaches to assessment of safety of rail transport

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Knowledge acquisition and machine learning: two complementary approaches to assessment of safety of rail transport. Journal of Engineering Precious Research and Applications, 2016, 1 (3), pp.01-09. ⟨hal-02423971⟩

Automatic Crack Detection on Two-Dimensional Pavement Images: An Algorithm Based on Minimal Path Selection

Références bibliographiques : References : Referencias : Rabih Amhaz, Sylvie Chambon, Jérôme Idier, Vincent Baltazart. Automatic Crack Detection on Two-Dimensional Pavement Images: An Algorithm Based on Minimal Path Selection. IEEE Transactions on Intelligent Transportation Systems, 2016, 17 (10), pp.2718-2729. ⟨10.1109/TITS.2015.2477675⟩. ⟨hal-01206038⟩

DOI : 10.1109/TITS.2015.2477675

Contribution of chronobiology vigilance in public transport safety

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Contribution of chronobiology vigilance in public transport safety. International Journal of Multidisciplinary Research and Development, 2016, 3 (9), pp.214-221. ⟨10.22271/ijmrd⟩. ⟨hal-02424015⟩

DOI : 10.22271/ijmrd

CLASCA: Learning System for Classification and Capitalization of Accident Scenarios of Railway

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. CLASCA: Learning System for Classification and Capitalization of Accident Scenarios of Railway. International Journal of Engineering Research and Applications, 2016, 6 (8), pp.91-98. ⟨hal-02423765⟩

Transportation safety assessment methodology based on artificial intelligence techniques

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Transportation safety assessment methodology based on artificial intelligence techniques. International Journal of Computing Science and Communication, 2016, 1 (1), pp.22-30. ⟨hal-02423988⟩

Subspace Leakage Suppression for Joint Parameter Estimation of Quality Factors and Time Delays in Dispersive Media

Références bibliographiques : References : Referencias : Khaled Chahine, Vincent Baltazart, Yide Wang. Subspace Leakage Suppression for Joint Parameter Estimation of Quality Factors and Time Delays in Dispersive Media. Circuits, Systems, and Signal Processing, 2016, 35 (8), pp.2943-2957. ⟨10.1007/s00034-015-0180-8⟩. ⟨hal-01216047⟩

DOI : 10.1007/s00034-015-0180-8

Methods and Tools to Assist the Acquisition, Modelling, Capitalization and Assessment of the Safety of Transport

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Methods and Tools to Assist the Acquisition, Modelling, Capitalization and Assessment of the Safety of Transport. International Journal of Emerging Technology and Advanced Engineering, 2016, 6 (8), pp.25-35. ⟨hal-02423763⟩

Trace analysis from ERTMS engineering

Références bibliographiques : References : Referencias : Antoine Ferlin, Simon Collart-Dutilleul, Philippe Bon, Virginie Wiels. Trace analysis from ERTMS engineering. COMPRAIL, Jul 2016, Madrid, Spain. ⟨hal-01386725⟩

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

Références bibliographiques : References : Referencias : Radhia Zaghdoud, Khaled Mesghouni, Simon Collart Dutilleul, Kamel Zidi, Khaled Ghedira. A Hybrid Method for Assigning Containers to AGVs in the Dynamic Environment of Container Terminals. CTS 2016, May 2016, Istanbul, Turkey. ⟨hal-01727566⟩

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

Références bibliographiques : References : Referencias : Shahin Gelareh, Rahimeh Neamatian Monemi, Frédéric Semet, Gilles Goncalves. A branch-and-cut algorithm for the truck dock assignment problem with operational time constraints. European Journal of Operational Research, 2016, 249 (3), pp.1144-1152. ⟨10.1016/j.ejor.2015.09.049⟩. ⟨hal-01760505⟩

DOI : 10.1016/j.ejor.2015.09.049

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

Références bibliographiques : References : Referencias : Rahma Yangui. Modélisation UML/B pour la validation des exigences de sécurité des règles d'exploitation ferroviaires. Automatique. Ecole Centrale de Lille, 2016. Français. ⟨NNT : 2016ECLI0003⟩. ⟨tel-01450737⟩

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

Références bibliographiques : References : Referencias : Egidio Quaglietta, Paola Pellegrini, Rob Goverde, Thomas Albrecht, Birgit Jaekel, et al.. 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, 2016, 63, p23-50. ⟨10.1016/j.trc.2015.11.014⟩. ⟨hal-01266986⟩

DOI : 10.1016/j.trc.2015.11.014

RECIFE Class Manager

Références bibliographiques : References : Referencias : Diego Arenas, Paola Pellegrini, Grégory Marliere, Joaquin Rodriguez. RECIFE Class Manager. [Research Report] IFSTTAR - Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux. 2016, 19p. ⟨hal-01353521⟩

Statistical Analysis of Collisions at French Level Crossings

Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel, El Miloudi El Koursi, Olivier Cazier. Statistical Analysis of Collisions at French Level Crossings. The Third International Conference on Railway Technology: Research, Development and Maintenance, Apr 2016, Cagliari, Italy. 15p. ⟨hal-01587715⟩

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

Références bibliographiques : References : Referencias : Mohamed Ghazel, Baisi Liu. A Customizable Railway Benchmark to Deal with Fault Diagnosis Issues in DES. 13th International Workshop on Discrete Event Systems (WODES 2016), May 2016, Xi'An, China. p177-182, ⟨10.1109/WODES.2016.7497845⟩. ⟨hal-01374092⟩

DOI : 10.1109/WODES.2016.7497845

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

Références bibliographiques : References : Referencias : Marcella Sama, Paola Pellegrini, Andrea d'Ariano, Joaquin Rodriguez, Dario Pacciarelli. Ant colony optimization for the real-time train routing selection problem. Transportation Research Part B: Methodological, 2016, 85, p89-108. ⟨10.1016/j.trb.2016.01.005⟩. ⟨hal-01297551⟩

DOI : 10.1016/j.trb.2016.01.005

The New Challenges of Rail Security

Références bibliographiques : References : Referencias : Zakaryae Boudi, El Miloudi El Koursi, Mohamed Ghazel. The New Challenges of Rail Security. Journal of Traffic and Logistics Engineering, 2016, 5p. ⟨hal-01297646⟩

A µ calculus formulation of the diagnosability of discrete event systems

Références bibliographiques : References : Referencias : Florent Peres, Mohamed Ghazel. A µ calculus formulation of the diagnosability of discrete event systems. International Journal of Critical Computer-Based Systems, 2016, 6 (4), 27p. ⟨10.1504/IJCCBS.2016.081806⟩. ⟨hal-01463704⟩

DOI : 10.1504/IJCCBS.2016.081806

Statistical automaton for verifying temporal properies and computing information on traces

Références bibliographiques : References : Referencias : Antoine Ferlin, Virginie Wiels, Philippe Bon. Statistical automaton for verifying temporal properies and computing information on traces. International Journal of Computers, Communications and Control, 2016, 11 (5), pp.645-656. ⟨10.15837/ijccc.2016.5.2148⟩. ⟨hal-01363470⟩

DOI : 10.15837/ijccc.2016.5.2148

Petri net diagnosability analyzer

Références bibliographiques : References : Referencias : Baisi Liu, Mohamed Ghazel. Petri net diagnosability analyzer. 11th International Design and Test Symposium - IDT 2016, Dec 2016, Hammamet, Tunisia. 6p. ⟨hal-01463870⟩

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

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Joaquin Rodriguez. RECIFE-MILP for real-time railway traffic optimization: main results and open issues. WCRR 2016, 11th World Congress of Railway Research, May 2016, Milan, Italy. 7p. ⟨hal-01342985⟩

Timetable Optimization to cope with Railway Infrastructure Maintenance

Références bibliographiques : References : Referencias : Luis Diego Arenas Pimentel, Paola Pellegrini, Joaquin Rodriguez, Said Hanafi. Timetable Optimization to cope with Railway Infrastructure Maintenance. ROADEF 2016, 17ème conférence dela Société française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2016, Compiègne, France. 2p. ⟨hal-01279285⟩

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

Références bibliographiques : References : Referencias : Abderraouf Boussif, Baisi Liu, Mohamed Ghazel. A Twin-Plant Based Approach for Diagnosability Analysis of Intermittent Failure. 13th International Workshop on Discrete Event Systems (WODES 2016), May 2016, Xi'An, China. p237-244, ⟨10.1109/WODES.2016.7497854⟩. ⟨hal-01374116⟩

DOI : 10.1109/WODES.2016.7497854

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

Références bibliographiques : References : Referencias : Julie Beugin, Kiswendsida Abel Ouedraogo, El Miloudi El Koursi, Joffrey Clarhaut, Dominique Renaux, et al.. 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 fonctionneme, Oct 2016, Saint-Malo, France. 8p. ⟨hal-01402466⟩

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

Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel, Olivier Cazier, El Miloudi El Koursi. Risk analysis on level crossings using a causal Bayesian network based approach. WCTR 2016 - World Conference on Transport Research, Jul 2016, Shanghai, China. pp2167-2181, ⟨10.1016/j.trpro.2017.05.418⟩. ⟨hal-02046035⟩

DOI : 10.1016/j.trpro.2017.05.418

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

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. 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, Oct 2016, Tunis, Tunisia. 11p. ⟨hal-01646486⟩

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

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. Intermittent Fault Diagnosis of Industrial Systems in a Model-Checking Framework. ICPHM - 2016 IEEE International Conference on Prognostics and Health Management, Jun 2016, Ottawa, Canada. 6p, ⟨10.1109/ICPHM.2016.7542874⟩. ⟨hal-01646340⟩

DOI : 10.1109/ICPHM.2016.7542874

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

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Joaquin Rodriguez. A detailed analysis of the actual impact of real-time railway traffic management optimization. Journal of Rail Transport Planning & Management, 2016, 19p. ⟨10.1016/j.jrtpm.2016.01.002⟩. ⟨hal-01266964⟩

DOI : 10.1016/j.jrtpm.2016.01.002

Projet SIL, L4. Méthodologie générique d'allocation des SIL aux fonctions de sécurité - Guide d'application

Références bibliographiques : References : Referencias : Kiswendsida Abel Ouedraogo, Julie Beugin, El Miloudi El Koursi, Joffrey Clarhaut, Dominique Renaux, et al.. Projet SIL, L4. Méthodologie générique d'allocation des SIL aux fonctions de sécurité - Guide d'application. [Rapport de recherche] IFSTTAR - Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux. 2016, 52p. ⟨hal-01463888⟩

Model-Based Diagnosis of Multi-Track Level Crossing Plants

Références bibliographiques : References : Referencias : Baisi Liu, Mohamed Ghazel, Armand Toguyeni. Model-Based Diagnosis of Multi-Track Level Crossing Plants. IEEE Transactions on Intelligent Transportation Systems, 2016, 17 (2), p546 - 556. ⟨10.1109/TITS.2015.2478910⟩. ⟨hal-01279254⟩

DOI : 10.1109/TITS.2015.2478910

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

Références bibliographiques : References : Referencias : Cyril Legrand, Julie Beugin, Juliette Marais, Blaise Conrard, El Miloudi El Koursi, et al.. From extended integrity monitoring to the safety evaluation of satellite-based localisation system. Reliability Engineering and System Safety, 2016, 155, pp. 105-114. ⟨10.1016/j.ress.2016.04.011⟩. ⟨hal-01373427⟩

DOI : 10.1016/j.ress.2016.04.011

Railway Accident Prevention and Infrastructure Protection

Références bibliographiques : References : Referencias : El Miloudi El Koursi, Jean Luc Bruyelle. Railway Accident Prevention and Infrastructure Protection. Journal of Civil Engineering and Architecture, 2016, 10, p96-107. ⟨10.17265/1934-7359/2016.01.010⟩. ⟨hal-01275985⟩

DOI : 10.17265/1934-7359/2016.01.010

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

Références bibliographiques : References : Referencias : Aurélien Lejeune, Rémy Chevrier, Pierre Olivier Vandanjon, Joaquin Rodriguez. Towards eco-aware timetabling: evolutionary approach and cascading initialisation strategy for the bi-objective optimisation of train running times. IET Intelligent Transport Systems, 2016, 10 (7), pp. 483-494. ⟨10.1049/iet-its.2014.0309⟩. ⟨hal-01578913⟩

DOI : 10.1049/iet-its.2014.0309

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

Références bibliographiques : References : Referencias : Antoine Ferlin, Rahma Ben-Ayed, Pengfei Sun, Simon Collart-Dutilleul. 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, Apr 2016, Varsovie, Poland. 10p. ⟨hal-01308358⟩

Contribution of Human factors and chronobiology vigilance in public transport safety in France

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Contribution of Human factors and chronobiology vigilance in public transport safety in France. Magazine on The Rail Industry, 2016, 1 (2), pp.49-52. ⟨hal-02423768⟩

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

Références bibliographiques : References : Referencias : Kaba Keita, Paola Pellegrini, Joaquin Rodriguez. Solving the real-time Railway Traffic Management Problem with Benders decomposition. 17ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2016), Feb 2016, Compiègne, France. ⟨hal-01279283v3⟩

Knowledge based system for the evaluation of safety and the prevention of railway accidents

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Knowledge based system for the evaluation of safety and the prevention of railway accidents. International journal of railway research, 2016, 3 (1), pp.37-44. ⟨10.22068/IJRARE.3.1.37⟩. ⟨hal-02423996⟩

DOI : 10.22068/IJRARE.3.1.37

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

Références bibliographiques : References : Referencias : Kiswendsida Abel Ouedraogo, Julie Beugin, El Miloudi El Koursi, Joffrey Clarhaut, Dominique Renaux, et al.. Safety integrity level allocation shared or divergent practices in the railway domain. Congrès de l'International Railway Safety Council (IRSC 2016), Oct 2016, Paris, France. 10p. ⟨hal-01466807⟩

Les risques psychosociaux dans la politique Européenne du développement durable

Références bibliographiques : References : Referencias : Besma Harguem, Habib Hadj Mabrouk. 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, Oct 2016, Clermont-Ferrand, France. pp.20. ⟨hal-02424644⟩

Model based system engineering for safety of railway critical systems

Références bibliographiques : References : Referencias : Pengfei Sun. Model based system engineering for safety of railway critical systems. Automatic. Ecole Centrale de Lille, 2015. English. ⟨NNT : 2015ECLI0018⟩. ⟨tel-01293395⟩

« ACASYA »: a knowledge-based system for aid in the storage, classification, assessment and generation of accident scenarios. Application to the safety of rail transport systems

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk, Hinda Mejri. « ACASYA »: a knowledge-based system for aid in the storage, classification, assessment and generation of accident scenarios. Application to the safety of rail transport systems. ACSIJ: Advances in Computer Science: an International Journal , 2015, 4 (4), pp.7-13. ⟨hal-02389054⟩

Solution methods for scheduling of heterogeneous parallel machines applied to the workover rig problem

Références bibliographiques : References : Referencias : Rahimeh Neamatian Monemi, Kassem Danach, Wissam Khalil, Shahin Gelareh, Francisco Lima, et al.. Solution methods for scheduling of heterogeneous parallel machines applied to the workover rig problem. Expert Systems with Applications, 2015, 42 (9), pp.4493-4505. ⟨10.1016/j.eswa.2015.01.046⟩. ⟨hal-04538551⟩

DOI : 10.1016/j.eswa.2015.01.046

Le management des connaissances : contribution à l’analyse, à l’évaluation et à la prévention des risques psychosociaux au travail

Références bibliographiques : References : Referencias : Besma Harguem, Habib Hadj Mabrouk. Le management des connaissances : contribution à l’analyse, à l’évaluation et à la prévention des risques psychosociaux au travail. Communication et Management : Revue internationale des sciences commerciales, 2015, 12 (1), pp.65-80. ⟨10.3917/comma.121.0065⟩. ⟨hal-02280982⟩

DOI : 10.3917/comma.121.0065

The integration of the human factors in the sociotechnical systems. Application to the railway transportation systems

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk, Hinda Mejri, Besma Harguem, S. Mrad. The integration of the human factors in the sociotechnical systems. Application to the railway transportation systems. First International Conference on Transportation and Logistics (ICTL2015), May 2015, Sousse, Tunisia. pp.1-6. ⟨hal-03021966⟩

Solving the Train Timetabling Problem, a mathematical model and a genetic algorithm solution approach

Références bibliographiques : References : Referencias : Luis Diego Arenas Pimentel, Rémy Chevrier, Said Hanafi, Joaquin Rodriguez. Solving the Train Timetabling Problem, a mathematical model and a genetic algorithm solution approach. 6th International Conference on Railway Operations Modelling and Analysis (RailTokyo2015), Mar 2015, Tokyo, Japan. ⟨hal-01338609⟩

A Hybrid Method for Assigning Containers to AGVs in Containers Terminal

Références bibliographiques : References : Referencias : Radhia Zaghdoud, Khaled Mesghouni, Simon Collart Dutilleul, Kamel Zidi, Khaled Ghedira. A Hybrid Method for Assigning Containers to AGVs in Containers Terminal. Studies in Informatics and Control, 2015. ⟨hal-01727301⟩

Modelling and solving the Train Timetabling Problem using Genetics Algorithms.

Références bibliographiques : References : Referencias : Luis Diego Arenas Pimentel, Rémy Chevrier, Said Hanafi, Joaquin Rodriguez. Modelling and solving the Train Timetabling Problem using Genetics Algorithms.. ROADEF 2015, 16ème conférence de la Société française de Recherche Opérationnelle et d’Aide à la Décision, Feb 2015, Marseille, France. ⟨hal-03388437⟩

A Model Pattern of Railway Interlocking System by Petri Nets

Références bibliographiques : References : Referencias : Pengfei Sun, Simon Collart-Dutilleul, Philippe Bon. A Model Pattern of Railway Interlocking System by Petri Nets. 2015 Models and Technologies for Intelligent Transportation Systems (MT-ITS), Jun 2015, Budapest, Hungary. 8p, ⟨10.1109/MTITS.2015.7223292⟩. ⟨hal-01265927⟩

DOI : 10.1109/MTITS.2015.7223292

HCPN modeling for ERTMS requirements specification

Références bibliographiques : References : Referencias : Zakaryae Boudi, El Miloudi El Koursi, Simon Collart-Dutilleul. HCPN modeling for ERTMS requirements specification. HASE 2015, High Assurance Systems Engineering, Jan 2015, Daytona Beach, United States. 2p. ⟨hal-01263461⟩

On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations

Références bibliographiques : References : Referencias : Ben Li, Baisi Liu, Armand Toguyeni. On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations. 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2015), Sep 2015, Paris, France. p326-331, ⟨10.1016/j.ifacol.2015.09.548⟩. ⟨hal-01374104⟩

DOI : 10.1016/j.ifacol.2015.09.548

Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires

Références bibliographiques : References : Referencias : Rahma Ben-Ayed, Simon Collart-Dutilleul, Philippe Bon, Yves Ledru, Akram Idani. Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (5), p495-521. ⟨10.3166/TSI.34.495-521⟩. ⟨hal-01266922⟩

DOI : 10.3166/TSI.34.495-521

Analysis of the robustness of real-time railway traffic management optimization

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Joaquin Rodriguez. Analysis of the robustness of real-time railway traffic management optimization. RailTokyo2015, 6th International Conference on Railway Operations Modelling and Analysis, Mar 2015, Tokyo, Japan. 16p. ⟨hal-01471400⟩

A pattern-based method for refining and formalizing informal specifications in critical control systems

Références bibliographiques : References : Referencias : Mohamed Ghazel, Jing Yang, El Miloudi El Koursi. A pattern-based method for refining and formalizing informal specifications in critical control systems. Journal of Innovation in Digital Ecosystems, 2015, 2 (1-2), p32-44. ⟨10.1016/j.jides.2015.11.001⟩. ⟨hal-01250680⟩

DOI : 10.1016/j.jides.2015.11.001

Approach for evaluating the safety of a satellite-based train localisation system through the extended integrity concept

Références bibliographiques : References : Referencias : Cyril Legrand, Julie Beugin, El Miloudi El Koursi, Juliette Marais, Marion Berbineau, et al.. Approach for evaluating the safety of a satellite-based train localisation system through the extended integrity concept. ESREL 2015 - European safety and reliability conference, Sep 2015, Zürich, Switzerland. 8p. ⟨hal-01471412⟩

Vérification parallélisée de propriétés temporelles sur des traces d'exécution, par analyse dynamique formelle

Références bibliographiques : References : Referencias : Antoine Ferlin, Philippe Bon, Virginie Wiels, Simon Collart-Dutilleul. Vérification parallélisée de propriétés temporelles sur des traces d'exécution, par analyse dynamique formelle. Approches Formelles dans l'Assistance au Développement Logiciel, Jun 2015, Bordeaux, France. pp.1-15. ⟨hal-01471489⟩

Colored Petri Nets formal transformation to B machines for safety critical software development

Références bibliographiques : References : Referencias : Zakaryae Boudi, El Miloudi El Koursi, Simon Collart-Dutilleul. Colored Petri Nets formal transformation to B machines for safety critical software development. IESM 2015 - International Conference on Industrial Engineering and Systems, Oct 2015, Séville, Spain. 7p, ⟨10.1109/IESM.2015.7380130⟩. ⟨hal-01279287⟩

DOI : 10.1109/IESM.2015.7380130

Real-time railway traffic management optimization and imperfect information: preliminary studies

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Joaquin Rodriguez. Real-time railway traffic management optimization and imperfect information: preliminary studies. International Conference on Industrial Engineering and Systems Management, IESM 2015, Oct 2015, Séville, Spain. 6p. ⟨hal-01266973⟩

An Hcpn Pattern for Railway Safety Critical Scenarios Formal Modeling

Références bibliographiques : References : Referencias : Zakaryae Boudi, El Miloudi El Koursi, Simon Collart-Dutilleul. An Hcpn Pattern for Railway Safety Critical Scenarios Formal Modeling. JRC 2015, Joint Rail Conference, Mar 2015, San Jose, United States. 10p, ⟨10.1115/JRC2015-5687⟩. ⟨hal-01760700⟩

DOI : 10.1115/JRC2015-5687

Analytical approach for evaluating LTE communication errors in train control application

Références bibliographiques : References : Referencias : Khanh Nguyen, Julie Beugin, Marion Berbineau, Mohamed Kassab. Analytical approach for evaluating LTE communication errors in train control application. 1st IEEE ICCW 2015 Workshop on Dependable Vehicular Communications (DVC), Jun 2015, Londres, France. 6p, ⟨10.1109/ICCW.2015.7247535⟩. ⟨hal-01471483⟩

DOI : 10.1109/ICCW.2015.7247535

Model transformation from coloured Petri nets with prioritized transitions to B machines

Références bibliographiques : References : Referencias : Pengfei Sun, Philippe Bon, Simon Collart-Dutilleul. Model transformation from coloured Petri nets with prioritized transitions to B machines. International Conference on Industrial Engineering and Systems Management, IESM 2015, Oct 2015, Séville, Spain. pp19-28. ⟨hal-01266934⟩

Combining Enumerative and Symbolic Techniques for Diagnosis of Discrete-Event Systems

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel, Kais Klai. Combining Enumerative and Symbolic Techniques for Diagnosis of Discrete-Event Systems. VECOS 2015 - 9th Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2015, Bucarest, Romania. 11p. ⟨hal-01471590⟩

SIGIFret, Simulations d'une gestion innovante des circulations fret, rapport final

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Rahimeh Neamatian-Nonemi, Joaquin Rodriguez, Jean-Pierre Orus, et al.. SIGIFret, Simulations d'une gestion innovante des circulations fret, rapport final. [Rapport de recherche] IFSTTAR - Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux. 2015, 255p. ⟨hal-02921983⟩

Parallel verification of temporal properties using dynamic analysis

Références bibliographiques : References : Referencias : Antoine Ferlin, Philippe Bon, Simon Collart-Dutilleul, Virginie Wiels. Parallel verification of temporal properties using dynamic analysis. International Conference on Industrial Engineering and System Management (IESM), Oct 2015, Séville, Spain. 10p. ⟨hal-01213652⟩

Integrated approach using formal models and simulation environment

Références bibliographiques : References : Referencias : Simon Collart-Dutilleul, Antoine Ferlin, Philippe Bon. Integrated approach using formal models and simulation environment. International Conference on Industrial Engineering and Systems Management, IESM 2015, Oct 2015, Séville, Spain. 1p. ⟨hal-01266939⟩

Harmonized methodology for Safety Integrity Level allocation in a generic TCMS application

Références bibliographiques : References : Referencias : Kiswendsida Abel Ouedraogo, Julie Beugin, El Miloudi El Koursi, Joffrey Clarhaut, Dominique Renaux, et al.. Harmonized methodology for Safety Integrity Level allocation in a generic TCMS application. ESREL 2015 - European safety and reliability conference, Sep 2015, Zürich, Switzerland. pp.3579-3587. ⟨hal-01471416⟩

Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking. 5th IFAC Workshop on Dependable Control of Discrete Systems, May 2015, Cancun, Mexico. 8p. ⟨hal-01471419⟩

Optimal Management of Railway Perturbations by Means of an Integrated Support System for Real-Time Traffic Control

Références bibliographiques : References : Referencias : Egidio Quaglietta, Rob Goverde, Thomas Albrecht, Birgit Jaekel, Grégory Marliere, et al.. Optimal Management of Railway Perturbations by Means of an Integrated Support System for Real-Time Traffic Control. 6th International Conference on Railway Operations Modelling and Analysis - RailTokyo2015, ICROR, Mar 2016, Tokyo, Japan. ⟨hal-01263418⟩

GaLoROI. Satellite based localization in railways

Références bibliographiques : References : Referencias : Hansjörg Manz, Eckehard Schnieder, Denis Stein, Max Spindler, Martin Lauer, et al.. GaLoROI. Satellite based localization in railways. IC-ARE'15, International Congress on Advanced Railway Engineering, Mar 2015, Istanbul, Turkey. 8p. ⟨hal-01471398⟩

A Routing Filter for the Real-time Railway Traffic Management Problem Based on Ant Colony Optimization

Références bibliographiques : References : Referencias : Marcella Sama, Paola Pellegrini, Andrea d'Ariano, Joaquin Rodriguez, Dario Pacciarelli. A Routing Filter for the Real-time Railway Traffic Management Problem Based on Ant Colony Optimization. EWGT 2015, EURO Working Group on Transportation, Jul 2015, Delft, France. 10p, ⟨10.1016/j.trpro.2015.09.007⟩. ⟨hal-01214079⟩

DOI : 10.1016/j.trpro.2015.09.007

RECIFE-MILP: An effective MILP-based heuristic for the real-time railway traffic management problem

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Raffaele Pesenti, Joaquin Rodriguez. RECIFE-MILP: An effective MILP-based heuristic for the real-time railway traffic management problem. IEEE Transactions on Intelligent Transportation Systems, 2015, 16 (5), pp. 2609 - 2619. ⟨10.1109/TITS.2015.2414294⟩. ⟨hal-01471388v2⟩

DOI : 10.1109/TITS.2015.2414294

Cyclic Scheduling of Flexible Job-shop with Time Window Constraints and Resource Capacity Constraints

Références bibliographiques : References : Referencias : Hongchang Zhang, Simon Collart-Dutilleul, Khaled Mesghouni. Cyclic Scheduling of Flexible Job-shop with Time Window Constraints and Resource Capacity Constraints. IFAC 2015, 15th IFAC Symposium on Information Control in Manufacturing, INCOM, May 2015, Otawa, Canada. pp816-821, ⟨10.1016/j.ifacol.2015.06.184⟩. ⟨hal-01763055⟩

DOI : 10.1016/j.ifacol.2015.06.184

Industrial needs concerning the safety analysis of a French implementation of ERTMS

Références bibliographiques : References : Referencias : Philippe Bon, Simon Collart-Dutilleul. Industrial needs concerning the safety analysis of a French implementation of ERTMS. International Conference on Industrial Engineering and Systems Management, IESM 2015, Oct 2015, Séville, Spain. 1p. ⟨hal-01266942⟩

A Joint Development of Coloured Petri Nets and the B Method in Critical Systems

Références bibliographiques : References : Referencias : Pengfei Sun, Philippe Bon, Simon Collart-Dutilleul. A Joint Development of Coloured Petri Nets and the B Method in Critical Systems. Journal of Universal Computer Science, 2015, 21 (12), pp.1654-1683. ⟨hal-01266935⟩

Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking. 5th IFAC International Workshop on Dependable Control of Discrete Systems : DCDS 2015, May 2017, Cancun, Mexico. pp.71-78, ⟨10.1016/j.ifacol.2015.06.475⟩. ⟨hal-01472584⟩

DOI : 10.1016/j.ifacol.2015.06.475

Method for evaluating an extended fault tree to analyse the dependability of complex systems: application to a satellite-based railway system

Références bibliographiques : References : Referencias : Thi Phuong Khanh Nguyen, Julie Beugin, Juliette Marrais. Method for evaluating an extended fault tree to analyse the dependability of complex systems: application to a satellite-based railway system. Reliability Engineering and System Safety, 2015, 133, pp.300-313. ⟨10.1016/j.ress.2014.09.019⟩. ⟨hal-01886816⟩

DOI : 10.1016/j.ress.2014.09.019

Méthode originale d’Analyse Préliminaire des Risques

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk, Besma Harguem. Méthode originale d’Analyse Préliminaire des Risques. Gestion des risques naturels, technologiques et sanitaires, Cépaduès, pp.1-20, 2014, ISBN: 9782364931596. ⟨hal-02422894⟩

On the sensitivity of reactive tabu search to its meta-parameters

Références bibliographiques : References : Referencias : Paola Pellegrini, Franco Mascia, Thomas Stutzle, Mauro Birattari. On the sensitivity of reactive tabu search to its meta-parameters. Soft Computing, 2014, 16p. ⟨10.1007/s00500-013-1192-6⟩. ⟨hal-00990429⟩

DOI : 10.1007/s00500-013-1192-6

Projet SIL – Analyse et comparaison des méthodes et pratiques – Application à deux cas d’études – Système d’accès voyageur et le sous-système de freinage

Références bibliographiques : References : Referencias : Kiswendsida Abel Ouedraogo, Julie Beugin, El Miloudi El Koursi, Joffrey Clarhaut, Dominique Renaux. Projet SIL – Analyse et comparaison des méthodes et pratiques – Application à deux cas d’études – Système d’accès voyageur et le sous-système de freinage. 2014. ⟨hal-01068382⟩

Formal Methods Applied to Complex Systems

Références bibliographiques : References : Referencias : Jean‐louis Boulanger, Ammar Aljer, Georges Mariano. Formal Methods Applied to Complex Systems. Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering Series), 1, Wiley, 2014, 1848217099. ⟨10.1002/9781119002727⟩. ⟨hal-04490731⟩

DOI : 10.1002/9781119002727

Toward an efficient approach for diagnosability analysis of DES modeled by labeled Petri nets

Références bibliographiques : References : Referencias : Baisi Liu, Mohamed Ghazel, Armand Toguyéni. Toward an efficient approach for diagnosability analysis of DES modeled by labeled Petri nets. 2014 European Control Conference (ECC), Jun 2014, Strasbourg, France. ⟨10.1109/ECC.2014.6862505⟩. ⟨hal-01740376⟩

DOI : 10.1109/ECC.2014.6862505

Solving the Periodic Timetabling Problem using a Genetic Algorithm

Références bibliographiques : References : Referencias : Luis Diego Arenas Pimentel, Rémy Chevrier, Said Hanafi, Joaquin Rodriguez. Solving the Periodic Timetabling Problem using a Genetic Algorithm. XVIII Congreso Panamericano de Ingeniería de Transito, Transporte y Logistica (PANAM 2014), Jun 2014, Santander, Spain. ⟨hal-01086542⟩

Méthode d’analyse et d’évaluation des risques psychosociaux basée sur le retour d’expérience

Références bibliographiques : References : Referencias : Habib Hadj Mabrouk, Besma Harguem. Méthode d’analyse et d’évaluation des risques psychosociaux basée sur le retour d’expérience. Les Cahiers des RPS, 2014, Risques psychosociaux (23), pp.14-18. ⟨hal-02423324⟩

Maintaining a system subject to uncertain technological evolution

Références bibliographiques : References : Referencias : Khanh Nguyen, Bruno Castanier, Thomas G. Yeung. Maintaining a system subject to uncertain technological evolution. Reliability Engineering and System Safety, 2014, 128 (n128), pp.56-65. ⟨10.1016/j.ress.2014.04.004⟩. ⟨hal-01061374⟩

DOI : 10.1016/j.ress.2014.04.004

An Efficient Approach for Diagnosability and Diagnosis of DES Based on Labeled Petri Nets, Untimed and Timed Contexts

Références bibliographiques : References : Referencias : Baisi Liu. An Efficient Approach for Diagnosability and Diagnosis of DES Based on Labeled Petri Nets, Untimed and Timed Contexts. Automatic. Ecole Centrale de Lille, 2014. English. ⟨NNT : ⟩. ⟨tel-01064597v2⟩

Formal modelling methodology of French railway interlocking system via HCPN

Références bibliographiques : References : Referencias : Pengfei Sun, Simon Collart-Dutilleul, Philippe Bon. Formal modelling methodology of French railway interlocking system via HCPN. TRA - Transport Research Arena, Apr 2014, France. 1p. ⟨hal-00998142⟩

REAL-TIME RAILWAY TRAFFIC MANAGEMENT THROUGH OPTIMISATION TOOLS

Références bibliographiques : References : Referencias : Paola Pellegrini, Joaquin Rodriguez, Grégory Marlière, Shaowei Hu, Sonia Sobieraj Richard. REAL-TIME RAILWAY TRAFFIC MANAGEMENT THROUGH OPTIMISATION TOOLS. ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France. ⟨hal-00946498⟩

Application of a Co-evolutionary Genetic Algorithm to solve the Periodic Railway Timetabling Problem

Références bibliographiques : References : Referencias : Luis Diego Arenas Pimentel, Rémy Chevrier, Said Hanafi, Joaquin Rodriguez. Application of a Co-evolutionary Genetic Algorithm to solve the Periodic Railway Timetabling Problem. ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France. ⟨hal-00946504⟩

Causal Analysis Methodology of Multisensor Systems based on GNSS

Références bibliographiques : References : Referencias : Cyril Legrand, Julie Beugin, Blaise Conrard, Juliette Marais, Marion Berbineau, et al.. Causal Analysis Methodology of Multisensor Systems based on GNSS. Railways 2014, The Second International Conference on Railway Technology: Research, Development and Maintenance, Apr 2014, France. 21p. ⟨hal-00985634⟩

Analyzing railroad congestion in a dense urban network through the use of road traffic network fundamental diagram concept

Références bibliographiques : References : Referencias : Pierre-Antoine Cuniasse, Christine Buisson, Joaquin Rodriguez, Emmanuel Teboul, David de Almeida. Analyzing railroad congestion in a dense urban network through the use of road traffic network fundamental diagram concept. TRB 2014 - Transportation Research Board 93rd Annual Meeting, Jan 2014, WASHINGTON D.C, United States. 15 p. ⟨hal-01411678⟩

Optimal train routing and scheduling in case of traffic perturbations: improving solution time through parameter tuning

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Joaquin Rodriguez. Optimal train routing and scheduling in case of traffic perturbations: improving solution time through parameter tuning. TRA - Transport Research Arena, Apr 2014, France. 9p. ⟨hal-00993599⟩

A formal modeling methodology of the French railway interlocking system via HCPN

Références bibliographiques : References : Referencias : Pengfei Sun, Simon Collart-Dutilleul, Philippe Bon. A formal modeling methodology of the French railway interlocking system via HCPN. 14th International Conference on Railway Engineering Design and Optimization (COMPRAIL 2014), Jun 2014, Rome, Italy. 10p, ⟨10.2495/CR140711⟩. ⟨hal-01265920⟩

DOI : 10.2495/CR140711

Simulation of an innovative management of freight trains

Références bibliographiques : References : Referencias : Grégory Marliere, Paola Pellegrini, Joaquin Rodriguez. Simulation of an innovative management of freight trains. ISTS 2014 - International Symposium of Transport Simulation, Jun 2014, France. 3p. ⟨hal-00993677⟩

Architecture Description Language for Cyber Physical Systems Analysis: A Railway Control System Case Study

Références bibliographiques : References : Referencias : Nesrine Darragi, El Miloudi El Koursi, Simon Collart-Dutilleul. Architecture Description Language for Cyber Physical Systems Analysis: A Railway Control System Case Study. 14th International conference on Railway Engineering Design and Optimization (COMPRAIL), Jun 2014, Italy. 14p. ⟨hal-01064202⟩

Two-Half-Barrier Level Crossings Versus Four-Half-Barrier Level Crossings: A Comparative Risk Analysis Study

Références bibliographiques : References : Referencias : Mohamed Ghazel, El Miloudi El Koursi. Two-Half-Barrier Level Crossings Versus Four-Half-Barrier Level Crossings: A Comparative Risk Analysis Study. IEEE Transactions on Intelligent Transportation Systems, 2014, 11p. ⟨10.1109/TITS.2013.2294874⟩. ⟨hal-00984639⟩

DOI : 10.1109/TITS.2013.2294874

Allocation rules of Safety Integrity Levels in a generic TCMS application

Références bibliographiques : References : Referencias : Abel Ouedraogo, Julie Beugin, El Miloudi El Koursi, Joffrey Clarhaut, Dominique Renaux, et al.. Allocation rules of Safety Integrity Levels in a generic TCMS application. 10th FORMS-FORMAT symposium, Formal Methods for Automation and Safety in Railway and Automotive Systems, Sep 2014, Brunswick, Germany. pp.167-176. ⟨hal-01073402⟩

Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting

Références bibliographiques : References : Referencias : Baisi Liu, Mohamed Ghazel, Armand Toguyeni. Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting. IFAC World congress - 19th World Congress of the International Federation of Automatic Control, Aug 2014, South Africa. 6p. ⟨hal-00999380⟩

Study of the implementation of ERTMS with respect to French national ― "non on board rules" using a collaborative methodology based on formal methods and simulation

Références bibliographiques : References : Referencias : Simon Collart-Dutilleul, Philippe Bon, El Miloudi El Koursi, Etienne Lemaire. Study of the implementation of ERTMS with respect to French national ― "non on board rules" using a collaborative methodology based on formal methods and simulation. TRA - Transport Research Arena, Apr 2014, France. 8p. ⟨hal-00998111⟩

Checking the European Railways Traffic Management System (ERTMS) operating rules using UML and B method

Références bibliographiques : References : Referencias : Rahma Ben Ayed, Philippe Bon, Simon Collart-Dutilleul. Checking the European Railways Traffic Management System (ERTMS) operating rules using UML and B method. 14th International conference on Railway Engineering Design and Optimization, Jun 2014, Italy. p139-149. ⟨hal-01068376⟩

Are traditional forecasting models suitable for hotels in Italian cities?

Références bibliographiques : References : Referencias : Andrea Ellero, Paola Pellegrini. Are traditional forecasting models suitable for hotels in Italian cities?. International Journal of Contemporary Hospitality Management, 2014, 26 (3), p383-400. ⟨10.1108/IJCHM-02-2013-0107⟩. ⟨hal-00990526⟩

DOI : 10.1108/IJCHM-02-2013-0107

B Formal Validation of ERTMS/ETCS Railway Operating Rules

Références bibliographiques : References : Referencias : Rahma Ben Ayed, Simon Collart-Dutilleul, Philippe Bon, Akram Idani, Yves Ledru. B Formal Validation of ERTMS/ETCS Railway Operating Rules. 4th International ABZ Conference, Jun 2014, France. p124-129. ⟨hal-01066368⟩

An analysis of parameter adaptation in reactive tabu search

Références bibliographiques : References : Referencias : Franco Mascia, Paola Pellegrini, Thomas Stutzle, Mauro Birattari. An analysis of parameter adaptation in reactive tabu search. International Transactions in Operational Research, 2014, 21 (1), pp.127-152. ⟨10.1111/itor.12043⟩. ⟨hal-00947956⟩

DOI : 10.1111/itor.12043

An Operative Formulation of the Diagnosability of Discrete Event Systems Using a Single Logical Framework

Références bibliographiques : References : Referencias : Florent Peres, Mohamed Ghazel. An Operative Formulation of the Diagnosability of Discrete Event Systems Using a Single Logical Framework. VECOS 2014 - 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2014, Bejaia, France. 12p. ⟨hal-01647046⟩

An ontology for the ERTMS/ETCS

Références bibliographiques : References : Referencias : Olimpia Hoinaru, Christophe Gransart, Georges Mariano, Etienne Lemaire. An ontology for the ERTMS/ETCS. TRA - Transport Research Arena, Apr 2014, France. 10p. ⟨hal-00985681⟩

RAMS analysis of GNSS based localisation system for the train control application

Références bibliographiques : References : Referencias : Khanh Nguyen, Julie Beugin, Juliette Marais. RAMS analysis of GNSS based localisation system for the train control application. ComManTel, 2nd International Conference on Computing, Management and Telecommunications, Apr 2014, France. 6p. ⟨hal-01054806⟩

Toward an Efficient Approach for Diagnosability Analysis of DES modeled by Labeled Petri Nets

Références bibliographiques : References : Referencias : Baisi Liu, Mohamed Ghazel, Armand Toguyeni. Toward an Efficient Approach for Diagnosability Analysis of DES modeled by Labeled Petri Nets. 13th European Control Conference - ECC'2014, Jun 2014, France. 6p. ⟨hal-00999387⟩

Modelling and verification methodology for control systems

Références bibliographiques : References : Referencias : Nesrine Darragi, El Miloudi El Koursi, Simon Collart-Dutilleul, Philippe Bon. Modelling and verification methodology for control systems. TRA - Transport Research Arena, Apr 2014, France. 9p. ⟨hal-01060471⟩

i-viaTIC: Plate-forme collaborative pour les mobilités innovantes

Références bibliographiques : References : Referencias : Guillaume Uster, Quentin Valcke. i-viaTIC: Plate-forme collaborative pour les mobilités innovantes. ATEC ITS France 2014, Les Rencontres de la Mobilité Intelligente, Jan 2014, Paris, France. 5p. ⟨hal-01876689⟩

Improving the resilience of metro vehicle and passengers for an effective emergency response to terrorist attacks

Références bibliographiques : References : Referencias : Jean Luc Bruyelle, Conor O'Neill, El Miloudi El Koursi, Fabrice Hamelin, Nicolo Sartori, et al.. Improving the resilience of metro vehicle and passengers for an effective emergency response to terrorist attacks. Safety Science, 2014, 62, pp 37-45. ⟨10.1016/j.ssci.2013.07.022⟩. ⟨hal-00853572⟩

DOI : 10.1016/j.ssci.2013.07.022

Improvement of real-time traffic management by using optimization tools

Références bibliographiques : References : Referencias : Joaquin Rodriguez, Paola Pellegrini, Grégory Marliere, Shaowei Hu, Sonia Sobieraj. Improvement of real-time traffic management by using optimization tools. CIT 2014, XI Congreso de Ingenieria del Transporte, Jun 2014, Spain. 16p. ⟨hal-00993723⟩

OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets

Références bibliographiques : References : Referencias : Baisi Liu, Mohamed Ghazel, Armand Toguyeni. OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets. International Workshop Petri Nets for Adaptive Discrete-Event Control Systems, Jun 2014, Tunisia. 16p. ⟨hal-00999406⟩

From Goal Modeling of Real-time Control System to RT-DEVS Safety Properties Analysis

Références bibliographiques : References : Referencias : Nesrine Darragi, El Miloudi El Koursi, Simon Collart-Dutilleul. From Goal Modeling of Real-time Control System to RT-DEVS Safety Properties Analysis. 12th IFAC - IEEE International Workshop on Discrete Event Systems WODES, May 2014, France. 8p. ⟨hal-01062104⟩

Intelligent Framework for Safety Properties Checking of Complex Systems

Références bibliographiques : References : Referencias : Nesrine Darragi, El Miloudi El Koursi, Simon Collart-Dutilleul. Intelligent Framework for Safety Properties Checking of Complex Systems. ISTS 2014 - International Symposium of Transport Simulation, Jun 2014, France. 3p. ⟨hal-01062141⟩

Complex systems renewal: positioning, concepts and architectural issues

Références bibliographiques : References : Referencias : Marc Zolghadri, Florent Couffin, Patrice Leclaire, Simon Collart-Dutilleul. Complex systems renewal: positioning, concepts and architectural issues. IFAC 2014, 19th World Congress of the International Federation of Automatic Control, Aug 2014, Cape Town, South Africa. pp8731-8736, ⟨10.3182/20140824-6-ZA-1003.01771⟩. ⟨hal-01760809⟩

DOI : 10.3182/20140824-6-ZA-1003.01771

Formalizing a subset of ERTMS/ETCS specifications for verification purposes

Références bibliographiques : References : Referencias : Mohamed Ghazel. Formalizing a subset of ERTMS/ETCS specifications for verification purposes. Transportation research. Part C, Emerging technologies, 2014, 42, p60-75. ⟨10.1016/j.trc.2014.02.002⟩. ⟨hal-00985704⟩

DOI : 10.1016/j.trc.2014.02.002

Modélisation et validation formelle des règles d'exploitation ferroviaires

Références bibliographiques : References : Referencias : Rahma Ben Ayed, Simon Collart-Dutilleul, Philippe Bon, Yves Ledru, Akram Idani. Modélisation et validation formelle des règles d'exploitation ferroviaires. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, France. 15p. ⟨hal-01066380⟩

Real-time railway traffic management through optimisation tools

Références bibliographiques : References : Referencias : Paola Pellegrini, Joaquin Rodriguez, Grégory Marliere, Shaowei Hu, Sonia Sobieraj. Real-time railway traffic management through optimisation tools. 15th conference ROADEF of the French society of operations research et decision aid, Feb 2014, France. 14p. ⟨hal-00990379⟩

Requirements Modeling Methodology Based On Knowledge Engineering: A Case Study of Railway Control System

Références bibliographiques : References : Referencias : Nesrine Darragi, Simon Collart-Dutilleul, El Miloudi El Koursi. Requirements Modeling Methodology Based On Knowledge Engineering: A Case Study of Railway Control System. Journal of Information and Knowledge, 2014, 4 (1), 16p. ⟨hal-00997699⟩

Optimization for the real-time railway traffic management: case studies in European networks

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Sonia Sobieraj, Joaquin Rodriguez. Optimization for the real-time railway traffic management: case studies in European networks. IFORS 2014 - 20th Conference of the International Federation of Operational Research Societies, Jul 2014, Spain. 13p. ⟨hal-01061387⟩

Safety critical software construction using CPN modeling and B method's proof

Références bibliographiques : References : Referencias : Zakaryae Boudi, El Miloudi El Koursi, Simon Collart-Dutilleul. Safety critical software construction using CPN modeling and B method's proof. SESA 2014, Software Engineering and Systems Architecture, Dec 2014, Tétouan, Morocco. 4p. ⟨hal-01263465⟩

High level Petri net modeling For railway safety critical scenarios

Références bibliographiques : References : Referencias : Zakaryae Boudi, El Miloudi El Koursi, Simon Collart-Dutilleul, Moha Khaddour. High level Petri net modeling For railway safety critical scenarios. 10th FORMS-FORMAT symposium, Formal Methods for Automation and Safety in Railway and Automotive Systems, Sep 2014, Braunschweig, Germany. p65-75. ⟨hal-01263459⟩

Virtual lab based on co-simulation to include impairments of wireless telecommunication such as GSM-R in the evaluation of ERTMS

Références bibliographiques : References : Referencias : Patrick Sondi, Marion Berbineau, Mohamed Kassab, Martine Wahl, Christophe Gransart, et al.. Virtual lab based on co-simulation to include impairments of wireless telecommunication such as GSM-R in the evaluation of ERTMS. TRA - Transport Research Arena, Apr 2014, Paris, France. ⟨hal-00985733⟩

Modelling Communication Based Train control system for dependability analysis of the LTE Communication network in train control application

Références bibliographiques : References : Referencias : Khanh Nguyen, Julie Beugin, Marion Berbineau, Mohamed Kassab. Modelling Communication Based Train control system for dependability analysis of the LTE Communication network in train control application. EMS2014, European Modelling Symposium, Oct 2014, Pise, Italy. 6p. ⟨hal-01073377⟩

Resilience of metro vehicle to blast events

Références bibliographiques : References : Referencias : Grégory Marliere, El Miloudi El Koursi, Jean Luc Bruyelle. Resilience of metro vehicle to blast events. ISTS 2014 - International Symposium of Transport Simulation, Jun 2014, France. 1p. ⟨hal-00995399⟩

Optimal train routing and scheduling for managing traffic perturbations in complex junctions

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Joaquin Rodriguez. Optimal train routing and scheduling for managing traffic perturbations in complex junctions. Transportation Research Part B: Methodological, 2014, p58-80. ⟨10.1016/j.trb.2013.10.013⟩. ⟨hal-00930241⟩

DOI : 10.1016/j.trb.2013.10.013

Towards an ontology of help to the modeling of accident scenarii: Application on railroad transport

Références bibliographiques : References : Referencias : Ahmed Maalel, Lassaad Mejri, Habib Hadj Mabrouk, Henda Hajjami Ben Ghézala. Towards an ontology of help to the modeling of accident scenarii: Application on railroad transport. International Conference on Information Systems for Crisis Response and Management in Mediterranean Countries, Oct 2014, Toulouse, France. pp.46-56, ⟨10.1007/978-3-319-11818-5_5⟩. ⟨hal-02423320⟩

DOI : 10.1007/978-3-319-11818-5_5

Traveler Information in ITS: A Model-Driven Engineering Approach to its Personalization

Références bibliographiques : References : Referencias : Arnaud Brossard, Christophe Kolski, Mourad Abed, Guillaume Uster. Traveler Information in ITS: A Model-Driven Engineering Approach to its Personalization. ICALT, International Conference on Advanced Logistics and Transport, Institute of Electrical and Electronics Engineers (IEEE), May 2014, Hammameth, Tunisia. ⟨10.1109/ICAdLT.2014.6864092⟩. ⟨hal-03383765⟩

DOI : 10.1109/ICAdLT.2014.6864092

Towards a Decision Support System for Security Analysis. Application to Railroad Accidents

Références bibliographiques : References : Referencias : Ahmed Maalel, Lassaad Mejri, Habib Hadj-Mabrouk, Henda Hajjami Ben Ghézala. Towards a Decision Support System for Security Analysis. Application to Railroad Accidents. Hanachi C., Bénaben F., Charoy F. (eds). Information Systems for Crisis Response and Management in Mediterranean Countries., 196, Springer, pp.46-56, 2014, ISCRAM: Lecture Notes in Business Information Processing, ISBN: 978-3-319-11818-5. ⟨10.1007/978-3-319-11818-5_5⟩. ⟨hal-02422991⟩

DOI : 10.1007/978-3-319-11818-5_5

Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting

Références bibliographiques : References : Referencias : Baisi Liu, Mohamed Ghazel, Armand Toguyéni. Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting. IFAC Proceedings Volumes, 2014, 47 (3), pp.1784 - 1789. ⟨10.3182/20140824-6-ZA-1003.02336⟩. ⟨hal-01740388⟩

DOI : 10.3182/20140824-6-ZA-1003.02336

Piezoresistive transduction in organic cantilever resonators

Références bibliographiques : References : Referencias : Damien Thuau, Cédric Ayela, Etienne Lemaire, Stephen Heinrich, Philippe Poulin, et al.. Piezoresistive transduction in organic cantilever resonators. 11th Nanomechanical Sensing Workshop NMC 2014, 2014, Madrid, Spain. 2 p. ⟨hal-00951754⟩

Consideration of the Travel Time Experience in The Conceptual Models Of Personalized Interactive Applications

Références bibliographiques : References : Referencias : Arnaud Brossard, Mourad Abed, Christophe Kolski, Guillaume Uster. Consideration of the Travel Time Experience in The Conceptual Models Of Personalized Interactive Applications. Christophe Kolski. Human-Computer Interactions in Transport, John Wiley & Sons, Inc, pp.283-310, 2013, 978-1-84821-279-4. ⟨10.1002/9781118601907.ch9⟩. ⟨hal-03405626⟩

DOI : 10.1002/9781118601907.ch9

Algorithme hybride multi-objectif pour l'optimisation énergétique de profils de vitesse de trains

Références bibliographiques : References : Referencias : Aurelien Lejeune, Rémy Chevrier, Joaquin Rodriguez. Algorithme hybride multi-objectif pour l'optimisation énergétique de profils de vitesse de trains. Roadef 2013, Société française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2013, France. 2p. ⟨hal-00927699⟩

A mixed-integer linear program for the real-time railway traffic management problem:quantification of the impact of a priori platform assignment

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Joaquin Rodriguez. A mixed-integer linear program for the real-time railway traffic management problem:quantification of the impact of a priori platform assignment. ROADEF 2013, Feb 2013, France. 2p. ⟨hal-00912500⟩

Dependency Graph for Requirements Structuring based on Guidance Ontology

Références bibliographiques : References : Referencias : Nesrine Darragi, Simon Collart-Dutilleul, El Miloudi El Koursi, Philippe Bon. Dependency Graph for Requirements Structuring based on Guidance Ontology. 4th International academic-industrial conference on Complex Systems Design & Management (CSD&M), Dec 2013, France. 12p. ⟨hal-01005003⟩

Dependability evaluation of a GNSS and ECS based localisation unit for railway vehicles

Références bibliographiques : References : Referencias : Khanh Nguyen, Julie Beugin, Juliette Marais. Dependability evaluation of a GNSS and ECS based localisation unit for railway vehicles. ITST 2013, 13th International Conference on ITS telecommunications, Nov 2013, Finland. 6p. ⟨hal-00930588⟩

Energy saving in railway timetabling: A bi-objective evolutionary approach for computing alternative running times

Références bibliographiques : References : Referencias : Remy Chevrier, Paola Pellegrini, Joaquin Rodriguez. Energy saving in railway timetabling: A bi-objective evolutionary approach for computing alternative running times. Transportation research. Part C, Emerging technologies, 2013, 37, pp.20-41. ⟨10.1016/j.trc.2013.09.007⟩. ⟨hal-00947935⟩

DOI : 10.1016/j.trc.2013.09.007

Improved Resilience of Metro Vehicle Design to Blast and Fire Events

Références bibliographiques : References : Referencias : Jean Luc Bruyelle, El Miloudi El Koursi, Richard Seddon, Conor O'Neill. Improved Resilience of Metro Vehicle Design to Blast and Fire Events. ICALT, International Conference on Advanced Logistics and Transport, May 2013, Tunisia. 6p, ⟨10.1109/ICAdLT.2013.6568429⟩. ⟨hal-00853393⟩

DOI : 10.1109/ICAdLT.2013.6568429

A mixed-integer linear program for the real-time railway traffic management problem modeling track-circuits

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Joaquin Rodriguez. A mixed-integer linear program for the real-time railway traffic management problem modeling track-circuits. IAROR, 5th International Seminar on Railway Operations Modelling and Analysis, RailCopenhagen 2013, May 2013, Denmark. 18p. ⟨hal-00851175⟩

Configuring a MILP formulation for rail traffic management

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Joaquin Rodriguez. Configuring a MILP formulation for rail traffic management. EURO-INFORMS conference 2013, Jul 2013, Italy. 1p. ⟨hal-00912490⟩

Real-time train routing and scheduling through mixed integer linear programming: Heuristic approach

Références bibliographiques : References : Referencias : Paola Pellegrini, Guillaume Douchet, Grégory Marliere, Joaquin Rodriguez. Real-time train routing and scheduling through mixed integer linear programming: Heuristic approach. IESM 2013, 5th international conference on industrial engineering and system management, Oct 2013, Morocco. 6p. ⟨hal-00909493⟩

Contribution to a terminology related to dependability for the qualification of an on-board satellite-based system

Références bibliographiques : References : Referencias : Olimpia Hoinaru, Julie Beugin, Juliette Marais. Contribution to a terminology related to dependability for the qualification of an on-board satellite-based system. 2th ICTIS conference, International Conference on Transportation Information and Safety, Jun 2013, Wuhan, China. p333-339. ⟨hal-00853771⟩

Ontology for complex railway systems application to ERTMS/ETCS system

Références bibliographiques : References : Referencias : Olimpia Hoinaru, Georges Mariano, Christophe Gransart. Ontology for complex railway systems application to ERTMS/ETCS system. FM-RAIL-BOK Workshop in SEFM’2013 11th International Conference on Software Engineering and Formal Methods, Sep 2013, Spain. 6p. ⟨hal-00912736⟩

Computing multiple running times for railway timetabling: a speed-level based model for constructing alternative speed profiles

Références bibliographiques : References : Referencias : Remy Chevrier, Paola Pellegrini, Joaquin Rodriguez. Computing multiple running times for railway timetabling: a speed-level based model for constructing alternative speed profiles. RailCopenhagen 2013, 5th International Conference in Railway Operations Research, May 2013, Denmark. 20p. ⟨hal-00909469⟩

From a Solution Model to a B Model for Verification of Safety Properties

Références bibliographiques : References : Referencias : Philippe Bon, Simon Collart-Dutilleul. From a Solution Model to a B Model for Verification of Safety Properties. Journal of Universal Computer Science, 2013, 19 (1), p2-24. ⟨10.3217/jucs-019-01-0002⟩. ⟨hal-00865039⟩

DOI : 10.3217/jucs-019-01-0002

Computing multiple running times for railway timetabling: a speed-level based model for constructing alternative speed profiles

Références bibliographiques : References : Referencias : Remy Chevrier, Paola Pellegrini, Joaquin Rodriguez. Computing multiple running times for railway timetabling: a speed-level based model for constructing alternative speed profiles. RailCopenhagen 2013, 5th International Conference in Railway Operations Research, May 2013, Denmark. 20p. ⟨hal-00909478⟩

Human factors in the analysis of the 'tram-car drivers' at intersections

Références bibliographiques : References : Referencias : Fatiha Moutchou, Abdelghani Cherkaoui, El Miloudi El Koursi. Human factors in the analysis of the 'tram-car drivers' at intersections. Journal of Civil Engineering and Architecture, 2013, pp 562-569. ⟨hal-00867710⟩

Sensitivity Assessment to Analyse Dependability of a Multisensor Localisation System based on GNSS

Références bibliographiques : References : Referencias : Cyril Legrand, Julie Beugin, Blaise Conrard, Juliette Marais, Marion Berbineau, et al.. Sensitivity Assessment to Analyse Dependability of a Multisensor Localisation System based on GNSS. ITST 2013, 13th International Conference on ITS telecommunication, Nov 2013, Finland. 7p. ⟨hal-00912709⟩

Application of a Co-evolutionary Genetic Algorithm to solve the Periodic Railway Timetabling Problem

Références bibliographiques : References : Referencias : Luis Diego Arenas Pimentel, Rémy Chevrier, Clarisse Dhaenens, Said Hanafi, Joaquin Rodriguez. Application of a Co-evolutionary Genetic Algorithm to solve the Periodic Railway Timetabling Problem. IESM 2013, 5th international conference on industrial engineering and system management, Oct 2013, Rabat, Morocco. 10p. ⟨hal-00909588⟩

Computation of Passive Robustness Bound for Assembly/Disassembly Processes

Références bibliographiques : References : Referencias : Anis Mhalla, Simon Collart-Dutilleul, Mohamed Benrejeb, Etienne Craye. Computation of Passive Robustness Bound for Assembly/Disassembly Processes. International Journal of Automation and Control Engineering, 2013, 2 (2), p79-86. ⟨hal-00911648⟩

Ontology for complex railway systems application to ERTMS/ETCS system

Références bibliographiques : References : Referencias : Olimpia Hoinaru, Georges Mariano, Christophe Gransart. Ontology for complex railway systems application to ERTMS/ETCS system. FM-RAIL-BOK Workshop in SEFM’2013 11th International Conference on Software Engineering and Formal Methods, Sep 2013, Spain. 6p. ⟨hal-00912733⟩

From Formal Specifications to Efficient Test Scenarios Generation

Références bibliographiques : References : Referencias : Jing Yang, Mohamed Ghazel, El Miloudi El Koursi. From Formal Specifications to Efficient Test Scenarios Generation. ICALT, International Conference on Advanced Logistics and Transport, May 2013, Tunisia. 6p, ⟨10.1109/ICAdLT.2013.6568431⟩. ⟨hal-00853577⟩

DOI : 10.1109/ICAdLT.2013.6568431

Boosting the performance of a MILP formulation for railway traffic management in complex junctions

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Joaquin Rodriguez. Boosting the performance of a MILP formulation for railway traffic management in complex junctions. MT-ITS 2013, Models and Technologies for Intelligent Transportation Systems, Dec 2013, Germany. p419-428. ⟨hal-00918197⟩

Single European Sky and Single European Railway Area: A System Level Analysis of Air and Rail Transportation

Références bibliographiques : References : Referencias : Paola Pellegrini, Joaquin Rodriguez. Single European Sky and Single European Railway Area: A System Level Analysis of Air and Rail Transportation. Transportation Research Part A: Policy and Practice, 2013, 57, pp. 64-86. ⟨10.1016/j.tra.2013.09.004⟩. ⟨hal-00870632⟩

DOI : 10.1016/j.tra.2013.09.004

Évaluation à la Volée de la Diagnosticabilité des Systèmes à Événements Discrets Temporisés

Références bibliographiques : References : Referencias : Baisi Liu, Mohamed Ghazel, Armand Toguyeni. Évaluation à la Volée de la Diagnosticabilité des Systèmes à Événements Discrets Temporisés. Journal Européen des Systèmes Automatisés, 2013, 47 (1-3), p227-242. ⟨10.3166/jesa.47.227-242⟩. ⟨hal-00909623⟩

DOI : 10.3166/jesa.47.227-242

Study of implementation of ERTMS with respect to French national rules using a B centered methodology.

Références bibliographiques : References : Referencias : Philippe Bon, Simon Collart-Dutilleul, Pengfei Sun. Study of implementation of ERTMS with respect to French national rules using a B centered methodology.. the IESM 2013, 5th international conference on industrial engineering and system management, Oct 2013, Morocco. 9p. ⟨hal-00995577⟩

Tropos For Embedded Real-time Control System Modeling and Simulation

Références bibliographiques : References : Referencias : Nesrine Darragi, Philippe Bon, Simon Collart-Dutilleul, El Miloudi El Koursi. Tropos For Embedded Real-time Control System Modeling and Simulation. 4th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2013), Jul 2013, France. 5p. ⟨hal-01061292⟩

Energy saving in railway timetabling: A bi-objective evolutionary approach for computing alternative running times

Références bibliographiques : References : Referencias : Rémy Chevrier, Paola Pellegrini, Joaquin Rodriguez. Energy saving in railway timetabling: A bi-objective evolutionary approach for computing alternative running times. Transportation research. Part C, Emerging technologies, 2013, 37, pp.20--41. ⟨hal-00742039v2⟩

Generating Test Scenarios Based on Real-World Traces for ERTMS Telecommunication Subsystem Evaluation

Références bibliographiques : References : Referencias : Patrick Sondi, Marion Berbineau, Mohamed Kassab, Georges Mariano. Generating Test Scenarios Based on Real-World Traces for ERTMS Telecommunication Subsystem Evaluation. Communication Technologies for Vehicles, 7865, Springer Berlin Heidelberg, pp.223-231, 2013, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-37974-1_18⟩. ⟨hal-03447726⟩

DOI : 10.1007/978-3-642-37974-1_18

K-diagnosability of labeled Petri nets

Références bibliographiques : References : Referencias : Baisi Liu, Mohamed Ghazel, Armand Toguyeni. K-diagnosability of labeled Petri nets. 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012), Nicolas Gouvy, Oct 2012, Villeneuve d'Ascq, France. ⟨hal-00780283⟩

Lot 5 - Méthode de spécification d’une architecture de commande à base de COTS : cas d’étude simplifié

Références bibliographiques : References : Referencias : David Gouyon, Jean-François Pétin, Florent Peres, Mohamed Ghazel. Lot 5 - Méthode de spécification d’une architecture de commande à base de COTS : cas d’étude simplifié . [Rapport de recherche] CRAN. 2012. ⟨hal-01215744⟩

Livrable L2.2 - Méthode de spécification d’une architec-ture de commande à base de COTS

Références bibliographiques : References : Referencias : David Gouyon, Dragos Dobre, Florent Peres, Jean-François Pétin, Mohamed Ghazel. Livrable L2.2 - Méthode de spécification d’une architec-ture de commande à base de COTS. [Rapport de recherche] CRAN. 2012. ⟨hal-01215741⟩

Toward a knowledge management approach based on an ontology and Case-based Reasoning (CBR): Application to railroad accidents

Références bibliographiques : References : Referencias : Ahmed Maalel, Lassaad Mejri, Habib Hadj-Mabrouk, Henda Hajjami Ben Ghézala. Toward a knowledge management approach based on an ontology and Case-based Reasoning (CBR): Application to railroad accidents. 2012 Sixth International Conference on Research Challenges in Information Science (RCIS), May 2012, Valencia, France. pp.1-6. ⟨hal-02280983⟩

Toward a Common Platform for Simulation-Based Evaluation of Both Functional and Telecommunication Sub-Systems of the ERTMS

Références bibliographiques : References : Referencias : Patrick Sondi, Mohamed Kassab, Marina Aguado, Etienne Lemaire, Marion Berbineau. Toward a Common Platform for Simulation-Based Evaluation of Both Functional and Telecommunication Sub-Systems of the ERTMS. 2012 Joint Rail Conference, Apr 2012, Philadelphia, United States. pp.351-359, ⟨10.1115/JRC2012-74049⟩. ⟨hal-03447720⟩

DOI : 10.1115/JRC2012-74049

Solving a Dial-a-Ride Problem with a Hybrid Multi-objective Evolutionary Approach: Application to Demand Responsive Transport

Références bibliographiques : References : Referencias : Rémy Chevrier, Arnaud Liefooghe, Laetitia Jourdan, Clarisse Dhaenens. Solving a Dial-a-Ride Problem with a Hybrid Multi-objective Evolutionary Approach: Application to Demand Responsive Transport. Applied Soft Computing, 2012, 12 (4), pp.1247-1258. ⟨10.1016/j.asoc.2011.12.014⟩. ⟨inria-00591138v2⟩

DOI : 10.1016/j.asoc.2011.12.014

Towards an ontology of help to the modeling of accident scenarii: Application on railroad transport

Références bibliographiques : References : Referencias : Ahmed Maalel, Lassaad Mejri, Habib Hadj-Mabrouk, Henda Hajjami Ben Ghézala. Towards an ontology of help to the modeling of accident scenarii: Application on railroad transport. 6th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT), Mar 2012, Sousse, Tunisia. pp.1-6, ⟨10.1109/SETIT.2012.6481880⟩. ⟨hal-03022264⟩

DOI : 10.1109/SETIT.2012.6481880

Contribution de la chronobiologie de la vigilance à la sécurité des transports

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk, Ahmed Maalel, Mohamed Dogui. Contribution de la chronobiologie de la vigilance à la sécurité des transports. Sixth International Conference, Sciences of Electronics, Technologies of Information and Telecommunications (SETIT'2012), IEEE, Mar 2012, Sousse, Tunisie. pp.1-7. ⟨hal-03022056⟩

Assisting Temporal Requirement Specification

Références bibliographiques : References : Referencias : Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni. Assisting Temporal Requirement Specification. Computer Technology and Application, 2012, 3 (1), pp.47-55. ⟨hal-00801029⟩

Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques

Références bibliographiques : References : Referencias : Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni. Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques. IEEE Transactions on Intelligent Transportation Systems, 2012, 3 (2), pp.714-723. ⟨10.1109/TITS.2011.2178238⟩. ⟨hal-00801030⟩

DOI : 10.1109/TITS.2011.2178238

Contribution à la formalisation et à l'identification de la stabilité humaine au regard de la sécurité : application aux transports guidés

Références bibliographiques : References : Referencias : Philippe Richard. Contribution à la formalisation et à l'identification de la stabilité humaine au regard de la sécurité : application aux transports guidés. Automatique. Université de Valenciennes et du Hainaut-Cambrésis, 2012. Français. ⟨NNT : 2012VALE0002⟩. ⟨tel-03416367⟩

A Formal Framework for the Formalization of Informal Requirements

Références bibliographiques : References : Referencias : Florent Peres, Jing Yang, Mohamed Ghazel. A Formal Framework for the Formalization of Informal Requirements. The International Journal of Soft Computing and Software Engineering, 2012, 2 (8), p14-27. ⟨10.7321/jscse.v2.n8.2⟩. ⟨hal-00852373⟩

DOI : 10.7321/jscse.v2.n8.2

Adding Technological Solutions for Safety Improvement at Level Crossings: a Functional Specification

Références bibliographiques : References : Referencias : Khaled Bahloul, François Defossez, Mohamed Ghazel, Simon Collart-Dutilleul. Adding Technological Solutions for Safety Improvement at Level Crossings: a Functional Specification. TRA, Transport Research Arena, Apr 2012, France. 10p. ⟨hal-00854272⟩

Interopérabilité ferroviaire : exigences et développement européen à l'horizon 2020

Références bibliographiques : References : Referencias : El Miloudi El Koursi, Etienne Lemaire. Interopérabilité ferroviaire : exigences et développement européen à l'horizon 2020. TEC Mobilité intelligente [Revue TEC : Transport Environnement Circulation], 2012, 216, p60-66. ⟨hal-00853700⟩

A critical analysis of parameter adaptation in ant colony optimization

Références bibliographiques : References : Referencias : Paola Pellegrini, Thomas Stutzle, Mauro Birattari. A critical analysis of parameter adaptation in ant colony optimization. Swarm Intelligence, 2012, 1 (6), p23-48. ⟨10.1007/s11721-011-0061-0⟩. ⟨hal-00874517⟩

DOI : 10.1007/s11721-011-0061-0

Simulation-based Evaluation of Dependability and Safety Properties of Satellite Technologies for Railway Localization

Références bibliographiques : References : Referencias : Julie Beugin, Juliette Marais. Simulation-based Evaluation of Dependability and Safety Properties of Satellite Technologies for Railway Localization. Transportation research. Part C, Emerging technologies, 2012, Vol 22, p42-57. ⟨10.1016/j.trc.2011.12.002⟩. ⟨hal-00854853⟩

DOI : 10.1016/j.trc.2011.12.002

Airport slot allocation in Europe: economic efficiency and fairness

Références bibliographiques : References : Referencias : Lorenzo Castelli, Paola Pellegrini, Raffaele Pesenti. Airport slot allocation in Europe: economic efficiency and fairness. International Journal of Revenue Management, 2012, 1 (6), pp 28-44. ⟨10.1504/IJRM.2012.044513⟩. ⟨hal-00910773⟩

DOI : 10.1504/IJRM.2012.044513

Une métropole en 2025: Au tour du vélo

Références bibliographiques : References : Referencias : Guillaume Uster, Arnaud Deckmyn. Une métropole en 2025: Au tour du vélo. [Rapport de recherche] IFSTTAR - Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux. 2012, 55p. ⟨hal-02004307⟩

Diagnosis of human operator behaviour in case of train driving: interest of facial recognition

Références bibliographiques : References : Referencias : Cyril Legrand, Philippe Richard, Vincent Benard, Frédéric Vanderhaegen, Patrice Caulier. Diagnosis of human operator behaviour in case of train driving: interest of facial recognition. 30th European Annual Conference on Human Decision-Making and Manual Control, Sep 2012, Germany. 6p. ⟨hal-00993161⟩

Integrating humans factors in the analysis of the interaction 'Tram- car drivers

Références bibliographiques : References : Referencias : Fatiha Moutchou, Abdelghani Cherkaoui, El Miloudi El Koursi. Integrating humans factors in the analysis of the interaction 'Tram- car drivers'. CETRA 2012, 2nd International Conference on Road and Rail Infrastructure, May 2012, France. 9p. ⟨hal-00853274⟩

Scheduling theory and constraint programming applied to rail traffic management

Références bibliographiques : References : Referencias : Joaquin Rodriguez. Scheduling theory and constraint programming applied to rail traffic management. Scheduling theory and constraint programming applied to rail traffic management, in Farewell address, Prof. Ingo Hansen, TECHNICAL UNIVERSITY DELFT, p133-145, 2012. ⟨hal-00959593⟩

A DBMS Framework for Diagnosability Analysis of Discrete Event Systems

Références bibliographiques : References : Referencias : Mohamed Ghazel, Florent Peres, Atef Belhaj Alaya, Abderrazak Jemai. A DBMS Framework for Diagnosability Analysis of Discrete Event Systems. DSN 2012, 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2012, France. 2p. ⟨hal-00854280⟩

Using Mobile Agent Technology to Develop a Collaborative Product Lifecycle Oriented Architecture

Références bibliographiques : References : Referencias : Khaled Bahloul, Nesrine Darragi, Yacine Ouzrout, Abdelaziz Bouras. Using Mobile Agent Technology to Develop a Collaborative Product Lifecycle Oriented Architecture. International Journal of Computer Science Issues, 2012, 9 (4), 15p. ⟨hal-01004997⟩

Propriétés de sûreté de fonctionnement d'un système embarqué de localisation par satellites dédié à la sécurité ferroviaire

Références bibliographiques : References : Referencias : Julie Beugin, Juliette Marais. Propriétés de sûreté de fonctionnement d'un système embarqué de localisation par satellites dédié à la sécurité ferroviaire. 18th Lambda-Mu congress, Oct 2012, France. 9p. ⟨hal-00850926⟩

Real time railway traffic management modeling track-circuits

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Joaquin Rodriguez. Real time railway traffic management modeling track-circuits. ATOMOS 2012, 12th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, Sep 2012, France. 12p, ⟨10.4230/OASIcs.ATMOS.2012.23⟩. ⟨hal-00851179⟩

DOI : 10.4230/OASIcs.ATMOS.2012.23

Un multi-modèle pour la représentation macroscopique du flux de trafic routier

Références bibliographiques : References : Referencias : Aziz Nakrachi, Hayat Saïd. Un multi-modèle pour la représentation macroscopique du flux de trafic routier. Actes INRETS, 2012, pp.ISSN 0769-0266, ISBN 978-2-85782-696-5. ⟨hal-00801150⟩

Integration of B activity into a global design process of critical software

Références bibliographiques : References : Referencias : Philippe Bon, Simon Collart-Dutilleul, Dorian Petit. Integration of B activity into a global design process of critical software. Transport Research Arena Europe 2012, Apr 2012, Athens, Greece. pp.CDROM. ⟨hal-00838060⟩

Adding technological solutions for safety improvement at level crossings: a functional specification

Références bibliographiques : References : Referencias : Khaled Bahloul, François Defossez, Mohamed Ghazel, Simon Collart-Dutilleul. Adding technological solutions for safety improvement at level crossings: a functional specification. Transport Research Arena Europe 2012, Apr 2012, Athens, Greece. pp.CDROM. ⟨hal-00838054⟩

An energy concept for macroscopic traffic flow modeling

Références bibliographiques : References : Referencias : Abdelaziz Nakrachi, Hayat Saïd, Popescu Dumitru. An energy concept for macroscopic traffic flow modeling. European Transport Research Review, 2012, 4 (2), pp.57-66. ⟨10.1007/s12544-012-0070-0⟩. ⟨hal-00801087⟩

DOI : 10.1007/s12544-012-0070-0

Towards a Case-Based Reasoning Approach Based on Ontologies Application to Railroad Accidents

Références bibliographiques : References : Referencias : Ahmed Maalel, Lassaad Mejri, Habib Hadj-Mabrouk, Henda Hajjami Ben Ghézala. Towards a Case-Based Reasoning Approach Based on Ontologies Application to Railroad Accidents. Xiang Y., Pathan M., Tao X., Wang H. (eds). Data and Knowledge Engineering ICDKE, 7696, Springer, pp.48-55, 2012, Lecture Notes in Computer Science, ISBN: 978-3-642-34679-8. ⟨10.1007/978-3-642-34679-8_5⟩. ⟨hal-02423012⟩

DOI : 10.1007/978-3-642-34679-8_5

An energy concept for macroscopic traffic flow modelling

Références bibliographiques : References : Referencias : Aziz Nakrachi, Hayat Saïd, Popescu Dumitru. An energy concept for macroscopic traffic flow modelling. European Transport Research Review, 2012, 4 (2), pp.57-66. ⟨10.1007/s12544-012-0070-0⟩. ⟨hal-00801143⟩

DOI : 10.1007/s12544-012-0070-0

Patterns-Based Assistance for Temporal Requirement Specification

Références bibliographiques : References : Referencias : Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni. Patterns-Based Assistance for Temporal Requirement Specification. Software Engineering Research and Practice (SERP2011), Jul 2011, Las Vegas, United States. pp.1-7. ⟨hal-00801032⟩

Interaction in Mobility: The Evaluation of Interactive Systems Used by Travellers in Transportation Contexts

Références bibliographiques : References : Referencias : Christophe Kolski, Guillaume Uster, Jean-Marc Robert, Káthia Marçal de Oliveira, Bertrand T. David. Interaction in Mobility: The Evaluation of Interactive Systems Used by Travellers in Transportation Contexts. Human-Computer Interaction: Towards Mobile and Intelligent Interaction Environment, 14th International Conference, HCI International 2011, Proceedings, Part III, Lecture Notes in Computer Science, Jul 2011, Orlando, United States. pp.301-310, ⟨10.1007/978-3-642-21616-9_34⟩. ⟨hal-01354552⟩

DOI : 10.1007/978-3-642-21616-9_34

Development of Ontology to Assist the Modeling of an Accident Scenario: Application on Railroad Transport

Références bibliographiques : References : Referencias : Ahmed Maalel, Habib Hadj Mabrouk, Lassaad Mejri, Henda Hajjami Ben Ghézala. Development of Ontology to Assist the Modeling of an Accident Scenario: Application on Railroad Transport. International Journal of Computer Science and Artificial Intelligence, 2011, 3 (7), pp.01-08. ⟨hal-02423316⟩

Détection et localisation tridimensionnelle par stéréovision d’objets en mouvement dans des environnements complexes : application aux passages à niveau

Références bibliographiques : References : Referencias : Nizar Fakhfakh. Détection et localisation tridimensionnelle par stéréovision d’objets en mouvement dans des environnements complexes : application aux passages à niveau. Autre. Ecole Centrale de Lille, 2011. Français. ⟨NNT : 2011ECLI0005⟩. ⟨tel-00618031v2⟩

The contribution of machine learning to analyze and evaluate the safety of automated transport systems

Références bibliographiques : References : Referencias : Ahmed Maalel, Walid Mhiri, Habib Hadj Mabrouk. The contribution of machine learning to analyze and evaluate the safety of automated transport systems. 2011 International Conference on Communications, Computing and Control Applications (CCCA), Mar 2011, Hammamet, France. pp.1-6. ⟨hal-02280985⟩

3D Objects Localization using Fuzzy Approach and Hierarchical Belief Propagation: Application at Level Crossings

Références bibliographiques : References : Referencias : Nizar Fakhfakh, Louahdi Khoudour, El Miloudi El Koursi, Jean Luc Bruyelle, Alain Dufaux, et al.. 3D Objects Localization using Fuzzy Approach and Hierarchical Belief Propagation: Application at Level Crossings. EURASIP Journal on Image and Video Processing, 2011, 13p. ⟨10.1155/2011/548604⟩. ⟨hal-00855009⟩

DOI : 10.1155/2011/548604

Editorial. Numéro spécial RTS sur le transport ferroviaire

Références bibliographiques : References : Referencias : L Dablanc, J Rodriguez. Editorial. Numéro spécial RTS sur le transport ferroviaire. RTS. Recherche, transports, sécurité, 2011, 27 (3), pp 141-142. ⟨10.1007/s13547-011-0017-1⟩. ⟨hal-00905854⟩

DOI : 10.1007/s13547-011-0017-1

Construction d'une ontologie d'aide au renforcement de la sécurité des systèmes de transport automatisés

Références bibliographiques : References : Referencias : Lassaad Mejri, Ahmed Maalel, Habib Hadj-Mabrouk, Henda Hajjami Ben Ghézala. Construction d'une ontologie d'aide au renforcement de la sécurité des systèmes de transport automatisés. 11ème Conférence internationale francophone sur l'extraction et la gestion des connaissances (EGC'2011), Jun 2011, Sousse, Tunisie. pp.297-298. ⟨hal-03022140⟩

Multi-objective Evolutionary Algorithm for Speed Tuning Optimization with Energy Saving in Railway: Application and Case Study

Références bibliographiques : References : Referencias : Rémy Chevrier, Grégory Marlière, Bogdan Vulturescu, Joaquin Rodriguez. Multi-objective Evolutionary Algorithm for Speed Tuning Optimization with Energy Saving in Railway: Application and Case Study. RailRome 2011, 2011, Rome, Italy. ⟨inria-00576025⟩

A Set of Design-oriented Scientific Tools to Assist Abstract B Machine Specification

Références bibliographiques : References : Referencias : Simon Collart-Dutilleul, Philippe Bon, Dorian Petit. A Set of Design-oriented Scientific Tools to Assist Abstract B Machine Specification. LINDI 2011, 2011, Budapest, Hungary. pp.CDROM. ⟨hal-00838049⟩

Timed Specification Patterns for System Validation. A railway case study

Références bibliographiques : References : Referencias : Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni. Timed Specification Patterns for System Validation. A railway case study. Juan Andrade Cetto, Jean-Louis Ferrier Joaquim Filipe. Informatics in Control, Automation and Robotics, Lecture Notes in Electrical Engineering, Springer Berlin Heidelberg, pp.121-134, 2011, 978-3-642-19538-9. ⟨10.1007/978-3-642-19539-6_8⟩. ⟨hal-00801031⟩

DOI : 10.1007/978-3-642-19539-6_8

A formal model of requirements

Références bibliographiques : References : Referencias : François Defossez, Simon Collart-Dutilleul, Philippe Bon. A formal model of requirements. Open transportation Journal, 2011, pp.60-70. ⟨hal-00838020⟩

An Ant Algorithm for Measuring and Optimizing the Capacity of Railway Infrastructure

Références bibliographiques : References : Referencias : Xavier Gandibleux, Julien Jorge, Xavier Delorme, Joaquin Rodriguez. An Ant Algorithm for Measuring and Optimizing the Capacity of Railway Infrastructure. Nicolas Monmarché, Frédéric Guinand, and Patrick Siarry. Artificial Ants : From Collective Intelligence to Real-life Optimization and Beyond, ISTE-Wiley, chapter 9, p. 175-203, 2010. ⟨emse-00710377⟩

Evolutionary, constructive and hybrid procedures for the bi-objective set packing problem.

Références bibliographiques : References : Referencias : Xavier Delorme, Xavier Gandibleux, Fabien Degoutin. Evolutionary, constructive and hybrid procedures for the bi-objective set packing problem.. European Journal of Operational Research, 2010, 204 (2), pp.206-217. ⟨10.1016/j.ejor.2009.10.014⟩. ⟨hal-00461771⟩

DOI : 10.1016/j.ejor.2009.10.014

Génération de scénarios de tests pour la vérification de systèmes complexes et répartis : application au système européen de signalisation ferroviaire (ERTMS)

Références bibliographiques : References : Referencias : Sana Jabri. Génération de scénarios de tests pour la vérification de systèmes complexes et répartis : application au système européen de signalisation ferroviaire (ERTMS). Automatique. Ecole Centrale de Lille, 2010. Français. ⟨NNT : ⟩. ⟨tel-00802208⟩

Génération de scénarios de tests pour la vérification de systèmes répartis : application au système européen de signalisation ferroviaire (ERTMS)

Références bibliographiques : References : Referencias : Sana Jabri. Génération de scénarios de tests pour la vérification de systèmes répartis : application au système européen de signalisation ferroviaire (ERTMS). Autre. Ecole Centrale de Lille, 2010. Français. ⟨NNT : 2010ECLI0006⟩. ⟨tel-00584308⟩

Patterns for Temporal Requirements Engineering - A Level Crossing Case Study

Références bibliographiques : References : Referencias : Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni. Patterns for Temporal Requirements Engineering - A Level Crossing Case Study. 7th International Conference on Informatics in Control, Automation and Robotics, Jun 2010, Funchal, Portugal. pp.45-52. ⟨hal-00801135⟩

European railway traffic management system validation using UML/Petri nets modelling strategy

Références bibliographiques : References : Referencias : Sana Jabri, El Miloudi El Koursi, Thomas Bourdeaud'Huy. European railway traffic management system validation using UML/Petri nets modelling strategy. European Transport Research Review, 2010, Volume 2, Issue 2, pp 113-128. ⟨hal-00802214⟩

Analyse d'un modèle AADL à l'aide de Pola

Références bibliographiques : References : Referencias : Pierre-Emmanuel Hladik, Florent Peres, Xiaomu Shi. Analyse d'un modèle AADL à l'aide de Pola. 10es journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2010, Poitiers, France. p. 239--243. ⟨hal-00493726v2⟩

Modélisation discrète et formelle des exigences temporelles pour la validation et l’évaluation de la sécurité ferroviaire

Références bibliographiques : References : Referencias : François Defossez. Modélisation discrète et formelle des exigences temporelles pour la validation et l’évaluation de la sécurité ferroviaire. Autre. Ecole Centrale de Lille, 2010. Français. ⟨NNT : 2010ECLI0004⟩. ⟨tel-00584005⟩

Vers une ontologie pour le domaine de l’analyse de sécurité des systèmes de transport automatisés

Références bibliographiques : References : Referencias : Lassaad Mejri, Habib Hadj-Mabrouk, Patrice Caulier. Vers une ontologie pour le domaine de l’analyse de sécurité des systèmes de transport automatisés. Conférence internationale Terminologie & Ontologie: Théories et applications (TOTh’2010), Jun 2010, Annecy, France. pp.177-193. ⟨hal-03025432⟩

Time-constrained systems validation using mda model transformation. A railway case study

Références bibliographiques : References : Referencias : Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni. Time-constrained systems validation using mda model transformation. A railway case study. 8th International Conference of Modeling and Simulation MOSIM'10, May 2010, Hammamet, Tunisia. pp.1-10. ⟨hal-00801033⟩

Taking into account of human risk in maritime sector. Application on sea motorways project

Références bibliographiques : References : Referencias : Amira El-Mabrouk, Habib Hadj-Mabrouk. Taking into account of human risk in maritime sector. Application on sea motorways project. 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies_EVER’2010, Mar 2010, Monaco, Monaco. pp.1-11. ⟨hal-03025133⟩

Supporting tool of regulation capitalization and exploitation in railroad safety

Références bibliographiques : References : Referencias : Ahmed Bellaaj, Habib Hadj-Mabrouk. Supporting tool of regulation capitalization and exploitation in railroad safety. 5th International conference and exhibition on ecological vehicles and renewable energies_EVER’2010, Mar 2010, Monaco, Monaco. pp.1-9. ⟨hal-03025265⟩

System based knowledge for the help in exploitation of field data feedback in railroad transport

Références bibliographiques : References : Referencias : Ahmed Maalel, Lassaad Mejri, Henda Ben Ghezela, Habib Hadj-Mabrouk. System based knowledge for the help in exploitation of field data feedback in railroad transport. 5th International conference and exhibition on ecological vehicles and renewable energies_EVER’2010, Mar 2010, Monaco, Monaco. pp.1-6. ⟨hal-03025238⟩

Towards an ontology of risk analysis

Références bibliographiques : References : Referencias : Feyrouz Hamdaoui, Habib Hadj-Mabrouk, Anas Kamoun. Towards an ontology of risk analysis. 5th International conference and exhibition on ecological vehicles and renewable energies_EVER’2010, Mar 2010, Monaco, Monaco. pp.1-10. ⟨hal-03025316⟩

Methodological approach of management of the risks in the industrial sector: Application to the oil sector

Références bibliographiques : References : Referencias : Saoussen Bahria, Habib Hadj-Mabrouk. Methodological approach of management of the risks in the industrial sector: Application to the oil sector. 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies_EVER’2010, Mar 2010, Monaco, Monaco. pp.1-8. ⟨hal-03025098⟩

Taking into account of safety in models of railroad traffic management and optimization

Références bibliographiques : References : Referencias : Chokri Lajimi, Habib Hadj-Mabrouk. Taking into account of safety in models of railroad traffic management and optimization. 5th International conference and exhibition on ecological vehicles and renewable energies_EVER’2010, Mar 2010, Monaco, Monaco. pp.1-9. ⟨hal-03025165⟩

Contribution of case based reasoning (CBR) in the exploitation of return of experience

Références bibliographiques : References : Referencias : Ahmed Maalel, Habib Hadj-Mabrouk. Contribution of case based reasoning (CBR) in the exploitation of return of experience. 3d. International Conference on Information Systems and Economic Intelligence (SIIE'2010), Feb 2010, Sousse, Tunisia. pp.99-109. ⟨hal-03025528⟩

Contribution of the return of experience to security

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk, Feyrouz Hamdaoui, Ahmed Maalel. Contribution of the return of experience to security. 3d. International Conference on Information Systems and Economic Intelligence (SIIE'2010), Feb 2010, Sousse, Tunisia. pp.346-350. ⟨hal-03025581⟩

BRILLANT: an open source platform for B

Références bibliographiques : References : Referencias : Samuel Colin, Dorian Petit, Georges Mariano, Vincent Poirriez. BRILLANT: an open source platform for B. Workshop on Tool Building in Formal Methods, Feb 2010, Orford, Canada. ⟨inria-00480709⟩

Analysis and maritime risk management

Références bibliographiques : References : Referencias : Amira El-Mabrouk, Habib Hadj-Mabrouk. Analysis and maritime risk management. 3d. International Conference on Information Systems and Economic Intelligence (SIIE'2010), Feb 2010, Sousse, Tunisia. pp.178-185. ⟨hal-03025557⟩

Surveillance des systèmes à événements discrets à l'aide des réseaux de Petri temporels

Références bibliographiques : References : Referencias : Mohamed Ghazel. Surveillance des systèmes à événements discrets à l'aide des réseaux de Petri temporels. Editions Universitaires Européennes, 160p, 2010, 978-613-1-50009-1. ⟨hal-01959360⟩

On Optimizing a Demand Responsive Transport with an Evolutionary Multi-Objective Approach

Références bibliographiques : References : Referencias : Rémy Chevrier, Arnaud Liefooghe, Laetitia Jourdan, Clarisse Dhaenens. On Optimizing a Demand Responsive Transport with an Evolutionary Multi-Objective Approach. IEEE Intelligent Transportation Systems Conference, 2010, Madeira, Portugal. pp.575--580. ⟨hal-00469418v2⟩

Utilisation des séquences de pannes pour la conception de systèmes de commande sûrs. Application au ferroutage

Références bibliographiques : References : Referencias : Joffrey Clarhaut, Saïd Hayat, Blaise Conrard, Vincent Cocquempot. Utilisation des séquences de pannes pour la conception de systèmes de commande sûrs. Application au ferroutage. Journal Européen des Systèmes Automatisés, 2010, vol.44 (n.1), pp33-66. ⟨10.3166/JESA.44.33-66⟩. ⟨hal-00559482⟩

DOI : 10.3166/JESA.44.33-66

Introduction à la sécurité et à l'analyse des risques technologiques et humains

Références bibliographiques : References : Referencias : Habib Hadj Mabrouk. Introduction à la sécurité et à l'analyse des risques technologiques et humains. 3ème Symposium International sur la Maintenance et la Maîtrise des Risques, Apr 2010, Rabat, Maroc. 16p. ⟨hal-03244522⟩

Capitalisation et exploitation des connaissances de sécurité

Références bibliographiques : References : Referencias : Habib Hadj Mabrouk. Capitalisation et exploitation des connaissances de sécurité. Lambda Mu 17, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2010, La Rochelle, France. 9p. ⟨hal-03244566⟩

Introduction à la sécurité et à l'analyse des risques technologiques et humains

Références bibliographiques : References : Referencias : Habib Hadj Mabrouk. Introduction à la sécurité et à l'analyse des risques technologiques et humains. 3ème Symposium International sur la Maintenance et la Maîtrise des Risques, Apr 2010, Rabat, Maroc. 16p. ⟨hal-00615263⟩

Functioning mode management and formal assessment of safety

Références bibliographiques : References : Referencias : Philippe Bon, Simon Collart-Dutilleul, François Defossez. Functioning mode management and formal assessment of safety. LSS'2010, Jul 2010, Villeneuve d'Acsq, France. pp.CDROM. ⟨hal-00838039⟩

A video-based object detection system for improving safety at level crossings

Références bibliographiques : References : Referencias : N. Fakhfakh, L. Khoudour, El Miloudi El Koursi, J. Jacot, A. Dufaux. A video-based object detection system for improving safety at level crossings. Open transportation journal, supplement on "safety at Level Crossings", 2010, 15p. ⟨hal-00542416⟩

Vers le concept de stabilité humaine pour l'amélioration de la sécurité des transports

Références bibliographiques : References : Referencias : Philippe Richard, Vincent Benard, Frédéric Vanderhaegen, Patrice Caulier. Vers le concept de stabilité humaine pour l'amélioration de la sécurité des transports. Lambda Mu 17, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2010, La Rochelle, France. 7p. ⟨hal-00615226⟩

Prise en compte du risque humain dans le secteur maritime. Application au projet des "autoroutes de la mer

Références bibliographiques : References : Referencias : Amira El-Mabrouk, Habib Hadj-Mabrouk. Prise en compte du risque humain dans le secteur maritime. Application au projet des "autoroutes de la mer". 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement (Lambda Mu'17), Institut pour la Maîtrise des Risques (IMdR), Oct 2010, La Rochelle, France. pp.1-10. ⟨hal-03245034⟩

On Optimizing a Demand Responsive Transport with an Evolutionary Multiobjective Approach

Références bibliographiques : References : Referencias : Rémy Chevrier, Arnaud Liefooghe, Laetitia Jourdan, Clarisse Dhaenens. On Optimizing a Demand Responsive Transport with an Evolutionary Multiobjective Approach. ITSC 2010 - 13th International IEEE Conference on Intelligent Transport Systems, Sep 2010, Madeire, Portugal. ⟨10.1109/ITSC.2010.5625025⟩. ⟨inria-00523230⟩

DOI : 10.1109/ITSC.2010.5625025

RECIFE : logiciel pour l'étude de la capacité d'infrastructures ferroviaires

Références bibliographiques : References : Referencias : Xavier Gandibleux, Xavier Delorme, Joaquín Rodriguez. RECIFE : logiciel pour l'étude de la capacité d'infrastructures ferroviaires. 11ème congrès de la société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2010), Feb 2010, Toulouse, France. p111. ⟨hal-00470428⟩

An Evolutionary Multi-objective Approach for Speed Tuning Optimization with Energy Saving in Railway Management

Références bibliographiques : References : Referencias : Rémy Chevrier. An Evolutionary Multi-objective Approach for Speed Tuning Optimization with Energy Saving in Railway Management. IEEE ITSC'2010 Intelligent Transportation Systems Conference, 2010, Madeira, Portugal. pp.279-284. ⟨hal-00465116v2⟩

Capitalisation et exploitation des connaissances de sécurité

Références bibliographiques : References : Referencias : Habib Hadj Mabrouk. Capitalisation et exploitation des connaissances de sécurité. Lambda Mu 17, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2010, La Rochelle, France. 9p. ⟨hal-00615214⟩

A Framework for Risk Management in Railway Sector: Application to Road-Rail Level Crossings

Références bibliographiques : References : Referencias : A. Berrado, El Miloudi El Koursi, A. Cherkaoui, M. Khaddour. A Framework for Risk Management in Railway Sector: Application to Road-Rail Level Crossings. Open transportation Journal, 2010, 19p. ⟨hal-00542424⟩

Risque et Gouvernance : Quelle approche ?

Références bibliographiques : References : Referencias : Mounir Sarraj, Habib Hadj-Mabrouk, Ahmed Maalel. Risque et Gouvernance : Quelle approche ?. 4ème Colloque International sur la crise financière internationale, Aspects théoriques et empiriques, Pour quel nouvel ordre économique mondial?, Dec 2009, Tataouine, Tunisie. pp.1-6. ⟨hal-03024966⟩

Analyse des risques des systèmes de transport intelligents

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Analyse des risques des systèmes de transport intelligents. WORKSHIOP / Rôle des Nouvelles Technologies et des Infrastructures dans la Sûreté et la Sécurité des Systèmes de Transport, Comité National de Prévention des Accidents de la Circulation (CNPAC'2009), Oct 2009, Rabat, Maroc. pp.1-5. ⟨hal-03250451⟩

Modelling of the European Rail Traffic Management System (ERTMS) for checking objectives

Références bibliographiques : References : Referencias : Sana Jabri, El Miloudi El Koursi, Etienne Lemaire, Thomas Bourdeaud'Huy. Modelling of the European Rail Traffic Management System (ERTMS) for checking objectives. Modelling of the European Rail Traffic Management System (ERTMS) for Checking Objectives, Sep 2009, United States. pp.84-90, ⟨10.3182/20090902-3-US-2007.00014⟩. ⟨hal-00802242⟩

DOI : 10.3182/20090902-3-US-2007.00014

Optimal design of dependable control system architectures using temporal sequences of failures

Références bibliographiques : References : Referencias : Joffrey Clarhaut, Blaise Conrard, Saïd Hayat, Vincent Cocquempot. Optimal design of dependable control system architectures using temporal sequences of failures. IEEE Transactions on Reliability, 2009, 58 (3), pp.511-522. ⟨10.1109/TR.2009.2026790⟩. ⟨hal-00506353⟩

DOI : 10.1109/TR.2009.2026790

A generation method of test scenarios based on models: application to the ERTMS/ETCS system

Références bibliographiques : References : Referencias : Sana Jabri, Etienne Lemaire, Thomas Bourdeaud'Huy. A generation method of test scenarios based on models: application to the ERTMS/ETCS system. Third International Conference on Safety and Security Engineering, Jul 2009, Italy. pp.9, ⟨10.2495/SAFE090221⟩. ⟨hal-00802247⟩

DOI : 10.2495/SAFE090221

Validating time-constrained systems using UML Statecharts Patterns and Timed Automata Observers

Références bibliographiques : References : Referencias : Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni. Validating time-constrained systems using UML Statecharts Patterns and Timed Automata Observers. Third International Workshop on Verification and Evaluation of Computer and Communication Systems, Jul 2009, Rabat, Morocco. pp.112-124. ⟨hal-00801584⟩

Un modèle générique unifié de représentation et de résolution de problèmes pour la réutilisation des connaissances. Application à l'analyse de sécurité des systèmes de transport automatisés

Références bibliographiques : References : Referencias : Lassaad Mejri, Habib Hadj-Mabrouk, Patrice Caulier. Un modèle générique unifié de représentation et de résolution de problèmes pour la réutilisation des connaissances. Application à l'analyse de sécurité des systèmes de transport automatisés. RTS. Recherche, transports, sécurité, 2009, 29 (103), pp.131-148. ⟨10.3166/rts.103.131-148⟩. ⟨hal-02280987⟩

DOI : 10.3166/rts.103.131-148

Stability evaluation of a railway timetable at station level

Références bibliographiques : References : Referencias : Xavier Delorme, Xavier Gandibleux, J. Rodriguez. Stability evaluation of a railway timetable at station level. European Journal of Operational Research, 2009, 195 (3), pp.780-790. ⟨10.1016/j.ejor.2007.06.062⟩. ⟨hal-00506352⟩

DOI : 10.1016/j.ejor.2007.06.062

State Observer for DES Under Partial Observation with Time Petri Nets

Références bibliographiques : References : Referencias : Mohamed Ghazel, Armand Toguyeni, Pascal Yim. State Observer for DES Under Partial Observation with Time Petri Nets. Discrete Event Dynamic Systems, 2009, 19 (2), pp.137-165. ⟨10.1007/s10626-009-0060-0⟩. ⟨hal-00801148⟩

DOI : 10.1007/s10626-009-0060-0

Prise en compte des séquences de défaillances pour la conception de systèmes d'automatisation. Application au ferroutage

Références bibliographiques : References : Referencias : Joffrey Clarhaut. Prise en compte des séquences de défaillances pour la conception de systèmes d'automatisation. Application au ferroutage. Automatique / Robotique. Université des Sciences et Technologie de Lille - Lille I, 2009. Français. ⟨NNT : ⟩. ⟨tel-00460336⟩

De l'analyse préliminaire de risque au système d'aide à la décision pour le management des risques

Références bibliographiques : References : Referencias : Mohamed Habib Mazouni, Jean-François Aubry. De l'analyse préliminaire de risque au système d'aide à la décision pour le management des risques. 8ème Congrès international pluridisciplinaire en Qualité et Sûreté de Fonctionnement, Qualita 2009, Mar 2009, Besançon, France. pp.CDROM. ⟨hal-00377904⟩

Intégration de la sécurité dans les autoroutes de la mer

Références bibliographiques : References : Referencias : Amira El-Mabrouk, Feyrouz Hamdaoui, Habib Hadj-Mabrouk. Intégration de la sécurité dans les autoroutes de la mer. 5th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT’2009), IEEE, Mar 2009, Hammamet, Tunisie. pp.1-11. ⟨hal-03025022⟩

Contribution du raisonnement à partir de cas à l’évaluation des effets des erreurs logiciels

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk, Ahmed Maalel, Feyrouz Hamdaoui. Contribution du raisonnement à partir de cas à l’évaluation des effets des erreurs logiciels. 5th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT’2009), IEEE, Mar 2009, Hammamet, Tunisie. pp.1-7. ⟨hal-03025000⟩

L’intégration de la sécurité dans les systèmes technologiques de l’information et de la communication

Références bibliographiques : References : Referencias : Saoussen Bahria, Habib Hadj-Mabrouk. L’intégration de la sécurité dans les systèmes technologiques de l’information et de la communication. 5th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT’2009), Mar 2009, Hammamet, Tunisie. pp.1-5. ⟨hal-03025055⟩

Optimal design of dependable control system architectures using temporal sequences of failures

Références bibliographiques : References : Referencias : J Clarhaut, B Conrard, S Hayat, V Cocquempot. Optimal design of dependable control system architectures using temporal sequences of failures. IEEE Transactions on Reliability, 2009, Vol 58, Issue 3, p511-522. ⟨10.1109/TR.2009.2026790⟩. ⟨hal-00952035⟩

DOI : 10.1109/TR.2009.2026790

Algorithme de fourmis pour mesurer et optimiser la capacité d'un réseau ferroviaire

Références bibliographiques : References : Referencias : J Jorge, X Gandibleux, X Delorme, J Rodriguez. Algorithme de fourmis pour mesurer et optimiser la capacité d'un réseau ferroviaire. Algorithme de fourmis pour mesurer et optimiser la capacité d'un réseau ferroviaire, Hermes, p215-244, 2009. ⟨hal-01062294⟩

User modelling: the consideration of the experience of time during journeys in public transportation

Références bibliographiques : References : Referencias : Arnaud Brossard, Mourad Abed, Christophe Kolski, Guillaume Uster. User modelling: the consideration of the experience of time during journeys in public transportation. ACM Mobility Conference, 6th International Conference on Mobility Technology, Applications and Systems, Sep 2009, Nice, France. pp.1-4, ⟨10.1145/1710035.1710079⟩. ⟨hal-03442902⟩

DOI : 10.1145/1710035.1710079

Algorithme de fourmis pour mesurer et optimiser la capacite d'un reseau ferroviaire

Références bibliographiques : References : Referencias : Xavier Gandibleux, Julien Jorge, Xavier Delorme, Joaquín Rodriguez. Algorithme de fourmis pour mesurer et optimiser la capacite d'un reseau ferroviaire. N. Monmarché, F. Guinand, et P. Siarry. Fourmis articielles, des bases algorithmiques aux concepts et réalisations avancés, Hermès - Lavoisier, chapitre 9, pp. 215-244, 2009, Traité IC2. ⟨hal-00470396⟩

Towards safer level crossings: existing recommendations, new applicable technologies and a proposed simulation model

Références bibliographiques : References : Referencias : Louahdi Khoudour, Mohamed Ghazel, Fouzia Boukour, Marc Heddebaut, El-Miloudi El-Koursi. Towards safer level crossings: existing recommendations, new applicable technologies and a proposed simulation model. European Transport Research Review, 2008, 1 (1), pp.35-45. ⟨10.1007/s12544-008-0004-z⟩. ⟨hal-04614082⟩

DOI : 10.1007/s12544-008-0004-z

Complementarity of Preliminary Hazard Analysis and field data feedback to improve security. Application to rail transport

Références bibliographiques : References : Referencias : Feyrouz Hamdaoui, Habib Hadj-Mabrouk. Complementarity of Preliminary Hazard Analysis and field data feedback to improve security. Application to rail transport. 9th International Conference on Sciences and Techniques of Automatic Control and Computer Engineering, STA _2008, Dec 2008, Sousse, Tunisia. pp.1-8. ⟨hal-03250338⟩

Pour une meilleure approche du management des risques: de la modélisation ontologique du processus accidentel au système interactif d'aide à la décision

Références bibliographiques : References : Referencias : Mohamed Habib Mazouni. Pour une meilleure approche du management des risques: de la modélisation ontologique du processus accidentel au système interactif d'aide à la décision. Automatique / Robotique. Institut National Polytechnique de Lorraine - INPL, 2008. Français. ⟨NNT : ⟩. ⟨tel-00338938v2⟩

Intégration des facteurs humains dans le retour d’expérience

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Intégration des facteurs humains dans le retour d’expérience. 16ème Congrès "Lambda Mu", Maîtrise des risques et sûreté de fonctionnement_LM16, IMdR: Institut pour la Maîtrise des Risques, Oct 2008, Avignon, France. pp.1-6. ⟨hal-03024530⟩

Apport du retour d'expérience à l'analyse des risques

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk, Feyrouz Hamdaoui. Apport du retour d'expérience à l'analyse des risques. 16ème Congrès "Lambda Mu", Maîtrise des risques et sûreté de fonctionnement_LM16, IMdR, Institut pour la Maîtrise des Risques, Oct 2008, Avignon, France. pp.1-5. ⟨hal-03024553⟩

Analyse préliminaire des risques et retour d’expérience : deux approches complémentaires pour améliorer la sécurité des transports ferroviaires

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk, Feyrouz Hamdaoui, Ridha Chtioui. Analyse préliminaire des risques et retour d’expérience : deux approches complémentaires pour améliorer la sécurité des transports ferroviaires. Conférence Internationale Francophone d'Automatique (CIFA'2008), IEEE, Sep 2008, Bucarest, Roumanie. pp.1-5. ⟨hal-03250049⟩

Méthode systémique et organisationnelle d'Analyse Préliminaire des Risques basée sur une ontologie générique

Références bibliographiques : References : Referencias : Mohamed Habib Mazouni, Jean-François Aubry, El Miloudi El Koursi. Méthode systémique et organisationnelle d'Analyse Préliminaire des Risques basée sur une ontologie générique. Workshop Surveillance, Sûreté et Sécurité des Grands Systèmes, 3SGS'08, Jun 2008, Troyes, France. pp.CDROM. ⟨hal-00292856⟩

A novel approach to developing and evaluating regulation strategies for urban transport disrupted networks

Références bibliographiques : References : Referencias : Mm. Ould Sidi, S. Hammadi, S. Hayat. A novel approach to developing and evaluating regulation strategies for urban transport disrupted networks. International Journal of Computer Integrated Manufacturing, 2008, 21 (4), pp.480-493. ⟨10.1080/09511920701574982⟩. ⟨hal-00802437⟩

DOI : 10.1080/09511920701574982

Deployment method of tests scenarios for critical systems- Application to the ERTMS/ETCS system

Références bibliographiques : References : Referencias : Sana Jabri, Etienne Lemaire, Thomas Bourdeaud'Huy. Deployment method of tests scenarios for critical systems- Application to the ERTMS/ETCS system. The World Congress on Railway Research (WCRR), May 2008, South Korea. ⟨hal-00802261⟩

Méthodologie d’analyse des risques

Références bibliographiques : References : Referencias : Feyrouz Hamdaoui, Habib Hadj-Mabrouk. Méthodologie d’analyse des risques. Colloque Maintenance et maîtrise des risques_MMR'2008, May 2008, Oran, Algérie. pp.1-10. ⟨hal-03024477⟩

Méthode originale d’analyse des risques technologiques

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Méthode originale d’analyse des risques technologiques. Colloque Maintenance et maîtrise des risques, May 2008, Oran, Algérie. pp.1-12. ⟨hal-03024456⟩

Apport de l’intelligence artificielle à la sécurité des transports ferroviaires

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Apport de l’intelligence artificielle à la sécurité des transports ferroviaires. 8ème Forum Inter universitaire de Recherche En Transport et Logistique (FIRTL’2008), Apr 2008, Sousse, Tunisie. pp.1-12. ⟨hal-03024490⟩

Identification et analyse des risques dans une chaîne logistique

Références bibliographiques : References : Referencias : Walid Nouri, Insaf Mesbah, Tahani Ben-Salam, Habib Hadj-Mabrouk. Identification et analyse des risques dans une chaîne logistique. 8ème Forum Inter universitaire de Recherche En Transport et Logistique_FIRTL’2008, Apr 2008, Sousse, Tunisie. pp.1-11. ⟨hal-03024512⟩

Synthèse de contrôle de systèmes à événements discrets temporisés : application au passage à niveau

Références bibliographiques : References : Referencias : François Defossez, Simon Collart-Dutilleul, Philippe Bon. Synthèse de contrôle de systèmes à événements discrets temporisés : application au passage à niveau. Conférence Internationale Francophone d'Automatique, 2008, Bucarest, Roumanie. pp.CDROM. ⟨hal-00838024⟩

Taking advantage of some complementary modeling methods to meet critical system requirement specification

Références bibliographiques : References : Referencias : François Defossez, Philippe Bon, Simon Collart-Dutilleul. Taking advantage of some complementary modeling methods to meet critical system requirement specification. Eleventh International Conference on Computer System Design and Operations in the Railway and Other Transit Systems, Sep 2008, Tolède, Spain. pp.CDROM. ⟨hal-00838026⟩

Urban transport traffic network regulation and evaluation using a fuzzy evolutionary approach

Références bibliographiques : References : Referencias : M. M. Ould Sidi, Slim Hammadi, Saïd Hayat, Pierre Borne. Urban transport traffic network regulation and evaluation using a fuzzy evolutionary approach. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 2008, 38 (2), pp.309-318. ⟨hal-00505950⟩

Méthodologie de conception de systèmes sûrs et économiques utilisant les scénarios de défaillances

Références bibliographiques : References : Referencias : Joffrey Clarhaut, Said Hayat, Blaise Conrard, Vincent Cocquempot. Méthodologie de conception de systèmes sûrs et économiques utilisant les scénarios de défaillances. Congrés de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2008, Avignon, France. pp.CDROM. ⟨hal-00799922⟩

Optimal design of control systems using a dependability criteria and temporal sequences evaluation application to a railroad transportation system

Références bibliographiques : References : Referencias : Joffrey Clarhaut, Said Hayat, Blaise Conrard, Vincent Cocquempot. Optimal design of control systems using a dependability criteria and temporal sequences evaluation application to a railroad transportation system. 17th SRA-Europe Conference, Sep 2008, Valencia, Spain. pp.3199-3208. ⟨hal-00799923⟩

Prise en compte des facteurs humains dans la sécurité ferroviaires

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Prise en compte des facteurs humains dans la sécurité ferroviaires. 8th International Conference of Sciences and Techniques of Automation (STA'2007), Nov 2007, Monastir, Tunisie. pp.1-21. ⟨hal-03024320⟩

A PHA based on a systemic and generic ontology

Références bibliographiques : References : Referencias : Mohamed Habib Mazouni, Jean-François Aubry. A PHA based on a systemic and generic ontology. IEEE/INFORMS International Conference on Service Operations and Logistics, and Informatics, SOLI'2007, Aug 2007, Philadelphia, Pennsylvania, United States. pp.CDROM. ⟨hal-00181747⟩

Méthode originale d’analyse des risques des systèmes de transports ferroviaires

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Méthode originale d’analyse des risques des systèmes de transports ferroviaires. Conférence internationale sur des Risques et la Sécurité de l'Internet et des Systèmes_CRiSIS, Jul 2007, Marrakech, Maroc. pp.1-5. ⟨hal-03024362⟩

Proposal of a generic methodology to harmonize Preliminary Hazard Analyses for guided transport

Références bibliographiques : References : Referencias : Mohamed Habib Mazouni, Dominique Bied Charreton, Jean-François Aubry. Proposal of a generic methodology to harmonize Preliminary Hazard Analyses for guided transport. IEEE International Conference on System of Systems Engineering, SoSE'2007, Apr 2007, San Antonio - Texas, United States. pp.CDROM. ⟨hal-00160736⟩

Analyse de la sécurité et facteurs humains dans les transports ferroviaires

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Analyse de la sécurité et facteurs humains dans les transports ferroviaires. 42e Congrès annuel de l’Association Québécoise du Transports et des Routes (AQTR'2007), Apr 2007, Québec, Canada. pp.1-14. ⟨hal-03244690⟩

Présentation d’un projet de recherche "Avis" pour l’aide a l’analyse de la sécurité des transports ferroviaires

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Présentation d’un projet de recherche "Avis" pour l’aide a l’analyse de la sécurité des transports ferroviaires. 7ème Congrès International Pluridisciplinaire en Qualité, Sûreté de fonctionnement et Développement durable_QUALITA, Mar 2007, Tanger, Maroc. pp.1-7. ⟨hal-03024393⟩

Acasya" et "Sautrel" : Deux mécanismes d’apprentissage d’aide au retour d’expérience

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. "Acasya" et "Sautrel" : Deux mécanismes d’apprentissage d’aide au retour d’expérience. 4th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT’2007), Mar 2007, Hammamet, Tunisie. pp.1-7. ⟨hal-03024443⟩

Contribution du raisonnement à partir de cas à l’analyse des effets des erreurs du logiciel. Application à la sécurité des transports ferroviaires

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Contribution du raisonnement à partir de cas à l’analyse des effets des erreurs du logiciel. Application à la sécurité des transports ferroviaires. J. Renaud, B-C. Chebel Morello, B. Fuchs, J. Lieber. Raisonnement à partir de cas, 2 (4), Hermès/Lavoisier, pp.123-148, 2007, Surveillance, diagnostic et maintenance. Traité IC2, Informatique et systèmes d'information, ISBN: 978-2-7462-1550-4. ⟨hal-02422931⟩

Harmonising Safety Management Systems in the European Railway Sector

Références bibliographiques : References : Referencias : El Miloudi El Koursi, Subhabrata Mitra, G. Bearfield. Harmonising Safety Management Systems in the European Railway Sector. Safety Science Monitor, 2007, Vol 11 (Issue 2), 14p. ⟨hal-00543178⟩

Application de la programmation par contraintes à la gestion du trafic d'un noeud ferroviaire

Références bibliographiques : References : Referencias : Joaquin Rodriguez. Application de la programmation par contraintes à la gestion du trafic d'un noeud ferroviaire. 2007, 24p. ⟨hal-00545858⟩

Enhancement of train routing and scheduling at a terminal station with constraints programming and temporal decomposition

Références bibliographiques : References : Referencias : Joaquin Rodriguez. Enhancement of train routing and scheduling at a terminal station with constraints programming and temporal decomposition. 2007, 18p. ⟨hal-00545877⟩

Méthode d’analyse préliminaire des risques

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Méthode d’analyse préliminaire des risques. Congrès LM15, Maîtrise des Risques et sûreté de fonctionnement, Risques et Performances, Oct 2006, Lille, France. pp.1-7. ⟨hal-03024268⟩

Modélisation du comportement humain dans les scénarios d’accidents

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Modélisation du comportement humain dans les scénarios d’accidents. 6e Conférence Francophone de Modélisation et Simulation - MOSIM’06, Apr 2006, Rabat, Maroc. pp.1-9. ⟨hal-03024203⟩

Stability evaluation of a railway timetable at the station level

Références bibliographiques : References : Referencias : Xavier Delorme, Xavier Gandibleux, Joaquin Rodriguez. Stability evaluation of a railway timetable at the station level. 12th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'06), May 2006, Saint-Etienne, France. pp.379-384, ISBN : 978-0-08-044654-7. ⟨hal-00387713⟩

Selecting efficient solutions for the stability evaluation problem of a railway timetable

Références bibliographiques : References : Referencias : Xavier Delorme, Xavier Gandibleux, J. Rodriguez. Selecting efficient solutions for the stability evaluation problem of a railway timetable. 7th International conference on MultiObjective Programming and Goal Programming (MOPGP'06), Jun 2006, Tours, France. ⟨hal-00387723⟩

Méthode et Formalisme de base pour l'Analyse Préliminaire des Risques dans le Transport Ferroviaire

Références bibliographiques : References : Referencias : Mohamed Habib Mazouni, Habib Hadj Mabrouk. Méthode et Formalisme de base pour l'Analyse Préliminaire des Risques dans le Transport Ferroviaire. Sixth International Conference on Sciences and Techniques of Automatic Control, STA'2005, Dec 2005, Sousse, Tunisie. pp.STA05-CM-45. ⟨hal-00160738⟩

Méthode et formalisme de base pour l’analyse préliminaire des risques dans le transport ferroviaire

Références bibliographiques : References : Referencias : Mohamed Habib Mazouni, Habib Hadj-Mabrouk. Méthode et formalisme de base pour l’analyse préliminaire des risques dans le transport ferroviaire. 6e Conférence Internationale des Science et des Techniques de l’Automatique (STA’2005), Dec 2005, Sousse, Tunisie. pp.1-6. ⟨hal-03024172⟩

Contribution des techniques d’intelligence artificielle à l’analyse de la sécurité des transports ferroviaires

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Contribution des techniques d’intelligence artificielle à l’analyse de la sécurité des transports ferroviaires. 6e Conférence Internationale des Science et des Techniques de l’Automatique – STA’2005, Dec 2005, Sousse, Tunisie. pp.1-6. ⟨hal-03024122⟩

Retour d’expérience dans la sécurité des transports ferroviaires

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Retour d’expérience dans la sécurité des transports ferroviaires. Journée d’étude sur l’apport de la recherche et les nouvelles technologies à la sécurité dans les transport_ISSAT, May 2005, Sousse, Tunisie. pp.1-17. ⟨hal-03024232⟩

Analyse des risques d'accident dans les transports ferroviaires

Références bibliographiques : References : Referencias : Mohamed Habib Mazouni, Habib Hadj Mabrouk. Analyse des risques d'accident dans les transports ferroviaires. Apr 2005, laval, Canada. paper MAZOUNI.M.H. ⟨hal-00160741⟩

L’analyse des risques d’accidents dans les transports ferroviaires

Références bibliographiques : References : Referencias : Mohammed Habib Mazouni, Habib Hadj-Mabrouk. L’analyse des risques d’accidents dans les transports ferroviaires. 40e Congrès annuel de l’Association Québécoise du Transports et des Routes (AQTR'2005), Apr 2005, Québec – Laval, Canada. pp.1-9. ⟨hal-03024077⟩

Une heuristique hybride pour le problème de set packing biobjectif

Références bibliographiques : References : Referencias : Xavier Delorme, Xavier Gandibleux, Fabien Degoutin. Une heuristique hybride pour le problème de set packing biobjectif. 6eme congrès de la société française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'05), Feb 2005, Tours, France. ⟨hal-00387757⟩

An ant colony optimization inspired algorithm for the set packing problem with application to railway infrastructure

Références bibliographiques : References : Referencias : Xavier Gandibleux, Julien Jorge, Sébastien Angibaud, Xavier Delorme, Joaquin Rodriguez. An ant colony optimization inspired algorithm for the set packing problem with application to railway infrastructure. 6th Metaheuristics International Conference (MIC 2005), Aug 2005, Vienne, Austria. ⟨hal-00387756⟩

Retour d’expérience dans les transports ferroviaires

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Retour d’expérience dans les transports ferroviaires. Conférence Internationale Francophone d’Automatique (CIFA'2004), Nov 2004, Douze, Tunisie. pp.1-6. ⟨hal-03023993⟩

Rôles et obligations des acteurs impliqués dans la sécurité des transports ferroviaires

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Rôles et obligations des acteurs impliqués dans la sécurité des transports ferroviaires. 14ème Congrès "Lambda Mu", Maîtrise des risques et sûreté de fonctionnement_LM14, IMdR, Institut pour la Maîtrise des Risques, Oct 2004, Bourges, France. pp.1-8. ⟨hal-03027207⟩

Retour d’expérience et facteur humain. Application à la sécurité des transports ferroviaires

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Retour d’expérience et facteur humain. Application à la sécurité des transports ferroviaires. 39e Congrès annuel de l’Association Québécoise du Transports et des Routes (AQTR'2004), Apr 2004, Québec, Canada. pp.1-20. ⟨hal-03023967⟩

GRASP for set packing problems

Références bibliographiques : References : Referencias : Xavier Delorme, Xavier Gandibleux, J. Rodriguez. GRASP for set packing problems. European Journal of Operational Research, 2004, 153 (3), pp.564-580. ⟨10.1016/S0377-2217(03)00263-7⟩. ⟨hal-00543193⟩

DOI : 10.1016/S0377-2217(03)00263-7

Approche d’intégration de l’erreur humaine dans le retour d’expérience. Application au domaine de la sécurité des transports ferroviaires

Références bibliographiques : References : Referencias : A. Hadj-Mabrouk, Habib Hadj-Mabrouk. Approche d’intégration de l’erreur humaine dans le retour d’expérience. Application au domaine de la sécurité des transports ferroviaires. https://collections.univ-gustave-eiffel.fr/ouvrages/inrets/Syntheses/Syntheses_INRETS_S43.pdf. https://collections.univ-gustave-eiffel.fr/ouvrages/inrets/Syntheses/Syntheses_INRETS_S43.pdf, 43, pp.102, 2004, ISBN: 2-85782-586-2. ⟨hal-02397275⟩

Approche d’intégration de l’erreur humaine dans le retour d’expérience. Application au domaine de la sécurité des transports ferroviaires

Références bibliographiques : References : Referencias : A. Hadj-Mabrouk, Habib Hadj-Mabrouk. Approche d’intégration de l’erreur humaine dans le retour d’expérience. Application au domaine de la sécurité des transports ferroviaires. https://collections.univ-gustave-eiffel.fr/ouvrages/inrets/Syntheses/Syntheses_INRETS_S43.pdf. https://collections.univ-gustave-eiffel.fr/ouvrages/inrets/Syntheses/Syntheses_INRETS_S43.pdf, 43, pp.102, 2004, ISBN: 2-85782-586-2. ⟨hal-04549737⟩

Pour une mobilité raisonnée

Références bibliographiques : References : Referencias : Guillaume Uster. Pour une mobilité raisonnée. Pour une mobilité raisonnée, Lgdj, 4p, 2004. ⟨hal-03698229⟩

An Ant Colony Optimisation Algorithm for the Set Packing Problem

Références bibliographiques : References : Referencias : Xavier Gandibleux, Xavier Delorme, Vincent t'Kindt. An Ant Colony Optimisation Algorithm for the Set Packing Problem. M. DORIGO; M. BIRATTARI; C. BLUM; L.M. GAMBARDELLA; F. MONDALA; T. STUTZLE Ant Colony, Optimization and Swarm Intelligence: 4th International Workshop, 2004, 3-540-22672-9. ⟨hal-01620613⟩

Multiagent model using coloured Petri nets for the regulationtraffic of an automated highway,

Références bibliographiques : References : Referencias : Abdel Aitouche, Said Hayat. Multiagent model using coloured Petri nets for the regulationtraffic of an automated highway, . Intelligent Transportation Systems: ITS'2003, IEEE Oct 2003, Shangai, China. ⟨hal-01742503⟩

Traffic regulation of automated highway based on multi agent model

Références bibliographiques : References : Referencias : Abdel Aitouche, Saïd Hayat. Traffic regulation of automated highway based on multi agent model . 16th Int. Conf. on Systems Engineering, ICSE'2003, University of Coventry, Sep 2003, Coventry, United Kingdom. ⟨hal-01742505⟩

Évolution de la réglementation Nationale en matière de sécurité ferroviaire

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk, Ibtisem Triki. Évolution de la réglementation Nationale en matière de sécurité ferroviaire. Annales des Ponts et Chaussees, 2003, Nouvelle série (106), pp.45-59. ⟨hal-02423257⟩

La réglementation Européenne en matière de sécurité ferroviaire

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk, Ibtisem Triki. La réglementation Européenne en matière de sécurité ferroviaire. Revue Generale des Chemins de Fer, 2003, Nouvelle série (106), pp.05-20. ⟨hal-02423262⟩

Apport de la chronobiologie de la vigilance au domaine de la sécurité des transports ferroviaires

Références bibliographiques : References : Referencias : Abderraouf Hadj-Mabrouk, Habib Hadj-Mabrouk, Mohamed Dogui. Apport de la chronobiologie de la vigilance au domaine de la sécurité des transports ferroviaires. Journée spécialisée sur les facteurs de dégradation de la vigilance et insécurité dans les transports, Acte INRETS n°91, Oct 2002, Paris, France. pp.34-47. ⟨hal-03028738⟩

Contribution des techniques d’intelligence artificielle à la capitalisation des analyse de sécurité des systèmes de transports ferroviaires guidés

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Contribution des techniques d’intelligence artificielle à la capitalisation des analyse de sécurité des systèmes de transports ferroviaires guidés. Colloque veille stratégique, la veille dans le secteur public, Mar 2002, Villeneuve d’Ascq, France. 7p. ⟨hal-03028684⟩

B/hdl, an experiment to formalizing hardware by software formals specifications

Références bibliographiques : References : Referencias : Jean--Louis Boulanger, Ammar Aljer, Georges Mariano. B/hdl, an experiment to formalizing hardware by software formals specifications. EDCC4, Fourth European Dependable Computing Conference, 2002. ⟨hal-04490777⟩

Formalization of digital circuits using the B method

Références bibliographiques : References : Referencias : Jean--Louis Boulanger, Ammar Aljer, Georges Mariano. Formalization of digital circuits using the B method. CompRail VIII, Eighth International Conference on Computer Aided Design, Manufacture and Operation in the Railway and Other Advanced Mass Transit Systems, 2002. ⟨hal-04490909⟩

Application de la chronobiologie de la vigilance au domaine de la sécurité des transports ferroviaires

Références bibliographiques : References : Referencias : Abderraouf Hadj-Mabrouk, Habib Hadj-Mabrouk, Mohamed Dogui. Application de la chronobiologie de la vigilance au domaine de la sécurité des transports ferroviaires. Colloque vigilance des conducteurs, pilotes et opérateurs, Nov 2001, Toulouse, France. pp.1-12. ⟨hal-03028085⟩

Chronobiologie de la vigilance : Approche d'application dans le domaine de la sécurité routière

Références bibliographiques : References : Referencias : Abderraouf Hadj-Mabrouk, Habib Hadj-Mabrouk, Mohamed Dogui. Chronobiologie de la vigilance : Approche d'application dans le domaine de la sécurité routière. RTS. Recherche, transports, sécurité, 2001, 73 (4), pp.3-26. ⟨10.1016/s0761-8980(01)90035-4⟩. ⟨hal-02280972⟩

DOI : 10.1016/s0761-8980(01)90035-4

Projet REFERENTIEL : Capitalisation des textes législatifs et réglementaires relatifs à la sécurité des transports Ferroviaires

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Projet REFERENTIEL : Capitalisation des textes législatifs et réglementaires relatifs à la sécurité des transports Ferroviaires. [Rapport de recherche] Etat d'avancement, INRETS - Institut National de Recherche sur les Transports et leur Sécurité. 2001, 72p. ⟨hal-03102603⟩

Sécurité ferroviaire et facteurs humains. Apport de la chronobiologie de la vigilance

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk, Abderraouf Hadj-Mabrouk, Mohamed Dogui. Sécurité ferroviaire et facteurs humains. Apport de la chronobiologie de la vigilance. https://collections.univ-gustave-eiffel.fr/ouvrages/inrets/Syntheses/Syntheses_INRETS_S38.pdf. https://collections.univ-gustave-eiffel.fr/ouvrages/inrets/Syntheses/Syntheses_INRETS_S38.pdf, 38, pp.136, 2001, ISBN : 2-85782-558-7. ⟨hal-02397488⟩

Heuristics for railway infrastructure saturation

Références bibliographiques : References : Referencias : Xavier Delorme, Joaquín Rodriguez, Xavier Gandibleux. Heuristics for railway infrastructure saturation. Electronic Notes in Theoretical Computer Science, 2001, ATMOS 2001, Algorithmic MeThods and Models for Optimization of RailwayS (Satellite Workshop of ICALP 2001), 50 (1), pp.39 - 53. ⟨10.1016/S1571-0661(04)00164-1⟩. ⟨hal-00462018⟩

DOI : 10.1016/S1571-0661(04)00164-1

Conception sure de circuit basée sur la notion de propriété

Références bibliographiques : References : Referencias : Ammar Aljer, Georges Mariano, Jean--Louis Boulanger. Conception sure de circuit basée sur la notion de propriété. 14émes Journées Internationales Génie Logiciel et Ingénierie De Systèmes et leurs Applications, 2001. ⟨hal-04490804⟩

Méthodes, techniques et outils d’apprentissage automatique

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Méthodes, techniques et outils d’apprentissage automatique. Workshop sur les Applications Médicales de l’Intelligence Neuro-Artificielle (AMINA 2000), Nov 2000, Monastir, Tunisie. pp.1-17. ⟨hal-03023929⟩

Législation et réglementation de la sécurité dans les transports publics guidés

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk, Pierre Desfray. Législation et réglementation de la sécurité dans les transports publics guidés. Revue Generale des Chemins de Fer, 2000, RGCF (7), pp.11-23. ⟨hal-02423239⟩

Le concept de scénarios. Application à l’analyse de sécurité des systèmes de transport guidés

Références bibliographiques : References : Referencias : Lassaad Mejri, Habib Hadj-Mabrouk. Le concept de scénarios. Application à l’analyse de sécurité des systèmes de transport guidés. Journée thématique sécurité réseau Inter- Régional de recherche technologique dans les transports terrestres, GRRT, May 2000, Villeneuve d’Ascq, France. pp.1-13. ⟨hal-03028008⟩

Principales normes relatives à la sécurité des systèmes, matériels et logiciels

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Principales normes relatives à la sécurité des systèmes, matériels et logiciels. [Rapport de recherche] n° ESTAS/A-00-07, INRETS - Institut National de Recherche sur les Transports et leur Sécurité. 2000, 35p. ⟨hal-03102539⟩

Méthodes et outils d’aide à l’évaluation des études de sécurité basés sur l’utilisation des techniques d’intelligence artificielle

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Méthodes et outils d’aide à l’évaluation des études de sécurité basés sur l’utilisation des techniques d’intelligence artificielle. Journée PREDIT-ASCOT : Automatismes de sécurité et systèmes de contrôle-commande des transports guidés, Mar 2000, Paris, France. pp.11-13. ⟨hal-03027958⟩

Contribution of case- based reasoning to the software error effect analysis

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk, Myriam Darricau, Lassaad Mejri. Contribution of case- based reasoning to the software error effect analysis. International conference on artificial and computational intelligence for decision, control and automation in engineering and industrial application (ACIDCA’2000), Mar 2000, Hammamet, Tunisia. pp.83-89. ⟨hal-03023863⟩