| Approximate Translation from Floating-Point to Real-Interval Arithmetic | 0 | 0.34 | 2022 |
| SMT-Based Model Checking of Industrial Simulink Models | 0 | 0.34 | 2022 |
| Conformance Testing of Schedulers for DSL-based Model Checking. | 0 | 0.34 | 2019 |
| A spiral process of formalization and verification: A case study on verification of the scheduling mechanism of OSEK/VDX. | 0 | 0.34 | 2016 |
| Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling. | 1 | 0.39 | 2013 |
| SPLC 2007 Dectoral Symposium | 0 | 0.34 | 2007 |
