Mohamed Ghazel

Documents

Publications

	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
	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
	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 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, ⟨10.1145/3617508⟩ Article dans une revue hal-04235472v1
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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 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 µ 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
	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
	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 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 (JESA), 2013, 47 (1-3), p227-242. ⟨10.3166/jesa.47.227-242⟩ Article dans une revue hal-00909623v1
	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
	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
	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
	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 hal-00801148v1

	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
	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 ESREL 2022, 32nd European Safety and Reliability Conference, Aug 2022, Dublin, France. 8p Communication dans un congrès hal-03690961v1
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	Quels axes pour la sûreté dans les transports terrestres collectifs? El Miloudi El Koursi , Virginie Deniau , Sébastien Ambellouis , Mohamed Ghazel , Christophe Gransart 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 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
	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
	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
	Performance Evaluation Model of Railway Operators Safety Management Systems Cyril Legrand , Laurent Cebulski , Joffrey Clarhaut , Mohamed Ghazel , Laurent Cauffriez IRSC 2017, 27th International Railway Safety Council 2017, Oct 2017, Hong Kong, China Communication dans un congrès hal-03412434v1
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 Workshop on Dependable Control of Discrete Systems, May 2015, Cancun, Mexico. 8p Communication dans un congrès hal-01471419v1
	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 TRA - Transport Research Arena, Apr 2014, Paris, France Communication dans un congrès hal-00985733v1
	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
	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 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
	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 TRA, Transport Research Arena, Apr 2012, France. 10p Communication dans un congrès hal-00854272v1
	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
	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
	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
	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
	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

	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

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

	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 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 hal-01215744v1

Mohamed Ghazel

Publications

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

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

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

A review of abstraction methods towards verifying neural networks

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

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

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

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

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

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

Advanced model-based risk reasoning on automatic railway level crossings

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

Model-Based Monitoring of a Train Passenger Access System

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

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

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

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

Developing accident prediction model for railway level crossings

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

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

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

A µ calculus formulation of the diagnosability of discrete event systems

The New Challenges of Rail Security

Model-Based Diagnosis of Multi-Track Level Crossing Plants

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

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

Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting

Formalizing a subset of ERTMS/ETCS specifications for verification purposes

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

A Formal Framework for the Formalization of Informal Requirements

Assisting Temporal Requirement Specification

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

State Observer for DES Under Partial Observation with Time Petri Nets

Methodology Framework for Modelling ETCS-L3 Moving Block System

Deep Neural Networks Abstraction using An Interval Weights Based Approach

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

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

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

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

Interval Weight-Based Abstraction for Neural Network Verification

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

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

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

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

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

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

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

Efficient diagnosability assessment via ILP optimization: a railway benchmark

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

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

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

Bayesian Network Modeling Applied on Railway Level Crossing Safety

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

An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems

Performance Evaluation Model of Railway Operators Safety Management Systems

A survey of lubrication techniques of railway switches and crossings

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

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

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

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

Statistical Analysis of Collisions at French Level Crossings

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

Petri net diagnosability analyzer

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

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

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

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

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

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

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

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

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

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

Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting

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

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

From Formal Specifications to Efficient Test Scenarios Generation

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