I agree that this site is using cookies. You can find further informations here.
X
Nguyen, Luan Viet
4706  results:
Search for persons X
?
1

Decentralized Safe Control for Distributed Cyber-Physical S..:

Nguyen, Luan Viet ; Tran, Hoang-Dung ; Johnson, Taylor.
IEEE Transactions on Control of Network Systems.  10 (2023)  3 - p. 1234-1244 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Verifying Binary Neural Networks on Continuous Input Space ..:

, In: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE),
Ivashchenko, Mykhailo ; Choi, Sung Woo ; Nguyen, Luan Viet. - p. 7-17 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Cyber-Physical Anomaly Detection in Microgrids Using Time-F..:

Beg, Omar Ali ; Nguyen, Luan Viet ; Johnson, Taylor T..
IEEE Access.  9 (2021)  - p. 20012-20021 , 2021
Link: https://doi.org/10.1109/..
 
?
4

Verification of piecewise deep neural networks: a star set ..:

Tran, Hoang-Dung ; Pal, Neelanjana ; Lopez, Diego Manzanas...
Formal Aspects of Computing.  33 (2021)  4-5 - p. 519-545 , 2021
Link: https://doi.org/10.1007/..
 
?
5

NNV: The Neural Network Verification Tool for Deep Neural N..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Tran, Hoang-Dung ; Yang, Xiaodong ; Manzanas Lopez, Diego... - p. 3-17 , 2020
Link: https://doi.org/10.1007/..
 
?
6

Demo: The Neural Network Verification (NNV) Tool:

, In: 2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION),
Tran, Hoang-Dung ; Lopez, Diego Manzanas ; Yang, Xiaodong... - p. 21-22 , 2020
Link: https://doi.org/10.1109/..
 
?
7

Detecting security leaks in hybrid systems with information..:

, In: Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design,
Nguyen, Luan Viet ; Mohan, Gautam ; Weimer, James... - p. 1-11 , 2019
Link: https://dl.acm.org/doi/1..
 
?
8

Reachability Analysis for High-Index Linear Differential Al..:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,
Tran, Hoang-Dung ; Nguyen, Luan Viet ; Hamilton, Nathaniel.. - p. 160-177 , 2019
Link: https://doi.org/10.1007/..
 
?
9

Star-Based Reachability Analysis of Deep Neural Networks:

, In: Lecture Notes in Computer Science; Formal Methods – The Next 30 Years,
Tran, Hoang-Dung ; Manzanas Lopez, Diago ; Musau, Patrick... - p. 670-686 , 2019
Link: https://doi.org/10.1007/..
 
?
10

Parallelizable reachability analysis algorithms for feed-fo..:

, In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering,
Tran, Hoang-Dung ; Musau, Patrick ; Lopez, Diego Manzanas... - p. 31-40 , 2019
Link: https://dl.acm.org/doi/1..
 
?
11

Decentralized Real-Time Safety Verification for Distributed..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,
Tran, Hoang-Dung ; Nguyen, Luan Viet ; Musau, Patrick.. - p. 261-277 , 2019
Link: https://doi.org/10.1007/..
 
?
12

Order-reduction abstractions for safety verification of hig..:

Tran, Hoang-Dung ; Nguyen, Luan Viet ; Xiang, Weiming.
Discrete Event Dynamic Systems.  27 (2017)  2 - p. 443-461 , 2017
Link: https://doi.org/10.1007/..
 
?
13

Hybrid automata: from verification to implementation:

Bak, Stanley ; Beg, Omar Ali ; Bogomolov, Sergiy...
International Journal on Software Tools for Technology Transfer.  21 (2017)  1 - p. 87-104 , 2017
Link: https://doi.org/10.1007/..
 
?
14

Abnormal Data Classification Using Time-Frequency Temporal ..:

, In: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control,
Nguyen, Luan Viet ; Kapinski, James ; Jin, Xiaoqing... - p. 237-242 , 2017
Link: https://dl.acm.org/doi/1..
 
?
15

Hyperproperties of real-valued signals:

, In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design,
Nguyen, Luan Viet ; Kapinski, James ; Jin, Xiaoqing.. - p. 104-113 , 2017
Link: https://dl.acm.org/doi/1..
 
1-15