| Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development. | 1 | 0.36 | 2019 |
| Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain. | 0 | 0.34 | 2018 |
| Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. | 0 | 0.34 | 2018 |
