default search action
Natalia Kushik
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j14]Walid Ben-Ameur, Natalia Kushik
, Alessandro Maddaloni
The no-meet matroid. Discret. Appl. Math. 354: 94-107 (2024) - [c46]Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge López, Djamal Zeghlache:
Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems. ENASE 2024: 727-734 - [c45]Evgenii M. Vinarskii, Natalia Kushik, Djamal Zeghlache:
Studying timed aspects for cloud configuration management tools: validation and recommendations for safe execution. ICWS 2024: 1365-1367 - 2023
- [j13]Igor B. Burdonov, Nina V. Evtushenko, Alexander S. Kossachev, Natalia G. Kushik:
On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata. Autom. Remote. Control. 84(6): 606-611 (2023) - [c44]Natalia Kushik, Nina Yevtushenko:
Studying Synchronization Issues for Extended Automata. ENASE 2023: 338-345 - [c43]Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge López, Djamal Zeghlache:
Timed Transition Tour for Race Detection in Distributed Systems. ENASE 2023: 613-620 - [c42]Natalia Kushik, Nina Yevtushenko, Jorge López:
Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs. ICTSS 2023: 237-243 - 2022
- [b1]Natalia Kushik:
Contributions to model based test generation and monitoring strategies and their networking applications. Polytechnic Institute of Paris, France, 2022 - [j12]Nina Yevtushenko
Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs. Softw. Qual. J. 30(1): 161-180 (2022) - [j11]Kuan-Hua Tu, Hung-En Wang, Jie-Hong R. Jiang
Homing Sequence Derivation With Quantified Boolean Satisfiability. IEEE Trans. Computers 71(3): 696-711 (2022) - [c41]Erick Petersen, Jorge López, Natalia Kushik, Maxime Labonne, Claude Poletti, Djamal Zeghlache:
Dynamic Link Network Emulation and Validation of Execution Datasets. ENASE (Selected Papers) 2022: 116-138 - [c40]Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache:
Dynamic Link Network Emulation: A Model-based Design. ENASE 2022: 536-543 - [c39]Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache:
On using Cellular Automata for Modeling the Evolution of Dynamic-Link Network Parameters. NCA 2022: 297-301 - 2021
- [c38]Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache:
Preventive Model-based Verification and Repairing for SDN Requests. ENASE 2021: 421-428 - [c37]Natalia Kushik, Nina Yevtushenko, Jorge López:
Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization. ICTSS 2021: 55-61 - [i4]Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache:
Satellite Communication Digital Twin for Evaluating Novel Solutions: Dynamic Link Emulation Architecture. CoRR abs/2107.07217 (2021) - 2020
- [j10]Natalia Kushik
Novel machine learning technique for predicting teaching strategy effectiveness. Int. J. Inf. Manag. 53: 101488 (2020) - [c36]Erick Petersen
On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress). NCA 2020: 1-3 - [i3]Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache:
On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators. CoRR abs/2009.10051 (2020)
2010 – 2019
- 2019
- [j9]Jorge López
Virtual machine placement quality estimation in cloud infrastructures using integer linear programming. Softw. Qual. J. 27(2): 731-755 (2019) - [c35]José Reyes, Jorge López, Natalia Kushik
On the Assessment and Debugging of QoE in SDN: Work in Progress. NCA 2019: 1-3 - [c34]Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik
Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. ICTSS 2019: 86-103 - [c33]Evgenii M. Vinarskii, Jorge López, Natalia Kushik
A Model Checking Based Approach for Detecting SDN Races. ICTSS 2019: 194-211 - [i2]Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache:
Verifying SDN Data Path Requests. CoRR abs/1906.03101 (2019) - 2018
- [j8]Natalia Kushik
Deriving Synchronizing and Homing Sequences for Input/Output Automata. Autom. Control. Comput. Sci. 52(7): 589-595 (2018) - [j7]Khaled El-Fakih
Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation. Formal Aspects Comput. 30(2): 319-332 (2018) - [j6]Jorge López
Source code optimization using equivalent mutants. Inf. Softw. Technol. 103: 138-141 (2018) - [c32]Asma Berriri, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache
Towards Model based Testing for Software Defined Networks. ENASE 2018: 440-446 - [c31]Nina Yevtushenko, Igor B. Burdonov, Alexandre S. Kossachev, Jorge López, Natalia Kushik
Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness. EWDTS 2018: 1-6 - [c30]Jorge López, Andrey Laputenko, Natalia Kushik, Nina Yevtushenko, Stanislav N. Torgaev:
Scalable Supervised Machine Learning Apparatus for Computationally Constrained Devices. ICSOFT 2018: 552-562 - [c29]Jorge López, Natalia Kushik
Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach. ICTSS 2018: 69-84 - [i1]Jorge López, Natalia Kushik, Nina Yevtushenko:
Source Code Optimization using Equivalent Mutants. CoRR abs/1803.09571 (2018) - 2017
- [j5]Hüsnü Yenigün
The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. Inf. Process. Lett. 127: 49-53 (2017) - [c28]Pamela Carvallo, Ana R. Cavalli
A Study of Threat Detection Systems and Techniques in the Cloud. CRiSIS 2017: 140-155 - [c27]Jorge López, Natalia Kushik, Nina Yevtushenko:
Proactive Trust Assessment of Systems as Services. ENASE 2017: 271-276 - [c26]Hüsnü Yenigün, Natalia Kushik
Decreasing the complexity of deriving test suites against nondeterministic finite state machines. EWDTS 2017: 1-4 - [c25]Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache
Analyzing and Validating Virtual Network Requests. ICSOFT 2017: 441-446 - [c24]Pamela Carvallo, Ana R. Cavalli
Automatic Derivation and Validation of a Cloud Dataset for Insider Threat Detection. ICSOFT 2017: 480-487 - [c23]Jorge López, Natalia Kushik
Quality Estimation of Virtual Machine Placement in Cloud Infrastructures. ICTSS 2017: 213-229 - [c22]Hung-En Wang, Kuan-Hua Tu, Jie-Hong R. Jiang, Natalia Kushik
Homing Sequence Derivation with Quantified Boolean Satisfiability. ICTSS 2017: 230-242 - 2016
- [j4]Natalia Kushik
On adaptive experiments for nondeterministic finite state machines. Int. J. Softw. Tools Technol. Transf. 18(3): 251-264 (2016) - [c21]Jorge López, Natalia Kushik, Nina Yevtushenko:
On Source Code Optimization for Interpreted Languages using State Models. ENASE 2016: 282-287 - [c20]Jorge López, Natalia Kushik
Optimizing network utilization through source code state model representation. EWDTS 2016: 1-4 - [c19]Sergey A. Smolov, Jorge López, Natalia Kushik
Testing logic circuits at different abstraction levels: An experimental evaluation. EWDTS 2016: 1-4 - [c18]Diego Rivera, Ana R. Cavalli, Natalia Kushik, Wissam Mallouli:
An Implementation of a QoE Evaluation Technique Including Business Model Parameters. ICSOFT-PT 2016: 138-145 - [c17]Natalia Kushik, Nina Yevtushenko, Hüsnü Yenigün:
Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs. AMARETTO@MODELSWARD 2016: 83-90 - [c16]Natalia Kushik
Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines. QRS 2016: 315-322 - [c15]Hüsnü Yenigün, Nina Yevtushenko, Natalia Kushik
Some classes of finite state machines with polynomial length of distinguishing test cases. SAC 2016: 1680-1685 - [e1]Franz Wotawa, Mihai Nica, Natalia Kushik:
Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Lecture Notes in Computer Science 9976, 2016, ISBN 978-3-319-47442-7 [contents] - 2015
- [c14]Natalia Kushik, Nina Yevtushenko:
Scalable QoE Prediction for Service Composition. ESaaSA@CLOSER 2015: 16-26 - [c13]Natalia Kushik
On using ABC for deriving distinguishing sequences for Verilog-descriptions. EWDTS 2015: 1-4 - [c12]Nina Yevtushenko, Natalia Kushik
Decreasing the length of adaptive distinguishing experiments for nondeterministic merging-free finite state machines. EWDTS 2015: 1-4 - [c11]Diego Rivera, Natalia Kushik
QoE Evaluation Based on QoS and QoBiz Parameters Applied to an OTT Service. ICWS 2015: 607-614 - [c10]Natalia Kushik
Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines. ICTSS 2015: 243-248 - [c9]Natalia Kushik
Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata. CIAA 2015: 188-198 - [c8]Natalia Kushik, Nina Yevtushenko:
Adaptive Homing is in P. MBT 2015: 73-78 - 2014
- [j3]Natalia Kushik, Jeevan Pokhrel, Nina Yevtushenko, Ana R. Cavalli, Wissam Mallouli:
QoE Prediction for Multimedia Services: Comparing Fuzzy and Logic Network Approaches. Int. J. Organ. Collect. Intell. 4(3): 44-64 (2014) - [j2]Natalia G. Kushik
On the complexity of existence of homing sequences for nondeterministic finite state machines. Program. Comput. Softw. 40(6): 333-336 (2014) - [c7]Natalia Kushik
On Testing against Partial Non-observable Specifications. QUATIC 2014: 230-233 - [c6]Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli, Wissam Mallouli, Jeevan Pokhrel
Evaluating Web Service QoE by Learning Logic Networks. WEBIST (1) 2014: 168-176 - 2013
- [c5]Olga Kondratyeva, Natalia Kushik
Evaluating Quality of Web Services: A Short Survey. ICWS 2013: 587-594 - [c4]Natalia Kushik
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines. ICTSS 2013: 33-48 - [c3]Olga Kondratyeva, Natalia Kushik
Evaluating Web Service Quality Using Finite State Models. QSIC 2013: 95-102 - [c2]Natalia Kushik
On the Length of Homing Sequences for Nondeterministic Finite State Machines. CIAA 2013: 220-231 - 2012
- [j1]Natalia Kushik
A SPIN-based approach for detecting vulnerabilities in C programs. Autom. Control. Comput. Sci. 46(7): 379-386 (2012) - 2011
- [c1]Natalia Kushik
Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines. CIAA 2011: 215-224
Coauthor Index
aka: Nina V. Evtushenko
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-30 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: