| 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 |
| Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models. | 0 | 0.34 | 2020 |
| Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus. | 0 | 0.34 | 2013 |
