Revues
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
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
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
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 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
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
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
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
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
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⟩
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
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
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
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⟩
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
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
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
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
Complexity of the Multilvel Critical Node Problem
Références bibliographiques : References : Referencias : Adel Nabli, Margarida Carvalho, Pierre Hosteins. Complexity of the Multilvel Critical Node Problem. Journal of Computer and System Sciences, 2022, 127, pp122-145. ⟨10.1016/j.jcss.2022.02.004⟩. ⟨hal-03894879⟩
DOI : 10.1016/j.jcss.2022.02.004
The Connected Critical Node Problem
Références bibliographiques : References : Referencias : Pierre Hosteins, Rosarion Scatamacchia, Andrea Grosso, Roberto Aringhieri. The Connected Critical Node Problem. Theoretical Computer Science, 2022, 923, pp235-255. ⟨10.1016/j.tcs.2022.05.011⟩. ⟨hal-03894777⟩
DOI : 10.1016/j.tcs.2022.05.011
modèle des perturbations dans un réseau de transport collectif
Références bibliographiques : References : Referencias : Said Hayat. modèle des perturbations dans un réseau de transport collectif. revue scientifique internationale management et Ingegneri des systèmes, 2021, MIS : Management et Ingegneri des Systèmes, 15 p. ⟨hal-04498416⟩
Détection de défaillance dans les feux de signalisation ferroviaires
Références bibliographiques : References : Referencias : Saïd Hayat, Yassine Saddiki. Détection de défaillance dans les feux de signalisation ferroviaires. Revue scietifique internationale Managementet Ingeneries des Systmes, 2021, Revue scietifique internationale Managementet Ingeneries des Systmes. ⟨hal-04488118⟩
Approche de détection de défaillance de LEDS dans les feux de signalisation ferroviaires
Références bibliographiques : References : Referencias : Saïd Hayat, Yassine Saddiki. Approche de détection de défaillance de LEDS dans les feux de signalisation ferroviaires. revue scientifique internationale management et Ingegneri des systèmes, 2021, 12 p. ⟨hal-04498491⟩
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
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
From French National Signaling Systems to ERTMS: Considering the Evolution of Track-Side Systems
Références bibliographiques : References : Referencias : Dalay Israel de Almeida Pereira, Ouail Himrane, Philippe Bon, Julie Beugin. From French National Signaling Systems to ERTMS: Considering the Evolution of Track-Side Systems. International Journal of Signal Processing Systems, 2021, 9 (2), pp11-16. ⟨10.18178/ijsps.9.2.11-16⟩. ⟨hal-03275636⟩
DOI : 10.18178/ijsps.9.2.11-16
Analytical redundancy relationship generation on a progressive horizon for fault diagnosis of a labelled Petri net
Références bibliographiques : References : Referencias : Amira Chouchane. Analytical redundancy relationship generation on a progressive horizon for fault diagnosis of a labelled Petri net. IMA Journal of Mathematical Control and Information, 2021, 38 (3), pp908-928. ⟨10.1093/imamci/dnab015⟩. ⟨hal-03338236⟩
DOI : 10.1093/imamci/dnab015
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
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
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
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⟩
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
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
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⟩
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
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
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
Methods for quantitative assessment of passenger flow influence on train dwell time in dense traffic areas
Références bibliographiques : References : Referencias : Selim Cornet, Christine Buisson, François Ramond, Paul Bouvarel, Joaquin Rodriguez. Methods for quantitative assessment of passenger flow influence on train dwell time in dense traffic areas. Transportation Research Part C: Emerging Technologies, 2019, 106, pp344-359. ⟨10.1016/j.trc.2019.05.008⟩. ⟨hal-02958118⟩
DOI : 10.1016/j.trc.2019.05.008
Towards Semantic Interpretation of Goal-Oriented Safety Decisions Based on Foundational Ontology
Références bibliographiques : References : Referencias : Sana Debbech, Philippe Bon, Simon Collart-Dutilleul. Towards Semantic Interpretation of Goal-Oriented Safety Decisions Based on Foundational Ontology. Journal of computers, 2019, 14 (4), pp257-267. ⟨10.17706/jcp.14.4.257-267⟩. ⟨hal-02117685⟩
DOI : 10.17706/jcp.14.4.257-267
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 Framework for the Formal Specification of Relay-Based Systems Based on a b-Method Graph Specification
Références bibliographiques : References : Referencias : Dalay Israel de Almeida Pereira, Matthieu Perin, Philippe Bon, Simon Collart-Dutilleul. A Framework for the Formal Specification of Relay-Based Systems Based on a b-Method Graph Specification. International Journal of Computer and Electrical Engineering (IJCEE), 2019, 11 (1), pp11-19. ⟨10.17706/IJCEE.2019.11.1.11-19⟩. ⟨hal-02091294⟩
DOI : 10.17706/IJCEE.2019.11.1.11-19
A bi-objective model for the single-machine scheduling problem with rejection cost and total tardiness minimization
Références bibliographiques : References : Referencias : Roberto Cordone, Pierre Hosteins. A bi-objective model for the single-machine scheduling problem with rejection cost and total tardiness minimization. Computers and Operations Research, 2019, 102, pp130-140. ⟨10.1016/j.cor.2018.10.006⟩. ⟨hal-01985204⟩
DOI : 10.1016/j.cor.2018.10.006
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
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
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
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
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
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
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
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
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
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
Fault diagnosis of discrete-event systems based on the symbolic observation graph
Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel, Kais Klai. Fault diagnosis of discrete-event systems based on the symbolic observation graph. International Journal of Critical Computer-Based Systems (IJCCBS), 2018, 8 (2), pp141-168. ⟨10.1504/IJCCBS.2018.10011234⟩. ⟨hal-01928797⟩
DOI : 10.1504/IJCCBS.2018.10011234
Design solutions to improve resilience of metro vehicle to blast events
Références bibliographiques : References : Referencias : El Miloudi El Koursi, Jean-Luc Bruyelle, Richard Seddon, Conor O'Neill. Design solutions to improve resilience of metro vehicle to blast events. Transportation Research Part A: Policy and Practice, 2018, 118, pp280-291. ⟨10.1016/j.tra.2018.09.015⟩. ⟨hal-02066672⟩
DOI : 10.1016/j.tra.2018.09.015
Toward an Application Guide for Safety Integrity Level Allocation in Railway Systems
Références bibliographiques : References : Referencias : Kiswendsida Abel Ouedraogo, Julie Beugin, El Miloudi El Koursi, Joffrey Clarhaut, Dominique Renaux, et al.. Toward an Application Guide for Safety Integrity Level Allocation in Railway Systems. Risk Analysis, 2018, 22p. ⟨10.1111/risa.12972⟩. ⟨hal-01709711⟩
DOI : 10.1111/risa.12972
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⟩
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
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
Developing accident prediction model for railway level crossings
Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel, Olivier Cazier, El Miloudi El Koursi. Developing accident prediction model for railway level crossings. Safety science, 2017, 101, pp48-59. ⟨10.1016/j.ssci.2017.08.013⟩. ⟨hal-01631538⟩
DOI : 10.1016/j.ssci.2017.08.013
A 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
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⟩
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
A Control Scheme for Automatic Level Crossings under the ERTMS/ETCS Level 2/3 Operation
Références bibliographiques : References : Referencias : Mohamed Ghazel. A Control Scheme for Automatic Level Crossings under the ERTMS/ETCS Level 2/3 Operation. IEEE Transactions on Intelligent Transportation Systems, 2017, 18 (10), 13p. ⟨10.1109/TITS.2017.2657695⟩. ⟨hal-01463858⟩
DOI : 10.1109/TITS.2017.2657695
A 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
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
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
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⟩
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⟩
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
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
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 µ 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
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
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
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⟩
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
« 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
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⟩
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
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
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 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
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
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
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
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
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
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
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
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⟩
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
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
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
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⟩
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
É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
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⟩
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
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
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
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
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
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
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⟩
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⟩
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
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
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⟩
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
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⟩
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
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⟩
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
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⟩
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⟩
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
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
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
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
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
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⟩
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⟩
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
É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⟩
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
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
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⟩