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
Systems engineering for industrial circular economy: a literature review
Références bibliographiques : References : Referencias : Martin Sautereau, Pascale Marange, Chiara Franciosi, Helmi Ben Rejeb, Peggy Zwolinski, et al.. Systems engineering for industrial circular economy: a literature review. 15th Complex Systems Design & Management conference, CSD&M 2024, Dec 2024, Paris, France. ⟨hal-04829016⟩
Monitoring of Neural Network Classifiers using Neuron Activation Paths
Références bibliographiques : References : Referencias : Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel. Monitoring of Neural Network Classifiers using Neuron Activation Paths. International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), Oct 2024, Djerba, Tunisia, Tunisia. ⟨hal-04749896⟩
An iterative formal model-driven approach to railway systems validation
Références bibliographiques : References : Referencias : Asfand Yar, Akram Idani, Yves Ledru, Simon Collart-Dutilleul, Amel Mammar, et al.. An iterative formal model-driven approach to railway systems validation. 28th International Conference on Engineering of Complex Computer Systems (ICECCS), Jun 2024, Limassol (Chypre), Cyprus. pp.272 - 289, ⟨10.1007/978-3-031-66456-4_15⟩. ⟨hal-04731687⟩
DOI : 10.1007/978-3-031-66456-4_15
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⟩
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⟩
Coordinated train rerouting and rescheduling in large infrastructures
Références bibliographiques : References : Referencias : Xiajie Yi, Grégory Marlière, Paola Pellegrini, Joaquin Rodriguez, Raffaele Pesenti. Coordinated train rerouting and rescheduling in large infrastructures. Transport Research Arena Conference (TRA Lisbon 2022), Nov 2022, Lisbonne, Portugal. pp.319-326, ⟨10.1016/j.trpro.2023.11.410⟩. ⟨hal-04662929⟩
DOI : 10.1016/j.trpro.2023.11.410
New onboard train integrity and train length determination: what are the safety requirements?
Références bibliographiques : References : Referencias : Insaf Sassi, El-Miloudi El-Koursi, Salvatore Danilo Iovino, Nicola Ricevuto. New onboard train integrity and train length determination: what are the safety requirements?. Transport Research Arena (TRA) Conference, Europe, 2023, Lisbone, France. pp.1443 - 1450, ⟨10.1016/j.trpro.2023.11.609⟩. ⟨hal-04483825⟩
DOI : 10.1016/j.trpro.2023.11.609
An iterative algorithm for the coordinated train rerouting and rescheduling problem
Références bibliographiques : References : Referencias : Yi Xiajie, Grégory Marlière, Paola Pellegrini, Joaquín Rodriguez, Raffaele Pesenti. An iterative algorithm for the coordinated train rerouting and rescheduling problem. 4th SmartRaCon Workshop, Oct 2022, San Sebastian, Spain. ⟨hal-04666568⟩
Quantitative Safety Requirements of the New Onboard Train Integrity Function
Références bibliographiques : References : Referencias : Insaf Sassi, El Miloudi El Koursi, Joffrey Clarhaut, Dominique Renaux, Julie Beugin. Quantitative Safety Requirements of the New Onboard Train Integrity Function. 4th SmartRaCon Workshop, Oct 2022, San Sebastian, Spain. ⟨hal-04666557⟩
Argumentaire de sécurité graphique pour l'assurance de sécurité des trains autonomes
Références bibliographiques : References : Referencias : Mohammed Chelouati, Boussif Abderraouf, Julie Beugin, El Miloudi El Koursi. Argumentaire de sécurité graphique pour l'assurance de sécurité des trains autonomes. Congrès Lambda Mu 23 « Innovations et maîtrise des risques pour un avenir durable » - 23e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2022, Paris Saclay, France. ⟨hal-03968250⟩
Deep Neural Networks Abstraction using An Interval Weights Based Approach
Références bibliographiques : References : Referencias : Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel, Pierre-Jean Meyer. Deep Neural Networks Abstraction using An Interval Weights Based Approach. Confiance.ai Days 2022, Oct 2022, Gif-sur-Yvette, France. ⟨hal-04666949⟩
Deep Neural Networks Abstraction using An Interval Weights Based Approach
Références bibliographiques : References : Referencias : Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel. Deep Neural Networks Abstraction using An Interval Weights Based Approach. Confiance.ai Days, Oct 2022, Saclay (92), France. ⟨hal-04426163⟩
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
Meta-heuristic Algorithms for Real-Time Energy Consumption Optimization in Railway Networks
Références bibliographiques : References : Referencias : Federico Naldini, Paola Pellegrini, Joaquin Rodriguez. Meta-heuristic Algorithms for Real-Time Energy Consumption Optimization in Railway Networks. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03596189⟩
Optimal scheduling of an on-demand passenger transport service through electric autonomous vehicles
Références bibliographiques : References : Referencias : Adrien Cambier, Paola Pellegrini, Pierre Hosteins, Joaquin Rodriguez, David de Almeida, et al.. Optimal scheduling of an on-demand passenger transport service through electric autonomous vehicles. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595348⟩
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⟩
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⟩
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⟩
Verification Framework for Moving Block System Safety: application on the Loss of Train Integrity Use Case
Références bibliographiques : References : Referencias : Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel. Verification Framework for Moving Block System Safety: application on the Loss of Train Integrity Use Case. TRISTAN XI, 11th Triennial Symposium on Transportation Analysis conference, Jun 2022, Balaclava, France. 5p. ⟨hal-03691793⟩
Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3: The PERFORMINGRAIL Project
Références bibliographiques : References : Referencias : Rim Saddem-Yagoubi, Muhammad Usman Sanwal, Simone Libutti, Massimo Benerecetti, Julie Beugin, et al.. Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3: The PERFORMINGRAIL Project. ESREL 2022, 32nd European Safety and Reliability Conference, Aug 2022, Dublin, France. 8p. ⟨hal-03690961⟩
A framework for risk-awareness and dynamic risk assessment for autonomous trains
Références bibliographiques : References : Referencias : Mohammed Chelouati, Abderraouf Boussif, Julie Beugin, El-Miloudi El Koursi. A framework for risk-awareness and dynamic risk assessment for autonomous trains. ESREL 2022, 32nd European Safety and Reliability Conference, Aug 2022, Dublin, France. 8p. ⟨hal-03691799⟩
A Formal Modelling Framework for Moving Block Systems in the PERFORMINGRAIL project
Références bibliographiques : References : Referencias : Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel. A Formal Modelling Framework for Moving Block Systems in the PERFORMINGRAIL project. RAILWAYS 2022, 5th International Conference on Railway Technology: Research, Development and Maintenance, Aug 2022, Montpellier, France. pp.5P. ⟨hal-03691765⟩
Statistical Model Checking for On-board Train Integrity Safety and Performance Analysis
Références bibliographiques : References : Referencias : Insaf Sassi, Mohamed Ghazel, El Miloudi El Koursi. Statistical Model Checking for On-board Train Integrity Safety and Performance Analysis. European Conference on Safety and Reliability (ESREL2022), Aug 2022, Dublin, France. 8p. ⟨hal-03784476⟩
Performance Evaluation of a Parallel Ant Colony Optimization for the Real-Time Train Routing Selection Problem in Large Instances
Références bibliographiques : References : Referencias : Bianca Pascariu, Marcella Sama, Paola Pellegrini, Andrea Dariano, Joaquin Rodriguez, et al.. Performance Evaluation of a Parallel Ant Colony Optimization for the Real-Time Train Routing Selection Problem in Large Instances. EVOCOP 2022, 22nd European Conference on Evolutionary Computation in Combinatorial Optimisation, Apr 2022, Séville, Spain. pp46-61, ⟨10.1007/978-3-031-04148-8_4⟩. ⟨hal-03709854⟩
DOI : 10.1007/978-3-031-04148-8_4
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
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⟩
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⟩
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
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
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
Scheduling of Autonomous Electric Vehicles On-Demand
Références bibliographiques : References : Referencias : Ahmed Kadri, Pierre Hosteins, Paola Pellegrini, Joaquin Rodriguez, David de Almeida, et al.. Scheduling of Autonomous Electric Vehicles On-Demand. RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), Nov 2021, Pékin, China. 10p. ⟨hal-03467200⟩
An improved approach for train routing selection in large railway stations
Références bibliographiques : References : Referencias : Bianca Pascariu, Marcella Sama, Paola Pellegrini, Andrea D'ariano, Dario Pacciarelli, et al.. An improved approach for train routing selection in large railway stations. RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), Nov 2021, Pékin, China. ⟨hal-03467243⟩
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⟩
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
Train routing selection problem: Ant colony optimization versus integer linear programming
Références bibliographiques : References : Referencias : Bianca Pascariu, Marcella Sama, Paola Pellegrini, Andrea D'ariano, Dario Pacciarelli, et al.. Train routing selection problem: Ant colony optimization versus integer linear programming. CTS 2021, 16th IFAC Symposium on Control in Transportation Systems, Jun 2021, Lille, France. pp167-172, ⟨10.1016/j.ifacol.2021.06.060⟩. ⟨hal-03288731⟩
DOI : 10.1016/j.ifacol.2021.06.060
Towards a Specified Operational Design Domain for a Safe Remote Driving of Trains
Références bibliographiques : References : Referencias : Abhimanyu Tonk, Abderraouf Boussif, Julie Beugin, Simon Collart-Dutilleul. Towards a Specified Operational Design Domain for a Safe Remote Driving of Trains. ESREL 2021, 31st European Safety And Reliability Conference, Sep 2021, Angers, France. 8p. ⟨hal-03328878⟩
Energy-efficient multi-train operations in railway networks considering traffic perturbations
Références bibliographiques : References : Referencias : Federico Naldini, Paola Pellegrini, Joaquin Rodriguez. Energy-efficient multi-train operations in railway networks considering traffic perturbations. RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), Nov 2021, Pékin, China. 20p. ⟨hal-03467302⟩
Real-Time Optimization of Energy Consumption in Railway Networks
Références bibliographiques : References : Referencias : Federico Naldini, Paola Pellegrini, Joaquin Rodriguez. Real-Time Optimization of Energy Consumption in Railway Networks. EWGT 2021, 24th Euro Working Group on Transportation Meeting, Sep 2021, Aveiro, Portugal. 8p. ⟨hal-03467003⟩
Ant Colony Optimization for Energy-Efficient Train Operations
Références bibliographiques : References : Referencias : Federico Naldini, Paola Pellegrini, Joaquin Rodriguez. Ant Colony Optimization for Energy-Efficient Train Operations. GECCO 2021, Genetic and Evolutionary Computation Conference Companion, Jul 2021, Lille, France. pp75-76, ⟨10.1145/3449726.3459436⟩. ⟨hal-03288839⟩
DOI : 10.1145/3449726.3459436
A two-stage framework for strategic railway timetabling based on multi-objective ant colony optimization
Références bibliographiques : References : Referencias : Nicola Coviello, Giorgio Medeossi, Thomas Nygreen, Paola Pellegrini, Joaquin Rodriguez. A two-stage framework for strategic railway timetabling based on multi-objective ant colony optimization. RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), Nov 2021, Pékin, China. 11p. ⟨hal-03467151⟩
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
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
Réinventer la mobilité avec et pour les habitants du périurbain - Cas de Loos en Gohelle
Références bibliographiques : References : Referencias : Marielle Cuvelier, Guillaume Uster. Réinventer la mobilité avec et pour les habitants du périurbain - Cas de Loos en Gohelle. ATEC ITS France, 47ème Congrès de la mobilité intelligente, Jan 2020, Paris, France. 11p. ⟨hal-02476463⟩
Démonstration de la sécurité opérationnelle de la téléconduite des trains : contexte, méthodologie et défis
Références bibliographiques : References : Referencias : Abderraouf Boussif, Simon Collart-Dutilleul, François Baranowski, Julie Beugin, Walter Schön. Démonstration de la sécurité opérationnelle de la téléconduite des trains : contexte, méthodologie et défis. Lambda Mu 22 - Congrès de maîtrise des risques et de sûreté de fonctionnement, Oct 2020, Le Havre (e-congrès), France. pp.312-320. ⟨hal-03347585⟩
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⟩
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⟩
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⟩
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
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⟩
B-specification of Relay-based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution
Références bibliographiques : References : Referencias : Dalay Israel de Almeida Pereira, David Deharbe, Matthieu Perin, Philippe Bon. B-specification of Relay-based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution. RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Jun 2019, Lille, France. pp242-258, ⟨10.1007/978-3-030-18744-6_16⟩. ⟨hal-02185230⟩
DOI : 10.1007/978-3-030-18744-6_16
Conceptual Modelling of the Dynamic Goal-Oriented Safety Management for Safety Critical Systems
Références bibliographiques : References : Referencias : Sana Debbech, Philippe Bon, Simon Collart-Dutilleul. Conceptual Modelling of the Dynamic Goal-Oriented Safety Management for Safety Critical Systems. ICSOFT 2019, 14th International Conference on Software Technologies, Jul 2019, Prague, France. pp287-297. ⟨hal-02185604⟩
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
Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model
Références bibliographiques : References : Referencias : Dalay Israel de Almeida Pereira, Sana Debbech, Matthieu Perin, Philippe Bon, Simon Collart-Dutilleul. Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model. ER 2019, 38th International Conference on Conceptual Modeling, Nov 2019, Salvador, Brazil. pp.14. ⟨hal-02185284⟩
A new Constraint Based Scheduling model for real-time Railway Traffic Management Problem using conditional Time-Intervals
Références bibliographiques : References : Referencias : Grégory Marliere, Sonia Sobieraj Richard, Paola Pellegrini, Joaquin Rodriguez. A new Constraint Based Scheduling model for real-time Railway Traffic Management Problem using conditional Time-Intervals. Rail Norrköping 2019, 8th International Conference on Railway Operations Modelling and Analysis (ICROMA), Jun 2019, Norrköping, France. 20p. ⟨hal-02179336⟩
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
A separation of concerns approach for the verified modelling of railway signalling rules
Références bibliographiques : References : Referencias : Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon. A separation of concerns approach for the verified modelling of railway signalling rules. RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Jun 2019, Lille, France. pp173-190, ⟨10.1007/978-3-030-18744-6_11⟩. ⟨hal-02043174⟩
DOI : 10.1007/978-3-030-18744-6_11
Towards a tool-based domain specific approach for railway systems modeling and validation
Références bibliographiques : References : Referencias : Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon. Towards a tool-based domain specific approach for railway systems modeling and validation. RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Jun 2019, Lille, France. pp23-40, ⟨10.1007/978-3-030-18744-6_2⟩. ⟨hal-02043192⟩
DOI : 10.1007/978-3-030-18744-6_2
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⟩
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⟩
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
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⟩
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⟩
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
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 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⟩
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⟩
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⟩
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⟩
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 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⟩
Timetable Optimization during Railway Infrastructure Maintenance
Références bibliographiques : References : Referencias : Luis Diego Arenas Pimentel, Paola Pellegrini, Said Hanafi, Joaquin Rodriguez. Timetable Optimization during Railway Infrastructure Maintenance. 7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, Apr 2017, Lille, France. 20p. ⟨hal-01470312⟩
Diagnosticabilité des Systèmes à Évènements Discrets: Une Nouvelle Variante de l'Approche Diagnostiqueur
Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. Diagnosticabilité des Systèmes à Évènements Discrets: Une Nouvelle Variante de l'Approche Diagnostiqueur. MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France. 15p. ⟨hal-01647847⟩
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⟩
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
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
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⟩
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⟩
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⟩
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 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⟩
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⟩
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⟩
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⟩
Statistical Analysis of Collisions at French Level Crossings
Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel, El Miloudi El Koursi, Olivier Cazier. Statistical Analysis of Collisions at French Level Crossings. The Third International Conference on Railway Technology: Research, Development and Maintenance, Apr 2016, Cagliari, Italy. 15p. ⟨hal-01587715⟩
A Twin-Plant Based Approach for Diagnosability Analysis of Intermittent Failure
Références bibliographiques : References : Referencias : Abderraouf Boussif, Baisi Liu, Mohamed Ghazel. A Twin-Plant Based Approach for Diagnosability Analysis of Intermittent Failure. 13th International Workshop on Discrete Event Systems (WODES 2016), May 2016, Xi'An, China. p237-244, ⟨10.1109/WODES.2016.7497854⟩. ⟨hal-01374116⟩
DOI : 10.1109/WODES.2016.7497854
Petri net diagnosability analyzer
Références bibliographiques : References : Referencias : Baisi Liu, Mohamed Ghazel. Petri net diagnosability analyzer. 11th International Design and Test Symposium - IDT 2016, Dec 2016, Hammamet, Tunisia. 6p. ⟨hal-01463870⟩
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⟩
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⟩
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 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
Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults-A Railway Case-Study.
Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults-A Railway Case-Study.. VECOS 2016 - 10th International Workshop on Verification and Evaluation of Computer and Communication Systems, Oct 2016, Tunis, Tunisia. 11p. ⟨hal-01646486⟩
Intermittent Fault Diagnosis of Industrial Systems in a Model-Checking Framework
Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. Intermittent Fault Diagnosis of Industrial Systems in a Model-Checking Framework. ICPHM - 2016 IEEE International Conference on Prognostics and Health Management, Jun 2016, Ottawa, Canada. 6p, ⟨10.1109/ICPHM.2016.7542874⟩. ⟨hal-01646340⟩
DOI : 10.1109/ICPHM.2016.7542874
Risk analysis on level crossings using a causal Bayesian network based approach
Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel, Olivier Cazier, El Miloudi El Koursi. Risk analysis on level crossings using a causal Bayesian network based approach. WCTR 2016 - World Conference on Transport Research, Jul 2016, Shanghai, China. pp2167-2181, ⟨10.1016/j.trpro.2017.05.418⟩. ⟨hal-02046035⟩
DOI : 10.1016/j.trpro.2017.05.418
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⟩
Industrial needs concerning the safety analysis of a French implementation of ERTMS
Références bibliographiques : References : Referencias : Philippe Bon, Simon Collart-Dutilleul. Industrial needs concerning the safety analysis of a French implementation of ERTMS. International Conference on Industrial Engineering and Systems Management, IESM 2015, Oct 2015, Séville, Spain. 1p. ⟨hal-01266942⟩
A 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
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
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⟩
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
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
Model transformation from coloured Petri nets with prioritized transitions to B machines
Références bibliographiques : References : Referencias : Pengfei Sun, Philippe Bon, Simon Collart-Dutilleul. Model transformation from coloured Petri nets with prioritized transitions to B machines. International Conference on Industrial Engineering and Systems Management, IESM 2015, Oct 2015, Séville, Spain. pp19-28. ⟨hal-01266934⟩
Analytical approach for evaluating LTE communication errors in train control application
Références bibliographiques : References : Referencias : Khanh Nguyen, Julie Beugin, Marion Berbineau, Mohamed Kassab. Analytical approach for evaluating LTE communication errors in train control application. 1st IEEE ICCW 2015 Workshop on Dependable Vehicular Communications (DVC), Jun 2015, Londres, France. 6p, ⟨10.1109/ICCW.2015.7247535⟩. ⟨hal-01471483⟩
DOI : 10.1109/ICCW.2015.7247535
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⟩
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⟩
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⟩
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⟩
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
Parallel verification of temporal properties using dynamic analysis
Références bibliographiques : References : Referencias : Antoine Ferlin, Philippe Bon, Simon Collart-Dutilleul, Virginie Wiels. Parallel verification of temporal properties using dynamic analysis. International Conference on Industrial Engineering and System Management (IESM), Oct 2015, Séville, Spain. 10p. ⟨hal-01213652⟩
Integrated approach using formal models and simulation environment
Références bibliographiques : References : Referencias : Simon Collart-Dutilleul, Antoine Ferlin, Philippe Bon. Integrated approach using formal models and simulation environment. International Conference on Industrial Engineering and Systems Management, IESM 2015, Oct 2015, Séville, Spain. 1p. ⟨hal-01266939⟩
Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking
Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking. 5th IFAC Workshop on Dependable Control of Discrete Systems, May 2015, Cancun, Mexico. 8p. ⟨hal-01471419⟩
Optimal Management of Railway Perturbations by Means of an Integrated Support System for Real-Time Traffic Control
Références bibliographiques : References : Referencias : Egidio Quaglietta, Rob Goverde, Thomas Albrecht, Birgit Jaekel, Grégory Marliere, et al.. Optimal Management of Railway Perturbations by Means of an Integrated Support System for Real-Time Traffic Control. 6th International Conference on Railway Operations Modelling and Analysis - RailTokyo2015, ICROR, Mar 2016, Tokyo, Japan. ⟨hal-01263418⟩
Harmonized methodology for Safety Integrity Level allocation in a generic TCMS application
Références bibliographiques : References : Referencias : Kiswendsida Abel Ouedraogo, Julie Beugin, El Miloudi El Koursi, Joffrey Clarhaut, Dominique Renaux, et al.. Harmonized methodology for Safety Integrity Level allocation in a generic TCMS application. ESREL 2015 - European safety and reliability conference, Sep 2015, Zürich, Switzerland. pp.3579-3587. ⟨hal-01471416⟩
GaLoROI. Satellite based localization in railways
Références bibliographiques : References : Referencias : Hansjörg Manz, Eckehard Schnieder, Denis Stein, Max Spindler, Martin Lauer, et al.. GaLoROI. Satellite based localization in railways. IC-ARE'15, International Congress on Advanced Railway Engineering, Mar 2015, Istanbul, Turkey. 8p. ⟨hal-01471398⟩
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⟩
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⟩
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⟩
Checking the European Railways Traffic Management System (ERTMS) operating rules using UML and B method
Références bibliographiques : References : Referencias : Rahma Ben Ayed, Philippe Bon, Simon Collart-Dutilleul. Checking the European Railways Traffic Management System (ERTMS) operating rules using UML and B method. 14th International conference on Railway Engineering Design and Optimization, Jun 2014, Italy. p139-149. ⟨hal-01068376⟩
Study of the implementation of ERTMS with respect to French national ― "non on board rules" using a collaborative methodology based on formal methods and simulation
Références bibliographiques : References : Referencias : Simon Collart-Dutilleul, Philippe Bon, El Miloudi El Koursi, Etienne Lemaire. Study of the implementation of ERTMS with respect to French national ― "non on board rules" using a collaborative methodology based on formal methods and simulation. TRA - Transport Research Arena, Apr 2014, France. 8p. ⟨hal-00998111⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
Modelling and verification methodology for control systems
Références bibliographiques : References : Referencias : Nesrine Darragi, El Miloudi El Koursi, Simon Collart-Dutilleul, Philippe Bon. Modelling and verification methodology for control systems. TRA - Transport Research Arena, Apr 2014, France. 9p. ⟨hal-01060471⟩
Toward an Efficient Approach for Diagnosability Analysis of DES modeled by Labeled Petri Nets
Références bibliographiques : References : Referencias : Baisi Liu, Mohamed Ghazel, Armand Toguyeni. Toward an Efficient Approach for Diagnosability Analysis of DES modeled by Labeled Petri Nets. 13th European Control Conference - ECC'2014, Jun 2014, France. 6p. ⟨hal-00999387⟩
RAMS analysis of GNSS based localisation system for the train control application
Références bibliographiques : References : Referencias : Khanh Nguyen, Julie Beugin, Juliette Marais. RAMS analysis of GNSS based localisation system for the train control application. ComManTel, 2nd International Conference on Computing, Management and Telecommunications, Apr 2014, France. 6p. ⟨hal-01054806⟩
Allocation rules of Safety Integrity Levels in a generic TCMS application
Références bibliographiques : References : Referencias : Abel Ouedraogo, Julie Beugin, El Miloudi El Koursi, Joffrey Clarhaut, Dominique Renaux, et al.. Allocation rules of Safety Integrity Levels in a generic TCMS application. 10th FORMS-FORMAT symposium, Formal Methods for Automation and Safety in Railway and Automotive Systems, Sep 2014, Brunswick, Germany. pp.167-176. ⟨hal-01073402⟩
Architecture Description Language for Cyber Physical Systems Analysis: A Railway Control System Case Study
Références bibliographiques : References : Referencias : Nesrine Darragi, El Miloudi El Koursi, Simon Collart-Dutilleul. Architecture Description Language for Cyber Physical Systems Analysis: A Railway Control System Case Study. 14th International conference on Railway Engineering Design and Optimization (COMPRAIL), Jun 2014, Italy. 14p. ⟨hal-01064202⟩
A formal modeling methodology of the French railway interlocking system via HCPN
Références bibliographiques : References : Referencias : Pengfei Sun, Simon Collart-Dutilleul, Philippe Bon. A formal modeling methodology of the French railway interlocking system via HCPN. 14th International Conference on Railway Engineering Design and Optimization (COMPRAIL 2014), Jun 2014, Rome, Italy. 10p, ⟨10.2495/CR140711⟩. ⟨hal-01265920⟩
DOI : 10.2495/CR140711
Simulation of an innovative management of freight trains
Références bibliographiques : References : Referencias : Grégory Marliere, Paola Pellegrini, Joaquin Rodriguez. Simulation of an innovative management of freight trains. ISTS 2014 - International Symposium of Transport Simulation, Jun 2014, France. 3p. ⟨hal-00993677⟩
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⟩
Intelligent Framework for Safety Properties Checking of Complex Systems
Références bibliographiques : References : Referencias : Nesrine Darragi, El Miloudi El Koursi, Simon Collart-Dutilleul. Intelligent Framework for Safety Properties Checking of Complex Systems. ISTS 2014 - International Symposium of Transport Simulation, Jun 2014, France. 3p. ⟨hal-01062141⟩
From Goal Modeling of Real-time Control System to RT-DEVS Safety Properties Analysis
Références bibliographiques : References : Referencias : Nesrine Darragi, El Miloudi El Koursi, Simon Collart-Dutilleul. From Goal Modeling of Real-time Control System to RT-DEVS Safety Properties Analysis. 12th IFAC - IEEE International Workshop on Discrete Event Systems WODES, May 2014, France. 8p. ⟨hal-01062104⟩
Modélisation et validation formelle des règles d'exploitation ferroviaires
Références bibliographiques : References : Referencias : Rahma Ben Ayed, Simon Collart-Dutilleul, Philippe Bon, Yves Ledru, Akram Idani. Modélisation et validation formelle des règles d'exploitation ferroviaires. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, France. 15p. ⟨hal-01066380⟩
OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets
Références bibliographiques : References : Referencias : Baisi Liu, Mohamed Ghazel, Armand Toguyeni. OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets. International Workshop Petri Nets for Adaptive Discrete-Event Control Systems, Jun 2014, Tunisia. 16p. ⟨hal-00999406⟩
Complex systems renewal: positioning, concepts and architectural issues
Références bibliographiques : References : Referencias : Marc Zolghadri, Florent Couffin, Patrice Leclaire, Simon Collart-Dutilleul. Complex systems renewal: positioning, concepts and architectural issues. IFAC 2014, 19th World Congress of the International Federation of Automatic Control, Aug 2014, Cape Town, South Africa. pp8731-8736, ⟨10.3182/20140824-6-ZA-1003.01771⟩. ⟨hal-01760809⟩
DOI : 10.3182/20140824-6-ZA-1003.01771
Optimization for the real-time railway traffic management: case studies in European networks
Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Sonia Sobieraj, Joaquin Rodriguez. Optimization for the real-time railway traffic management: case studies in European networks. IFORS 2014 - 20th Conference of the International Federation of Operational Research Societies, Jul 2014, Spain. 13p. ⟨hal-01061387⟩
Safety critical software construction using CPN modeling and B method's proof
Références bibliographiques : References : Referencias : Zakaryae Boudi, El Miloudi El Koursi, Simon Collart-Dutilleul. Safety critical software construction using CPN modeling and B method's proof. SESA 2014, Software Engineering and Systems Architecture, Dec 2014, Tétouan, Morocco. 4p. ⟨hal-01263465⟩
High level Petri net modeling For railway safety critical scenarios
Références bibliographiques : References : Referencias : Zakaryae Boudi, El Miloudi El Koursi, Simon Collart-Dutilleul, Moha Khaddour. High level Petri net modeling For railway safety critical scenarios. 10th FORMS-FORMAT symposium, Formal Methods for Automation and Safety in Railway and Automotive Systems, Sep 2014, Braunschweig, Germany. p65-75. ⟨hal-01263459⟩
Real-time railway traffic management through optimisation tools
Références bibliographiques : References : Referencias : Paola Pellegrini, Joaquin Rodriguez, Grégory Marliere, Shaowei Hu, Sonia Sobieraj. Real-time railway traffic management through optimisation tools. 15th conference ROADEF of the French society of operations research et decision aid, Feb 2014, France. 14p. ⟨hal-00990379⟩
Virtual lab based on co-simulation to include impairments of wireless telecommunication such as GSM-R in the evaluation of ERTMS
Références bibliographiques : References : Referencias : Patrick Sondi, Marion Berbineau, Mohamed Kassab, Martine Wahl, Christophe Gransart, et al.. Virtual lab based on co-simulation to include impairments of wireless telecommunication such as GSM-R in the evaluation of ERTMS. TRA - Transport Research Arena, Apr 2014, Paris, France. ⟨hal-00985733⟩
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
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⟩
Tropos For Embedded Real-time Control System Modeling and Simulation
Références bibliographiques : References : Referencias : Nesrine Darragi, Philippe Bon, Simon Collart-Dutilleul, El Miloudi El Koursi. Tropos For Embedded Real-time Control System Modeling and Simulation. 4th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2013), Jul 2013, France. 5p. ⟨hal-01061292⟩
Study of implementation of ERTMS with respect to French national rules using a B centered methodology.
Références bibliographiques : References : Referencias : Philippe Bon, Simon Collart-Dutilleul, Pengfei Sun. Study of implementation of ERTMS with respect to French national rules using a B centered methodology.. the IESM 2013, 5th international conference on industrial engineering and system management, Oct 2013, Morocco. 9p. ⟨hal-00995577⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
Application of a Co-evolutionary Genetic Algorithm to solve the Periodic Railway Timetabling Problem
Références bibliographiques : References : Referencias : Luis Diego Arenas Pimentel, Rémy Chevrier, Clarisse Dhaenens, Said Hanafi, Joaquin Rodriguez. Application of a Co-evolutionary Genetic Algorithm to solve the Periodic Railway Timetabling Problem. IESM 2013, 5th international conference on industrial engineering and system management, Oct 2013, Rabat, Morocco. 10p. ⟨hal-00909588⟩
Sensitivity Assessment to Analyse Dependability of a Multisensor Localisation System based on GNSS
Références bibliographiques : References : Referencias : Cyril Legrand, Julie Beugin, Blaise Conrard, Juliette Marais, Marion Berbineau, et al.. Sensitivity Assessment to Analyse Dependability of a Multisensor Localisation System based on GNSS. ITST 2013, 13th International Conference on ITS telecommunication, Nov 2013, Finland. 7p. ⟨hal-00912709⟩
Ontology for complex railway systems application to ERTMS/ETCS system
Références bibliographiques : References : Referencias : Olimpia Hoinaru, Georges Mariano, Christophe Gransart. Ontology for complex railway systems application to ERTMS/ETCS system. FM-RAIL-BOK Workshop in SEFM’2013 11th International Conference on Software Engineering and Formal Methods, Sep 2013, Spain. 6p. ⟨hal-00912733⟩
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⟩
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⟩
A DBMS Framework for Diagnosability Analysis of Discrete Event Systems
Références bibliographiques : References : Referencias : Mohamed Ghazel, Florent Peres, Atef Belhaj Alaya, Abderrazak Jemai. A DBMS Framework for Diagnosability Analysis of Discrete Event Systems. DSN 2012, 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2012, France. 2p. ⟨hal-00854280⟩
Integrating humans factors in the analysis of the interaction 'Tram- car drivers
Références bibliographiques : References : Referencias : Fatiha Moutchou, Abdelghani Cherkaoui, El Miloudi El Koursi. Integrating humans factors in the analysis of the interaction 'Tram- car drivers'. CETRA 2012, 2nd International Conference on Road and Rail Infrastructure, May 2012, France. 9p. ⟨hal-00853274⟩
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⟩
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
Integration of B activity into a global design process of critical software
Références bibliographiques : References : Referencias : Philippe Bon, Simon Collart-Dutilleul, Dorian Petit. Integration of B activity into a global design process of critical software. Transport Research Arena Europe 2012, Apr 2012, Athens, Greece. pp.CDROM. ⟨hal-00838060⟩
Adding technological solutions for safety improvement at level crossings: a functional specification
Références bibliographiques : References : Referencias : Khaled Bahloul, François Defossez, Mohamed Ghazel, Simon Collart-Dutilleul. Adding technological solutions for safety improvement at level crossings: a functional specification. Transport Research Arena Europe 2012, Apr 2012, Athens, Greece. pp.CDROM. ⟨hal-00838054⟩
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⟩
Multi-objective Evolutionary Algorithm for Speed Tuning Optimization with Energy Saving in Railway: Application and Case Study
Références bibliographiques : References : Referencias : Rémy Chevrier, Grégory Marlière, Bogdan Vulturescu, Joaquin Rodriguez. Multi-objective Evolutionary Algorithm for Speed Tuning Optimization with Energy Saving in Railway: Application and Case Study. RailRome 2011, 2011, Rome, Italy. ⟨inria-00576025⟩
Construction d'une ontologie d'aide au renforcement de la sécurité des systèmes de transport automatisés
Références bibliographiques : References : Referencias : Lassaad Mejri, Ahmed Maalel, Habib Hadj-Mabrouk, Henda Hajjami Ben Ghézala. Construction d'une ontologie d'aide au renforcement de la sécurité des systèmes de transport automatisés. 11ème Conférence internationale francophone sur l'extraction et la gestion des connaissances (EGC'2011), Jun 2011, Sousse, Tunisie. pp.297-298. ⟨hal-03022140⟩
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⟩
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⟩
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⟩
Taking into account of human risk in maritime sector. Application on sea motorways project
Références bibliographiques : References : Referencias : Amira El-Mabrouk, Habib Hadj-Mabrouk. Taking into account of human risk in maritime sector. Application on sea motorways project. 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies_EVER’2010, Mar 2010, Monaco, Monaco. pp.1-11. ⟨hal-03025133⟩
Supporting tool of regulation capitalization and exploitation in railroad safety
Références bibliographiques : References : Referencias : Ahmed Bellaaj, Habib Hadj-Mabrouk. Supporting tool of regulation capitalization and exploitation in railroad safety. 5th International conference and exhibition on ecological vehicles and renewable energies_EVER’2010, Mar 2010, Monaco, Monaco. pp.1-9. ⟨hal-03025265⟩
System based knowledge for the help in exploitation of field data feedback in railroad transport
Références bibliographiques : References : Referencias : Ahmed Maalel, Lassaad Mejri, Henda Ben Ghezela, Habib Hadj-Mabrouk. System based knowledge for the help in exploitation of field data feedback in railroad transport. 5th International conference and exhibition on ecological vehicles and renewable energies_EVER’2010, Mar 2010, Monaco, Monaco. pp.1-6. ⟨hal-03025238⟩
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⟩
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⟩
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⟩
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⟩
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⟩
Prise en compte du risque humain dans le secteur maritime. Application au projet des "autoroutes de la mer
Références bibliographiques : References : Referencias : Amira El-Mabrouk, Habib Hadj-Mabrouk. Prise en compte du risque humain dans le secteur maritime. Application au projet des "autoroutes de la mer". 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement (Lambda Mu'17), Institut pour la Maîtrise des Risques (IMdR), Oct 2010, La Rochelle, France. pp.1-10. ⟨hal-03245034⟩
Vers le concept de stabilité humaine pour l'amélioration de la sécurité des transports
Références bibliographiques : References : Referencias : Philippe Richard, Vincent Benard, Frédéric Vanderhaegen, Patrice Caulier. Vers le concept de stabilité humaine pour l'amélioration de la sécurité des transports. Lambda Mu 17, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2010, La Rochelle, France. 7p. ⟨hal-00615226⟩
Capitalisation et exploitation des connaissances de sécurité
Références bibliographiques : References : Referencias : Habib Hadj Mabrouk. Capitalisation et exploitation des connaissances de sécurité. Lambda Mu 17, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2010, La Rochelle, France. 9p. ⟨hal-03244566⟩
On Optimizing a Demand Responsive Transport with an Evolutionary Multi-Objective Approach
Références bibliographiques : References : Referencias : Rémy Chevrier, Arnaud Liefooghe, Laetitia Jourdan, Clarisse Dhaenens. On Optimizing a Demand Responsive Transport with an Evolutionary Multi-Objective Approach. IEEE Intelligent Transportation Systems Conference, 2010, Madeira, Portugal. pp.575--580. ⟨hal-00469418v2⟩
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⟩
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
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⟩
RECIFE : logiciel pour l'étude de la capacité d'infrastructures ferroviaires
Références bibliographiques : References : Referencias : Xavier Gandibleux, Xavier Delorme, Joaquín Rodriguez. RECIFE : logiciel pour l'étude de la capacité d'infrastructures ferroviaires. 11ème congrès de la société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2010), Feb 2010, Toulouse, France. p111. ⟨hal-00470428⟩
Capitalisation et exploitation des connaissances de sécurité
Références bibliographiques : References : Referencias : Habib Hadj Mabrouk. Capitalisation et exploitation des connaissances de sécurité. Lambda Mu 17, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2010, La Rochelle, France. 9p. ⟨hal-00615214⟩
An Evolutionary Multi-objective Approach for Speed Tuning Optimization with Energy Saving in Railway Management
Références bibliographiques : References : Referencias : Rémy Chevrier. An Evolutionary Multi-objective Approach for Speed Tuning Optimization with Energy Saving in Railway Management. IEEE ITSC'2010 Intelligent Transportation Systems Conference, 2010, Madeira, Portugal. pp.279-284. ⟨hal-00465116v2⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
Stability evaluation of a railway timetable at the station level
Références bibliographiques : References : Referencias : Xavier Delorme, Xavier Gandibleux, Joaquin Rodriguez. Stability evaluation of a railway timetable at the station level. 12th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'06), May 2006, Saint-Etienne, France. pp.379-384, ISBN : 978-0-08-044654-7. ⟨hal-00387713⟩
Selecting efficient solutions for the stability evaluation problem of a railway timetable
Références bibliographiques : References : Referencias : Xavier Delorme, Xavier Gandibleux, J. Rodriguez. Selecting efficient solutions for the stability evaluation problem of a railway timetable. 7th International conference on MultiObjective Programming and Goal Programming (MOPGP'06), Jun 2006, Tours, France. ⟨hal-00387723⟩
Méthode et Formalisme de base pour l'Analyse Préliminaire des Risques dans le Transport Ferroviaire
Références bibliographiques : References : Referencias : Mohamed Habib Mazouni, Habib Hadj Mabrouk. Méthode et Formalisme de base pour l'Analyse Préliminaire des Risques dans le Transport Ferroviaire. Sixth International Conference on Sciences and Techniques of Automatic Control, STA'2005, Dec 2005, Sousse, Tunisie. pp.STA05-CM-45. ⟨hal-00160738⟩
Méthode et formalisme de base pour l’analyse préliminaire des risques dans le transport ferroviaire
Références bibliographiques : References : Referencias : Mohamed Habib Mazouni, Habib Hadj-Mabrouk. Méthode et formalisme de base pour l’analyse préliminaire des risques dans le transport ferroviaire. 6e Conférence Internationale des Science et des Techniques de l’Automatique (STA’2005), Dec 2005, Sousse, Tunisie. pp.1-6. ⟨hal-03024172⟩
Contribution des techniques d’intelligence artificielle à l’analyse de la sécurité des transports ferroviaires
Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Contribution des techniques d’intelligence artificielle à l’analyse de la sécurité des transports ferroviaires. 6e Conférence Internationale des Science et des Techniques de l’Automatique – STA’2005, Dec 2005, Sousse, Tunisie. pp.1-6. ⟨hal-03024122⟩
Retour d’expérience dans la sécurité des transports ferroviaires
Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Retour d’expérience dans la sécurité des transports ferroviaires. Journée d’étude sur l’apport de la recherche et les nouvelles technologies à la sécurité dans les transport_ISSAT, May 2005, Sousse, Tunisie. pp.1-17. ⟨hal-03024232⟩
Analyse des risques d'accident dans les transports ferroviaires
Références bibliographiques : References : Referencias : Mohamed Habib Mazouni, Habib Hadj Mabrouk. Analyse des risques d'accident dans les transports ferroviaires. Apr 2005, laval, Canada. paper MAZOUNI.M.H. ⟨hal-00160741⟩
L’analyse des risques d’accidents dans les transports ferroviaires
Références bibliographiques : References : Referencias : Mohammed Habib Mazouni, Habib Hadj-Mabrouk. L’analyse des risques d’accidents dans les transports ferroviaires. 40e Congrès annuel de l’Association Québécoise du Transports et des Routes (AQTR'2005), Apr 2005, Québec – Laval, Canada. pp.1-9. ⟨hal-03024077⟩
Une heuristique hybride pour le problème de set packing biobjectif
Références bibliographiques : References : Referencias : Xavier Delorme, Xavier Gandibleux, Fabien Degoutin. Une heuristique hybride pour le problème de set packing biobjectif. 6eme congrès de la société française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'05), Feb 2005, Tours, France. ⟨hal-00387757⟩
An ant colony optimization inspired algorithm for the set packing problem with application to railway infrastructure
Références bibliographiques : References : Referencias : Xavier Gandibleux, Julien Jorge, Sébastien Angibaud, Xavier Delorme, Joaquin Rodriguez. An ant colony optimization inspired algorithm for the set packing problem with application to railway infrastructure. 6th Metaheuristics International Conference (MIC 2005), Aug 2005, Vienne, Austria. ⟨hal-00387756⟩
Retour d’expérience dans les transports ferroviaires
Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Retour d’expérience dans les transports ferroviaires. Conférence Internationale Francophone d’Automatique (CIFA'2004), Nov 2004, Douze, Tunisie. pp.1-6. ⟨hal-03023993⟩
Rôles et obligations des acteurs impliqués dans la sécurité des transports ferroviaires
Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Rôles et obligations des acteurs impliqués dans la sécurité des transports ferroviaires. 14ème Congrès "Lambda Mu", Maîtrise des risques et sûreté de fonctionnement_LM14, IMdR, Institut pour la Maîtrise des Risques, Oct 2004, Bourges, France. pp.1-8. ⟨hal-03027207⟩
Retour d’expérience et facteur humain. Application à la sécurité des transports ferroviaires
Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Retour d’expérience et facteur humain. Application à la sécurité des transports ferroviaires. 39e Congrès annuel de l’Association Québécoise du Transports et des Routes (AQTR'2004), Apr 2004, Québec, Canada. pp.1-20. ⟨hal-03023967⟩
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⟩