{"id":15,"date":"2020-12-16T09:58:05","date_gmt":"2020-12-16T14:58:05","guid":{"rendered":"https:\/\/carleton.ca\/kahani\/?page_id=15"},"modified":"2026-08-30T11:47:17","modified_gmt":"2026-08-30T15:47:17","slug":"publications","status":"publish","type":"page","link":"https:\/\/carleton.ca\/kahani\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"<div style=\"max-width: 900px; font-family: Arial, Helvetica, sans-serif; color: #333; line-height: 1.6;\">\n<p style=\"margin-bottom: 28px;\">\nA full list of publications is available on my<br \/>\n<a href=\"https:\/\/scholar.google.ca\/citations?user=N8JKTH4AAAAJ&amp;hl=en\" target=\"_blank\" rel=\"noopener noreferrer\"><strong>Google Scholar<\/strong><\/a>.\n<\/p>\n<h2 style=\"margin-top: 0; margin-bottom: 16px;\">Journal Articles<\/h2>\n<ul style=\"padding-left: 24px; margin-top: 0;\">\n<li style=\"margin-bottom: 12px;\">S. Yaraghi, A., Bagherzadeh, M., Kahani, N. and Briand, L. (2022). <a href=\"https:\/\/arxiv.org\/pdf\/2109.13168\" target=\"_blank\" rel=\"noopener noreferrer\">Scalable and Accurate Test Case Prioritization in Continuous Integration Contexts<\/a>. <em>IEEE Transactions on Software Engineering (TSE)<\/em>, 1\u201324.<\/li>\n<li style=\"margin-bottom: 12px;\">Bagherzadeh, M., Kahani, N. and Briand, L. (2021). <a href=\"https:\/\/www.computer.org\/csdl\/journal\/ts\/5555\/01\/09394799\/1stroHW2Ums\" target=\"_blank\" rel=\"noopener noreferrer\">Reinforcement learning for test case prioritization<\/a>. <em>IEEE Transactions on Software Engineering (TSE)<\/em>, 1\u201321.<\/li>\n<li style=\"margin-bottom: 12px;\">Bagherzadeh, M., Kahani, N., Jahed, K. and Dingel, J. (2020). <a href=\"https:\/\/www.researchgate.net\/profile\/Mojtaba_Bagherzadeh4\/publication\/342820772_Execution_of_Partial_State_Machine_Models\/links\/5f07b33b458515505098ccfa\/Execution-of-Partial-State-Machine-Models.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Execution of partial state machine models<\/a>. <em>IEEE Transactions on Software Engineering (TSE)<\/em>, 1\u201327.<\/li>\n<li style=\"margin-bottom: 12px;\">Kahani, N., Bagherzadeh, M., Cordy, J. R., Dingel, J. and Varr\u00f3, D. (2019). <a href=\"https:\/\/www.researchgate.net\/profile\/Mojtaba_Bagherzadeh4\/publication\/322977279_Survey_and_Classification_of_Model_Transformation_Tools\/links\/5a7aa2fc0f7e9b41dbd63f7b\/Survey-and-Classification-of-Model-Transformation-Tools.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Survey and classification of model transformation tools<\/a>. <em>Software &amp; Systems Modeling<\/em>, 1\u201337. <a href=\"http:\/\/www.mdetools.com\/index.php?catid=5\" target=\"_blank\" rel=\"noopener noreferrer\">Website<\/a>.<\/li>\n<li style=\"margin-bottom: 12px;\">Bagherzadeh, M., Kahani, N., Bezemer, C.-P., Hassan, A. E., Dingel, J. and Cordy, J. R. (2018). <a href=\"https:\/\/sail.cs.queensu.ca\/Downloads\/EMSE2017_AnalyzingADecadeOfLinuxSystemCalls.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Analyzing a decade of linux system calls<\/a>. <em>Empirical Software Engineering<\/em>, 23(3), 1519\u20131551.<\/li>\n<li style=\"margin-bottom: 12px;\">Fallah, M. S. and Kahani, N. (2014). <a href=\"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/sec.725\" target=\"_blank\" rel=\"noopener noreferrer\">TDPF: A traceback\u2010based distributed packet filter to mitigate spoofed DDoS attacks<\/a>. <em>Security and Communication Networks<\/em>, 7(2), 245\u2013264.<\/li>\n<\/ul>\n<hr style=\"border: 0; border-top: 1px solid #ddd; margin: 32px 0;\" \/>\n<h2 style=\"margin-bottom: 16px;\">Conference Proceedings<\/h2>\n<ul style=\"padding-left: 24px; margin-top: 0;\">\n<li style=\"margin-bottom: 12px;\">Mendoza, J., Mycroft, J., Milbury, L., Kahani, N., and Jaskolka, J. (2022). <a href=\"https:\/\/doi.org\/10.1145\/3558489.3559073\" target=\"_blank\" rel=\"noopener noreferrer\">On the effectiveness of data balancing techniques in the context of ML-based test case prioritization<\/a>. In <em>Proceedings of the 18th International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE)<\/em> (pp. 72\u201381), ACM.<\/li>\n<li style=\"margin-bottom: 12px;\">Kahani, N. and Cordy, J. R. (2020). <a href=\"https:\/\/research.cs.queensu.ca\/home\/cordy\/Papers\/KC_SAM20_BoundedVerif.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Bounded verification of state machine models<\/a>. In <em>Proceedings of the 12th System Analysis and Modelling Conference (SAM\u201920)<\/em> (pp. 23\u201332).<\/li>\n<li style=\"margin-bottom: 12px;\">Kahani, N. and Cordy, J. R. (2020). <a href=\"https:\/\/www.researchgate.net\/profile\/Mojtaba_Bagherzadeh4\/publication\/343323321_Synthesis_of_State_Machine_Models\/links\/5f232d4b92851cd302cb2bf8\/Synthesis-of-State-Machine-Models.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Synthesis of state machine models<\/a>. In <em>Proceedings of the ACM\/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS)<\/em> (pp. 274\u2013284).<\/li>\n<li style=\"margin-bottom: 12px;\">Bagherzadeh, M., Jahed, K., Kahani, N. and Dingel, J. (2019). <a href=\"https:\/\/www.researchgate.net\/profile\/Mojtaba_Bagherzadeh4\/publication\/335149883_PMExec_An_Execution_Engine_of_Partial_UML-RT_Models\/links\/5d53315292851c93b62e555a\/PMExec-An-Execution-Engine-of-Partial-UML-RT-Models.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">PMExec: An execution engine of partial UML-RT models<\/a>. In <em>34th IEEE\/ACM International Conference on Automated Software Engineering: Companion Proceeding (ASE)<\/em> (pp. 1\u20134).<\/li>\n<li style=\"margin-bottom: 12px;\">Kahani, N. (2018). <a href=\"https:\/\/www.researchgate.net\/profile\/Nafiseh_Kahani\/publication\/325830034_AutoModel_a_domain-specific_language_for_automatic_modeling_of_real-time_embedded_systems\/links\/5baa9a1b45851574f7e63914\/AutoModel-a-domain-specific-language-for-automatic-modeling-of-real-time-embedded-systems.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">AutoModel: A domain-specific language for automatic modeling of real-time embedded systems<\/a>. In <em>Proceedings of the 40th International Conference on Software Engineering<\/em> (pp. 515\u2013517). ACM.<\/li>\n<li style=\"margin-bottom: 12px;\">Kahani, N. and Fallah, M. S. (2018). <a href=\"https:\/\/www.researchgate.net\/profile\/Nafiseh_Kahani\/publication\/326999874_A_Reactive_Defense_Against_Bandwidth_Attacks_Using_Learning_Automata\/links\/5b91850da6fdccfd541f7881\/A-Reactive-Defense-Against-Bandwidth-Attacks-Using-Learning-Automata.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">A reactive defense against bandwidth attacks using learning automata<\/a>. In <em>Proceedings of the 13th International Conference on Availability, Reliability and Security<\/em> (pp. 1\u20136). ACM.<\/li>\n<li style=\"margin-bottom: 12px;\">Pasternak, M., Kahani, N., Bagherzadeh, M., Dingel, J. and Cordy, J. R. (2018). <a href=\"https:\/\/www.researchgate.net\/profile\/Mojtaba_Bagherzadeh4\/publication\/327193509_SimGen_A_Tool_for_Generating_Simulations_and_Visualizations_of_Embedded_Systems_on_the_Unity_Game_Engine\/links\/5b7f51bc299bf1d5a723bfe8\/SimGen-A-Tool-for-Generating-Simulations-and-Visualizations-of-Embedded-Systems-on-the-Unity-Game-Engine.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">SimGen: A tool for generating simulations and visualizations of embedded systems on the Unity game engine<\/a>. In <em>Proceedings of the ACM\/IEEE 21th International Conference on Model Driven Engineering Languages and Systems (MODELS)<\/em>. ACM.<\/li>\n<li style=\"margin-bottom: 12px;\">Kahani, N., Hili, N., Cordy, J. R. and Dingel, J. (2017). <a href=\"https:\/\/www.researchgate.net\/profile\/Nafiseh_Kahani\/publication\/318123173_Evaluation_of_UML-RT_and_Papyrus-RT_for_Modelling_Self-Adaptive_Systems\/links\/5baa9ad045851574f7e6393b\/Evaluation-of-UML-RT-and-Papyrus-RT-for-Modelling-Self-Adaptive-Systems.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Evaluation of UML-RT and Papyrus-RT for modelling self-adaptive systems<\/a>. In <em>IEEE\/ACM 9th International Workshop on Modelling in Software Engineering (MiSE)<\/em> (pp. 12\u201318). IEEE.<\/li>\n<li style=\"margin-bottom: 12px;\">Kahani, N., Bagherzadeh, M., Dingel, J. and Cordy, J. R. (2016). <a href=\"https:\/\/www.researchgate.net\/profile\/Mojtaba_Bagherzadeh4\/publication\/308841674_The_problems_with_eclipse_modeling_tools_a_topic_analysis_of_eclipse_forums\/links\/59d5b809aca2725954c570fd\/The-problems-with-eclipse-modeling-tools-a-topic-analysis-of-eclipse-forums.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">The problems with Eclipse modeling tools: A topic analysis of Eclipse forums<\/a>. In <em>Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS)<\/em> (pp. 227\u2013237). ACM\/IEEE.<\/li>\n<li style=\"margin-bottom: 12px;\">Kahani, N., Elgazzar, K. and Cordy, J. R. (2016). <a href=\"https:\/\/www.researchgate.net\/profile\/Nafiseh_Kahani\/publication\/304816598_Authentication_and_Access_Control_in_e-Health_Systems_in_the_Cloud\/links\/5b6953e845851546c9f692e8\/Authentication-and-Access-Control-in-e-Health-Systems-in-the-Cloud.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Authentication and access control in e-health systems in the cloud<\/a>. In <em>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)<\/em> (pp. 13\u201323). IEEE.<\/li>\n<\/ul>\n<hr style=\"border: 0; border-top: 1px solid #ddd; margin: 32px 0;\" \/>\n<h2 style=\"margin-bottom: 16px;\">Technical Reports<\/h2>\n<ul style=\"padding-left: 24px; margin-top: 0;\">\n<li style=\"margin-bottom: 12px;\">Kahani, N., Bradbury, J. S. and Cordy, J. R. (2018). <a href=\"https:\/\/www.researchgate.net\/profile\/Nafiseh_Kahani\/publication\/325630927_A_Review_of_Model-Driven_Verification_Techniques_for_Self-Adaptive_Systems_A_Feature-based_Analysis\/links\/5b1985c3a6fdcca67b650c26\/A-Review-of-Model-Driven-Verification-Techniques-for-Self-Adaptive-Systems-A-Feature-based-Analysis.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">A review of model-driven verification techniques for self-adaptive systems: A feature-based analysis<\/a>. Queen\u2019s University.<\/li>\n<li style=\"margin-bottom: 12px;\">Kahani, N. and Cordy, J. R. (2015). <a href=\"https:\/\/research.cs.queensu.ca\/TechReports\/Reports\/2015-627.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Comparison and evaluation of model transformation tools<\/a>. Queen\u2019s University.<\/li>\n<\/ul>\n<hr style=\"border: 0; border-top: 1px solid #ddd; margin: 32px 0;\" \/>\n<h2 style=\"margin-bottom: 16px;\">Posters<\/h2>\n<ul style=\"padding-left: 24px; margin-top: 0;\">\n<li style=\"margin-bottom: 12px;\">Kahani, N. (2018). <a href=\"https:\/\/www.researchgate.net\/profile\/Nafiseh_Kahani\/publication\/325830034_AutoModel_a_domain-specific_language_for_automatic_modeling_of_real-time_embedded_systems\/links\/5baa9a1b45851574f7e63914\/AutoModel-a-domain-specific-language-for-automatic-modeling-of-real-time-embedded-systems.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">A domain-specific language for automatic modeling of real-time embedded systems<\/a>. <em>Proceedings of the 40th International Conference on Software Engineering<\/em>.<\/li>\n<li style=\"margin-bottom: 12px;\">Kahani, N. and Cordy, J. R. (2015). <a href=\"https:\/\/www.researchgate.net\/profile\/Nafiseh_Kahani\/publication\/324546725_Mobile-Computation-Offloading_using_Machine_Learning\/links\/5ad505fe458515c60f5466e4\/Mobile-Computation-Offloading-using-Machine-Learning.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Mobile computation offloading using machine learning<\/a>. Consortium of Software Engineering Research (CSER).<\/li>\n<\/ul>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>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\u201324. Bagherzadeh, M., Kahani, N. and Briand, L. (2021). Reinforcement learning for test case prioritization. [&hellip;]<\/p>\n","protected":false},"author":5,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_relevanssi_hide_post":"","_relevanssi_hide_content":"","_relevanssi_pin_for_all":"","_relevanssi_pin_keywords":"","_relevanssi_unpin_keywords":"","_relevanssi_related_keywords":"","_relevanssi_related_include_ids":"","_relevanssi_related_exclude_ids":"","_relevanssi_related_no_append":"","_relevanssi_related_not_related":"","_relevanssi_related_posts":"","_relevanssi_noindex_reason":"","_mi_skip_tracking":false,"_exactmetrics_sitenote_active":false,"_exactmetrics_sitenote_note":"","_exactmetrics_sitenote_category":0,"footnotes":"","_links_to":"","_links_to_target":""},"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v21.2 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Publications - Nafiseh Kahani<\/title>\n<meta name=\"description\" content=\"A full list of publications is available on my Google Scholar. Journal Articles S. Yaraghi, A., Bagherzadeh, M., Kahani, N. and Briand, L. (2022).\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/carleton.ca\/kahani\/publications\/\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/carleton.ca\/kahani\/publications\/\",\"url\":\"https:\/\/carleton.ca\/kahani\/publications\/\",\"name\":\"Publications - Nafiseh Kahani\",\"isPartOf\":{\"@id\":\"https:\/\/carleton.ca\/kahani\/#website\"},\"datePublished\":\"2020-12-16T14:58:05+00:00\",\"dateModified\":\"2026-08-30T15:47:17+00:00\",\"description\":\"A full list of publications is available on my Google Scholar. Journal Articles S. Yaraghi, A., Bagherzadeh, M., Kahani, N. and Briand, L. (2022).\",\"breadcrumb\":{\"@id\":\"https:\/\/carleton.ca\/kahani\/publications\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/carleton.ca\/kahani\/publications\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/carleton.ca\/kahani\/publications\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/carleton.ca\/kahani\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Publications\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/carleton.ca\/kahani\/#website\",\"url\":\"https:\/\/carleton.ca\/kahani\/\",\"name\":\"Nafiseh Kahani\",\"description\":\"ÐÓ°ÉÔ­´´ University\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/carleton.ca\/kahani\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-US\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Publications - Nafiseh Kahani","description":"A full list of publications is available on my Google Scholar. Journal Articles S. Yaraghi, A., Bagherzadeh, M., Kahani, N. and Briand, L. (2022).","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/carleton.ca\/kahani\/publications\/","twitter_misc":{"Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/carleton.ca\/kahani\/publications\/","url":"https:\/\/carleton.ca\/kahani\/publications\/","name":"Publications - Nafiseh Kahani","isPartOf":{"@id":"https:\/\/carleton.ca\/kahani\/#website"},"datePublished":"2020-12-16T14:58:05+00:00","dateModified":"2026-08-30T15:47:17+00:00","description":"A full list of publications is available on my Google Scholar. Journal Articles S. Yaraghi, A., Bagherzadeh, M., Kahani, N. and Briand, L. (2022).","breadcrumb":{"@id":"https:\/\/carleton.ca\/kahani\/publications\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/carleton.ca\/kahani\/publications\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/carleton.ca\/kahani\/publications\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/carleton.ca\/kahani\/"},{"@type":"ListItem","position":2,"name":"Publications"}]},{"@type":"WebSite","@id":"https:\/\/carleton.ca\/kahani\/#website","url":"https:\/\/carleton.ca\/kahani\/","name":"Nafiseh Kahani","description":"ÐÓ°ÉÔ­´´ University","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/carleton.ca\/kahani\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-US"}]}},"acf":{"banner_image_type":"hosted","banner_hosted_image":"aerial","banner_opacity":"dark","banner_button":"no"},"_links":{"self":[{"href":"https:\/\/carleton.ca\/kahani\/wp-json\/wp\/v2\/pages\/15"}],"collection":[{"href":"https:\/\/carleton.ca\/kahani\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/carleton.ca\/kahani\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/carleton.ca\/kahani\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/carleton.ca\/kahani\/wp-json\/wp\/v2\/comments?post=15"}],"version-history":[{"count":3,"href":"https:\/\/carleton.ca\/kahani\/wp-json\/wp\/v2\/pages\/15\/revisions"}],"predecessor-version":[{"id":386,"href":"https:\/\/carleton.ca\/kahani\/wp-json\/wp\/v2\/pages\/15\/revisions\/386"}],"wp:attachment":[{"href":"https:\/\/carleton.ca\/kahani\/wp-json\/wp\/v2\/media?parent=15"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}