Communications

A Sound Abstraction Method Towards Efficient Neural Networks Verification

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

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

A safety kernel for flexible level crossing management

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

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

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

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

Monitoring of Neural Network Classifiers using Neuron Activation Paths

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

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

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

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

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

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

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

An iterative formal model-driven approach to railway systems validation

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

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

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

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

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

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

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⟩

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⟩

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⟩

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

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

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

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⟩

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⟩

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

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

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⟩

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⟩

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⟩

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

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⟩

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

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

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

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

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

An iterative algorithm for the coordinated train rerouting and rescheduling problem

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

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

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

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

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

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

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

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

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

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

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

A 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⟩

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

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

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

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

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

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

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

Methodology Framework for Modelling ETCS-L3 Moving Block System

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

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

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

DOI : 10.13140/RG.2.2.23703.50088

Safety and Performance analysis of virtually coupled train sets

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

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

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

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

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

DOI : 10.1016/j.ifacol.2021.06.060

A new framework for Mobility Allowance Shuttle Transit (MAST)

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

DOI : 10.13140/RG.2.2.27058.94407

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

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

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⟩

An improved approach for train routing selection in large railway stations

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

Scheduling of Autonomous Electric Vehicles On-Demand

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

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

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

DOI : 10.1016/j.ifacol.2021.06.045

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

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

DOI : 10.1016/j.ifacol.2021.06.046

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

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

DOI : 10.1016/j.ifacol.2021.08.485

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

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

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

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

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

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

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

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

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⟩

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⟩

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

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

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

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

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

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

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

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

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

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

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⟩

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⟩

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⟩

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⟩

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

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⟩

Formal Approach to Dynamic SoS Design

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

DOI : 10.5220/0007730903770384

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

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

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

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

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

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

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⟩

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⟩

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⟩

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

Efficient diagnosability assessment via ILP optimization: a railway benchmark

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

Maintenance on the Railway Network: Disruptions and re-scheduling

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

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

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

Optimiser une gare de triage en temps réel

Références bibliographiques : References : Referencias : Samuel Deleplanque, Paola Pellegrini, Joaquin Rodriguez. Optimiser une gare de triage en temps réel. ROADEF 2018, 19ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2018, Lorient, France. 2p. ⟨hal-01813414v2⟩

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

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

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⟩

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⟩

EGNOS service evaluation in railway environment for safety-critical operations

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

An MDA Approach for the Specification of Relay-Based Diagrams

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

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

Optimization of a railway freight yard in real time

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

Runtime analysis for self-adaptive mutation rates

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

DOI : 10.1145/3205455.3205569

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

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

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⟩

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⟩

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

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

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

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

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

A survey of lubrication techniques of railway switches and crossings

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

Stability of saturated timetables: the influence of buffer times

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

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

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

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

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

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

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

Références bibliographiques : References : Referencias : Marcella Sama, Paola Pellegrini, Andrea d'Ariano, Joaquin Rodriguez, Dario Pacciarelli. Ant Colony Optimization for train routing selection: operational vs tactical application. MT-ITS 2017 - 5th IEEE International Conference on Models and Technologies for Intelligent Transportation Systems, Jun 2017, Naples, Italy. 6p, ⟨10.1109/MTITS.2017.8005684⟩. ⟨hal-01558360⟩

DOI : 10.1109/MTITS.2017.8005684

A decomposition approach for the real time Railway Traffic Management Problem

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

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

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. Diagnosticabilité des Systèmes à Évènements Discrets: Une Nouvelle Variante de l'Approche Diagnostiqueur. MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France. 15p. ⟨hal-01647847⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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 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

Petri net diagnosability analyzer

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

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

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

Timetable Optimization to cope with Railway Infrastructure Maintenance

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

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

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

DOI : 10.1109/WODES.2016.7497854

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

Références bibliographiques : References : Referencias : Julie Beugin, Kiswendsida Abel Ouedraogo, El Miloudi El Koursi, Joffrey Clarhaut, Dominique Renaux, et al.. Pratiques partagées ou divergentes d'allocation de niveaux d'intégrité de sécurité dans le domaine ferroviaire. Lambda-Mu, 20ème Congrès de maîtrise des risques et de sûreté de fonctionneme, Oct 2016, Saint-Malo, France. 8p. ⟨hal-01402466⟩

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⟩

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

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

DOI : 10.1016/j.trpro.2017.05.418

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

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults-A Railway Case-Study.. VECOS 2016 - 10th International Workshop on Verification and Evaluation of Computer and Communication Systems, Oct 2016, Tunis, Tunisia. 11p. ⟨hal-01646486⟩

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

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

DOI : 10.1109/ICPHM.2016.7542874

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⟩

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⟩

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⟩

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⟩

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⟩

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

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⟩

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⟩

Analytical approach for evaluating LTE communication errors in train control application

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

DOI : 10.1109/ICCW.2015.7247535

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

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

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

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

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

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

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

DOI : 10.1109/IESM.2015.7380130

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

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

An Hcpn Pattern for Railway Safety Critical Scenarios Formal Modeling

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

DOI : 10.1115/JRC2015-5687

Parallel verification of temporal properties using dynamic analysis

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

Integrated approach using formal models and simulation environment

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

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

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

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

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

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

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

GaLoROI. Satellite based localization in railways

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

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

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

DOI : 10.1016/j.trpro.2015.09.007

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

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

DOI : 10.1016/j.ifacol.2015.06.184

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

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

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

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⟩

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⟩

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

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

DOI : 10.2495/CR140711

Simulation of an innovative management of freight trains

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

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

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

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⟩

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

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

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

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

Modelling and verification methodology for control systems

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

Causal Analysis Methodology of Multisensor Systems based on GNSS

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

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

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

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

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

Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting

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

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

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

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

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

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 Operative Formulation of the Diagnosability of Discrete Event Systems Using a Single Logical Framework

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

An ontology for the ERTMS/ETCS

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

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⟩

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

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

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

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

Intelligent Framework for Safety Properties Checking of Complex Systems

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

Complex systems renewal: positioning, concepts and architectural issues

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

DOI : 10.3182/20140824-6-ZA-1003.01771

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

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

Real-time railway traffic management through optimisation tools

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

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

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

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

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

High level Petri net modeling For railway safety critical scenarios

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

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

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

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

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

Resilience of metro vehicle to blast events

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

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

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

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

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

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

DOI : 10.1109/ICAdLT.2014.6864092

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⟩

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

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

Dependency Graph for Requirements Structuring based on Guidance Ontology

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

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

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

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⟩

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⟩

Improved Resilience of Metro Vehicle Design to Blast and Fire Events

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

DOI : 10.1109/ICAdLT.2013.6568429

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

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

Configuring a MILP formulation for rail traffic management

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

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

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

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⟩

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⟩

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

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

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

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

Ontology for complex railway systems application to ERTMS/ETCS system

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

From Formal Specifications to Efficient Test Scenarios Generation

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

DOI : 10.1109/ICAdLT.2013.6568431

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

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

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

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

Tropos For Embedded Real-time Control System Modeling and Simulation

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

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⟩

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

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⟩

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⟩

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

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

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

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

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⟩

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

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⟩

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⟩

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

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⟩

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⟩

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

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

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

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

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

Introduction à la sécurité et à l'analyse des risques technologiques et humains

Références bibliographiques : References : Referencias : Habib Hadj Mabrouk. Introduction à la sécurité et à l'analyse des risques technologiques et humains. 3ème Symposium International sur la Maintenance et la Maîtrise des Risques, Apr 2010, Rabat, Maroc. 16p. ⟨hal-00615263⟩

Functioning mode management and formal assessment of safety

Références bibliographiques : References : Referencias : Philippe Bon, Simon Collart-Dutilleul, François Defossez. Functioning mode management and formal assessment of safety. LSS'2010, Jul 2010, Villeneuve d'Acsq, France. pp.CDROM. ⟨hal-00838039⟩

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

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⟩

Introduction à la sécurité et à l'analyse des risques technologiques et humains

Références bibliographiques : References : Referencias : Habib Hadj Mabrouk. Introduction à la sécurité et à l'analyse des risques technologiques et humains. 3ème Symposium International sur la Maintenance et la Maîtrise des Risques, Apr 2010, Rabat, Maroc. 16p. ⟨hal-03244522⟩

Capitalisation et exploitation des connaissances de sécurité

Références bibliographiques : References : Referencias : Habib Hadj Mabrouk. Capitalisation et exploitation des connaissances de sécurité. Lambda Mu 17, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2010, La Rochelle, France. 9p. ⟨hal-03244566⟩

Vers le concept de stabilité humaine pour l'amélioration de la sécurité des transports

Références bibliographiques : References : Referencias : Philippe Richard, Vincent Benard, Frédéric Vanderhaegen, Patrice Caulier. Vers le concept de stabilité humaine pour l'amélioration de la sécurité des transports. Lambda Mu 17, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2010, La Rochelle, France. 7p. ⟨hal-00615226⟩

Prise en compte du risque humain dans le secteur maritime. Application au projet des "autoroutes de la mer

Références bibliographiques : References : Referencias : Amira El-Mabrouk, Habib Hadj-Mabrouk. Prise en compte du risque humain dans le secteur maritime. Application au projet des "autoroutes de la mer". 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement (Lambda Mu'17), Institut pour la Maîtrise des Risques (IMdR), Oct 2010, La Rochelle, France. pp.1-10. ⟨hal-03245034⟩

RECIFE : logiciel pour l'étude de la capacité d'infrastructures ferroviaires

Références bibliographiques : References : Referencias : Xavier Gandibleux, Xavier Delorme, Joaquín Rodriguez. RECIFE : logiciel pour l'étude de la capacité d'infrastructures ferroviaires. 11ème congrès de la société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2010), Feb 2010, Toulouse, France. p111. ⟨hal-00470428⟩

An Evolutionary Multi-objective Approach for Speed Tuning Optimization with Energy Saving in Railway Management

Références bibliographiques : References : Referencias : Rémy Chevrier. An Evolutionary Multi-objective Approach for Speed Tuning Optimization with Energy Saving in Railway Management. IEEE ITSC'2010 Intelligent Transportation Systems Conference, 2010, Madeira, Portugal. pp.279-284. ⟨hal-00465116v2⟩

Capitalisation et exploitation des connaissances de sécurité

Références bibliographiques : References : Referencias : Habib Hadj Mabrouk. Capitalisation et exploitation des connaissances de sécurité. Lambda Mu 17, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2010, La Rochelle, France. 9p. ⟨hal-00615214⟩

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

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⟩

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⟩

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

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩