Publications

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

Journal Articles

• S. Yaraghi, A.,  Bagherzadeh, M., Kahani, N. and Briand, L. (2022). Scalable and Accurate Test Case Prioritization in Continuous Integration Contexts. IEEE Transactions on Software Engineering (TSE), 1-24.

• Bagherzadeh, M., Kahani, N., Jahed, K. and Dingel, J. (2020). Execution of partial state machine models. IEEE Transactions on Software Engineering (TSE), 1–27.

• Kahani, N., Bagherzadeh, M., Cordy, J. R., Dingel, J. and Varró, D. (2019). Survey and classification of model transformation tools. Software & Systems Modeling, 1–37. WebSite

• Bagherzadeh, M., Kahani, N., Bezemer, C.-P., Hassan, A. E., Dingel, J. and Cordy, J. R. (2018). Analyzing a decade of linux system calls. Empirical Software Engineering, 23(3), 1519–1551.

• Fallah, M. S. and Kahani, N. (2014). TDPF: A traceback‐based distributed packet filter to mitigate spoofed DDoS attacks. Security and Communication Networks, 7(2), 245–264.

Conference Proceedings 

• Mendoza, J., Mycroft, J., Milbury, L., Kahani, N., and Jaskolka, J. (2022). On the effectiveness of data balancing techniques in the context of ML-based test case prioritization. In Proceedings of the 18th International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE) (pp. 72-81), ACM.

• Kahani, N. and Cordy, J. R. (2020). Bounded verification of state machine models. In Proceedings of the 12th System Analysis and Modelling Conference (SAM’20) (pp. 23–32).

• 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).

•  Bagherzadeh, M., Jahed, K., Kahani, N. and Dingel, J. (2019). PMExec: An execution engine of partial UML-RT models. In 34th IEEE/ACM International Conference on Automated Software Engineering: Companion Proceeding (ASE) (pp. 1–4).

• Kahani, N. (2018). AutoModel: A domain-specific language for automatic modeling of real-time embedded systems. In Proceedings of the 40th International Conference on Software Engineering (pp. 515–517). ACM.

• Kahani, N. and Fallah, M. S. (2018). A reactive defense against bandwidth attacks using learning automata. In Proceedings of the 13th International Conference on Availability, Reliability and Security (pp. 1–6). ACM.

• Pasternak, M., Kahani, N., Bagherzadeh, M., Dingel, J. and Cordy, J. R. (2018). SimGen: A tool for generating simulations and visualizations of embedded systems on the Unity game engine. In Proceedings of the ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems (MODELS). ACM.

• Kahani, N., Hili, N., Cordy, J. R. and Dingel, J. (2017). Evaluation of UML-RT and Papyrus-RT for modelling self-adaptive systems. In IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE) (pp. 12–18). IEEE.

• Kahani, N., Bagherzadeh, M., Dingel, J. and Cordy, J. R. (2016). The problems with Eclipse modeling tools: A topic analysis of Eclipse forums. In Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS) (pp. 227–237). ACM/IEEE.

•  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

• Kahani, N., Bradbury, J. S. and Cordy, J. R. (2018). A review of model-driven verification techniques for self-adaptive systems: A feature-based analysis. Queen’s University.

•  Kahani, N. and Cordy, J. R. (2015). Comparison and evaluation of model transformation tools. Queen’s University.

  Posters

• Kahani, N. (2018). A domain-specific language for automatic modeling of real-time embedded systems. Proceedings of the 40th International Conference on Software Engineering.

• Kahani, N. and Cordy, J. R. (2015). Mobile computation offloading using machine learning. Consortium of Software Engineering Research (CSER).

 Talks

• “Regression Testing using Reinforcement Learning”, Consortium for Software Engineering Research (CSER), 2021
• “Reinforcement Learning for Test Case Prioritization”, CUIDS- Data Science Distinguished Speaker Series, 2021
• “Synthesis of State Machine Models”, Women in Engineering (WIE)- IEEE Kingston Section,  2020
• “The Problems with Eclipse Modeling Tools”, Queen’s Graduate Computing Society Conference, 2017
• “Formal Model-based Verification of Self-adaptive Systems”, NECSIS/ORF Annual Workshop, 2016