Md Tawhid Bin Waez

According to our database, Md Tawhid Bin Waez authored at least 14 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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., February, 2024

2022

Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning.

Yue Meng, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles.

Yousaf Rahman, Md Tawhid Bin Waez, Yuming Niu

Proceedings of the Formal Methods - 24th International Symposium, 2021

Learning Density Distribution of Reachable States for Autonomous Systems.

Yue Meng, Dawei Sun, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan

Proceedings of the Conference on Robot Learning, 8-11 November 2021, London, UK., 2021

2020

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

2019

Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development.

Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow

CoRR, 2019

Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development.

Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

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

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain.

Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

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

2015

A Model for Hierarchical Open Real-Time Systems.

Md Tawhid Bin Waez

PhD thesis, 2015

A Model for Industrial Real-Time Systems.

Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

2014

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

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013

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