Publications
Par Date
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
Systems engineering for industrial circular economy: a literature review
Références bibliographiques : References : Referencias : Martin Sautereau, Pascale Marange, Chiara Franciosi, Helmi Ben Rejeb, Peggy Zwolinski, et al.. Systems engineering for industrial circular economy: a literature review. 15th Complex Systems Design & Management conference, CSD&M 2024, Dec 2024, Paris, France. ⟨hal-04829016⟩
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⟩
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⟩
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
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 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⟩
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
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-04752619⟩
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
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
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
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⟩
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⟩
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⟩
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⟩
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
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
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⟩
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⟩
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⟩
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
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
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⟩
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⟩
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
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
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⟩
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⟩
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⟩
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
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⟩
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
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
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
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
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
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⟩
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
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⟩
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⟩
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
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⟩
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
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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
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⟩
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⟩
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
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
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
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
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
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
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 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
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 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
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
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⟩
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⟩
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⟩
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⟩
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
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
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
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⟩
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⟩
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
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
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⟩
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
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⟩
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
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⟩
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
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
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⟩
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⟩
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
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
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⟩
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⟩
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 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
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⟩
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⟩
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⟩
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⟩
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
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⟩
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⟩
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⟩
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⟩
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 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
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 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
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⟩
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
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⟩
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
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⟩
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⟩
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
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⟩
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⟩
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
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
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
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⟩
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
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⟩
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⟩
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⟩
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⟩
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
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
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
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
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
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
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⟩
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⟩
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
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⟩
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⟩
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⟩
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⟩
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
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⟩
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⟩
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⟩
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⟩
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
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
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
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⟩
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
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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
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⟩
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 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⟩
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
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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
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⟩
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⟩
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⟩
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
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⟩
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
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⟩
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⟩
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⟩
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⟩
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⟩
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
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⟩
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
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⟩
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⟩
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⟩
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⟩
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⟩
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
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⟩
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⟩
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
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
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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
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⟩
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
É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 (JESA), 2013, 47 (1-3), p227-242. ⟨10.3166/jesa.47.227-242⟩. ⟨hal-00909623⟩
DOI : 10.3166/jesa.47.227-242
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⟩
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⟩
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⟩
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⟩
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
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
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⟩
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⟩
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⟩
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⟩
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⟩
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
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⟩
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⟩
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 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⟩
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⟩
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⟩
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 (JESA), 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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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-04549737⟩
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⟩
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⟩