• 85 Citations
  • 5 h-Index
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
4 Citations (Scopus)

Comparing Formal Verification Approaches of Interlocking Systems

Haxthausen, A. E., Nguyen, H. N. & Roggenbach, M., 15 Jun 2016, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. Lecomte, T., Pinger, R. & Romanovsky, A. (eds.). Switzerland: Springer Verlag, Vol. 9707. p. 160-177

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
Formal methods
Formal verification
4 Citations (Scopus)

Utilising K Semantics for Collusion Detection in Android Applications

Asǎvoae, I. M., Nguyen, H. N., Roggenbach, M. & Shaikh, S. A., Sep 2016, Critical Systems: Formal Methods and Automated Verification. Beek, M. H. T., Gnesi, S. & Knapp, A. (eds.). Springer Verlag, Vol. 9933 LNCS. p. 142-149

Research output: Chapter in Book/Report/Conference proceedingChapter

Application programs
Model checking
Android (operating system)