E-LIB Suche - Ergebnisse für: Hoang Nga Le

1

Support Patterns in Classrooms Implementing a Computer Scie..:

, In: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 2,

Hoang, Nga ; Bush, Jeffrey B. ; Dey, Indrani - p. 1674-1675 , 2024

Link: https://dl.acm.org/doi/1..

2

VHCor: Vietnamese Healthcare Corpus-A Comprehensive Dataset..:

, In: 2023 1st International Conference on Health Science and Technology (ICHST),

Luu, Thanh ; Luu, Tran ; Bui, Trung-Tin... - p. 1-6 , 2023

Link: https://doi.org/10.1109/..

3

The Role of Grassroots Trade Unions in Enforcing the Social..:

, In: Laws on Corporate Social Responsibility and the Developmental Trend in Vietnam,

Nga, Hoang Thi ; Hoa, Nguyen Xuan - p. 125-137 , 2023

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

4

Formal Verification of Security Protocols:

, In: Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering,

Roggenbach, Markus ; Shaikh, Siraj Ahmed ; Nguyen, Hoang Nga - p. 395-451 , 2022

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

5

Safety, Stability and Environmental Impact of FDI Attacks o..:

, In: NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium,

Taylor, Sean Joe ; Ahmad, Farhan ; Nguyen, Hoang Nga.. - p. 1-6 , 2022

Link: https://doi.org/10.1109/..

6

A Hardware-based SoC Monitoring In-life Solution for Automo..:

, In: 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops),

Jadidbonab, Hesamaldin ; Nguyen, Hoang Nga ; Ahmed Shaikh, Siraj... - p. 637-642 , 2022

Link: https://doi.org/10.1109/..

7

Formalising UPTANE in CSP for Security Testing:

, In: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C),

Kirk, Rhys ; Nguyen, Hoang Nga ; Bryans, Jeremy... - p. 816-824 , 2021

Link: https://doi.org/10.1109/..

8

Automotive Cybersecurity Testing: Survey of Testbeds and Me..:

, In: Studies in Big Data; Digital Transformation, Cyber Security and Resilience of Modern Societies,

Mahmood, Shahid ; Nguyen, Hoang Nga ; Shaikh, Siraj A. - p. 219-243 , 2021

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

9

Contributors:

, In: Thermal Behaviour and Applications of Carbon-Based Nanomaterials,

Aydin, Fikret ; Bui, Khoa ; Chu, Xiaolei... - p. xi-xiii , 2020

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

10

Advanced thermal properties of carbon-based aerogels:

, In: Thermal Behaviour and Applications of Carbon-Based Nanomaterials,

Duong, Hai M. ; Le, Duyen Khac ; Thai, Quoc Ba... - p. 221-269 , 2020

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

11

A Template-Based Method for the Generation of Attack Trees:

, In: Information Security Theory and Practice; Lecture Notes in Computer Science,

Bryans, Jeremy ; Liew, Lin Shen ; Nguyen, Hoang Nga... - p. 155-165 , 2020

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

12

A Model-Based Security Testing Approach for Automotive Over..:

, In: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),

Mahmood, Shahid ; Fouillade, Alexy ; Nguyen, Hoang Nga. - p. 6-13 , 2020

Link: https://doi.org/10.1109/..

13

Attack Defense Trees with Sequential Conjunction:

, In: 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE),

Bryans, Jeremy ; Nguyen, Hoang Nga ; Shaikh, Siraj Ahmed - p. 247-252 , 2019

Link: https://doi.org/10.1109/..

14

Probabilistic Resource-bounded Alternating-time Temporal Lo..:

, In: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems,

Nguyen, Hoang Nga ; Rakib, Abdur - p. 2141-2143 , 2019

Link: https://dl.acm.org/doi/1..

15

Software Model Checking : A Promising Approach to Verify..:

, In: Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs,

Asăvoae, Irina Măriuca ; Nguyen, Hoang Nga ; Roggenbach, Markus. - p. 1-2 , 2017

Link: https://dl.acm.org/doi/1..