Follow
Md Tawhid Bin Waez
Md Tawhid Bin Waez
Research Engineer, Ford Motor Company, MI
Verified email at ford.com
Title
Cited by
Cited by
Year
A survey of timed automata for the development of real-time systems
MTB Waez, J Dingel, K Rudie
Computer Science Review 9, 1-26, 2013
652013
Fuel cell thermal management: modeling, specifications, and correct-by-construction control synthesis
L Yang, A Karnik, B Pence, MTB Waez, N Ozay
IEEE Transactions on Control Systems Technology 28 (5), 1638-1651, 2019
242019
Timed automata for the development of real-time systems
MTB Waez, J Dingel, K Rudie
Research Report 2011–579, 2011
212011
Learning density distribution of reachable states for autonomous systems
Y Meng, D Sun, Z Qiu, MTB Waez, C Fan
Conference on Robot Learning, 124-136, 2022
162022
Verifying Auto-generated C Code from Simulink: An Experience Report in the Automotive Domain
P Berger, JP Katoen, E Abrahám, MTB Waez, T Rambow
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
132018
Coupling Apollo with the CommonRoad Motion Planning Framework
X Wang, AK Rettinger, MTB Waez, M Althoff
FISITA World Congress, 2020
92020
Formal verification of automotive Simulink controller models: empirical technical challenges, evaluation and recommendations
J Nellen, T Rambow, MTB Waez, E Ábrahám, JP Katoen
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
82018
Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report
MTB Waez, W Andrzej, D Juergen, K Rudie
FACS, 2014
7*2014
Case studies for computing density of reachable states for safe autonomous motion planning
Y Meng, Z Qiu, MTB Waez, C Fan
NASA Formal Methods Symposium, 251-271, 2022
62022
Unrestricted and Disjoint Operations over Multi-Stack Visibly Pushdown Languages
SD Bruda, MTB Waez
ICSOFT, 2011
62011
Multiple analyses, requirements once: simplifying testing and verification in automotive model-based development
P Berger, J Nellen, JP Katoen, E Ábrahám, MTB Waez, T Rambow
Formal Methods for Industrial Critical Systems: 24th International …, 2019
42019
A Model for Industrial Real-Time Systems
MTB Waez, A Wasowski, J Dingel, K Rudie
VMCAI, 2015
42015
Communicating visibly pushdown processes
SD Bruda, M WAEZ
The 17th International Conference on Control Systems and Computer Science 1 …, 2009
42009
Performance Analysis of Parallel Downloading from Mirrored Internet Sites
MTB Waez, SH Chowdhury, E Ahmed, M Rahman
22005
Controller synthesis for dynamic hierarchical real-time plants using timed automata
MTB Waez, A Wąsowski, J Dingel, K Rudie
Discrete Event Dynamic Systems 27, 407-441, 2017
12017
Communicating visibly pushdown processes
MTB Waez
Bishop's University, 2008
12008
Visibly Pushdown Languages Are Closed under Prefix, Shuffle, and Hiding
SD BRUDA, MDTBIN WAEZ
Computational Engineering in Systems Applications: Selected Papers from the …, 2008
12008
Dynamic bounding box
MTB Waez, Y Meng, Z Qiu, C Fan
US Patent App. 17/932,056, 2024
2024
On the applicability of hybrid systems safety verification tools from the automotive perspective
S Schupp, E Ábrahám, MTB Waez, T Rambow, Z Qiu
International Journal on Software Tools for Technology Transfer 26 (1), 49-78, 2024
2024
Vehicle path verification
Y Niu, MTB Waez, Y Rahman, N Muvva
US Patent 11,851,052, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20