
Mohamed Ghazel
107
Documents
Publications
Publications
|
ERTMS/ETCS L3: Usable Formal Models for the "Loss of Train Integrity" Operation ScenarioVerification 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-04997909
v1
|
A Sound Abstraction Method Towards Efficient Neural Networks VerificationVerification 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-04663758
v1
|
|
|
An Efficient Algorithm for K -Diagnosability Analysis of Bounded and Unbounded Petri NetsWODES'2024 - 17th IFAC Workshop on Discrete Event Systems, Apr 2024, Rio de Janeiro, Brazil
Communication dans un congrès
hal-04578239
v2
|
|
Monitoring of Neural Network Classifiers using Neuron Activation PathsInternational Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), Oct 2024, Djerba, Tunisia, Tunisia
Communication dans un congrès
hal-04749896
v1
|
|
Deep Neural Networks Abstraction using An Interval Weights Based ApproachConfiance.ai Days, Oct 2022, Saclay (92), France
Communication dans un congrès
hal-04426163
v1
|
Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3: The PERFORMINGRAIL ProjectESREL 2022, 32nd European Safety and Reliability Conference, Aug 2022, Dublin, France. 8p
Communication dans un congrès
hal-03690961
v1
|
|
Verification Framework for Moving Block System Safety: application on the Loss of Train Integrity Use CaseTRISTAN XI, 11th Triennial Symposium on Transportation Analysis conference, Jun 2022, Balaclava, France. 5p
Communication dans un congrès
hal-03691793
v1
|
|
A Formal Modelling Framework for Moving Block Systems in the PERFORMINGRAIL projectRAILWAYS 2022, 5th International Conference on Railway Technology: Research, Development and Maintenance, Aug 2022, Montpellier, France. pp.5P
Communication dans un congrès
hal-03691765
v1
|
|
|
Deep Neural Networks Abstraction using An Interval Weights Based ApproachConfiance.ai Days 2022, Oct 2022, Gif-sur-Yvette, France
Communication dans un congrès
hal-04666949
v1
|
Statistical Model Checking for On-board Train Integrity Safety and Performance AnalysisEuropean Conference on Safety and Reliability (ESREL2022), Aug 2022, Dublin, France. 8p
Communication dans un congrès
hal-03784476
v1
|
|
|
Interval Weight-Based Abstraction for Neural Network VerificationInternational 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-04426156
v1
|
Methodology Framework for Modelling ETCS-L3 Moving Block SystemTRA 2022, Transport Research Arena, Nov 2022, Lisbon, Portugal. 6p
Communication dans un congrès
hal-03690726
v1
|
|
Safety and Performance analysis of virtually coupled train sets3rd SmartRaCon Workshop, Sep 2021, Virtual conference, Germany
Communication dans un congrès
hal-04666554
v1
|
|
|
Model-based dependability evaluation of a Wireless Communication System in a Virtually Coupled Train SetCTS 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-03366348
v1
|
Formal modeling of a new On-board Train integrity System ETCS Compliant31st European Safety and Reliability Conference (ESREL 2021), Sep 2021, Angers, France. 9p
Communication dans un congrès
hal-03366521
v1
|
|
|
Toward Formal Safety and Performance Evaluation of GNSS-based Railway Localisation FunctionCTS 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-03366152
v1
|
|
Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSSCongrè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-03480709
v1
|
Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSSLambda 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-02998244
v1
|
|
Towards a Model-Based Safety Assessment of Railway Operation Using GNSS LocalizationESREL 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-02588814
v1
|
|
Formalising the Specifications of Onboard Train Integrity System for Verification Purposes2nd SmartRaCon Workshop, Jun 2020, San Sebastian, Spain
Communication dans un congrès
hal-04666459
v1
|
|
A Diagnosis Study on a Train Passenger Access System using Petri Net ModelsCTS 2018, 15th IFAC Symposium on Control in Transportation Systems, Jun 2018, Savona, Italy. 6p
Communication dans un congrès
hal-02464751
v1
|
|
Efficient diagnosability assessment via ILP optimization: a railway benchmarkIEEE ETFA 2018, 23rd International Conference on Emerging Technologies and Factory Automation, Sep 2018, Torino, Italy. 8p
Communication dans un congrès
hal-01877250
v1
|
|
Using Bayesian Networks for the Purpose of Risk Analysis at Railway Level CrossingsCTS 2018, 15th IFAC Symposium on Control in Transportation Systems, Jun 2018, Savona, Italy. 8p
Communication dans un congrès
hal-02464793
v1
|
|
|
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 », Oct 2018, Reims, France
Communication dans un congrès
hal-02074285
v1
|
A survey of lubrication techniques of railway switches and crossingsRailway Engineering-2017, Jun 2017, Edinburgh, France. 11p
Communication dans un congrès
hal-01685555
v1
|
|
An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-StudyVECOS 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-01659407
v1
|
|
Performance Evaluation Model of Railway Operators Safety Management SystemsIRSC 2017, 27th International Railway Safety Council 2017, Oct 2017, Hong Kong, China
Communication dans un congrès
hal-03412434
v1
|
|
|
Diagnosticabilité des Systèmes à Évènements Discrets: Une Nouvelle Variante de l'Approche DiagnostiqueurMSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France. 15p
Communication dans un congrès
hal-01647847
v1
|
|
Bayesian Network Modeling Applied on Railway Level Crossing SafetyRSSRail 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-01815714
v1
|
A Diagnoser-Based Approach for Intermittent Fault Diagnosis of Discrete-Event SystemsACC - 2017 American Control Conference, May 2017, Seattle, United States. pp 3860-3867, ⟨10.23919/ACC.2017.7963546⟩
Communication dans un congrès
hal-01647001
v1
|
|
|
DPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France
Communication dans un congrès
hal-01653191
v1
|
|
DIAG-IPF: A Software Tool for Fault Diagnosis of Discrete Event Systems11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France
Communication dans un congrès
hal-01657433
v1
|
|
An Experimental Comparison of Three Diagnosis Techniques for Discrete Event SystemsDX'17 - 28th International Workshop on Principles of Diagnosis, Sep 2017, Brescia, Italy. p8
Communication dans un congrès
hal-01647904
v1
|
A Customizable Railway Benchmark to Deal with Fault Diagnosis Issues in DES13th 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-01374092
v1
|
|
Statistical Analysis of Collisions at French Level CrossingsThe Third International Conference on Railway Technology: Research, Development and Maintenance, Apr 2016, Cagliari, Italy. 15p
Communication dans un congrès
hal-01587715
v1
|
|
Petri net diagnosability analyzer11th International Design and Test Symposium - IDT 2016, Dec 2016, Hammamet, Tunisia. 6p
Communication dans un congrès
hal-01463870
v1
|
|
A Twin-Plant Based Approach for Diagnosability Analysis of Intermittent Failure13th 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-01374116
v1
|
|
|
Risk analysis on level crossings using a causal Bayesian network based approachWCTR 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-02046035
v1
|
|
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, Oct 2016, Tunis, Tunisia. 11p
Communication dans un congrès
hal-01646486
v1
|
Intermittent Fault Diagnosis of Industrial Systems in a Model-Checking FrameworkICPHM - 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-01646340
v1
|
|
|
Combining Enumerative and Symbolic Techniques for Diagnosis of Discrete-Event SystemsVECOS 2015 - 9th Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2015, Bucarest, Romania. 11p
Communication dans un congrès
hal-01471590
v1
|
|
Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking5th 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-01472584
v1
|
Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking5th IFAC Workshop on Dependable Control of Discrete Systems, May 2015, Cancun, Mexico. 8p
Communication dans un congrès
hal-01471419
v1
|
|
|
Une Approche par Décomposition de Modèles pour l'Analyse de la Diagnosticabilité des SEDs par Model-CheckingModélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France
Communication dans un congrès
hal-01224281
v1
|
Diagnosis of Labeled Time Petri Nets Using Time Interval SplittingIFAC World congress - 19th World Congress of the International Federation of Automatic Control, Aug 2014, South Africa. 6p
Communication dans un congrès
hal-00999380
v1
|
|
An Operative Formulation of the Diagnosability of Discrete Event Systems Using a Single Logical FrameworkVECOS 2014 - 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2014, Bejaia, France. 12p
Communication dans un congrès
hal-01647046
v1
|
|
Toward an efficient approach for diagnosability analysis of DES modeled by labeled Petri nets2014 European Control Conference (ECC), Jun 2014, Strasbourg, France. ⟨10.1109/ECC.2014.6862505⟩
Communication dans un congrès
hal-01740376
v1
|
|
Toward an Efficient Approach for Diagnosability Analysis of DES modeled by Labeled Petri Nets13th European Control Conference - ECC'2014, Jun 2014, France. 6p
Communication dans un congrès
hal-00999387
v1
|
|
OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri NetsInternational Workshop Petri Nets for Adaptive Discrete-Event Control Systems, Jun 2014, Tunisia. 16p
Communication dans un congrès
hal-00999406
v1
|
|
|
Virtual lab based on co-simulation to include impairments of wireless telecommunication such as GSM-R in the evaluation of ERTMSTRA - Transport Research Arena, Apr 2014, Paris, France
Communication dans un congrès
hal-00985733
v1
|
From Formal Specifications to Efficient Test Scenarios GenerationICALT, International Conference on Advanced Logistics and Transport, May 2013, Tunisia. 6p, ⟨10.1109/ICAdLT.2013.6568431⟩
Communication dans un congrès
hal-00853577
v1
|
|
Adding Technological Solutions for Safety Improvement at Level Crossings: a Functional SpecificationTRA, Transport Research Arena, Apr 2012, France. 10p
Communication dans un congrès
hal-00854272
v1
|
|
Adding technological solutions for safety improvement at level crossings: a functional specificationTransport Research Arena Europe 2012, Apr 2012, Athens, Greece. pp.CDROM
Communication dans un congrès
hal-00838054
v1
|
|
|
K-diagnosability of labeled Petri nets9è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-00780283
v1
|
A DBMS Framework for Diagnosability Analysis of Discrete Event SystemsDSN 2012, 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2012, France. 2p
Communication dans un congrès
hal-00854280
v1
|
|
Patterns-Based Assistance for Temporal Requirement SpecificationSoftware Engineering Research and Practice (SERP2011), Jul 2011, Las Vegas, United States. pp.1-7
Communication dans un congrès
hal-00801032
v1
|
|
Time-constrained systems validation using mda model transformation. A railway case study8th International Conference of Modeling and Simulation MOSIM'10, May 2010, Hammamet, Tunisia. pp.1-10
Communication dans un congrès
hal-00801033
v1
|
|
Patterns for Temporal Requirements Engineering - A Level Crossing Case Study7th International Conference on Informatics in Control, Automation and Robotics, Jun 2010, Funchal, Portugal. pp.45-52
Communication dans un congrès
hal-00801135
v1
|
|
Validating time-constrained systems using UML Statecharts Patterns and Timed Automata ObserversThird International Workshop on Verification and Evaluation of Computer and Communication Systems, Jul 2009, Rabat, Morocco. pp.112-124
Communication dans un congrès
hal-00801584
v1
|
Surveillance des systèmes à événements discrets à l'aide des réseaux de Petri temporelsEditions Universitaires Européennes, 160p, 2010, 978-613-1-50009-1
Ouvrages
hal-01959360
v1
|
Rear-End Collision Risk Analysis for Autonomous DrivingComputer 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-04409188
v1
|
|
|
Accident Prediction Modeling Approaches for European Railway Level Crossing SafetyNew Research on Railway Engineering and Transport [Working Title], IntechOpen, 2023, ⟨10.5772/intechopen.109865⟩
Chapitre d'ouvrage
hal-04409234
v1
|
Timed Specification Patterns for System Validation. A railway case studyJuan 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-00801031
v1
|
Chargement...
Chargement...