Mohamed Ghazel

According to our database1, Mohamed Ghazel authored at least 32 papers between 2003 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Fault diagnosis of discrete-event systems based on the symbolic observation graph.
IJCCBS, 2018

Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking.
IJCCBS, 2018

Model-Based Monitoring of a Train Passenger Access System.
IEEE Access, 2018

Efficient diagnosability assessment via ILP optimization: a railway benchmark.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017
A Control Scheme for Automatic Level Crossings Under the ERTMS/ETCS Level 2/3 Operation.
IEEE Trans. Intelligent Transportation Systems, 2017

An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017

Bayesian Network Modeling Applied on Railway Level Crossing Safety.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems.
Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

A diagnoser-based approach for intermittent fault diagnosis of discrete-event systems.
Proceedings of the 2017 American Control Conference, 2017

2016
Model-Based Diagnosis of Multi-Track Level Crossing Plants.
IEEE Trans. Intelligent Transportation Systems, 2016

A µ-calculus formulation of the diagnosability of discrete event systems.
IJCCBS, 2016

A customizable railway benchmark to deal with fault diagnosis issues in DES.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

A twin-plant based approach for diagnosability analysis of intermittent failures.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study.
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

Petri Net Diagnosability Analyzer.
Proceedings of the 11th International Design & Test Symposium, 2016

Intermittent fault diagnosis of industrial systems in a model-checking framework.
Proceedings of the IEEE International Conference on Prognostics and Health Management, 2016

2015
A pattern-based method for refining and formalizing informal specifications in critical control systems.
J. Innovation in Digital Ecosystems, 2015

Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems.
Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015

2014
Two-Half-Barrier Level Crossings Versus Four-Half-Barrier Level Crossings: A Comparative Risk Analysis Study.
IEEE Trans. Intelligent Transportation Systems, 2014

A µ-Calculus Framework for the Diagnosability of Discrete Event Systems.
Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014

OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets.
Proceedings of the ADECS 2014, 2014

2012
Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques.
IEEE Trans. Intelligent Transportation Systems, 2012

2010
Assisting Specification and Consistency-Check of Temporal Requirements for Critical Systems.
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

Timed Specification Patterns for System Validation: A Railway Case Study.
Proceedings of the Informatics in Control, Automation and Robotics, 2010

Patterns for Temporal Requirements Engineering - A Level Crossing Case Study.
Proceedings of the ICINCO 2010, 2010

2009
Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment.
IEEE Trans. Intelligent Transportation Systems, 2009

State Observer for DES Under Partial Observation with Time Petri Nets.
Discrete Event Dynamic Systems, 2009

Verification of temporal requirements of complex systems using UML patterns, application to a railway control example.
Proceedings of the 4th IEEE International Conference on System of Systems Engineering, 2009

2007
Automatic Level Crossings: From Informal Functional Requirements' Specifications to the Control Model Design.
Proceedings of the 2nd IEEE International Conference on System of Systems Engineering, 2007

2006
A semi-formal approach to build the functional graph of an automated production system for supervision purposes.
Int. J. Computer Integrated Manufacturing, 2006

2004
An UML approach for the metamodelling of automated production systems for monitoring purpose.
Computers in Industry, 2004

2003
UML modelling approach to build an information system for automated production systems.
Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003


  Loading...