A survey of timed automata for the development of real-time systems. - Md Tawhid Bin Waez; Jürgen Dingel; Karen Rudie (Comput. Sci. Rev., 2013)

Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report. - Md Tawhid Bin Waez; Andrzej Wasowski; Jürgen Dingel; Karen Rudie (FACS, 2014)

A Model for Industrial Real-Time Systems. - Md Tawhid Bin Waez; Andrzej Wasowski; Juergen Dingel; Karen Rudie (VMCAI, 2015)

A Model for Hierarchical Open Real-Time Systems. - Md Tawhid Bin Waez (2015)

Controller synthesis for dynamic hierarchical real-time plants using timed automata. - Md Tawhid Bin Waez; Andrzej Wasowski; Juergen Dingel; Karen Rudie (Discret. Event Dyn. Syst., 2017)

Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain. - Philipp Berger 002; Joost-Pieter Katoen; Erika Ábrahám; Md Tawhid Bin Waez; Thomas Rambow (FM, 2018)

Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. - Johanna Nellen; Thomas Rambow; Md Tawhid Bin Waez; Erika Ábrahám; Joost-Pieter Katoen (FM, 2018)

Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development. - Philipp Berger 002; Johanna Nellen; Joost-Pieter Katoen; Erika Ábrahám; Md Tawhid Bin Waez; Thomas Rambow (FMICS, 2019)

Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development. - Philipp Berger 002; Johanna Nellen; Joost-Pieter Katoen; Erika Ábrahám; Md Tawhid Bin Waez; Thomas Rambow (CoRR, 2019)

Fuel Cell Thermal Management: Modeling, Specifications, and Correct-by-Construction Control Synthesis. - Liren Yang; Amey Y. Karnik; Benjamin Pence; Md Tawhid Bin Waez; Necmiye Ozay (IEEE Trans. Control. Syst. Technol., 2020)

Learning Density Distribution of Reachable States for Autonomous Systems. - Yue Meng; Dawei Sun; Zeng Qiu; Md Tawhid Bin Waez; Chuchu Fan (CoRL, 2021)

Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles. - Yousaf Rahman; Md Tawhid Bin Waez; Yuming Niu (FM, 2021)

Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning. - Yue Meng; Zeng Qiu; Md Tawhid Bin Waez; Chuchu Fan (NFM, 2022)

On the applicability of hybrid systems safety verification tools from the automotive perspective. - Stefan Schupp; Erika Ábrahám; Md Tawhid Bin Waez; Thomas Rambow; Zeng Qiu (Int. J. Softw. Tools Technol. Transf., 2024)