• 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
Filter
Paper
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

2016
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)