1. Journal Articles
  2. Conference Proceedings 
  3.   Technical Reports
  4.   Posters

A full list of publications is available on my Google scholar.

Journal Articles


Conference Proceedings 

  • Kahani, N. and Cordy, J. R. (2020). Synthesis of state machine models. In Proceedings of the ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS) (pp. 274–284).
  •  Kahani, N., Elgazzar, K. and Cordy, J. R. (2016). Authentication and access control in e-health systems in the cloud. In 2016 IEEE International Conference on Big Data Security on Cloud (BigDataSecurity), IEEE International Conference on High Performance and Smart Computing (HPSC), and IEEE International Conference on Intelligent Data and Security (IDS) (pp. 13–23). IEEE.


  Technical Reports


  Posters