Md Tawhid Bin Waez

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