• 85 Citations
  • 5 h-Index
20142019
If you made any changes in Pure these will be visible here soon.

Research Output 2014 2019

  • 85 Citations
  • 5 h-Index
  • 9 Conference proceeding
  • 6 Article
  • 4 Paper
  • 2 Chapter
2019

A probabilistic logic for resource-bounded multi-agent systems

Nguyen, H. N. & Rakib, A., 30 May 2019, (Accepted/In press) p. (In-press).

Research output: Contribution to conferencePaper

Probabilistic logics
Temporal logic
Multi agent systems
Model checking

A Template-based Method for the Generation of Attack Trees

Bryans, J., Liew, L. S., Nguyen, H. N., Sabaliauskaite, G., Shaikh, S. & Zhou, F., 14 Nov 2019, (Accepted/In press).

Research output: Contribution to conferencePaper

38 Downloads (Pure)

Attack Defense Trees with Sequential Conjunction

Nguyen, H. N., Bryans, J. & Shaikh, S., 25 Mar 2019, Proceedings - 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019. Jiang, C., Nguyen, V. & Yu, D. (eds.). IEEE, Vol. 2019-January. p. 247-252 6 p. (Proceedings / IEEE International Symposium on High-Assurance Systems Engineering. IEEE International Symposium on High-Assurance Systems Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Open Access
File
Demonstrations
Semantics
Air
Chemical analysis
1 Citation (Scopus)
40 Downloads (Pure)

Developing a QRNG ECU for automotive security: Experience of testing in the real-world

Nguyen, H. N., Tavakoli, S., Shaikh, S. & Maynard, O., 6 Jun 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. IEEE, p. 61-68 8 p. 8728946

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Open Access
File
Testing
Railroad cars
Communication

Probabilistic resource-bounded alternating-time temporal logic

Nguyen, H. N. & Rakib, A., May 2019, International Conference on Autonomous Agents and Multiagent Systems. IFAAMAS, p. 2141-2143 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Probabilistic logics
Temporal logic
Semantics
2018
16 Downloads (Pure)

Alternating-time temporal logic with resource bounds

Nguyen, H. N., Alechina, N., Logan, B. & Rakib, A., 7 Jun 2018, In : Journal of Logic and Computation. 28, 4, p. 631-663 33 p.

Research output: Contribution to journalArticle

Open Access
File
Temporal logic
Temporal Logic
Logic
Resources
Reasoning
3 Citations (Scopus)

Formalising Systematic Security Evaluations using Attack Trees for Automotive Applications

Cheah, M., Nguyen, H. N., Bryans, J. & Shaikh, S., 2018, The 11th WISTP International Conference on Information Security Theory and Practice (WISTP'2017) September 28-29, 2017, Crete, Greece. Springer, p. 113-129 (Security and Cryptology; vol. 10741).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

2017
7 Citations (Scopus)
16 Downloads (Pure)

Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources

Alechina, N., Logan, B., Nguyen, H. N. & Raimondi, F., Sep 2017, In : Journal of Computer and System Sciences. 88, p. 126-144 19 p.

Research output: Contribution to journalArticle

Open Access
File
Temporal logic
Model checking
Model Checking
Resources
Logic
1 Citation (Scopus)

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

Asăvoae, I., Nguyen, H. N., Roggenbach, M. & Shaikh, S., 18 Jun 2017, Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs: Barcelona, Spain — June 18 - 23, 2017. Association for Computing Machinery (ACM), 1

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Model checking
Application programs
Computer operating systems
Semantics
5 Citations (Scopus)
32 Downloads (Pure)

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

Alechina, N., Bulling, N., Logan, B. & Nguyen, H. N., 4 Jan 2017, In : Artificial Intelligence. 245, April 2017, p. 56-85

Research output: Contribution to journalArticle

Open Access
File
Model checking
Computability and decidability
resources
Temporal logic
Multi agent systems
4 Citations (Scopus)
41 Downloads (Pure)

Towards a threat assessment framework for apps collusion

Kalutarage, H. K., Nguyen, H. N. & Shaikh, S. A., Nov 2017, In : Telecommunication Systems. 66, 3, p. 417-430 14 p.

Research output: Contribution to journalArticle

Open Access
File
Application programs
Android (operating system)
2016
5 Citations (Scopus)

Combining Third Party Components Securely in Automotive Systems

Cheah, H., Shaikh, S., Bryans, J. & Nguyen, H. N., Sep 2016, Information Security Theory and Practice. Foresti, S. & Lopez, J. (eds.). Springer Verlag, Vol. 9895 LNCS. p. 262-269

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Bluetooth
Specifications
4 Citations (Scopus)

Comparing Formal Verification Approaches of Interlocking Systems

Haxthausen, A. E., Nguyen, H. N. & Roggenbach, M., 15 Jun 2016, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. Lecomte, T., Pinger, R. & Romanovsky, A. (eds.). Switzerland: Springer Verlag, Vol. 9707. p. 160-177

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
Formal methods
Formal verification
1 Citation (Scopus)

OnTrack: The Railway Verification Toolset

James, P., Moller, F., Nguyen, H. N., Roggenbach, M., Treharne, H. & Wang, X., 5 Oct 2016, p. 294-296.

Research output: Contribution to conferencePaper

Open Access
Scalability
Computer simulation
3 Citations (Scopus)
33 Downloads (Pure)

Towards Automated Android App Collusion Detection

As˘avoae, I. M., Blasco, J., Chen, T. M., Kalutarage, H. K., Muttik, I., Nguyen, H. N., Roggenbach, M. & Shaikh, S., 2016, p. 29-37.

Research output: Contribution to conferencePaper

Open Access
File
Application programs
Android (operating system)
1 Citation (Scopus)

Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line

Chen, L., James, P., Kirkwood, D., Nguyen, H. N., Nicholson, G. L. & Roggenbach, M., 10 Oct 2016, 2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT). IEEE, p. 347-355

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Coastal zones
Rails
Bridge approaches
Formal methods
Roofs
4 Citations (Scopus)

Utilising K Semantics for Collusion Detection in Android Applications

Asǎvoae, I. M., Nguyen, H. N., Roggenbach, M. & Shaikh, S. A., Sep 2016, Critical Systems: Formal Methods and Automated Verification. Beek, M. H. T., Gnesi, S. & Knapp, A. (eds.). Springer Verlag, Vol. 9933 LNCS. p. 142-149

Research output: Chapter in Book/Report/Conference proceedingChapter

Application programs
Semantics
Model checking
Communication
Android (operating system)
2015
9 Citations (Scopus)

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

Alechina, N., Bulling, N., Logan, B. & Nguyen, H. N., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015) . Yang, Q. & Wooldridge, M. (eds.). Palo Alto: AAAI Press / International Joint Conferences on Artificial Intelligence, p. 1494-1501

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Computability and decidability
Model checking
3 Citations (Scopus)

Symbolic Model Checking for One-Resource RB+-ATL / 1069

Alechina, N., Logan, B., Nguyen, H. N. & Raimondi, F., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015) . Yang, Q. & Wooldridge, M. (eds.). Palo Alto: AAAI Press / International Joint Conferences on Artificial Intelligence, p. 1069-1075

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Model checking
2014
13 Citations (Scopus)
12 Downloads (Pure)

On modelling and verifying railway interlockings: Tracking train lengths

James, P., Moller, F., Nguyen, H. N., Roggenbach, M., Schneider, S. & Treharne, H., 15 Dec 2014, In : Science of Computer Programming. 96, 3, p. 315-336

Research output: Contribution to journalArticle

Open Access
File
Derailments
Feedback
Engineers
21 Citations (Scopus)
19 Downloads (Pure)

Techniques for modelling and verifying railway interlockings

James, P., Moller, F., Nguyen, H. N., Roggenbach, M., Schneider, S. & Treharne, H., Nov 2014, In : International Journal on Software Tools for Technology Transfer. 16, 6, p. 685-711

Research output: Contribution to journalArticle

Open Access
File
Coating techniques
Model checking
Engineers
Modeling languages