Zobrazeno 1 - 10
of 39
pro vyhledávání: '"Nafiseh Kahani"'
Publikováno v:
Proceedings of the 18th International Conference on Predictive Models and Data Analytics in Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a61a89b56a2f1ca457e3e78b8c12431c
https://doi.org/10.1145/3558489.3559073
https://doi.org/10.1145/3558489.3559073
The iterative and incremental nature of software development using models typically makes a model of a system incomplete (i.e., partial) until a more advanced and complete stage of development is reached. Existing model execution approaches (interpre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f674cc0382a855fa4a1120e44aa85fa9
Autor:
Nafiseh Kahani, James R. Cordy
Publikováno v:
SAM
In this work, we propose a bounded verification approach for state machine (SM) models that is independent of any model checking tools. This independence is achieved by encoding the execution semantics of SM models as Satisfiability Modulo Theories (
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ea181e7512034a56c844c788a6764427
https://doi.org/10.1145/3419804.3420263
https://doi.org/10.1145/3419804.3420263
Publikováno v:
MoDELS
The automated synthesis of behavioural models in the form of state machines (SMs) from higher-level specifications has a high potential impact on the efficiency and accuracy of software development using models. In this paper, inspired by program syn
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::718e21de35461056da3248910de3f218
https://doi.org/10.1145/3365438.3410936
https://doi.org/10.1145/3365438.3410936
Publikováno v:
Software & Systems Modeling. 18:2361-2397
Model transformation lies at the very core of model-driven engineering, and a large number of model transformation languages and tools have been proposed over the last few years. These tools can be used to develop, transform, merge, exchange, compare
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9f25a33abdfda074393a59a5ae900ea3
https://doi.org/10.1007/s10270-018-0665-6
https://doi.org/10.1007/s10270-018-0665-6
Autor:
Mojtaba Bagherzadeh, James R. Cordy, Nafiseh Kahani, Ahmed Hassan, Cor-Paul Bezemer, Juergen Dingel
Publikováno v:
ICSE
The Linux kernel provides its services to the application layer using so-called system calls. All system calls combined form the Application Programming Interface (API) of the kernel. Hence, system calls provide us with a window into the development
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::30099d24dd70d9c165ac1449fa89528f
https://doi.org/10.1007/s10664-017-9551-z
https://doi.org/10.1007/s10664-017-9551-z
Publikováno v:
ASE
This paper presents PMExec, a tool that supports the execution of partial UML-RT models. To this end, the tool implements the following steps: static analysis, automatic refinement, and input-driven execution. The static analysis that respects the ex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4afedd5bc45f777b921b40c6ed4bae11
https://doi.org/10.1109/ase.2019.00131
https://doi.org/10.1109/ase.2019.00131
Publikováno v:
MoDELS Companion
This paper provides an overview of SimGen, a prototyping tool which aids in the creation of 3D simulations for embedded systems testing. SimGen relies on a domain specific language to describe the components of the simulation and the communication pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a82b8c299d54dda8a501d53fb24bdc72
https://doi.org/10.1145/3270112.3270135
https://doi.org/10.1145/3270112.3270135
Autor:
Nafiseh Kahani, Mehran S. Fallah
Publikováno v:
ARES
This paper proposes a new adaptively distributed packet filtering mechanism to mitigate the DDoS attacks targeted at the victim's bandwidth. The mechanism employs IP traceback as a means of distinguishing attacks from legitimate traffic, and continuo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c26554777851c66625e386472e444000
https://doi.org/10.1145/3230833.3230844
https://doi.org/10.1145/3230833.3230844
Autor:
Nafiseh Kahani
Publikováno v:
ICSE (Companion Volume)
This paper introduces a new approach to the automation of real-time embedded systems modeling. Our approach is based on a new domain-specific language called AutoModel to specify the requirements of a system in terms of its components, goals and cons
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d0e0b0b29887b4b02dc639e7192a1ff7
https://doi.org/10.1145/3183440.3190333
https://doi.org/10.1145/3183440.3190333