Fiche personnelle
Fiche personnelle de GHAZEL Mohamed
Présentation
Fonction : Directeur de recherche (DR2)20, rue Élisée Reclus - BP 70317 - F-59666 Villeneuve d'Ascq Cedex - Bâtiment : Gmohamed.ghazel(at)ifsttar.frTel :03 20 43 83 93Qui contacter en cas d'absence : Sonia SOBIERAJ RICHARD
Affectation : COSYS - ESTAS
Description
Directeur du Laboratoire ESTAS - Campus de Lille
Publications
Revues
CHOUCHANE, Amira, GHAZEL, Mohamed, BOUSSIF, Abderraouf, 2023, K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization, Automatica, 147, Elsevier, pp1-13, DOI: 10.1016/j.automatica.2022.110689
https://doi.org/10.1016/j.automatica.2022.110689
Télécharger le documentBOUSSIF, Abderraouf, GHAZEL, Mohamed, 2021, Tuning the Diagnoser-based Approach for Diagnosability Analysis of Finite Automata, International Journal of Control, Automation and Systems, 19, 8, Springer Verlag, pp2842-2858, DOI: 10.1007/s12555-020-0100-y
https://link.springer.com/article/10.1007/s12555-020-0100-y
Plus d'infosBOUSSIF, Abderraouf, GHAZEL, Mohamed, KLAI, Kais, 2021, A semi-symbolic diagnoser for fault diagnosis of bounded labeled petri nets, Asian Journal of Control, 23, 2, Wiley Blackwell, pp648-660, DOI: 10.1002/asjc.2259
https://onlinelibrary.wiley.com/doi/full/10.1002/asjc.2259
Plus d'infos
https://doi.org/10.1002/asjc.2259BOUSSIF, Abderraouf, GHAZEL, Mohamed, BASILIO, João Carlos, 2020, Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches, Discrete Event Dynamic Systems - Theory and Applications, 30, 3, Springer Sciences+Business Media LLC, 44p, DOI: 10.1007/s10626-020-00324-y
https://link.springer.com/article/10.1007/s10626-020-00324-y
Télécharger le document
https://doi.org/10.1007/s10626-020-00324-yBAZEGHI KISOMI, Parinaz, BEDEL, Francis, GHAZEL, Mohamed, 2020, Système d'aide à la conduite automobile aux passages à niveau, Revue Générale des Chemins de Fer (RGCF), 306, HC editions, pp78-86
https://revue-rgcf.com/en/revues/306/sommaire
Plus d'infosLIANG, Ci, GHAZEL, Mohamed, CAZIER, Olivier, BOUILLAUT, Laurent, 2020, Advanced model-based risk reasoning on automatic railway level crossings, Safety Science, 124, Elsevier, pp1-11, DOI: 10.1016/j.ssci.2019.104592
https://www.sciencedirect.com/science/article/pii/S0925753519322039?utm_campaign=STMJ_75273_AUTH_SERV_PPUB&utm_medium=email&utm_dgroup=Email1Publishing&utm_acid=21557667&SIS_ID=0&dgcid=STMJ_75273_AUTH_SERV_PPUB&CMX_ID=&utm_in=DM643298&utm_source=AC_30&utm_term=Email%201%20Publishing_TLSH
Télécharger le document
https://doi.org/10.1016/j.ssci.2019.104592BOUSSIF, Abderraouf, GHAZEL, Mohamed, 2019, Diagnosability Analysis of Intermittent Faults in Discrete Event Systems Using a Twin-plant Structure, International Journal of Control, Automation and Systems, 18, 3, Springer Verlag ; ICROS - Institute of Control, Robotics and Systems ; KIEE - Korean Institute of Electrical Engineers, pp682-695, DOI: 10.1007/s12555-018-0682-9
https://rdcu.be/bRVqn
Plus d'infos
http://dx.doi.org/10.1007/s12555-018-0682-9
https://link.springer.com/article/10.1007%2Fs12555-018-0682-9BOUSSIF, Abderraouf, GHAZEL, Mohamed, KLAI, Kais, 2018, Fault diagnosis of discrete-event systems based on the symbolic observation graph, International Journal of Critical Computer-Based Systems (IJCCBS), 8, 2, Inderscience Entreprises Ltd, pp141-168, DOI: 10.1504/IJCCBS.2018.10011234
http://www.inderscience.com/offer.php?id=96178
Plus d'infos
https://dx.doi.org/10.1504/IJCCBS.2018.10011234BOUSSIF, Abderraouf, GHAZEL, Mohamed, 2018, Model-Based Monitoring of a Train Passenger Access System, IEEE Access, 6, 1, Institute of Electrical and Electronics Engineers - IEEE, pp41619-41632, DOI: 10.1109/ACCESS.2018.2860966
https://ieeexplore.ieee.org/abstract/document/8423174/
Télécharger le document
https://dx.doi.org/10.1109/ACCESS.2018.2860966CAZIER, Olivier, LIANG, Ci, GHAZEL, Mohamed, 2018, Le projet MORIPAN « Modèle de Risque au Passage à Niveau », Revue Générale des Chemins de Fer (RGCF), 281, HC editions, 9p
https://www.revue-rgcf.com/fr/revues/281/sommaire
Plus d'infosLIANG, Ci, GHAZEL, Mohamed, CAZIER, Olivier, EL KOURSI, El Miloudi, 2018, Analyzing risky behavior of motorists during the closure cycle of railway level crossings, Safety Science, 110, Elsevier, pp115-126, DOI: 10.1016/j.ssci.2017.12.008
https://doi.org/10.1016/j.ssci.2017.12.008
Télécharger le document
https://www.sciencedirect.com/science/journal/09257535LIU, Baisi, GHAZEL, Mohamed, TOGUYENI, Armand, 2018, On-the-Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets, Asian Journal of Control, 20, 1, Wiley Blackwell, 13p, DOI: 10.1002/asjc.1508
http://onlinelibrary.wiley.com/journal/10.1002
Plus d'infos
http://dx.doi.org/10.1002/asjc.1508LIANG, Ci, GHAZEL, Mohamed, 2017, A risk assessment study on accidents at French level crossings using Bayesian belief networks, International Journal of Injury Control and Safety Promotion, Taylor & Francis Ltd, pp162-172, DOI: 10.1080/17457300.2017.1416480
http://www.tandfonline.com/doi/full/10.1080/17457300.2017.1416480
Télécharger le document
https://doi.org/10.1080/17457300.2017.1416480LIANG, Ci, GHAZEL, Mohamed, CAZIER, Olivier, EL KOURSI, El Miloudi, 2017, Developing accident prediction model for railway level crossings, Safety science, 101, Elsevier, pp48-59, DOI: 10.1016/j.ssci.2017.08.013
http://www.sciencedirect.com/science/article/pii/S092575351630666X
Télécharger le document
https://doi.org/10.1016/j.ssci.2017.08.013LIANG, Ci, GHAZEL, Mohamed, CAZIER, Olivier, EL KOURSI, El Miloudi, 2017, A new insight on the risky behavior of motorists at railway level crossings: An observational field study, Accident Analysis and Prevention, 108, Elsevier, pp181-188, DOI: 10.1016/j.aap.2017.08.030
http://www.sciencedirect.com/science/article/pii/S000145751730310X
Plus d'infos
https://doi.org/10.1016/j.aap.2017.08.030GHAZEL, Mohamed, 2017, A Control Scheme for Automatic Level Crossings under the ERTMS/ETCS Level 2/3 Operation, IEEE transactions on Intelligent Transportation Systems, 18, 10, Institute of Electrical and Electronics Engineers - IEEE, 13p, DOI: 10.1109/TITS.2017.2657695
https://doi.org/10.1109/TITS.2017.2657695
Plus d'infos
http://ieeexplore.ieee.org/document/7850991/PERES, Florent, GHAZEL, Mohamed, 2016, A µ calculus formulation of the diagnosability of discrete event systems, International Journal of Critical Computer-Based Systems, 6, 4, Inderscience Entreprises Ltd, 27p, DOI: 10.1504/IJCCBS.2016.081806
http://dx.doi.org/10.1504/IJCCBS.2016.081806
Plus d'infos
http://www.inderscienceonline.com/loi/ijccbsBOUDI, Zakaryae, EL KOURSI, El Miloudi, GHAZEL, Mohamed, 2016, The New Challenges of Rail Security, Journal of Traffic and Logistics Engineering, JTLE, 5p
http://www.jtle.net/
Télécharger le document
http://www.jtle.net/index.php?m=content&c=index&a=show&catid=43&id=161LIU, Baisi, GHAZEL, Mohamed, TOGUYENI, Armand, 2016, Model-Based Diagnosis of Multi-Track Level Crossing Plants , IEEE Transactions on Intelligent Transportation Systems, 17, 2, INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS - IEEE, p546 - 556, DOI: 10.1109/TITS.2015.2478910
http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979
Plus d'infos
http://dx.doi.org/10.1109/TITS.2015.2478910GHAZEL, Mohamed, YANG, Jing, EL KOURSI, El Miloudi, 2015, A pattern-based method for refining and formalizing informal specifications in critical control systems, Journal of Innovation in Digital Ecosystems, 2, 1-2, ELSEVIER, p32-44, DOI: 10.1016/j.jides.2015.11.001
http://www.sciencedirect.com/science/journal/aip/23526645
Plus d'infos
http://www.sciencedirect.com/science/article/pii/S2352664515000188GHAZEL, Mohamed, 2014, Formalizing a subset of ERTMS/ETCS specifications for verification purposes, Transportation research - Part C : Emerging technologies, 42, ELSEVIER, p60-75, DOI: 10.1016/j.trc.2014.02.002
http://www.sciencedirect.com/science/journal/0968090X
Plus d'infos
http://dx.doi.org/10.1016/j.trc.2014.02.002
0968-090XGHAZEL, Mohamed, EL KOURSI, El Miloudi, 2014, Two-Half-Barrier Level Crossings Versus Four-Half-Barrier Level Crossings: A Comparative Risk Analysis Study, IEEE Transactions on Intelligent Transportation Systems, Vol5, issue4, INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS - IEEE, p1123 - 1133, DOI: 10.1109/TITS.2013.2294874
http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979
Plus d'infos
http://dx.doi.org/10.1109/TITS.2013.2294874LIU, Baisi ; GHAZEL, Mohamed ; TOGUYENI, Armand , 2013 , Évaluation à la Volée de la Diagnosticabilité des Systèmes à Événements Discrets Temporisés , Journal Européen des Systèmes Automatisés , 47 , 1-3 , HERMES-LAVOISIER , p227-242 , DOI: 10.3166/jesa.47.227-242
http://jesa.revuesonline.com/accueil.jsp
Plus d'infosPERES, Florent ; YANG, Jing ; GHAZEL, Mohamed , 2012 , A Formal Framework for the Formalization of Informal Requirements , The International Journal of Soft Computing and Software Engineering , 2 , 8 , p14-27 , DOI: 10.7321/jscse.v2.n8.2
http://www.jscse.com/papers/vol2.no8/vol2.no8.2.pdf
Télécharger le documentMEKKI,A ; GHAZEL,M ; TOGUYENI,A , 2012 , Assisting Temporal Requirement Specification , Computer Technology and Application (CTA) Journal , David publishing , 10p
Plus d'infosMEKKI, A ; GHAZEL, M ; TOGUYENI, A , 2012 , Validation of a New Functional Design of an Automatic Protection System at Level-Crossing with Model-Checking Techniques , IEEE Transactions on Intelligent Transportation Systems , Vol13,issue 2 , IEEE , p714 - 723
http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979
Plus d'infosMEKKI,A ; GHAZEL,M ; TOGUYENI,A , 2011 , Timed Specification Patterns for System Validation. A railway case study , LNEE, Lecture Notes in Electrical Engineering , Vol 89, Part 2 , Springer , p121-134 , DOI: 10.1007/978-3-642-19539-6_8
Plus d'infosGHAZEL, M, 2009, Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment, IEEE Transactions on Intelligent Transportation Systems, 10, 4, IEEE, p668-677, DOI: 10.1109/TITS.2009.2026310
http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979
Plus d'infosGHAZEL,M ; TOGUYENI,A ; YIM,P, 2009, State Observer for DES Under Partial Observation with Time Petri Nets, Discrete Event Dynamic Systems Journal, Vol 19, N2, Springer, p137-165, DOI:10.1007/s10626-009-0060-0
http://www.springer.com/mathematics/applications/journal/10626
Plus d'infosKHOUDOUR,L ; GHAZEL,M ; HEDDEBAUT,M ; EL-KOURSI,EM , 2008 , Sécurité aux intéractions route/rail : le cas des passages à niveau , TEC, Transport Environnement Circulation , 200 , ATEC , p34-39
Plus d'infosKHOUDOUR,L ; GHAZEL,M ; BOUKOUR,F ; HEDDEBAUT,M ; EL-KOURSI,EM , 2008 , Towards safer level crossings: existing recommendations, new applicable technologies and a proposed simulation model , European Transport Research Review , 1 , Springer , 11p
http://www.springerlink.com/content/r1622854332x8733/
Plus d'infos
DOI :10.1007/s12544-008-0004-zOuvrages - Chapitres d'ouvrage
GHAZEL, Mohamed, 2021, IFAC CTS'2021, 16th IFAC Symposium On Control in Transportation Systems CTS, Lille, France, 8-10 juin 2021, Proceedings, IFAC-PapersOnLine, 54, 2, Elsevier, pp1-360
https://www.sciencedirect.com/journal/ifac-papersonline/vol/54/issue/2
Plus d'infos
https://cts2021.univ-gustave-eiffel.fr/
https://ifac.papercept.net/conferences/conferences/CTS21/program/GHAZEL, Mohamed, JMAIEL, Mohamed, 2018, Modelling and verification: Performance evaluation and test: part 2, International Journal of Critical Computer Based Systems, 8, 3/4, Inderscience Entreprises Ltd, pp231-233
Télécharger le documentGHAZEL,M , 2011 , Monitoring and Diagnosis of Discrete Event Systems using Time Petri Nets : a Railway Case Study , Fault Detection: Theory, Methods and Systems, SIMON,L (ED) , Nova Science Publishers , p69-95
Plus d'infosGHAZEL, Mohamed, 2010, Surveillance des systèmes à événements discrets à l'aide des réseaux de Petri temporels, EUE Editions Universitaires Européennes, Editions Universitaires Européennes, 160p
Plus d'infosPapiers conférences
SASSI, Insaf, GHAZEL, Mohamed, EL KOURSI, El Miloudi, 2022, Statistical Model Checking for On-board Train Integrity Safety and Performance Analysis, European Conference on Safety and Reliability (ESREL2022), Dublin, IRELANDE, 2022-08-28, 8p
Plus d'infosBOUDARDARA, Fateh, BOUSSIF, Abderraouf, MEYER, Pierre-Jean, GHAZEL, Mohamed, 2022, Interval Weight-Based Abstraction for Neural Network Verification, Lecture Notes in Computer Science, Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops (WAISE2022), Munich, ALLEMAGNE, 2022-09-06, 13415, 330-342, DOI: 10.1007/978-3-031-14862-0_24
https://link.springer.com/chapter/10.1007/978-3-031-14862-0_24
Plus d'infos
https://doi.org/10.1007/978-3-031-14862-0_24SADDEM-YAGOUBI, Rim, BEUGIN, Julie, GHAZEL, Mohamed, 2022, Verification Framework for Moving Block System Safety: application on the Loss of Train Integrity Use Case, TRISTAN XI, 11th Triennial Symposium on Transportation Analysis conference, Balaclava, MAURICE, 2022-06-19, 5p
Plus d'infosSADDEM-YAGOUBI, Rim, BEUGIN, Julie, GHAZEL, Mohamed, 2022, A Formal Modelling Framework for Moving Block Systems in the PERFORMINGRAIL project, RAILWAYS 2022, 5th International Conference on Railway Technology: Research, Development and Maintenance, Montpellier, FRANCE, 2022-08-22, 5P
Plus d'infosSADDEM-YAGOUBI, Rim, SANWAL, Muhammad Usman, LIBUTTI, Simone, BENERECETTI, Massimo, BEUGIN, Julie, FLAMMINI, Francesco, GHAZEL, Mohamed, JANSSEN, Bob, MARRONE, Stefano, MOGAVERO, Fabio, NARDONE, Roberto, PERON, Adriano, SECELEANU, Cristina, VITTORINI, Valeria, 2022, Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3: The PERFORMINGRAIL Project, ESREL 2022, 32nd European Safety and Reliability Conference, Dublin, IRELANDE, 2022-08-28, pp2143-2150
Plus d'infosSADDEM-YAGOUBI, Rim, BEUGIN, Julie, GHAZEL, Mohamed, 2022, Methodology Framework for Modelling ETCS-L3 Moving Block System, TRA 2022, Transport Research Arena, Lisbon, PORTUGAL, 2022-11-14, 6p
Plus d'infosSASSI, Insaf, GHAZEL, Mohamed, EL-KOURSI, El-Miloudi, 2021, Formal modeling of a new On-board Train integrity System ETCS Compliant, ESREL 2021, 31st European Safety and Reliability Conference, Angers, FRANCE, 2021-09-19, 9p
https://easychair.org/smart-program/ESREL2021/
Plus d'infosHIMRANE, Ouail, BEUGIN, Julie, GHAZEL, Mohamed, 2021, Toward Formal Safety and Performance Evaluation of GNSS-based Railway Localisation Function, IFAC-PapersOnLine, CTS 2021, 16th IFAC Symposium on Control in Transportation Systems, Lille, FRANCE, 2021-06-08, 54, 2, Elsevier, pp159-166, DOI: 10.1016/j.ifacol.2021.06.049
https://www.sciencedirect.com/science/article/pii/S2405896321004973
Télécharger le document
https://doi.org/10.1016/j.ifacol.2021.06.049VERMA, Siddhartha, GHAZEL, Mohamed, BERBINEAU, Marion, 2021, Model-based dependability evaluation of a Wireless Communication System in a Virtually Coupled Train Set, IFAC-PapersOnLine, CTS 2021, 16th IFAC Symposium on Control in Transportation Systems, Lille, FRANCE, 2021-06-08, 54, 2, Elsevier, pp179-186, DOI: 10.1016/j.ifacol.2021.06.045
https://www.sciencedirect.com/science/article/pii/S2405896321004882?via%3Dihub
Télécharger le document
https://doi.org/10.1016/j.ifacol.2021.06.045HIMRANE, Ouail, BEUGIN, Julie, GHAZEL, Mohamed, 2020, Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS, Lambda Mu 22, 22e Congrès de maîtrise des risques et de sûreté de fonctionnement. Les risques au coeur des transitions (e-congrès), Le Havre, FRANCE, 2020-10-12, 10p
https://www.imdr-lm22.fr/
Télécharger le document
https://hal.archives-ouvertes.fr/hal-03480709HIMRANE , Ouail, BEUGIN, Julie, GHAZEL, Mohamed, 2020, Towards a Model-Based Safety Assessment of Railway Operation Using GNSS Localization, ESREL'20 - PSAM 15, 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference, Venise, ITALIE, 2020-11-01, 8p
https://www.esrel2020-psam15.org/
Plus d'infosLIANG, Ci, GHAZEL, Mohamed, CAZIER, Olivier, 2018, Using Bayesian Networks for the Purpose of Risk Analysis at Railway Level Crossings, CTS'18, 15th IFAC Symposium on Control in Transportation Systems, Savona, ITALIE, 2018-06-06, 8p
Plus d'infosBOUSSIF, Abderraouf, GHAZEL, Mohamed, 2018, A Diagnosis Study on a Train Passenger Access System using Petri Net Models, CTS '18, 15th IFAC Symposium on Control in Transportation Systems, Savona, ITALIE, 2018-06-06, 6p
Plus d'infosEL KOURSI, El Miloudi, DENIAU, Virginie, AMBELLOUIS, Sébastien, GHAZEL, Mohamed, GRANSART, Christophe, HAYAT, Saïd, HEDDEBAUT, Marc, MEURIE, Cyril, PERIN, Mathieu, 2018, Quels axes pour la sûreté dans les transports terrestres collectifs ?, Congrès Lambda Mu 21, Maîtrise des risques et transformation numérique : opportunités et menaces, Reims, France, 2018-10-16, 16 p
https://hal.archives-ouvertes.fr/hal-02074285
Télécharger le document
https://hal.archives-ouvertes.fr/hal-02074285/file/lm21_com_6A_4_181_El Koursi.pdfBASILE, Francesco, DE TOMMASI, Gianmaria, STERLE, Claudio, BOUSSIF, Abderraouf, GHAZEL, Mohamed, 2018, Efficient diagnosability assessment via ILP optimization: a railway benchmark, IEEE ETFA 2018, 23rd International Conference on Emerging Technologies and Factory Automation, Torino, ITALIE, 2018-09-04, 8p
Plus d'infosLIANG, Ci, GHAZEL, Mohamed, CAZIER, Olivier, BOUILLAUT, Laurent, EL KOURSI, El Miloudi, 2017, Bayesian Network Modeling Applied on Railway Level Crossing Safety, RSSRail 2017 - 2nd International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification, Pistoia, ITALIE, 2017-11-14, Springer Verlag, 15p
Télécharger le documentBOUSSIF, Abderraouf, GHAZEL, Mohamed, 2017, DIAG-IPF: A Software Tool for Fault Diagnosis of Discrete Event Systems, MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, Marseille, FRANCE, 2017-11-15, 2p
Télécharger le documentBOUSSIF, Abderraouf, GHAZEL, Mohamed, KLAI, Kais, 2017, DPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser, MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, Marseille, FRANCE, 2017-11-15, 14p
Télécharger le documentBOUSSIF, Abderraouf, GHAZEL, Mohamed, 2017, Diagnosticabilité des Systèmes à Évènements Discrets: Une Nouvelle Variante de l'Approche Diagnostiqueur, MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, Marseille, FRANCE, 2017-11-15, 15p
Télécharger le documentBOUSSIF, Abderraouf, LIU, Baisi, GHAZEL, Mohamed, 2017, An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems, DX'17 - 28th International Workshop on Principles of Diagnosis, Brescia, ITALIE, 2017-09-26, p8
Télécharger le documentBOUSSIF, Abderraouf, GHAZEL, Mohamed, 2017, An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study, Lecture Notes in Computer Science, VECOS 2017 - 11th International Conference on Verification and Evaluation of Computer and Communication Systems, Montreal, CANADA, 2017-08-24, Lecture notes in computer science, 10466, Springer International Publishing, pp 92-107, DOI: 10.1007/978-3-319-66176-6_7
https://doi.org/10.1007/978-3-319-66176-6_7
Plus d'infos
http://madis-collection.ifsttar.fr/cd/vecos/2017%20-%20VECOS/VeCOS2017_Proceedings.pdfBOUSSIF, Abderraouf, GHAZEL, Mohamed, 2017, A Diagnoser-Based Approach for Intermittent Fault Diagnosis of Discrete-Event Systems, ACC - 2017 American Control Conference, Seattle, ETATS-UNIS, 2017-05-24, Institute of Electrical and Electronics Engineers - IEEE, pp 3860-3867, DOI: 10.23919/ACC.2017.7963546
http://ieeexplore.ieee.org/document/7963546/
Plus d'infos
http://dx.doi.org/10.23919/ACC.2017.7963546LIU, Baisi, GHAZEL, Mohamed, PARAGREEN, Jonathan, RAHBARI, Rahi, 2017, A survey of lubrication techniques of railway switches and crossings, Railway Engineering-2017, Edinburgh, ROYAUME-UNI, 2017-06-21, 11p
Plus d'infosBOUSSIF, Abderraouf, GHAZEL, Mohamed, 2016, Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults-A Railway Case-Study, VECOS 2016 - 10th International Workshop on Verification and Evaluation of Computer and Communication Systems, Tunis, TUNISIE, 2016-10-06, 11p
Télécharger le documentBOUSSIF, Abderraouf, GHAZEL, Mohamed, 2016, Intermittent Fault Diagnosis of Industrial Systems in a Model-Checking Framework, ICPHM - 2016 IEEE International Conference on Prognostics and Health Management, Ottawa, CANADA, 2016-06-20, Institute of Electrical and Electronics Engineers - IEEE, 6p, DOI: 10.1109/ICPHM.2016.7542874
http://ieeexplore.ieee.org/document/7542874/
Plus d'infos
http://dx.doi.org/10.1109/ICPHM.2016.7542874LIANG, Ci, GHAZEL, Mohamed, CAZIER, Olivier, EL KOURSI, El Miloudi, 2016, Risk analysis on level crossings using a causal Bayesian network based approach, WCTR 2016 - World Conference on Transport Research, Shanghai, CHINE, 2016-07-10, Elsevier, pp2167-2181, DOI: 10.1016/j.trpro.2017.05.418
http://www.sciencedirect.com/science/article/pii/S2352146517307251
Télécharger le document
https://doi.org/10.1016/j.trpro.2017.05.418LIANG, Ci, GHAZEL, Mohamed, EL KOURSI, El Miloudi, CAZIER, Olivier, 2016, Statistical Analysis of Collisions at French Level Crossings, The Third International Conference on Railway Technology: Research, Development and Maintenance, Cagliari, ITALIE, 2016-04-05, Civil Comp Press, 15p
Plus d'infosLIU, Baisi, GHAZEL, Mohamed, 2016, Petri net diagnosability analyzer, 11th International Design and Test Symposium - IDT 2016, Hammamet, Tunisie, 2016-12-18, 6p
Plus d'infosGHAZEL, Mohamed, LIU, Baisi, 2016, A Customizable Railway Benchmark to Deal with Fault Diagnosis Issues in DES, 13th International Workshop on Discrete Event Systems - WODES 2016, Xi'An, Chine, 2016-05-30, p177-182, DOI: 10.1109/WODES.2016.7497845
http://dx.doi.org/10.1109/WODES.2016.7497845
Plus d'infosBOUSSIF, Abderraouf, LIU, Baisi, GHAZEL, Mohamed, 2016, A Twin-Plant Based Approach for Diagnosability Analysis of Intermittent Failure, 13th International Workshop on Discrete Event Systems - WODES 2016, Xi'An, Chine, 2016-05-30, p237-244, DOI: 10.1109/WODES.2016.7497854
http://dx.doi.org/10.1109/WODES.2016.7497854
Plus d'infosBOUSSIF, Abderraouf, GHAZEL, Mohamed, 2015, Une Approche par Décomposition de Modèles pour l'Analyse de la Diagnosticabilité des SEDs par Model-Checking, 10ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2015), Nancy , France, 2015-11-18, 16p
Télécharger le documentBOUSSIF, Abderraouf, GHAZEL, Mohamed, KLAI, Kais, 2015, Combining Enumerative and Symbolic Techniques for Diagnosis of Discrete-Event Systems, VECOS 2015 - 9th Workshop on Verification and Evaluation of Computer and Communication Systems, Bucarest, ROUMANIE, 2015-09-10, 11p
Télécharger le documentBOUSSIF, Abderraouf, GHAZEL, Mohamed, 2015, Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking, 5th IFAC Workshop on Dependable Control of Discrete Systems , Cancun, MEXIQUE, 2015-05-26, 8p
Plus d'infosPERES, Florent, GHAZEL, Mohamed, 2014, An Operative Formulation of the Diagnosability of Discrete Event Systems Using a Single Logical Framework, VECOS 2014 - 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, Bejaia, ALGERIE, 2014-09-29, 12p
Plus d'infosLIU, Baisi ; GHAZEL, Mohamed ; TOGUYENI, Armand , 2014 , OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets , International Workshop Petri Nets for Adaptive Discrete-Event Control Systems , Tunis , TUNISIE , 24/06/2014 , 16p
Plus d'infosLIU, Baisi ; GHAZEL, Mohamed ; TOGUYENI, Armand , 2014 , Toward an Efficient Approach for Diagnosability Analysis of DES modeled by Labeled Petri Nets , 13th European Control Conference - ECC'2014 , Strasbourg , FRANCE , 25/06/2014 , 6p
Plus d'infosLIU, Baisi, GHAZEL, Mohamed, TOGUYENI, Armand, 2014, Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting , IFAC 2014 - 19th World Congress of the International Federation of Automatic Control, Cape Town, AFRIQUE DU SUD, 2014-08-24, 6p
Plus d'infosSONDI, Patrick, BERBINEAU, Marion, KASSAB, Mohamed, WAHL, Martine, GRANSART, Christophe, LEMAIRE, Etienne, MARIANO, Georges, GHAZEL, Mohamed, BENARD, Vincent, SCHON, Walter, 2014, Virtual lab based on co-simulation to include impairments of wireless telecommunication such as GSM-R in the evaluation of ERTMS, TRA - Transport Research Arena, Paris, France, 2014-04-14, 10p
Télécharger le documentYANG, Jing ; GHAZEL, Mohamed ; EL KOURSI, El Miloudi , 2013 , From Formal Specifications to Efficient Test Scenarios Generation , ICALT, International Conference on Advanced Logistics and Transport , Sousse , Tunisie , 29/05/2013 , 6p , DOI: 10.1109/ICAdLT.2013.6568431
Télécharger le documentLIU, Baisi, GHAZEL, Mohamed, TOGUYENI, Armand, 2012, K-diagnosability of labeled Petri nets, Majecstic 2012, 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication, Lille, FRANCE, 2012-10-29, 8p
Télécharger le documentGHAZEL, Mohamed ; PERES, Florent ; BELHAJ ALAYA, Atef ; JEMAI, Abderrazak , 2012 , A DBMS Framework for Diagnosability Analysis of Discrete Event Systems , DSN 2012, 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks , Boston , ETATS-UNIS , 25/06/2012 , 2p
Plus d'infosBAHLOUL, Khaled ; DEFOSSEZ, François ; GHAZEL, Mohamed ; COLLART-DUTILLEUL, Simon , 2012 , Adding Technological Solutions for Safety Improvement at Level Crossings: a Functional Specification , TRA, Transport Research Arena , Athens , GRECE , 23/04/2012 , ELSEVIER , 10p
Plus d'infosYANG,J ; GHAZEL,M ; EL-KOURSI,EM , 2012 , Test Cases Generation from CTL. A Methodology , International Symposium on Security and Safety of Complex Systems, 25-26 mai 2012, Agadir, Maroc , 7p
Plus d'infosYANG,J ; PERES,F ; GHAZEL,M ; EL-KOURSI,EM , 2011 , Requirement Refinement to Test Case Generation for Embedded Railway Control Systems , EURO-ZEL 2011, 19th International Symposium on recent Challenges for European Railways, 8th - 9th June 2011, Zilina, Slovak Republic , p191-199
Plus d'infosMEKKI,A ; GHAZEL,M ; TOGUENI,A , 2011 , Patterns-Based Assistance for Temporal Requirement Specification , WORLDCOMP 2011, SERP'11, International Conference on Software Engineering Research and Practice, july 18-21 2011, Las Vegas, Nevada, USA , 7p
Plus d'infosYANG,J ; PERES,F ; GHAZEL,M ; EL-KOURSI,EM , 2011 , Requirement Refinement to Test Case Generation for Railway Control Systems , EURO - ZEL 2011, 19th International Symposium 8th - 9th, June 2011, ©ilina, Slovak Republic , 8p
www.zu-zel.sk/file/down/2011/Yang.pps
Plus d'infosKHOUDOUR,L ; FELTZ,P ; BERTRAND,D ; GHAZEL,M ; HEDDEBAUT,M ; COLLAERT-DUTILLEUL,S ; RUICHEK,Y ; FLANCQUART,A, 2010, PANsafer Project: Towards a safer level crossing, 11th Global Level Crossing Symposium, october 2010, Tokyo, Japan, UIC,
Plus d'infosGHAZEL,M ; MEKKI,A , 2010 , Assisting Specification and Consistency-Check of Temporal Requirements for Critical Systems , SERP2010 - WorldComp'2010, 9th International Conference on Software Engineering Research & Practice, july 2010, Las Vegas, Nevada, USA , CSREA Press , 7p
Plus d'infosMEKKI,A ; GHAZEL,M ; TOGUYENI,A , 2010 , Patterns For Temporal Requirements Engineering. A level crossing case study , ICINCO 2010, 7th International Conference on Informatics in Control, Automation and Robotics, juin 2010, Madeira, Portugal , 8p
Plus d'infosMEKKI,A ; GHAZEL,M ; TOGUYENI,A , 2010 , Time-constrained systems validation using MDA model transformation. A railway case study , MOSIM'10, 8th International Conference of Modeling and Simulation, Evaluation and optimization of innovative production systems of goods and services, 10-12 may 2010, Hammamet, Tunisia , 9p
Plus d'infosGHAZEL,M , 2009 , A behavioural model for the level crossing collision risk assessment , Safety and Security Engineering III Procedings of Safe 2009, 3rd International Conference on Safety and Security Engineering, july 2009, Roma, Italy. GUARASCIO,M ; BREBBIA,CA (Eds) , WIT Press , p637-646
Plus d'infosMEKKI,A ; GHAZEL,M ; TOGUYENI,A , 2009 , Validating time-constrained systems using UML Statecharts Patterns and Timed Automata Observers , VECOS2009, Verification and Evaluation of Computer and Communication Systems, juillet 2009, Rabat, Maroc , 12p
Plus d'infosGHAZEL,M ; MASMOUDI,M ; TOGUYENI,A , 2009 , Monitoring of Temporal Requirements with Stocharts Observation Patterns, Application to a Level Crossing Control System , DCDS09, 2nd IFAC Workshop on Dependable Control of Discrete Systems, june 2009, Bari, Italy , Politecnico di Bari , p71-76
Télécharger le documentGHAZEL,M ; MASMOUDI,M ; TOGUYENI,A , 2009 , Verification of Temporal Requirements of Complex Systems Using UML Patterns, Application to a Railway Control Example , 4th IEEE International Conference on System of Systems Engineering, May 31st -June 3rd 2009, Albuquerque, New Mexico, USA , IEEE-SMC , 6p
Plus d'infosGHAZEL,M , 2008 , A behavioural model for the Level Crossing Collision Risk Assessment , COMPRAIL 2008, 11th International Conference on Computer System Design and Operation in the Railway and Other Transit Systems 15-17 Septembre, Tolède, Espagne , 10p
Plus d'infosGHAZEL,M , 2008 , Approche d'évaluation quantitative du risque de collision sur les passages à niveau , 16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France , 6p
Plus d'infosGHAZEL,M ; TOGUYENI,A ; YIM,P , 2007 , A Time Based Approach for the Monitoring of DES under Partial Observability - Application to a Railway Circuit , Qualita, 7ème Congrès international pluridisciplinaire Qualité et Sûreté de Fonctionnement, Tanger, Maroc, mars 2007 , 10p
Télécharger le documentGHAZEL,M ; EL-KOURSI,EM , 2007 , Automatic Level Crossings: From Informal Functional Requirements' Specifications to the Control Model Design , SoSE International Conference on System of Systems Engineering in service of Energy and Security, April 16-18th, 2007, San Antonio, Texas , IEEE , 6p
Plus d'infosHDR - Habilitation à Diriger des Recherches
GHAZEL, Mohamed, 2014, Contribution à l'Ingénierie Sûre des Systèmes Dynamiques Complexes. Applications aux Systèmes de Contrôle/Commande Ferroviaire, Mémoire de HDR, Spécialité : Génie informatique, Automatique, Traitement du signal et des images, Université Lille 1 Nord de France, 190p
Télécharger le document
