H
Hoang Nga Nguyen
Researcher at Coventry University
Publications - 48
Citations - 551
Hoang Nga Nguyen is an academic researcher from Coventry University. The author has contributed to research in topics: Model checking & Temporal logic. The author has an hindex of 14, co-authored 47 publications receiving 474 citations. Previous affiliations of Hoang Nga Nguyen include University of Nottingham & Swansea University.
Papers
More filters
Journal ArticleDOI
Logic for coalitions with bounded resources1
TL;DR: In this paper, the authors present a Resource-Bounded Coalition Logic (RBCL) that has explicit representation of resource bounds in the language and give a complete and sound axiomatization of RBCL.
Journal ArticleDOI
Techniques for modelling and verifying railway interlockings
Phillip James,Faron Moller,Hoang Nga Nguyen,Markus Roggenbach,Steve Schneider,Helen Treharne +5 more
TL;DR: A covering technique is introduced that allows railway scheme plans to be decomposed into a set of smaller scheme plans and is applicable to other modelling frameworks besides CSP.
Book ChapterDOI
Defining and model checking abstractions of complex railway models using CSP
TL;DR: A structured way of refining track plans, in order to expand track segments so that they form collections of track segments, is proposed and it is shown 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 it will never need to model check thecrete track plan directly.
Book ChapterDOI
Verification of Scheme Plans Using CSP
Philip James,Faron Moller,Hoang Nga Nguyen,Markus Roggenbach,Steve Schneider,Helen Treharne,Matthew Trumble,David M. Williams +7 more
TL;DR: A tool-supported approach to graphically editing scheme plans and their safety verification and using the ProB tool to ensure the safety properties of collision, derailment and run-through freedom is presented.
Book ChapterDOI
Safety and line capacity in railways --- an approach in timed CSP
TL;DR: The modelling approach builds on an established modelling technique in the process algebra Csp for safety alone, provides an integrated view on safety as well as capacity, and offers proof support in terms of (untimed) model checking.