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 93

    Affectation : COSYS - ESTAS


    Description


  • Publications

    Revues

    BOUSSIF, 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/
    https://dx.doi.org/10.1109/ACCESS.2018.2860966

    Télécharger le document

    LIU, 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
    http://dx.doi.org/10.1002/asjc.1508

    Plus d'infos

    LIANG, 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, Elsevier, 12p, DOI: 10.1016/j.ssci.2017.12.008

    https://doi.org/10.1016/j.ssci.2017.12.008
    https://www.sciencedirect.com/science/journal/09257535

    Plus d'infos

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

    Plus d'infos

    BOUSSIF, 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
    https://dx.doi.org/10.1504/IJCCBS.2018.10011234

    Plus d'infos

    GHAZEL, 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
    http://ieeexplore.ieee.org/document/7850991/

    Plus d'infos

    LIANG, 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, pp.181-188, DOI: 10.1016/j.aap.2017.08.030

    http://www.sciencedirect.com/science/article/pii/S000145751730310X
    https://doi.org/10.1016/j.aap.2017.08.030

    Plus d'infos

    LIANG, 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, 15p, DOI: 10.1080/17457300.2017.1416480

    http://www.tandfonline.com/doi/full/10.1080/17457300.2017.1416480
    https://doi.org/10.1080/17457300.2017.1416480

    Télécharger le document

    LIANG, Ci, GHAZEL, Mohamed, CAZIER, Olivier, EL KOURSI, El Miloudi, 2017, Developing accident prediction model for railway level crossings, Safety science, 101, Elsevier, pp.48-59, DOI: 10.1016/j.ssci.2017.08.013

    http://www.sciencedirect.com/science/article/pii/S092575351630666X
    https://doi.org/10.1016/j.ssci.2017.08.013

    Plus d'infos

    BOUDI, 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/
    http://www.jtle.net/index.php?m=content&c=index&a=show&catid=43&id=161

    Télécharger le document

    LIU, 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
    http://dx.doi.org/10.1109/TITS.2015.2478910

    Plus d'infos

    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
    http://www.inderscienceonline.com/loi/ijccbs

    Plus d'infos

    GHAZEL, 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
    http://www.sciencedirect.com/science/article/pii/S2352664515000188

    Plus d'infos

    GHAZEL, 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
    http://dx.doi.org/10.1109/TITS.2013.2294874

    Plus d'infos

    PERES, 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 document

    MEKKI,A ; GHAZEL,M ; TOGUYENI,A , 2012 , Assisting Temporal Requirement Specification , Computer Technology and Application (CTA) Journal , David publishing , 10p

    Plus d'infos

    MEKKI, 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'infos

    MEKKI,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'infos

    GHAZEL, 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'infos

    GHAZEL,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'infos

    KHOUDOUR,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'infos

    KHOUDOUR,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/
    DOI :10.1007/s12544-008-0004-z

    Plus d'infos

    Ouvrages - Chapitres d'ouvrage

    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 document

    GHAZEL,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'infos

    GHAZEL, 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'infos

    Papiers conférences

    BASILE, 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'infos

    EL 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? ; 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
    https://hal.archives-ouvertes.fr/hal-02074285/file/lm21_com_6A_4_181_El Koursi.pdf

    Télécharger le document

    LIU, 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'infos

    BOUSSIF, 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 document

    BOUSSIF, 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 document

    BOUSSIF, 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 document

    BOUSSIF, 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 document

    BOUSSIF, 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
    http://madis-collection.ifsttar.fr/cd/vecos/2017%20-%20VECOS/VeCOS2017_Proceedings.pdf

    Plus d'infos

    BOUSSIF, 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/
    http://dx.doi.org/10.23919/ACC.2017.7963546

    Plus d'infos

    LIANG, 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 document

    GHAZEL, 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'infos

    BOUSSIF, 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'infos

    LIU, Baisi, GHAZEL, Mohamed, 2016, Petri net diagnosability analyzer, 11th International Design and Test Symposium - IDT 2016, Hammamet, Tunisie, 2016-12-18, 6p

    Plus d'infos

    LIANG, 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'infos

    LIANG, 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, 17p, DOI: 10.1016/j.trpro.2017.05.418

    http://www.sciencedirect.com/science/article/pii/S2352146517307251
    https://doi.org/10.1016/j.trpro.2017.05.418

    Plus d'infos

    BOUSSIF, 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 document

    BOUSSIF, 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/
    http://dx.doi.org/10.1109/ICPHM.2016.7542874

    Plus d'infos

    BOUSSIF, 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 document

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

    http://ceur-ws.org/Vol-1431/

    Télécharger le document

    BOUSSIF, 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'infos

    SONDI, 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 document

    PERES, 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'infos

    YANG, 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 document

    LIU, 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 document

    GHAZEL, 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'infos

    BAHLOUL, 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'infos

    YANG,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'infos

    YANG,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'infos

    MEKKI,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'infos

    YANG,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'infos

    KHOUDOUR,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'infos

    GHAZEL,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'infos

    MEKKI,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'infos

    MEKKI,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'infos

    GHAZEL,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'infos

    MEKKI,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'infos

    GHAZEL,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 document

    GHAZEL,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'infos

    GHAZEL,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'infos

    GHAZEL,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'infos

    GHAZEL,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 document

    GHAZEL,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'infos

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