E-LIB Suche - Ergebnisse für: Waez, Md Tawhid Bin

1

On the applicability of hybrid systems safety verification ..:

Schupp, Stefan ; Ábrahám, Erika ; Waez, Md Tawhid Bin..
International Journal on Software Tools for Technology Transfer. 26 (2023) 1 - p. 49-78 , 2023

Link: https://doi.org/10.1007/..

2

Case Studies for Computing Density of Reachable States for ..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Meng, Yue ; Qiu, Zeng ; Waez, Md Tawhid Bin. - p. 251-271 , 2022

Link: https://doi.org/10.1007/..

3

Multiple Analyses, Requirements Once:: Simplifying Testing ..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Berger, Philipp ; Nellen, Johanna ; Katoen, Joost-Pieter... - p. 59-75 , 2019

Link: https://doi.org/10.1007/..

4

Controller synthesis for dynamic hierarchical real-time pla..:

Waez, Md Tawhid Bin ; Wąsowski, Andrzej ; Dingel, Juergen.
Discrete Event Dynamic Systems. 27 (2017) 2 - p. 407-441 , 2017

Link: https://doi.org/10.1007/..

5

A survey of timed automata for the development of real-time..:

Waez, Md Tawhid Bin ; Dingel, Juergen ; Rudie, Karen
Computer Science Review. 9 (2013) - p. 1-26 , 2013

Link: https://doi.org/10.1016/..

6

Formally Guaranteed Tight Dynamic Future Occupancy of Auton..:

, In: Formal Methods; Lecture Notes in Computer Science,

Rahman, Yousaf ; Bin Waez, Md Tawhid ; Niu, Yuming - p. 763-775 , 2021

Link: https://doi.org/10.1007/..

7

Fuel cell thermal management: Modeling, specifications and ..:

, In: 2017 American Control Conference (ACC),

Yang, Liren ; Karnik, Amey ; Pence, Benjamin.. - p. 1839-1846 , 2017

Link: https://doi.org/10.23919..

8

Case Studies for Computing Density of Reachable States for ..:

Meng, Yue ; Qiu, Zeng ; Waez, Md Tawhid Bin.
http://arxiv.org/abs/2209.08073. , 2022

Link: http://arxiv.org/abs/220..

9

Learning Density Distribution of Reachable States for Auton..:

Meng, Yue ; Sun, Dawei ; Qiu, Zeng..
http://arxiv.org/abs/2109.06728. , 2021

Link: http://arxiv.org/abs/210..

10

Multiple Analyses, Requirements Once: simplifying testing &..:

Berger, Philipp ; Nellen, Johanna ; Katoen, Joost-Pieter...
http://arxiv.org/abs/1906.07083. , 2019

Link: http://arxiv.org/abs/190..

11

A Model for Hierarchical Open Real-Time Systems:

Waez, MD Tawhid Bin
Canadian theses. , 2015

Link: http://hdl.handle.net/19..

12

Coupling Apollo with the CommonRoad Motion Planning Framewo..:

Xiao Wang ; Anna-Katharina Rettinger ; Md Tawhid Bin Waez.
https://mediatum.ub.tum.de/1578933. , 2020

Link: https://mediatum.ub.tum...

13

Controller synthesis for dynamic hierarchical real-time pla..:

Bin Waez, Md Tawhid ; Wasowski, Andrzej ; Dingel, Juergen.
Bin Waez , M T , Wasowski , A , Dingel , J & Rudie , K 2017 , ' Controller synthesis for dynamic hierarchical real-time plants using timed automata ' , Discrete Event Dynamic Systems , vol. 27 , no. 2 , pp. 407-441 . https://doi.org/10.1007/s10626-017-0240-2. , 2017

Link: https://pure.itu.dk/port..

14

A Model for Industrial Real-Time Systems:

Bin Waez, Md Tawhid ; Wasowski, Andrzej ; Dingel, Juergen.
Bin Waez , M T , Wasowski , A , Dingel , J & Rudie , K 2015 , A Model for Industrial Real-Time Systems . in D D'Souza , A Lal & K Guldstrand Larsen (eds) , Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings. . vol. 8931 , Springer , Lecture Notes in Computer Science , pp. 153-171 . https://doi.org/10.1007/978-3-662-46081-8_9. , 2015

Link: https://pure.itu.dk/port..