Hoang Nga Nguyen
Coventry University
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Hoang Nga Nguyen.
Journal of Logic and Computation | 2011
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
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
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
Phillip James; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Steve Schneider; Helen Treharne; Matthew Trumble; David M. Williams
Science of Computer Programming | 2014
Phillip James; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Steve Schneider; Helen Treharne
||
integrated formal methods | 2012
Yoshinao Isobe; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach
european conference on artificial intelligence | 2014
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
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
Natasha Alechina; Brian Logan; Hoang Nga Nguyen; Abdur Rakib
||
Knowledge Representation for Agents and Multi-Agent Systems | 2009
Natasha Alechina; Brian Logan; Hoang Nga Nguyen; Abdur Rakib