Mohamed Ghazel

Publications

Article dans une revue (37)

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

Communication dans un congrès (62)

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
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
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
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
ERTMS/ETCS L3: Usable Formal Models for the &quot;Loss of Train Integrity&quot; 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
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
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 Beuginet al. ESREL 2022, 32nd European Safety and Reliability Conference, Aug 2022, Dublin, France. 8p Communication dans un congrès hal-03690961v1
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
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
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
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
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
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
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
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
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
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
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
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
Quels axes pour la sûreté dans les transports terrestres collectifs? El Miloudi El Koursi,Virginie Deniau,Sébastien Ambellouis,Mohamed Ghazel,Christophe Gransartet 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
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 Cauffriezet al. IRSC 2017, 27th International Railway Safety Council 2017, Oct 2017, Hong Kong, China Communication dans un congrès hal-03412434v1
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
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
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
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
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
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 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
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
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
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
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
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
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
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
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
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 Gransartet 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
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

Poster de conférence (1)

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

Ouvrages (1)

Surveillance des systèmes à événements discrets à l'aide des réseaux de Petri temporels Mohamed Ghazel Editions Universitaires Européennes, 160p, 2010, 978-613-1-50009-1 Ouvrages hal-01959360v1

Chapitre d'ouvrage (3)

Rear-End Collision Risk Analysis for Autonomous Driving Ci Liang,Mohamed Ghazel,Yusheng Ci,Nour-Eddin El Faouzi,Rui Wanget 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
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

Rapport (7)

Deliverable D2.2-Moving Block Specification Development S. Marrone,F. Flammini,B. Janssen,R. Saddem-Yagoubi,Julie Beuginet al. Consorzio interuniversitario nazionale per l’informatica. 2023 Rapport hal-04488013v1
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
Deliverable D2.3-Moving Block Verification and Validation R. Saddem-Yagoubi,Julie Beugin,Mohamed Ghazel,S. Marrone,B. Janssenet al. Université Gustave Eiffel. 2023 Rapport hal-04488053v1
Deliverable D1.1-Baseline System Specification and Definition for Moving Block Systems M. Samra,Julie Beugin,Mohamed Ghazel,S. Marrone,V. Vittoriniet al. University of Birmingham. 2022 Rapport hal-04487942v1
Deliverable D2.1-Modelling guidelines and Moving Block Use Cases characterization C. Seceleanu,F. Flammini,S. Marrone,F. Mogavero,R. Nardoneet al. Mälardalen University. 2021 Rapport hal-04487984v1
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
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