Md Tawhid Bin Waez

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 14

Top Venues

CoRR

Discret. Event Dyn. Syst.

IEEE Trans. Control. Syst. Technol.

Queen's University at Kingston, Ontario, Canada (PHD)

Education History

Queen's University at Kingston, Ontario, Canada

PHD

Publications

Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu
On the applicability of hybrid systems safety verification tools from the automotive perspective. Int. J. Softw. Tools Technol. Transf. 26 (1) (2024)
Yue Meng, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning. NFM (2022)
Yue Meng, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning. CoRR (2022)
Yue Meng, Dawei Sun, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan
Learning Density Distribution of Reachable States for Autonomous Systems. CoRR (2021)
Yue Meng, Dawei Sun, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan
Learning Density Distribution of Reachable States for Autonomous Systems. CoRL (2021)
Yousaf Rahman, Md Tawhid Bin Waez, Yuming Niu
Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles. FM (2021)
Liren Yang, Amey Y. Karnik, Benjamin Pence, Md Tawhid Bin Waez, Necmiye Ozay
Fuel Cell Thermal Management: Modeling, Specifications, and Correct-by-Construction Control Synthesis. IEEE Trans. Control. Syst. Technol. 28 (5) (2020)
Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow
Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development. CoRR (2019)
Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow
Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development. FMICS (2019)
Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow
Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain. FM (2018)
Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen
Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. FM (2018)
Liren Yang, Amey Y. Karnik, Benjamin Pence, Md Tawhid Bin Waez, Necmiye Ozay
Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis. ACC (2017)
Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie
Controller synthesis for dynamic hierarchical real-time plants using timed automata. Discret. Event Dyn. Syst. 27 (2) (2017)
Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie
A Model for Industrial Real-Time Systems. VMCAI (2015)
Md Tawhid Bin Waez, Andrzej Wasowski, Jürgen Dingel, Karen Rudie
Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report. FACS (2014)
Md Tawhid Bin Waez, Jürgen Dingel, Karen Rudie
A survey of timed automata for the development of real-time systems. Comput. Sci. Rev. 9 (2013)

Md Tawhid Bin Waez.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Md Tawhid Bin Waez