Nafiseh Kahani

According to our database1, Nafiseh Kahani authored at least 20 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
An Accurate and Low-Parameter Machine Learning Architecture for Next Location Prediction.
CoRR, 2024

Automated Test Case Repair Using Language Models.
CoRR, 2024

2023
Scalable and Accurate Test Case Prioritization in Continuous Integration Contexts.
IEEE Trans. Software Eng., April, 2023

Leveraging modeling concepts and techniques to address challenges in network management.
Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022
Execution of Partial State Machine Models.
IEEE Trans. Software Eng., 2022

Reinforcement Learning for Test Case Prioritization.
IEEE Trans. Software Eng., 2022

On the effectiveness of data balancing techniques in the context of ML-based test case prioritization.
Proceedings of the 18th International Conference on Predictive Models and Data Analytics in Software Engineering, 2022

2020
Synthesis and Verification of Models using Satisfiability Modulo Theories
PhD thesis, 2020

Bounded Verification of State Machine Models.
Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020

Synthesis of state machine models.
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019
Survey and classification of model transformation tools.
Softw. Syst. Model., 2019

PMExec: An Execution Engine of Partial UML-RT Models.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018
Analyzing a decade of Linux system calls.
Empir. Softw. Eng., 2018

Simgen: a tool for generating simulations and visualizations of embedded systems on the unity game engine.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

AutoModel: a domain-specific language for automatic modeling of real-time embedded systems.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

A Reactive Defense Against Bandwidth Attacks Using Learning Automata.
Proceedings of the 13th International Conference on Availability, Reliability and Security, 2018

2017
Evaluation of UML-RT and Papyrus-RT for Modelling Self-Adaptive Systems.
Proceedings of the 9th IEEE/ACM International Workshop on Modelling in Software Engineering, 2017

2016
The problems with eclipse modeling tools: a topic analysis of eclipse forums.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Authentication and Access Control in e-Health Systems in the Cloud.
Proceedings of the 2nd IEEE International Conference on Big Data Security on Cloud, 2016

2014
TDPF: a traceback-based distributed packet filter to mitigate spoofed DDoS attacks.
Secur. Commun. Networks, 2014


  Loading...