Saqib Hasan
161  Ergebnisse:
Personensuche X
?
1

AACE: Automated Assurance Case Environment for Aerospace Ce..:

, In: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC),
Daw, Zamira ; Oh, Chanwook ; Low, Matthew... - p. 1-10 , 2023
 
?
2

Computer-Aided Generation of Assurance Cases:

, In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops; Lecture Notes in Computer Science,
Wang, Timothy E. ; Oh, Chanwook ; Low, Matthew... - p. 135-148 , 2023
 
?
4

Flight Test of a Collision Avoidance Neural Network with Ru..:

, In: 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC),
 
?
 
?
6

A game-theoretic approach for power systems defense against..:

Hasan, Saqib ; Dubey, Abhishek ; Karsai, Gabor.
International Journal of Electrical Power & Energy Systems.  115 (2020)  - p. 105432 , 2020
 
?
7

A Binary Decision Diagram Based Cascade Prognostics Scheme ..:

, In: 2020 American Control Conference (ACC),
Chhokra, Ajay ; Hasan, Saqib ; Dubey, Abhishek. - p. 3011-3016 , 2020
 
?
8

Interspinous and Interlaminar Devices for Decompression:

, In: Minimally Invasive Spine Surgery,
Hasan, Saqib ; Bae, Hyun - p. 189-199 , 2019
 
?
12

A Systematic Approach of Identifying Optimal Load Control A..:

, In: Proceedings of the 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids,
Chhokra, Ajay ; Kulkarni, Amogh ; Hasan, Saqib... - p. 41-46 , 2017
 
?
13

Diagnostics and prognostics using temporal causal models fo..:

, In: Proceedings of the 8th International Conference on Cyber-Physical Systems,
Chhokra, Ajay ; Hasan, Saqib ; Dubey, Abhishek.. - p. 87 ff. , 2017
 
1-15