Follow
Nafiseh Kahani
Nafiseh Kahani
Unknown affiliation
Verified email at cs.queensu.ca
Title
Cited by
Cited by
Year
Survey and Classification of Model Transformation Tools
N Kahani, M Bagherzadeh, JR Cordy, J Dingel, D Varró
Software and Systems Modelling, 1-47, 2019
1582019
Reinforcement learning for test case prioritization
M Bagherzadeh, N Kahani, L Briand
IEEE Transactions on Software Engineering 48 (8), 2836-2856, 2021
702021
Authentication and Access Control in e-Health Systems in the Cloud
N Kahani, K Elgazzar, JR Cordy
2016 IEEE 2nd International Conference on Big Data Security on Cloud …, 2016
512016
The Problems with Eclipse Modeling Tools: a Topic Analysis of Eclipse Forums
N Kahani, M Bagherzadeh, J Dingel, JR Cordy
MODELS 2016, 2016
482016
Analyzing a Decade of Linux System Calls
M Bagherzadeh, N Kahani, CP Bezemer, AE Hassan, J Dingel, JR Cordy
Empirical Software Engineering, 2017
422017
Comparison and Evaluation of Model Transformation Tools
N Kahani, JR Cordy
Technical Report, 2015
342015
Evaluation of UML-RT and Papyrus-RT for Modelling Self-Adaptive Systems
N Kahani, N Hili, JR Cordy, D Juergen
9th Workshop on Modelling in Software Engineering (MiSE'2017), 2017
272017
Scalable and accurate test case prioritization in continuous integration contexts
AS Yaraghi, M Bagherzadeh, N Kahani, LC Briand
IEEE Transactions on Software Engineering 49 (4), 1615-1639, 2022
262022
Simgen: A tool for generating simulations and visualizations of embedded systems on the unity game engine
M Pasternak, N Kahani, M Bagherzadeh, J Dingel, JR Cordy
Proceedings of the 21st ACM/IEEE International Conference on Model Driven …, 2018
132018
TDPF: A Traceback‐based Distributed Packet Filter to Mitigate Spoofed DDoS Attacks
M Fallah, N Kahani
Security and Communication Networks 7 (2), 245-264, 2014
122014
Execution of Partial State Machine Models
M Bagherzadeh, N Kahani, K Jahed, J Dingel
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1, 2020
10*2020
AutoModel: A Domain-specific Language for Automatic Modeling of Real-time Embedded Systems
N Kahani
40th International Conference on Software Engineering, Gothenburg, Sweden, 2018
72018
PMExec: an execution engine of partial UML-RT models
M Bagherzadeh, K Jahed, N Kahani, J Dingel
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
52019
On the effectiveness of data balancing techniques in the context of ml-based test case prioritization
J Mendoza, J Mycroft, L Milbury, N Kahani, J Jaskolka
Proceedings of the 18th International Conference on Predictive Models and …, 2022
42022
Bounded Verification of State Machine Models
N Kahani, JR Cordy
System Analysis and Modelling Conference, 23–32, 2020
42020
A Reactive Defense Against Bandwidth Attacks Using Learning Automata
N Kahani, MS Fallah
International Conference on Availability, Reliability, and Security (ARES), 2018
42018
Synthesis and Verification of Models using Satisfiability Modulo Theories
N Kahani
Queen's University, 2020
22020
A Review of Model-Driven Verification Techniques for Self-Adaptive Systems: A Feature-based Analysis
N Kahani, JS Bradbury, JR Cordy
22018
Privacy-Preserving Attribute-Based Access Control with Non-Monotonic Access Structure
M Ashouri-Talouki, N Kahani, M Barati
2023 7th Cyber Security in Networking Conference (CSNet), 32-38, 2023
12023
Synthesis of State Machine Models
N Kahani, M Bagherzadeh, JR Cordy
23rd ACM/IEEE International Conference on Model Driven Engineering Languages …, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20