Search Results - Hoang Nguyen

Study
International
Research
Business
Alumni
News & Events
Support & Wellbeing

Swansea University's Research Repository

0 items
English
Cymraeg

Advanced
Browse the Catalogue
Options

Search: Hoang Nguyen

Search: 'Hoang Nguyen'

Showing 1 - 20 of 46 query time: 0.05s

Sort

Search Tools: Get RSS Feed

Select Page | with selected:

Conference Paper/Proceeding/Abstract

Towards Automated Android App Collusion Detection / Hoang Nguyen

Swansea University Author: Hoang Nguyen
Published in 1st International Workshop on Innovations in Mobile Privacy and Security (2016)

In collection: Faculty of Science and Engineering

Get full text
Show QR Code

Journal article

Formal Modelling and Verification of Probabilistic Resource Bounded Agents / Abdur Rakib

Swansea University Author: Hoang Nguyen
Published in Journal of Logic, Language and Information (2023)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Conference Paper/Proceeding/Abstract

Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems / Nils Bulling

Swansea University Author: Hoang Nguyen
Published in PRIMA 2015: Principles and Practice of Multi-Agent Systems (2015)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Journal article

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

Swansea University Authors: Hoang Nguyen, Siraj Shaikh
Published in Vehicular Communications (2022)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Journal article

Towards a threat assessment framework for apps collusion / Harsha Kumara Kalutarage

Swansea University Authors: Hoang Nguyen, Siraj Shaikh
Published in Telecommunication Systems (2017)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Conference Paper/Proceeding/Abstract

Comparing Formal Verification Approaches of Interlocking Systems / Anne Elisabeth Haxthausen

Swansea University Authors: Hoang Nguyen, Markus Roggenbach
Published in Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (2015)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Book chapter

Automotive Cybersecurity Testing: Survey of Testbeds and Methods / Shahid Mahmood, Siraj A. Shaikh

Swansea University Author: Hoang Nguyen
Published in Studies in Big Data

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Journal article

Techniques for modelling and verifying railway interlockings / Hoang Nga Nguyen, Steve Schneider, Helen Treharne

Swansea University Authors: Hoang Nguyen, Phillip James, Faron Moller, Markus Roggenbach
Published in International Journal on Software Tools for Technology Transfer (2014)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Conference Paper/Proceeding/Abstract

Safety and Line Capacity in Railways – An Approach in Timed CSP / Yoshinao Isobe, Hoang Nga Nguyen, Markus Roggenbach

Swansea University Authors: Hoang Nguyen, Faron Moller
Published in Integrated Formal Methods (2012)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Journal article

Systematic Risk Characterisation of Hardware Threats to Automotive System / James Pickford, Rasadhi Attale, Lee Harrison

Swansea University Authors: Siraj Shaikh, Hoang Nguyen
Published in ACM Journal on Autonomous Transportation Systems (2024)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

A formal framework for security testing of automotive over-the-air update systems / Rhys Kirk, Jeremy Bryans, Charles Wartnaby

Swansea University Authors: Hoang Nguyen, Siraj Shaikh
Published in Journal of Logical and Algebraic Methods in Programming (2023)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

Model-checking for Resource-Bounded ATL with production and consumption of resources / Natasha Alechina, Brian Logan, Franco Raimondi

Swansea University Author: Hoang Nguyen
Published in Journal of Computer and System Sciences (2017)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

The virtues of idleness: A decidable fragment of resource agent logic / Natasha Alechina, Nils Bulling, Brian Logan

Swansea University Author: Hoang Nguyen
Published in Artificial Intelligence (2017)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Conference Paper/Proceeding/Abstract

Combining Third Party Components Securely in Automotive Systems / Madeline Cheah, Siraj A. Shaikh, Jeremy Bryans

Swansea University Author: Hoang Nguyen
Published in Information Security Theory and Practice (2016)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Conference Paper/Proceeding/Abstract

Utilising K Semantics for Collusion Detection in Android Applications / Irina Măriuca Asăvoae, Markus Roggenbach, Siraj Shaikh

Swansea University Author: Hoang Nguyen
Published in Lecture Notes in Computer Science (2016)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Journal article

Alternating-time temporal logic with resource bounds / Natasha Alechina, Brian Logan, Abdur Rakib

Swansea University Author: Hoang Nguyen
Published in Journal of Logic and Computation (2015)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Conference Paper/Proceeding/Abstract

On the boundary of (un)decidability: decidable model-checking for a fragment of Resource Agent Logic / Natasha Alechina, Nils Bulling, Brian Logan

Swansea University Author: Hoang Nguyen
Published in IJCAI'15: Proceedings of the 24th International Conference on Artificial Intelligence (2015)

In collection: Faculty of Science and Engineering

Get full text
Show QR Code

Conference Paper/Proceeding/Abstract

Symbolic model-checking for resource-bounded ATL / Natasha Alechina, Brian Logan, Franco Raimondi, Leonardo Mostarda

Swansea University Author: Hoang Nguyen
Published in AAMAS'15: International Conference on Autonomous Agents and Multiagent Systems (2015)

In collection: Faculty of Science and Engineering

Get full text
Show QR Code

Conference Paper/Proceeding/Abstract

Symbolic model-checking for single resource RB+-ATL / Natasha Alechina, Brian Logan, Franco Raimondi

Swansea University Author: Hoang Nguyen
Published in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015) (2015)

In collection: Faculty of Science and Engineering

Get full text
Show QR Code