Reasoning about Other Agents' Beliefs under Bounded Resources. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (KRAMAS, 2008)

Verifying Time and Communication Costs of Rule-Based Reasoners. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (MoChArt, 2008)

Verifying Resource Requirements for Distributed Rule-Based Systems. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (RuleML, 2008)

Expressing Properties of Coalitional Ability under Resource Bounds. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (LORI, 2009)

Verifying time, memory and communication bounds in systems of reasoning agents. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (Synth., 2009)

Resource-bounded alternating-time temporal logic. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (AAMAS, 2010)

An Extension of RB-ATL. - Nguyen Hoang Nga (MALLOW, 2010)

Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (MoChArt, 2010)

Logic for coalitions with bounded resources. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (J. Log. Comput., 2011)

Reasoning about resource-bounded multi-agent systems. - Nguyen Hoang Nga (2011)

Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B. - Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Steve A. Schneider; Helen Treharne (Haifa Verification Conference, 2012)

Safety and Line Capacity in Railways - An Approach in Timed CSP. - Yoshinao Isobe; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach (IFM, 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)

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 (SEFM Workshops, 2013)

Decidable Model-Checking for a Resource Logic with Production of Resources. - Natasha Alechina; Brian Logan 001; Hoang Nga Nguyen; Franco Raimondi (ECAI, 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)

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)

Symbolic Model-checking for Resource-Bounded ATL. - Natasha Alechina; Brian Logan 001; Hoang Nga Nguyen; Franco Raimondi; Leonardo Mostarda (AAMAS, 2015)

On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic. - Natasha Alechina; Nils Bulling; Brian Logan 001; Hoang Nga Nguyen (IJCAI, 2015)

Symbolic Model Checking for One-Resource RB+-ATL. - Natasha Alechina; Brian Logan 001; Hoang Nga Nguyen; Franco Raimondi (IJCAI, 2015)

Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems. - Nils Bulling; Hoang Nga Nguyen (PRIMA, 2015)

Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Franco Raimondi (CoRR, 2015)

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 (IMPS@ESSoS, 2016)

Utilising $${ mathbb {K}}$$ Semantics for Collusion Detection in Android Applications. - Irina Mariuca Asavoae; Hoang Nga Nguyen; Markus Roggenbach; Siraj Ahmed Shaikh (FMICS-AVoCS, 2016)

OnTrack: The Railway Verification Toolset - Extended Abstract. - Phillip James; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Helen Treharne; Xu Wang 001 (ISoLA (2), 2016)

Comparing Formal Verification Approaches of Interlocking Systems. - Anne Elisabeth Haxthausen; Hoang Nga Nguyen; Markus Roggenbach (RSSRail, 2016)

Combining Third Party Components Securely in Automotive Systems. - Madeline Cheah; Siraj A. Shaikh; Jeremy W. Bryans; Hoang Nga Nguyen (WISTP, 2016)

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 (FTfJP@ECOOP, 2017)

Formalising Systematic Security Evaluations Using Attack Trees for Automotive Applications. - Madeline Cheah; Hoang Nga Nguyen; Jeremy W. Bryans; Siraj A. Shaikh (WISTP, 2017)

The virtues of idleness: A decidable fragment of resource agent logic. - Natasha Alechina; Nils Bulling; Brian Logan 001; Hoang Nga Nguyen (Artif. Intell., 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)

Model-checking for Resource-Bounded ATL with production and consumption of resources. - Natasha Alechina; Brian Logan 001; Hoang Nga Nguyen; Franco Raimondi (J. Comput. Syst. Sci., 2017)

Towards a threat assessment framework for apps collusion. - Harsha Kumara Kalutarage; Hoang Nga Nguyen; Siraj Ahmed Shaikh (Telecommun. Syst., 2017)

Software Model Checking for Mobile Security - Collusion Detection in mathbb K K. - Irina Mariuca Asavoae; Hoang Nga Nguyen; Markus Roggenbach (SPIN, 2018)

Alternating-time temporal logic with resource bounds. - Hoang Nga Nguyen; Natasha Alechina; Brian Logan 001; Abdur Rakib (J. Log. Comput., 2018)

Probabilistic Resource-bounded Alternating-time Temporal Logic. - Hoang Nga Nguyen; Abdur Rakib (AAMAS, 2019)

Attack Defense Trees with Sequential Conjunction. - Jeremy W. Bryans; Hoang Nga Nguyen; Siraj A. Shaikh (HASE, 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 (ICST Workshops, 2019)

A Probabilistic Logic for Resource-Bounded Multi-Agent Systems. - Hoang Nga Nguyen; Abdur Rakib (IJCAI, 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 (WISTP, 2019)

A Model-Based Security Testing Approach for Automotive Over-The-Air Updates. - Shahid Mahmood; Alexy Fouillade; Hoang Nga Nguyen; Siraj A. Shaikh (ICST Workshops, 2020)

Vehicular Platoon Communication: Cybersecurity Threats and Open Challenges. - Sean Joe Taylor; Farhan Ahmad; Hoang Nga Nguyen; Siraj Ahmed Shaikh; David Evans; David Price (DSN Workshops, 2021)

Formalising UPTANE in CSP for Security Testing. - Rhys Kirk; Hoang Nga Nguyen; Jeremy W. Bryans; Siraj A. Shaikh; David Evans; David Price (QRS Companion, 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 (AI-Cybersec@SGAI, 2021)

Safety, Stability and Environmental Impact of FDI Attacks on Vehicular Platoons. - Sean Joe Taylor; Farhan Ahmad; Hoang Nga Nguyen; Siraj Ahmed Shaikh; David Evans (NOMS, 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 (PerCom Workshops, 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)

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)

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)

Vehicular Platoon Communication: Architecture, Security Threats and Open Challenges. - Sean Joe Taylor; Farhan Ahmad; Hoang Nga Nguyen; Siraj Ahmed Shaikh (Sensors, 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., 2023)

Formal Modelling and Verification of Probabilistic Resource Bounded Agents. - Hoang Nga Nguyen; Abdur Rakib (J. Log. Lang. Inf., 2023)

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)

WOLVES: Window of Opportunity attack feasibility likelihood value estimation through a simulation-based approach. - Suraj Harsha Kamtam; Qian Lu; Abdur Rakib; Muhamad Azfar Ramli; Rakhi Manohar Mepparambath; Siraj Ahmed Shaikh; Hoang Nga Nguyen (Comput. Secur., 2025)