Nguyen Hoang Nga

According to our database, Nguyen Hoang Nga authored at least 53 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A simulation framework for automotive cybersecurity risk assessment.

Don Nalin Dharshana Jayaratne, Suraj Harsha Kamtam, Siraj Ahmed Shaikh, Muhamad Azfar Ramli, Qian Lu, Rakhi Manohar Mepparambath, Hoang Nga Nguyen, Abdur Rakib

Simul. Model. Pract. Theory, 2024

2023

Formal Modelling and Verification of Probabilistic Resource Bounded Agents.

Hoang Nga Nguyen, Abdur Rakib

J. Log. Lang. Inf., December, 2023

A comparative analysis of multi-criteria decision methods for secure beacon selection in vehicular platoons.

Sean Joe Taylor, Farhan Ahmad, Hoang Nga Nguyen, Siraj Ahmed Shaikh, Jeremy W. Bryans, Charles Wartnaby

Trans. Emerg. Telecommun. Technol., November, 2023

Vehicular Platoon Communication: Architecture, Security Threats and Open Challenges.

Sean Joe Taylor, Farhan Ahmad, Hoang Nga Nguyen, Siraj Ahmed Shaikh

Sensors, 2023

A formal framework for security testing of automotive over-the-air update systems.

Rhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj Ahmed Shaikh, Charles Wartnaby

J. Log. Algebraic Methods Program., 2023

Formal Template-Based Generation of Attack-Defence Trees for Automated Security Analysis.

Jeremy W. Bryans, Lin Shen Liew, Hoang Nga Nguyen, Giedre Sabaliauskaite, Siraj Ahmed Shaikh

Inf., 2023

2022

Systematic threat assessment and security testing of automotive over-the-air (OTA) updates.

Shahid Mahmood, Hoang Nga Nguyen, Siraj Ahmed Shaikh

Veh. Commun., 2022

A Hardware-based SoC Monitoring In-life Solution for Automotive Industry.

Hesamaldin Jadidbonab, Hoang Nga Nguyen, Siraj Ahmed Shaikh, Marcin Hlond, Peter Robertson, Gajinder Panesar

Proceedings of the 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2022

Safety, Stability and Environmental Impact of FDI Attacks on Vehicular Platoons.

Sean Joe Taylor, Farhan Ahmad, Hoang Nga Nguyen, Siraj Ahmed Shaikh, David Evans

Proceedings of the 2022 IEEE/IFIP Network Operations and Management Symposium, 2022

2021

A Real-Time In-Vehicle Network Testbed for Machine Learning-Based IDS Training and Validation.

Hesamaldin Jadidbonab, Andrew Tomlinson, Hoang Nga Nguyen, Trang Doan, Siraj Ahmed Shaikh

Proceedings of the Workshop on AI and Cybersecurity (AI-Cybersec 2021) co-located with 41st SGAI International Conference on Artificial Intelligence (SGAI 2021), 2021

Formalising UPTANE in CSP for Security Testing.

Rhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj A. Shaikh, David Evans, David Price

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Vehicular Platoon Communication: Cybersecurity Threats and Open Challenges.

Sean Joe Taylor, Farhan Ahmad, Hoang Nga Nguyen, Siraj Ahmed Shaikh, David Evans, David Price

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

2020

A Model-Based Security Testing Approach for Automotive Over-The-Air Updates.

Shahid Mahmood, Alexy Fouillade, Hoang Nga Nguyen, Siraj A. Shaikh

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

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

Jeremy W. Bryans, Lin Shen Liew, Hoang Nga Nguyen, Giedre Sabaliauskaite, Siraj A. Shaikh, Fengjun Zhou

Proceedings of the Information Security Theory and Practice, 2019

A Probabilistic Logic for Resource-Bounded Multi-Agent Systems.

Hoang Nga Nguyen, Abdur Rakib

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Developing a QRNG ECU for Automotive Security: Experience of Testing in the Real-World.

Hoang Nga Nguyen, Siamak Tavakoli, Siraj Ahmed Shaikh, Oliver Maynard

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Attack Defense Trees with Sequential Conjunction.

Jeremy W. Bryans, Hoang Nga Nguyen, Siraj A. Shaikh

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

Probabilistic Resource-bounded Alternating-time Temporal Logic.

Hoang Nga Nguyen, Abdur Rakib

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

2018

Alternating-time temporal logic with resource bounds.

Hoang Nga Nguyen, Natasha Alechina, Brian Logan, Abdur Rakib

J. Log. Comput., 2018

Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K.

Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach

Proceedings of the Model Checking Software - 25th International Symposium, 2018

2017

Towards a threat assessment framework for apps collusion.

Harsha Kumara Kalutarage, Hoang Nga Nguyen, Siraj Ahmed Shaikh

Telecommun. Syst., 2017

Model-checking for Resource-Bounded ATL with production and consumption of resources.

Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi

J. Comput. Syst. Sci., 2017

Software Model Checking: A Promising Approach to Verify Mobile App Security.

Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh

CoRR, 2017

The virtues of idleness: A decidable fragment of resource agent logic.

Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen

Artif. Intell., 2017

Formalising Systematic Security Evaluations Using Attack Trees for Automotive Applications.

Madeline Cheah, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj A. Shaikh

Proceedings of the Information Security Theory and Practice, 2017

Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper.

Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh

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

2016

Combining Third Party Components Securely in Automotive Systems.

Madeline Cheah, Siraj A. Shaikh, Jeremy W. Bryans, Hoang Nga Nguyen

Proceedings of the Information Security Theory and Practice, 2016

Comparing Formal Verification Approaches of Interlocking Systems.

Anne Elisabeth Haxthausen, Hoang Nga Nguyen, Markus Roggenbach

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

OnTrack: The Railway Verification Toolset - Extended Abstract.

Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications.

Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

Towards Automated Android App Collusion Detection.

Irina Mariuca Asavoae, Jorge Blasco, Thomas M. Chen, Harsha Kumara Kalutarage, Igor Muttik, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh

Proceedings of the 1st International Workshop on Innovations in Mobile Privacy and Security, 2016

2015

Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources.

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Franco Raimondi

CoRR, 2015

Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems.

Nils Bulling, Hoang Nga Nguyen

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Symbolic Model Checking for One-Resource RB+-ATL.

Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic.

Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Symbolic Model-checking for Resource-Bounded ATL.

Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Leonardo Mostarda

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

Techniques for modelling and verifying railway interlockings.

Phillip James, Faron Moller, Nguyen Hoang Nga, Markus Roggenbach, Steve A. Schneider, Helen Treharne

Int. J. Softw. Tools Technol. Transf., 2014

On modelling and verifying railway interlockings: Tracking train lengths.

Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne

Sci. Comput. Program., 2014

Decidable Model-Checking for a Resource Logic with Production of Resources.

Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Verification of Scheme Plans Using CSP $$||$$ | | B.

Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne, Matthew Trumble, David M. Williams

Proceedings of the Software Engineering and Formal Methods, 2013

2012

Railway modelling in CSP||B: the double junction case study.

Markus Roggenbach, Faron Moller, Steve A. Schneider, Helen Treharne, Hoang Nga Nguyen

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Safety and Line Capacity in Railways - An Approach in Timed CSP.

Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B.

Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne

Proceedings of the Hardware and Software: Verification and Testing, 2012

2011

Reasoning about resource-bounded multi-agent systems.

Nguyen Hoang Nga

PhD thesis, 2011

Logic for coalitions with bounded resources.

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

J. Log. Comput., 2011

2010

Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction.

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

An Extension of RB-ATL.

Nguyen Hoang Nga

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

Resource-bounded alternating-time temporal logic.

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

Verifying time, memory and communication bounds in systems of reasoning agents.

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

Synth., 2009

Expressing Properties of Coalitional Ability under Resource Bounds.

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

2008

Verifying Resource Requirements for Distributed Rule-Based Systems.

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

Proceedings of the Rule Representation, 2008

Verifying Time and Communication Costs of Rule-Based Reasoners.

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Reasoning about Other Agents' Beliefs under Bounded Resources.

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

Proceedings of the Knowledge Representation for Agents and Multi-Agent Systems, 2008