| Automating Abstraction Computation of Hybrid Systems. | 0 | 0.34 | 2018 |
| Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. | 0 | 0.34 | 2017 |
| A New Approach of Qualitative Simulation for the Validation of Hybrid Systems. | 1 | 0.40 | 2016 |
