受强制性开放获取政策约束的文章 - Hoang Nga Nguyen了解详情
无法在其他位置公开访问的文章：1 篇
Formalising uptane in csp for security testing
R Kirk, HN Nguyen, J Bryans, S Shaikh, D Evans, D Price
2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021
强制性开放获取政策： US National Science Foundation
可在其他位置公开访问的文章：14 篇
Model-checking for resource-bounded ATL with production and consumption of resources
N Alechina, B Logan, HN Nguyen, F Raimondi
Journal of Computer and System Sciences 88, 126-144, 2017
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Decidable model-checking for a resource logic with production of resources
N Alechina, B Logan, H Nga Nguyen, F Raimondi
ECAI 2014, 9-14, 2014
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
A template-based method for the generation of attack trees
J Bryans, LS Liew, HN Nguyen, G Sabaliauskaite, S Shaikh, F Zhou
Information Security Theory and Practice: 13th IFIP WG 11.2 International …, 2020
强制性开放获取政策： European Commission
On the boundary of (un)decidability: decidable model-checking for a fragment of Resource Agent Logic
N Alechina, N Bulling, B Logan, HN Nguyen
International Joint Conference on Artificial Intelligence, 2015
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Towards a threat assessment framework for apps collusion
HK Kalutarage, HN Nguyen, SA Shaikh
Telecommunication systems 66 (3), 417-430, 2017
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
The virtues of idleness: A decidable fragment of resource agent logic
N Alechina, N Bulling, B Logan, HN Nguyen
Artificial Intelligence 245, 56-85, 2017
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Alternating-time temporal logic with resource bounds
HN Nguyen, N Alechina, B Logan, A Rakib
Journal of Logic and Computation 28 (4), 631-663, 2018
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Comparing formal verification approaches of interlocking systems
AE Haxthausen, HN Nguyen, M Roggenbach
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2016
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, Innovation Fund Denmark
Decomposing scheme plans to manage verification complexity
P James, F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne
FORMS/FORMAT, 210-220, 2014
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Symbolic model-checking for single resource RB+-ATL
N Alechina, B Logan, HN Nguyen, F Raimondi
International Joint Conference on Artificial Intelligence, 2015
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Developing a QRNG ECU for automotive security: Experience of testing in the real-world
HN Nguyen, S Tavakoli, SA Shaikh, O Maynard
The 14th Workshop on Testing: Academia-Industry Collaboration, Practice and …, 2019
强制性开放获取政策： UK Research & Innovation
Detecting Malicious Collusion Between Mobile Software Applications: The Android TM Case
IM Asăvoae, J Blasco, TM Chen, HK Kalutarage, I Muttik, HN Nguyen, ...
Data Analytics and Decision Support for Cybersecurity: Trends, Methodologies …, 2017
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
How system failures and ransomwares affect drivers’ trust and attitudes in an automated car? A simulator study
W Payre, JP March, G Sabaliauskaite, H Jadidbonab, S Shaikh, ...
8th international Conference on Human Interaction and Emerging Technologies …, 2022
强制性开放获取政策： UK Research & Innovation
Understanding Drivers’ Trust After Software Malfunctions and Cyber Intrusions of Digital Displays in Automated Cars
W Payre, JP March, G Sabaliauskaite, H Jadidbonab, S Shaikh, ...
13th International Conference on Applied Human Factors and Ergonomics, 320-328, 2022
强制性开放获取政策： UK Research & Innovation
出版信息和资助信息由计算机程序自动确定