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 44 query time: 0.02s

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

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

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

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

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

Vehicular Platoon Communication: Architecture, Security Threats and Open Challenges / Sean Joe Taylor, Farhan Ahmad

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

In collection: Faculty of Science and Engineering

Download now

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

Conference Paper/Proceeding/Abstract

Decidable model-checking for a resource logic with production of resources / Natasha Alechina, Brian Logan, Franco Raimondi

Swansea University Author: Hoang Nguyen
Published in ECAI 2014 : 21st European Conference on Artificial Intelligence (2014)

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

Select Page | with selected:

Search Tools: Get RSS Feed

Narrow Search

Available for download

Format

21 Conference Paper/Proceeding/Abstract 20 Journal article 3 Book chapter see all ...

Author

33 Hoang Nguyen 12 Siraj Shaikh 7 Faron Moller 5 Markus Roggenbach 4 Giedre Sabaliauskaite 4 Gareth Stratton more ... 4 Phillip James 1 Oubay Hassan 1 Sharon Williams see all ... less ...

Faculty

42 Faculty of Science and Engineering 1 Faculty of Medicine, Health and Life Sciences see all ...

School

37 School of Mathematics and Computer Science - Computer Science 3 School of Engineering and Applied Sciences - Sport and Exercise Sciences 1 School of Aerospace, Civil, Electrical, General and Mechanical Engineering - Civil Engineering 1 School of Aerospace, Civil, Electrical, General and Mechanical Engineering - Sport and Exercise Sciences 1 School of Health and Social Care - Public Health see all ...

Year of Publication

From:

To:

1400 : 2026

1400

2026

Services

Archives
Cronfa
iFind

Search Options

Search History
Advanced Search

Find More

Search Help
Browse the Catalogue
Browse Alphabetically
New Items

Contact Us

E-mail: LibraryResearchSupport@swansea.ac.uk

Library Research Support Team

Harvested by CORE

Swansea University is a registered charity, No. 1138342

Loading...