Hoang Nga Nguyen

Research Assistant, Processes and Data, Safecap

I have moved to the University of Nottingham. For my new website, click here.

Research Interests

  • Model-based designs.
  • Formal specification and verification,
  • Model checking and theorem proving
  • Timed/Hybrid/Cyber-physical systems
  • Multiagent systems,
  • Knowledge representation and reasoning.

Projects

  • SafeCap (2011-13) EPSRC / RSSB
  • Verifying requirements for resource-bounded agents (2007-2010) EPSRC

Publications

  1. Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider and Helen Treharne. Defining and Model Checking Abstractions of Complex Railway Models using CSP||B. The 8th Haifa Verification Conference, November 2012, Haifa, Israel. [pdf]
  2. Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider and Helen Treharne. CSP||B Modelling for Railway Verification: The Double Junction Case Study. The 12th International Workshop on Automated Verification of Critical Systems, September 2012, Bamberg, Germany. [pdf]
  3. Yoshinao Isobe, Hoang Nga Nguyen, Markus Roggenbach, and Faron Moller. Safety and line capacity in railways: An approach in Timed CSP. The 9th International Conference on Integrated Formal Methods, June 2012, Pisa, Italy. [pdf]
  4. Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider, and Helen Treharne. Using ProB and CSP||B for railway modelling. Proceedings of the Posters & Tool demos Session. ISBN: 978-88-7958-008-3. iFM 2012 & ABZ 2012. [pdf]
  5. Marc Fontaine, Andy Gimblett, Faron Moller, Hoang Nga Nguyen, and Markus Roggenbach. Timed CSP Simulator. Proceedings of the Posters & Tool demos Session. ISBN: 978-88-7958-008- 3. iFM 2012 & ABZ 2012. [pdf]
  6. Yoshinao Isobe, Hoang Nga Nguyen, and Markus Roggenbach. Towards safe capacity in the railway domain -- An experiment in Timed-CS. Proceedings of Dependable System Workshop (DSW), 2011. [pdf]
  7. Nguyen Hoang Nga. An extension of RB-ATL. Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshops MALLOW 2010. [pdf]
  8. Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Abdur Rakib. Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. MoChArt 2010:69-84. [pdf]
  9. Natasha Alechina, Brian Logan, Nguyen Hoang Nga. Resouce-bounded alternating time temporal logic., The Ninth International Conference on Autonomous Agents and Multiagent Systems AAMAS 2010, May 2010, Toronto, Canada. [pdf]
  10. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Logic for coalitions with bounded resources. Journal of Logic and Computation 21, no. 6 (2010): 907-937. [pdf]
  11. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Verifying time, memory and communication bounds in systems of reasoning agents. Synthese. 169:385–403, 2009.
  12. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. A Logic for Coalitions with Bounded Resources., Proceedings of the Twenty First International Joint Conference on Artificial Intelligence IJCAI 2009. 2:659–664. [pdf]
  13. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Expressing Properties of Coalitional Ability under Resource Bounds. Proceedings of the Second International Workshop on Logic, Rationality and Interaction LORI-II, 2009. [pdf]
  14. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Verifying Properties of Coalitional Ability under Resource Bounds. Proceedings of the Second Internatinal Workshop on Logics for Agents and Mobility LAM 2009. [pdf]
  15. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Verifying Time and Communication Costs of Rule-Based Reasoners. Proceedings of Model Checking and Artificial Intelligence, 5th International Workshop {MoChArt} 2008, Patras Greece, July 21, 2008. [pdf]
  16. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Reasoning about other agents' beliefs under bounded resources. Pre-proceedings of the KR2008 Workshop on Knowledge Representation for Agents and Multi-Agent Systems KRAMAS 2008. :4–18. [pdf]
  17. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Verifying Resource Requirements for Distributed Rule-Based Systems. Symposium on Rule Representation, Interchange and Reasoning on the Web RuleML 2008. 5321:31–38. [pdf]
  18. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Verification of Resource Requirements of Distributed Reasoning Agents.. Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008). Budapest, Hungary, 2008. [pdf]
  19. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Verifying time, memory and communication bounds in systems of reasoning agents., Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems AAMAS 2008. 2:736–743. [pdf]
  20. Steffen Hoelldobler, Nguyen Hoang Nga and Tran Dinh Khang. The Fuzzy Description Logic ALC_FLH. Proceedings of the International Workshop on Description Logics - DL2005. July 2005, Edinburgh, Scotland, UK. [pdf]
  21. Steffen Hoelldobler, Hand-Peter Stoerr, Tran Dinh Khang, and Nguyen Hoang Nga. The subsumption problem in the fuzzy description logic ALC_FH., Proceedings of the Tenth International Conference IPMU 2004: Information Processing and Managment of Uncertainty in Knowledge-Based Systems, volume 1, pages 243-250, 2004. [pdf]

Softwares

Research partners

Industrial partners

  • RSSB
  • Invensys Rail

Contact

  • E-mail:
  • Address: Computer Science Department, Swansea University, Singleton Park, Swansea, SA2 8PP, UK


Photo of Me