| 2021 | CoRL | Learning Density Distribution of Reachable States for Autonomous Systems. | Yue Meng, Dawei Sun, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan |
| 2021 | FM | Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles. | Yousaf Rahman, Md Tawhid Bin Waez, Yuming Niu |
| 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 |
| 2015 | VMCAI | A Model for Industrial Real-Time Systems. | Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie |