Mohamed Ghazel

111
Documents

Publications

Publications

Deposit thumbnail

Dynamic Cumulative Human-Like Brake Control Modeling for Autonomous Vehicle Collision Analysis

Ci Liang , Mohamed Ghazel , Wei Zheng , Wei Chen

IEEE Transactions on Vehicular Technology, 2025, 74 (3), pp.3976-3990. ⟨10.1109/TVT.2024.3497583⟩

Article dans une revue hal-04981405v1
Deposit thumbnail

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

Ci Liang , Mohamed Ghazel , Yusheng Ci , Wei Zheng

Journal of Transportation Engineering, Part A: Systems, 2024, 150 (7), 8 p. ⟨10.1061/JTEPBS.TEENG-8250⟩

Article dans une revue hal-04599482v1
Deposit thumbnail

A Dynamic Synchronous Interactive Functional Validation Approach for Electric Vehicles

Ci Liang , Mohamed Ghazel , Chi Xie , Wei Zheng , Wei Chen

IEEE Transactions on Intelligent Vehicles, 2024, pp.1-14. ⟨10.1109/TIV.2024.3393559⟩

Article dans une revue hal-04570328v1

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

Amira Chouchane , Mohamed Ghazel

Automatica, 2024, 162, pp.111513. ⟨10.1016/j.automatica.2024.111513⟩

Article dans une revue hal-04397381v1
Deposit thumbnail

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

Ouail Himrane , Julie Beugin , Mohamed Ghazel

IEEE Open Journal of Intelligent Transportation Systems, 2023, ⟨10.1109/OJITS.2023.3267142⟩

Article dans une revue hal-04070711v1
Deposit thumbnail

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

Florent Peres , Mohamed Ghazel

ACM Transactions on Embedded Computing Systems (TECS), 2023, ⟨10.1145/3581771⟩

Article dans une revue hal-04072931v1
Deposit thumbnail

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

Amira Chouchane , Mohamed Ghazel , Abderraouf Boussif

Automatica, 2023, 147, pp1-13. ⟨10.1016/j.automatica.2022.110689⟩

Article dans une revue hal-03842331v1
Deposit thumbnail

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

Fateh Boudardara , Abderraouf Boussif , Pierre-Jean Meyer , Mohamed Ghazel

IEEE Transactions on Neural Networks and Learning Systems, 2023, pp.1-15. ⟨10.1109/tnnls.2023.3316551⟩

Article dans une revue hal-04235453v1
Deposit thumbnail

A review of abstraction methods towards verifying neural networks

Fateh Boudardara , Abderraouf Boussif , Pierre-Jean Meyer , Mohamed Ghazel

ACM Transactions on Embedded Computing Systems (TECS), 2023, 23 (4), pp.1-19. ⟨10.1145/3617508⟩

Article dans une revue hal-04235472v2

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

Abderraouf Boussif , Mohamed Ghazel

International Journal of Control, Automation and Systems, 2021, 19 (8), pp2842-2858. ⟨10.1007/s12555-020-0100-y⟩

Article dans une revue hal-03300679v1

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

Abderraouf Boussif , Mohamed Ghazel , Kais Klai

Asian Journal of Control, 2021, 23 (2), pp648-660. ⟨10.1002/asjc.2259⟩

Article dans une revue hal-02483169v1
Deposit thumbnail

Advanced model-based risk reasoning on automatic railway level crossings

Ci Liang , Mohamed Ghazel , Olivier Cazier , Laurent Bouillaut

Safety science, 2020, 124, pp1-11. ⟨10.1016/j.ssci.2019.104592⟩

Article dans une revue hal-02461175v1
Deposit thumbnail

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

Abderraouf Boussif , Mohamed Ghazel , João Carlos Basilio

Discrete Event Dynamic Systems, 2020, 30 (3), 44p. ⟨10.1007/s10626-020-00324-y⟩

Article dans une revue hal-02940679v1

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

Parinaz Bazeghi Kisomi , Francis Bedel , Mohamed Ghazel

Revue Générale des Chemins de Fer (RGCF), 2020, 306, pp78-86

Article dans une revue hal-02940747v1

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

Abderraouf Boussif , Mohamed Ghazel

International Journal of Control, Automation and Systems, 2019, 18 (3), pp682-695. ⟨10.1007/s12555-018-0682-9⟩

Article dans une revue hal-02298344v1

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

Baisi Liu , Mohamed Ghazel , Armand Toguyeni

Asian Journal of Control, 2018, 20 (1), 13p. ⟨10.1002/asjc.1508⟩

Article dans une revue hal-01463809v1
Deposit thumbnail

Model-Based Monitoring of a Train Passenger Access System

Abderraouf Boussif , Mohamed Ghazel

IEEE Access, 2018, 6 (1), pp41619-41632. ⟨10.1109/ACCESS.2018.2860966⟩

Article dans une revue hal-01871377v1
Deposit thumbnail

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

Ci Liang , Mohamed Ghazel , Olivier Cazier , El Miloudi El Koursi

Safety science, 2018, 110, pp115-126. ⟨10.1016/j.ssci.2017.12.008⟩

Article dans une revue hal-01757298v1

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

Olivier Cazier , Ci Liang , Mohamed Ghazel

Revue Générale des Chemins de Fer (RGCF), 2018, 281, 9p

Article dans une revue hal-01799972v1

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

Abderraouf Boussif , Mohamed Ghazel , Kais Klai

International Journal of Critical Computer-Based Systems (IJCCBS), 2018, 8 (2), pp141-168. ⟨10.1504/IJCCBS.2018.10011234⟩

Article dans une revue hal-01928797v1

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

Ci Liang , Mohamed Ghazel , Olivier Cazier , El Miloudi El Koursi

Accident Analysis & Prevention, 2017, 108, pp.181-188. ⟨10.1016/j.aap.2017.08.030⟩

Article dans une revue hal-01631543v1
Deposit thumbnail

Developing accident prediction model for railway level crossings

Ci Liang , Mohamed Ghazel , Olivier Cazier , El Miloudi El Koursi

Safety science, 2017, 101, pp48-59. ⟨10.1016/j.ssci.2017.08.013⟩

Article dans une revue hal-01631538v1

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

Mohamed Ghazel

IEEE Transactions on Intelligent Transportation Systems, 2017, 18 (10), 13p. ⟨10.1109/TITS.2017.2657695⟩

Article dans une revue hal-01463858v1
Deposit thumbnail

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

Ci Liang , Mohamed Ghazel

International Journal of Injury Control and Safety Promotion, 2017, 15p. ⟨10.1080/17457300.2017.1416480⟩

Article dans une revue hal-01680200v1

The New Challenges of Rail Security

Zakaryae Boudi , El Miloudi El Koursi , Mohamed Ghazel

Journal of Traffic and Logistics Engineering, 2016, 5p

Article dans une revue hal-01297646v1

A µ calculus formulation of the diagnosability of discrete event systems

Florent Peres , Mohamed Ghazel

International Journal of Critical Computer-Based Systems, 2016, 6 (4), 27p. ⟨10.1504/IJCCBS.2016.081806⟩

Article dans une revue hal-01463704v1

Model-Based Diagnosis of Multi-Track Level Crossing Plants

Baisi Liu , Mohamed Ghazel , Armand Toguyeni

IEEE Transactions on Intelligent Transportation Systems, 2016, 17 (2), p546 - 556. ⟨10.1109/TITS.2015.2478910⟩

Article dans une revue hal-01279254v1

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

Mohamed Ghazel , Jing Yang , El Miloudi El Koursi

Journal of Innovation in Digital Ecosystems, 2015, 2 (1-2), p32-44. ⟨10.1016/j.jides.2015.11.001⟩

Article dans une revue hal-01250680v1

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

Mohamed Ghazel , El Miloudi El Koursi

IEEE Transactions on Intelligent Transportation Systems, 2014, 11p. ⟨10.1109/TITS.2013.2294874⟩

Article dans une revue hal-00984639v1

Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting

Baisi Liu , Mohamed Ghazel , Armand Toguyéni

IFAC Proceedings Volumes, 2014, 47 (3), pp.1784 - 1789. ⟨10.3182/20140824-6-ZA-1003.02336⟩

Article dans une revue hal-01740388v1

Formalizing a subset of ERTMS/ETCS specifications for verification purposes

Mohamed Ghazel

Transportation research. Part C, Emerging technologies, 2014, 42, p60-75. ⟨10.1016/j.trc.2014.02.002⟩

Article dans une revue istex hal-00985704v1

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

Baisi Liu , Mohamed Ghazel , Armand Toguyeni

Journal Européen des Systèmes Automatisés, 2013, 47 (1-3), p227-242. ⟨10.3166/jesa.47.227-242⟩

Article dans une revue istex hal-00909623v1

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

Ahmed Mekki , Mohamed Ghazel , Armand Toguyeni

IEEE Transactions on Intelligent Transportation Systems, 2012, 3 (2), pp.714-723. ⟨10.1109/TITS.2011.2178238⟩

Article dans une revue hal-00801030v1

Assisting Temporal Requirement Specification

Ahmed Mekki , Mohamed Ghazel , Armand Toguyeni

Computer Technology and Application, 2012, 3 (1), pp.47-55

Article dans une revue hal-00801029v1
Deposit thumbnail

A Formal Framework for the Formalization of Informal Requirements

Florent Peres , Jing Yang , Mohamed Ghazel

The International Journal of Soft Computing and Software Engineering, 2012, 2 (8), p14-27. ⟨10.7321/jscse.v2.n8.2⟩

Article dans une revue hal-00852373v1

State Observer for DES Under Partial Observation with Time Petri Nets

Mohamed Ghazel , Armand Toguyeni , Pascal Yim

Discrete Event Dynamic Systems, 2009, 19 (2), pp.137-165. ⟨10.1007/s10626-009-0060-0⟩

Article dans une revue istex hal-00801148v1

Towards safer level crossings: existing recommendations, new applicable technologies and a proposed simulation model

Louahdi Khoudour , Mohamed Ghazel , Fouzia Boukour , Marc Heddebaut , El-Miloudi El-Koursi

European Transport Research Review, 2008, 1 (1), pp.35-45. ⟨10.1007/s12544-008-0004-z⟩

Article dans une revue hal-04614082v1
Deposit thumbnail

Formal Modeling and Verification of Advanced Railway Route Management with Moving Blocks

Araaf Recta , Rim Saddem-Yagoubi , Julie Beugin , Mohamed Ghazel

International Conference on System Reliability and Safety 2025, Nov 2025, Turin, Italy

Communication dans un congrès hal-05471243v1
Deposit thumbnail

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification

Abdelrahman Sayed Sayed , Pierre-Jean Meyer , Mohamed Ghazel

8th International Symposium on AI Verification, Jul 2025, Zagreb, Croatia. pp.97-114, ⟨10.1007/978-3-031-99991-8_5⟩

Communication dans un congrès hal-05076150v2
Deposit thumbnail

Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency

Abdelrahman Sayed Sayed , Pierre-Jean Meyer , Mohamed Ghazel

NeurReps 2025 Workshop on Symmetry and Geometry in Neural Representations, NeurIPS, Dec 2025, San Diego (CA), United States

Communication dans un congrès hal-05331111v2

A Sound Abstraction Method Towards Efficient Neural Networks Verification

Fateh Boudardara , Abderraouf Boussif , Mohamed Ghazel

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⟩

Communication dans un congrès hal-04663758v1
Deposit thumbnail

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

Amira Chouchane , Mohamed Ghazel

WODES'2024 - 17th IFAC Workshop on Discrete Event Systems, Apr 2024, Rio de Janeiro, Brazil

Communication dans un congrès hal-04578239v2
Deposit thumbnail

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

Rim Saddem-Yagoubi , Julie Beugin , Mohamed Ghazel

Verification and Evaluation of Computer and Communication Systems, Belgacem Ben Hedia; Mohamed Ghazel; Bruno Monsuez, Oct 2024, Djerba, Tunisia. ⟨10.1007/978-3-031-85356-2_12⟩

Communication dans un congrès hal-04997909v1
Deposit thumbnail

Monitoring of Neural Network Classifiers using Neuron Activation Paths

Fateh Boudardara , Abderraouf Boussif , Pierre-Jean Meyer , Mohamed Ghazel

International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), Oct 2024, Djerba, Tunisia, Tunisia

Communication dans un congrès hal-04749896v1

Methodology Framework for Modelling ETCS-L3 Moving Block System

Rim Saddem-Yagoubi , Julie Beugin , Mohamed Ghazel

TRA 2022, Transport Research Arena, Nov 2022, Lisbon, Portugal. 6p

Communication dans un congrès hal-03690726v1
Deposit thumbnail

Deep Neural Networks Abstraction using An Interval Weights Based Approach

Fateh Boudardara , Abderraouf Boussif , Pierre-Jean Meyer , Mohamed Ghazel

Confiance.ai Days, Oct 2022, Saclay (92), France

Communication dans un congrès hal-04426163v1

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

Rim Saddem-Yagoubi , Julie Beugin , Mohamed Ghazel

TRISTAN XI, 11th Triennial Symposium on Transportation Analysis conference, Jun 2022, Balaclava, France. 5p

Communication dans un congrès hal-03691793v1

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

Rim Saddem-Yagoubi , Muhammad Usman Sanwal , Simone Libutti , Massimo Benerecetti , Julie Beugin et al.

ESREL 2022, 32nd European Safety and Reliability Conference, Aug 2022, Dublin, France. 8p

Communication dans un congrès hal-03690961v1
Deposit thumbnail

Deep Neural Networks Abstraction using An Interval Weights Based Approach

Fateh Boudardara , Abderraouf Boussif , Mohamed Ghazel , Pierre-Jean Meyer

Confiance.ai Days 2022, Oct 2022, Gif-sur-Yvette, France

Communication dans un congrès hal-04666949v1

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

Rim Saddem-Yagoubi , Julie Beugin , Mohamed Ghazel

RAILWAYS 2022, 5th International Conference on Railway Technology: Research, Development and Maintenance, Aug 2022, Montpellier, France. pp.5P

Communication dans un congrès hal-03691765v1

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

Insaf Sassi , Mohamed Ghazel , El Miloudi El Koursi

European Conference on Safety and Reliability (ESREL2022), Aug 2022, Dublin, France. 8p

Communication dans un congrès hal-03784476v1
Deposit thumbnail

Interval Weight-Based Abstraction for Neural Network Verification

Fateh Boudardara , Abderraouf Boussif , Pierre-Jean Meyer , Mohamed Ghazel

International Conference on Computer Safety, Reliability, and Security, Sep 2022, Munich, Germany. pp.330-342, ⟨10.1007/978-3-031-14862-0_24⟩

Communication dans un congrès hal-04426156v1
Deposit thumbnail

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

Ouail Himrane , Julie Beugin , Mohamed Ghazel

CTS 2021, 16th IFAC Symposium on Control in Transportation Systems, Jun 2021, Lille (virtual), France. pp159-166, ⟨10.1016/j.ifacol.2021.06.049⟩

Communication dans un congrès hal-03366152v1

Safety and Performance analysis of virtually coupled train sets

Siddhartha Verma , Mohamed Ghazel , Marion Berbineau

3rd SmartRaCon Workshop, Sep 2021, Virtual conference, Germany

Communication dans un congrès hal-04666554v1

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

Insaf Sassi , Mohamed Ghazel , El-Miloudi El-Koursi

31st European Safety and Reliability Conference (ESREL 2021), Sep 2021, Angers, France. 9p

Communication dans un congrès hal-03366521v1
Deposit thumbnail

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

Siddhartha Verma , Mohamed Ghazel , Marion Berbineau

CTS 2021, 16th IFAC Symposium on Control in Transportation Systems, Jun 2021, Lille, France. pp179-186, ⟨10.1016/j.ifacol.2021.06.045⟩

Communication dans un congrès hal-03366348v1

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

Ouail Himrane , Julie Beugin , Mohamed Ghazel

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

Communication dans un congrès hal-02998244v1
Deposit thumbnail

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

Ouail Himrane , Julie Beugin , Mohamed Ghazel

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

Communication dans un congrès hal-03480709v1

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

Ouail Himrane , Julie Beugin , Mohamed Ghazel

ESREL 2020 PSAM 15, 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference, Nov 2020, Venise, Italy. 8p

Communication dans un congrès hal-02588814v1

Formalising the Specifications of Onboard Train Integrity System for Verification Purposes

Insaf Sassi , Mohamed Ghazel , El Miloudi El Koursi

2nd SmartRaCon Workshop, Jun 2020, San Sebastian, Spain

Communication dans un congrès hal-04666459v1

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

Abderraouf Boussif , Mohamed Ghazel

CTS 2018, 15th IFAC Symposium on Control in Transportation Systems, Jun 2018, Savona, Italy. 6p

Communication dans un congrès hal-02464751v1

Efficient diagnosability assessment via ILP optimization: a railway benchmark

Francesco Basile , Gianmaria de Tommasi , Claudio Sterle , Abderraouf Boussif , Mohamed Ghazel

IEEE ETFA 2018, 23rd International Conference on Emerging Technologies and Factory Automation, Sep 2018, Torino, Italy. 8p

Communication dans un congrès hal-01877250v1

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

Ci Liang , Mohamed Ghazel , Olivier Cazier

CTS 2018, 15th IFAC Symposium on Control in Transportation Systems, Jun 2018, Savona, Italy. 8p

Communication dans un congrès hal-02464793v1
Deposit thumbnail

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

El Miloudi El Koursi , Virginie Deniau , Sébastien Ambellouis , Mohamed Ghazel , Christophe Gransart et al.

Congrès Lambda Mu 21 « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France

Communication dans un congrès hal-02074285v1
Deposit thumbnail

An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems

Abderraouf Boussif , Baisi Liu , Mohamed Ghazel

DX'17 - 28th International Workshop on Principles of Diagnosis, Sep 2017, Brescia, Italy. p8

Communication dans un congrès hal-01647904v1

A survey of lubrication techniques of railway switches and crossings

Baisi Liu , Mohamed Ghazel , Jonathan Paragreen , Rahi Rahbari

Railway Engineering-2017, Jun 2017, Edinburgh, France. 11p

Communication dans un congrès hal-01685555v1

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

Abderraouf Boussif , Mohamed Ghazel

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⟩

Communication dans un congrès hal-01659407v1

Performance Evaluation Model of Railway Operators Safety Management Systems

Cyril Legrand , Laurent Cebulski , Joffrey Clarhaut , Mohamed Ghazel , Laurent Cauffriez et al.

IRSC 2017, 27th International Railway Safety Council 2017, Oct 2017, Hong Kong, China

Communication dans un congrès hal-03412434v1
Deposit thumbnail

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

Abderraouf Boussif , Mohamed Ghazel , Kais Klai

11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France

Communication dans un congrès hal-01653191v1
Deposit thumbnail

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

Abderraouf Boussif , Mohamed Ghazel

MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France. 15p

Communication dans un congrès hal-01647847v1
Deposit thumbnail

Bayesian Network Modeling Applied on Railway Level Crossing Safety

Ci Liang , Mohamed Ghazel , Olivier Cazier , Laurent Bouillaut , El Miloudi El Koursi

RSSRail 2017 - 2nd International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification, Nov 2017, Pistoia, Italy. 15p

Communication dans un congrès hal-01815714v1

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

Abderraouf Boussif , Mohamed Ghazel

ACC - 2017 American Control Conference, May 2017, Seattle, United States. pp 3860-3867, ⟨10.23919/ACC.2017.7963546⟩

Communication dans un congrès hal-01647001v1
Deposit thumbnail

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

Abderraouf Boussif , Mohamed Ghazel

11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France

Communication dans un congrès hal-01657433v1

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

Mohamed Ghazel , Baisi Liu

13th International Workshop on Discrete Event Systems (WODES 2016), May 2016, Xi'An, China. p177-182, ⟨10.1109/WODES.2016.7497845⟩

Communication dans un congrès hal-01374092v1

Petri net diagnosability analyzer

Baisi Liu , Mohamed Ghazel

11th International Design and Test Symposium - IDT 2016, Dec 2016, Hammamet, Tunisia. 6p

Communication dans un congrès hal-01463870v1

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

Abderraouf Boussif , Baisi Liu , Mohamed Ghazel

13th International Workshop on Discrete Event Systems (WODES 2016), May 2016, Xi'An, China. p237-244, ⟨10.1109/WODES.2016.7497854⟩

Communication dans un congrès hal-01374116v1

Statistical Analysis of Collisions at French Level Crossings

Ci Liang , Mohamed Ghazel , El Miloudi El Koursi , Olivier Cazier

The Third International Conference on Railway Technology: Research, Development and Maintenance, Apr 2016, Cagliari, Italy. 15p

Communication dans un congrès hal-01587715v1
Deposit thumbnail

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

Abderraouf Boussif , Mohamed Ghazel

VECOS 2016 - 10th International Workshop on Verification and Evaluation of Computer and Communication Systems, Oct 2016, Tunis, Tunisia. 11p

Communication dans un congrès hal-01646486v1

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

Abderraouf Boussif , Mohamed Ghazel

ICPHM - 2016 IEEE International Conference on Prognostics and Health Management, Jun 2016, Ottawa, Canada. 6p, ⟨10.1109/ICPHM.2016.7542874⟩

Communication dans un congrès hal-01646340v1
Deposit thumbnail

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

Ci Liang , Mohamed Ghazel , Olivier Cazier , El Miloudi El Koursi

WCTR 2016 - World Conference on Transport Research, Jul 2016, Shanghai, China. pp2167-2181, ⟨10.1016/j.trpro.2017.05.418⟩

Communication dans un congrès hal-02046035v1
Deposit thumbnail

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

Abderraouf Boussif , Mohamed Ghazel , Kais Klai

VECOS 2015 - 9th Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2015, Bucarest, Romania. 11p

Communication dans un congrès hal-01471590v1

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

Abderraouf Boussif , Mohamed Ghazel

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⟩

Communication dans un congrès hal-01472584v1

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

Abderraouf Boussif , Mohamed Ghazel

5th IFAC Workshop on Dependable Control of Discrete Systems, May 2015, Cancun, Mexico. 8p

Communication dans un congrès hal-01471419v1
Deposit thumbnail

Une Approche par Décomposition de Modèles pour l'Analyse de la Diagnosticabilité des SEDs par Model-Checking

Abderraouf Boussif , Mohamed Ghazel

Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France

Communication dans un congrès hal-01224281v1

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

Baisi Liu , Mohamed Ghazel , Armand Toguyeni

13th European Control Conference - ECC'2014, Jun 2014, France. 6p

Communication dans un congrès hal-00999387v1

Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting

Baisi Liu , Mohamed Ghazel , Armand Toguyeni

IFAC World congress - 19th World Congress of the International Federation of Automatic Control, Aug 2014, South Africa. 6p

Communication dans un congrès hal-00999380v1

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

Baisi Liu , Mohamed Ghazel , Armand Toguyéni

2014 European Control Conference (ECC), Jun 2014, Strasbourg, France. ⟨10.1109/ECC.2014.6862505⟩

Communication dans un congrès hal-01740376v1

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

Florent Peres , Mohamed Ghazel

VECOS 2014 - 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2014, Bejaia, France. 12p

Communication dans un congrès hal-01647046v1

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

Baisi Liu , Mohamed Ghazel , Armand Toguyeni

International Workshop Petri Nets for Adaptive Discrete-Event Control Systems, Jun 2014, Tunisia. 16p

Communication dans un congrès hal-00999406v1
Deposit thumbnail

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

Patrick Sondi , Marion Berbineau , Mohamed Kassab , Martine Wahl , Christophe Gransart et al.

TRA - Transport Research Arena, Apr 2014, Paris, France

Communication dans un congrès hal-00985733v1

From Formal Specifications to Efficient Test Scenarios Generation

Jing Yang , Mohamed Ghazel , El Miloudi El Koursi

ICALT, International Conference on Advanced Logistics and Transport, May 2013, Tunisia. 6p, ⟨10.1109/ICAdLT.2013.6568431⟩

Communication dans un congrès hal-00853577v1

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

Khaled Bahloul , François Defossez , Mohamed Ghazel , Simon Collart-Dutilleul

Transport Research Arena Europe 2012, Apr 2012, Athens, Greece. pp.CDROM

Communication dans un congrès hal-00838054v1

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

Khaled Bahloul , François Defossez , Mohamed Ghazel , Simon Collart-Dutilleul

TRA, Transport Research Arena, Apr 2012, France. 10p

Communication dans un congrès hal-00854272v1

A DBMS Framework for Diagnosability Analysis of Discrete Event Systems

Mohamed Ghazel , Florent Peres , Atef Belhaj Alaya , Abderrazak Jemai

DSN 2012, 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2012, France. 2p

Communication dans un congrès hal-00854280v1
Deposit thumbnail

K-diagnosability of labeled Petri nets

Baisi Liu , Mohamed Ghazel , Armand Toguyeni

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

Communication dans un congrès hal-00780283v1

Patterns-Based Assistance for Temporal Requirement Specification

Ahmed Mekki , Mohamed Ghazel , Armand Toguyeni

Software Engineering Research and Practice (SERP2011), Jul 2011, Las Vegas, United States. pp.1-7

Communication dans un congrès hal-00801032v1

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

Ahmed Mekki , Mohamed Ghazel , Armand Toguyeni

8th International Conference of Modeling and Simulation MOSIM'10, May 2010, Hammamet, Tunisia. pp.1-10

Communication dans un congrès hal-00801033v1

Patterns for Temporal Requirements Engineering - A Level Crossing Case Study

Ahmed Mekki , Mohamed Ghazel , Armand Toguyeni

7th International Conference on Informatics in Control, Automation and Robotics, Jun 2010, Funchal, Portugal. pp.45-52

Communication dans un congrès hal-00801135v1

Validating time-constrained systems using UML Statecharts Patterns and Timed Automata Observers

Ahmed Mekki , Mohamed Ghazel , Armand Toguyeni

Third International Workshop on Verification and Evaluation of Computer and Communication Systems, Jul 2009, Rabat, Morocco. pp.112-124

Communication dans un congrès hal-00801584v1
Deposit thumbnail

Vérification formelle d'un système de signalisation ferroviaire à base de cantons mobiles

Rim Saddem-Yagoubi , Julie Beugin , Mohamed Ghazel

14ème colloque sur la Modélisation des Systèmes Réactifs (MSR'23), Nov 2023, Toulouse, France

Poster de conférence hal-05361842v1

Rear-End Collision Risk Analysis for Autonomous Driving

Ci Liang , Mohamed Ghazel , Yusheng Ci , Nour-Eddin El Faouzi , Rui Wang et al.

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 14182, Springer Nature Switzerland, pp.271-282, 2023, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-40953-0_23⟩

Chapitre d'ouvrage hal-04409188v1
Deposit thumbnail

Accident Prediction Modeling Approaches for European Railway Level Crossing Safety

Ci Liang , Mohamed Ghazel

New Research on Railway Engineering and Transport [Working Title], IntechOpen, 2023, ⟨10.5772/intechopen.109865⟩

Chapitre d'ouvrage hal-04409234v1

Timed Specification Patterns for System Validation. A railway case study

Ahmed Mekki , Mohamed Ghazel , Armand Toguyeni

Juan Andrade Cetto, Jean-Louis Ferrier Joaquim Filipe. Informatics in Control, Automation and Robotics, Lecture Notes in Electrical Engineering, Springer Berlin Heidelberg, pp.121-134, 2011, 978-3-642-19538-9. ⟨10.1007/978-3-642-19539-6_8⟩

Chapitre d'ouvrage istex hal-00801031v1
Deposit thumbnail

Deliverable D2.3-Moving Block Verification and Validation

R. Saddem-Yagoubi , Julie Beugin , Mohamed Ghazel , S. Marrone , B. Janssen et al.

Université Gustave Eiffel. 2023

Rapport hal-04488053v1
Deposit thumbnail

Deliverable D2.2-Moving Block Specification Development

S. Marrone , F. Flammini , B. Janssen , R. Saddem-Yagoubi , Julie Beugin et al.

Consorzio interuniversitario nazionale per l’informatica. 2023

Rapport hal-04488013v1
Deposit thumbnail

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

E. Quaglietta , N. Versluis , Julie Beugin , Mohamed Ghazel , D. Kirkwood

Delft University of Technology. 2023

Rapport hal-04487960v1
Deposit thumbnail

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

M. Samra , Julie Beugin , Mohamed Ghazel , S. Marrone , V. Vittorini et al.

University of Birmingham. 2022

Rapport hal-04487942v1
Deposit thumbnail

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

C. Seceleanu , F. Flammini , S. Marrone , F. Mogavero , R. Nardone et al.

Mälardalen University. 2021

Rapport hal-04487984v1

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

David Gouyon , Jean-François Pétin , Florent Peres , Mohamed Ghazel

[Rapport de recherche] CRAN. 2012

Rapport (rapport de recherche) hal-01215744v1

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

David Gouyon , Dragos Dobre , Florent Peres , Jean-François Pétin , Mohamed Ghazel

[Rapport de recherche] CRAN. 2012

Rapport (rapport de recherche) hal-01215741v1