| 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 | 89 | 2009 |
| 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 | 78 | 2010 |
| 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 | 56 | 2014 |
| 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 | 41 | 2013 |
| 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 | 36 | 2008 |
| 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 | 35 | 2004 |
| 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 | 34* | 2017 |
| The Fuzzy Description logic ALCFLH S Hölldobler, HN Nguyen, DK Tran International workshop on Description Logics, 2005 | 34 | 2005 |
| Systematic threat assessment and security testing of automotive over-the-air (OTA) updates S Mahmood, HN Nguyen, SA Shaikh Vehicular Communications 35, 100468, 2022 | 33 | 2022 |
| 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 | 33 | 2014 |
| Vehicular platoon communication: architecture, security threats and open challenges SJ Taylor, F Ahmad, HN Nguyen, SA Shaikh Sensors 23 (1), 134, 2022 | 31 | 2022 |
| 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 | 31 | 2012 |
| 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 | 30 | 2018 |
| 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 | 29 | 2014 |
| 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 | 27 | 2015 |
| 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 | 27 | 2013 |
| 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 | 26 | 2021 |
| Towards automated android app collusion detection IM Asavoae, J Blasco, TM Chen, HK Kalutarage, I Muttik, HN Nguyen, ... arXiv preprint arXiv:1603.02308, 2016 | 24 | 2016 |
| A model-based security testing approach for automotive over-the-air updates S Mahmood, A Fouillade, HN Nguyen, SA Shaikh 2020 IEEE International Conference on Software Testing, Verification and …, 2020 | 23 | 2020 |
| 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 | 22 | 2015 |
Siraj Ahmed ShaikhSwansea UniversityVerified email at swansea.ac.uk