| Intermittent Fault Diagnosability Of Discrete Event Systems: An Overview Of Automaton-Based Approaches | 0 | 0.34 | 2021 |
| Fault diagnosis of discrete-event systems based on the symbolic observation graph. | 0 | 0.34 | 2018 |
| Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking. | 1 | 0.35 | 2018 |
| Model-Based Monitoring of a Train Passenger Access System. | 0 | 0.34 | 2018 |
| An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems. | 0 | 0.34 | 2017 |
| A Control Scheme for Automatic Level Crossings Under the ERTMS/ETCS Level 2/3 Operation. | 2 | 0.41 | 2017 |
| A Diagnoser-Based Approach For Intermittent Fault Diagnosis Of Discrete-Event Systems | 0 | 0.34 | 2017 |
| An Experimental Comparison Of Two Approaches For Diagnosability Analysis Of Discrete Event Systems - A Railway Case-Study | 0 | 0.34 | 2017 |
| Bayesian Network Modeling Applied on Railway Level Crossing Safety. | 0 | 0.34 | 2017 |
| A µ-calculus formulation of the diagnosability of discrete event systems. | 0 | 0.34 | 2016 |
| Petri Net Diagnosability Analyzer | 0 | 0.34 | 2016 |
| Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study. | 0 | 0.34 | 2016 |
| Model-Based Diagnosis of Multi-Track Level Crossing Plants. | 2 | 0.42 | 2016 |
| Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems. | 1 | 0.36 | 2015 |
| A pattern-based method for refining and formalizing informal specifications in critical control systems | 1 | 0.35 | 2015 |
| On-the-Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets | 2 | 0.40 | 2014 |
| Two-Half-Barrier Level Crossings Versus Four-Half-Barrier Level Crossings: A Comparative Risk Analysis Study | 2 | 0.43 | 2014 |
| A µ-Calculus Framework for the Diagnosability of Discrete Event Systems. | 0 | 0.34 | 2014 |
| Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques | 6 | 0.59 | 2012 |
| Assisting Specification and Consistency-Check of Temporal Requirements for Critical Systems | 3 | 0.39 | 2010 |
| Timed Specification Patterns for System Validation: A Railway Case Study | 1 | 0.37 | 2010 |
| Using stochastic petri nets for level-crossing collision risk assessment | 14 | 0.90 | 2009 |
| State Observer for DES Under Partial Observation with Time Petri Nets | 17 | 0.87 | 2009 |
| Verification Of Temporal Requirements Of Complex Systems Using Uml Patterns, Application To A Railway Control Example | 0 | 0.34 | 2009 |
| A Semi-Formal Approach To Build The Functional Graph Of An Automated Production System For Supervision Purposes | 1 | 0.46 | 2006 |
| An UML approach for the metamodelling of automated production systems for monitoring purpose | 6 | 0.74 | 2004 |
