Følg
Hoang Nga Nguyen
Hoang Nga Nguyen
Associate Professor, Swansea University
Verifisert e-postadresse på swansea.ac.uk
Tittel
Sitert av
Sitert av
År
A Logic for Coalitions with Bounded Resources
N Alechina, B Logan, HN Nguyen, A Rakib
Proceedings of the International Joint Conference on Artificial Intelligence, 2009
832009
Resource-bounded alternating-time temporal logic
N Alechina, B Logan, HN Nguyen, A Rakib
Proceedings of the 9th International Conference on Autonomous Agents and …, 2010
722010
Techniques for modelling and verifying railway interlockings
P James, F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne
International Journal on Software Tools for Technology Transfer 16, 685-711, 2014
552014
Defining and model checking abstractions of complex railway models using CSP|| B
F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne
Hardware and Software: Verification and Testing: 8th International Haifa …, 2013
422013
The Subsumption Problem of the Fuzzy Description Logic ALCFH
S Hoelldobler, HP Stoerr, DK Tran, HN Nguyen
The Tenth International Conference IPMU 2004: Information Processing and …, 2004
352004
Verifying time, memory and communication bounds in systems of reasoning agents
N Alechina, B Logan, HN Nguyen, A Rakib
Proceedings of International Conference on Autonomous Agents and Multiagent …, 2008
342008
The Fuzzy Description logic ALCFLH
S Hölldobler, HN Nguyen, DK Tran
International workshop on Description Logics, 2005
342005
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
31*2017
Decidable Model-Checking for a Resource Logic with Production of Resources.
N Alechina, B Logan, HN Nguyen, F Raimondi
ECAI 14, 9-14, 2014
312014
Safety and line capacity in railways–an approach in Timed CSP
Y Isobe, F Moller, HN Nguyen, M Roggenbach
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa …, 2012
312012
On modelling and verifying railway interlockings: Tracking train lengths
P James, F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne
Science of computer programming 96, 315-336, 2014
292014
Verification of Scheme Plans using CSP|| B
P James, F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne, ...
Software Engineering and Formal Methods, 189-204, 2013
282013
Formalising systematic security evaluations using attack trees for automotive applications
M Cheah, HN Nguyen, J Bryans, SA Shaikh
Information Security Theory and Practice: 11th IFIP WG 11.2 International …, 2018
262018
Symbolic Model-checking for Resource-Bounded ATL
N Alechina, B Logan, HN Nguyen, F Raimondi, L Mostarda
International Conference on Autonomous Agents and Multiagent Systems, 2015
242015
Towards automated android app collusion detection
IM Asavoae, J Blasco, TM Chen, HK Kalutarage, I Muttik, HN Nguyen, ...
arXiv preprint arXiv:1603.02308, 2016
232016
Vehicular platoon communication: Cybersecurity threats and open challenges
SJ Taylor, F Ahmad, HN Nguyen, SA Shaikh, D Evans, D Price
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021
222021
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
212015
Systematic threat assessment and security testing of automotive over-the-air (OTA) updates
S Mahmood, HN Nguyen, SA Shaikh
Vehicular Communications 35, 100468, 2022
202022
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
202020
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
192017
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20