ask others

Md Tawhid Bin Waez

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/BergerKAWR18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/BergerKAWR18
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: 312-328
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/NellenRWAK18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/NellenRWAK18
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: 382-398
2017
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/deds/WaezWDR17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/deds/WaezWDR17
Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie:
Controller synthesis for dynamic hierarchical real-time plants using timed automata. Discrete Event Dynamic Systems 27(2): 407-441 (2017)
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amcc/YangKPWO17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amcc/YangKPWO17
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: 1839-1846
2015
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vmcai/WaezWDR15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vmcai/WaezWDR15
Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie:
A Model for Industrial Real-Time Systems. VMCAI 2015: 153-171
2014
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/WaezWDR14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/WaezWDR14
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: 162-180
2013
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/csr/WaezDR13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/csr/WaezDR13
Md Tawhid Bin Waez, Jürgen Dingel, Karen Rudie:
A survey of timed automata for the development of real-time systems. Computer Science Review 9: 1-26 (2013)

Coauthor Index

see FAQ

maintained by

, founded at