| 2019 | FMICS | Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development. | Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika brahm, Md Tawhid Bin Waez, Thomas Rambow |
| 2018 | FM | Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain. | Philipp Berger, Joost-Pieter Katoen, Erika brahm, Md Tawhid Bin Waez, Thomas Rambow |
| 2018 | FM | Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. | Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika brahm, Joost-Pieter Katoen |
| 2017 | GI | Model-in-the-Loop and Software-in-the-Loop Testing of Closed-Loop Automotive Software with Arttest. | Norman Hansen, Norbert Wiechowski, Alexander Kugler, Stefan Kowalewski, Thomas Rambow, Rainer Busch |
| 2006 | ISoLA | Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice. | Jan Staschulat, Jrn-Christian Braam, Rolf Ernst, Thomas Rambow, Rainer Schlr, Rainer Busch |