Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Hoang Nga Nguyen is active.

Publication


Featured researches published by Hoang Nga Nguyen.


Journal of Logic and Computation | 2011

Logic for coalitions with bounded resources1

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

Recent work on Alternating-Time Temporal Logic and Coalition Logic has allowed the expression of many interesting properties of coalitions and strategies. However there is no natural way of expressing resource requirements in these logics. This paper presents a Resource-Bounded Coalition Logic (RBCL) which has explicit representation of resource bounds in the language, and gives a complete and sound axiomatisation of RBCL.


haifa verification conference | 2012

Defining and model checking abstractions of complex railway models using CSP

Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Steve Schneider; Helen Treharne

The safety analysis of interlocking railway systems involves verifying collision and derailment freedom. In this paper we propose a structured way of refining track plans, in order to expand track segments so that they form collections of track segments. We show how the abstract model can be model checked to ensure the safety properties, which must also hold in the corresponding concrete track plan, so that we will never need to model check the concrete track plan directly. We also identify the minimal number of trains that needs to be considered as part of the model checking, and we demonstrate the practicality of the approach on various scenarios.


International Journal on Software Tools for Technology Transfer | 2014

Techniques for modelling and verifying railway interlockings

Phillip James; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Steve Schneider; Helen Treharne

We describe a novel framework for modelling railway interlockings which has been developed in conjunction with railway engineers. The modelling language used is CSP


software engineering and formal methods | 2013

Verification of Scheme Plans Using CSP

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


Science of Computer Programming | 2014

On modelling and verifying railway interlockings

Phillip James; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Steve Schneider; Helen Treharne

||


integrated formal methods | 2012

Safety and line capacity in railways --- an approach in timed CSP

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


european conference on artificial intelligence | 2014

Decidable model-checking for a resource logic with production of resources

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

||B. Beyond the modelling we present a variety of abstraction techniques which make the analysis of medium- to large-scale networks feasible. The paper notably introduces a covering technique that allows railway scheme plans to be decomposed into a set of smaller scheme plans. The finitisation and topological abstraction techniques are extended from previous work and are given formal foundations. All three techniques are applicable to other modelling frameworks besides CSP


Electronic Communication of The European Association of Software Science and Technology | 2012

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

Markus Roggenbach; Faron Moller; Steve Schneider; Helen Treharne; Hoang Nga Nguyen


MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence | 2010

Automated verification of resource requirements in multi-agent systems using abstraction

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

||


Knowledge Representation for Agents and Multi-Agent Systems | 2009

Reasoning about Other Agents' Beliefs under Bounded Resources

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

Collaboration


Dive into the Hoang Nga Nguyen's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar

Brian Logan

University of Nottingham

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Abdur Rakib

University of Nottingham Malaysia Campus

View shared research outputs
Researchain Logo
Decentralizing Knowledge