Natalia Kushik

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 52

Top Topics

Cellular Automata

Quality Estimation

Top Venues

Publications

Walid Ben-Ameur, Natalia Kushik, Alessandro Maddaloni, José Neto, Dimitri Watel
The no-meet matroid. Discret. Appl. Math. 354 (2024)
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)
Natalia Kushik, Nina Yevtushenko
Studying Synchronization Issues for Extended Automata. ENASE (2023)
Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge López, Djamal Zeghlache
Timed Transition Tour for Race Detection in Distributed Systems. ENASE (2023)
Natalia Kushik, Nina Yevtushenko, Jorge López
Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs. ICTSS (2023)
Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache
Dynamic Link Network Emulation: A Model-based Design. ENASE (2022)
Kuan-Hua Tu, Hung-En Wang, Jie-Hong R. Jiang, Natalia Kushik, Nina Yevtushenko
Homing Sequence Derivation With Quantified Boolean Satisfiability. IEEE Trans. Computers 71 (3) (2022)
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)
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)
Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik
Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs. Softw. Qual. J. 30 (1) (2022)
Natalia Kushik, Nina Yevtushenko, Jorge López
Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization. ICTSS (2021)
Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache
Satellite Communication Digital Twin for Evaluating Novel Solutions: Dynamic Link Emulation Architecture. CoRR (2021)
Igor B. Burdonov, Alexandre Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache
Preventive Model-based Verification and Repairing for SDN Requests. ENASE (2021)
Natalia Kushik, Nina Yevtushenko, Tatiana G. Evtushenko
Novel machine learning technique for predicting teaching strategy effectiveness. Int. J. Inf. Manag. 53 (2020)
Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache
On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress). NCA (2020)
Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache
On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators. CoRR (2020)
Evgenii M. Vinarskii, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache
A Model Checking Based Approach for Detecting SDN Races. ICTSS (2019)
Jorge López, Natalia Kushik, Djamal Zeghlache
Virtual machine placement quality estimation in cloud infrastructures using integer linear programming. Softw. Qual. J. 27 (2) (2019)
Igor B. Burdonov, Alexandre Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache
Verifying SDN Data Path Requests. CoRR (2019)
Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik
Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. ICTSS (2019)
José Reyes, Jorge López, Natalia Kushik, Djamal Zeghlache
On the Assessment and Debugging of QoE in SDN: Work in Progress. NCA (2019)
Nina Yevtushenko, Igor B. Burdonov, Alexandre Kossachev, Jorge López, Natalia Kushik, Djamal Zeghlache
Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness. EWDTS (2018)
Jorge López, Natalia Kushik, Nina Yevtushenko
Source Code Optimization using Equivalent Mutants. CoRR (2018)
Natalia Kushik, Nina Yevtushenko, Igor B. Bourdonov, Alexander S. Kossatchev
Deriving Synchronizing and Homing Sequences for Input/Output Automata. Autom. Control. Comput. Sci. 52 (7) (2018)
Jorge López, Natalia Kushik, Asma Berriri, Nina Yevtushenko, Djamal Zeghlache
Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach. ICTSS (2018)
Khaled El-Fakih, Nina Yevtushenko, Natalia Kushik
Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation. Formal Aspects Comput. 30 (2) (2018)
Asma Berriri, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache
Towards Model based Testing for Software Defined Networks. ENASE (2018)
Jorge López, Andrey Laputenko, Natalia Kushik, Nina Yevtushenko, Stanislav N. Torgaev
Scalable Supervised Machine Learning Apparatus for Computationally Constrained Devices. ICSOFT (2018)
Jorge López, Natalia Kushik, Nina Yevtushenko
Source code optimization using equivalent mutants. Inf. Softw. Technol. 103 (2018)
Jorge López, Natalia Kushik, Djamal Zeghlache
Quality Estimation of Virtual Machine Placement in Cloud Infrastructures. ICTSS (2017)
Hüsnü Yenigün, Nina Yevtushenko, Natalia Kushik
The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. Inf. Process. Lett. 127 (2017)
Pamela Carvallo, Ana R. Cavalli, Natalia Kushik
Automatic Derivation and Validation of a Cloud Dataset for Insider Threat Detection. ICSOFT (2017)
Jorge López, Natalia Kushik, Nina Yevtushenko
Proactive Trust Assessment of Systems as Services. ENASE (2017)
Hung-En Wang, Kuan-Hua Tu, Jie-Hong R. Jiang, Natalia Kushik
Homing Sequence Derivation with Quantified Boolean Satisfiability. ICTSS (2017)
Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache
Analyzing and Validating Virtual Network Requests. ICSOFT (2017)
Pamela Carvallo, Ana R. Cavalli, Natalia Kushik
A Study of Threat Detection Systems and Techniques in the Cloud. CRiSIS (2017)
Hüsnü Yenigün, Natalia Kushik, Jorge López, Nina Yevtushenko, Ana R. Cavalli
Decreasing the complexity of deriving test suites against nondeterministic finite state machines. EWDTS (2017)
Jorge López, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko
Optimizing network utilization through source code state model representation. EWDTS (2016)
Diego Rivera, Ana R. Cavalli, Natalia Kushik, Wissam Mallouli
An Implementation of a QoE Evaluation Technique Including Business Model Parameters. ICSOFT-PT (2016)
Hüsnü Yenigün, Nina Yevtushenko, Natalia Kushik
Some classes of finite state machines with polynomial length of distinguishing test cases. SAC (2016)
Natalia Kushik, Jorge López, Ana R. Cavalli, Nina Yevtushenko
Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines. QRS (2016)
Sergey A. Smolov, Jorge López, Natalia Kushik, Nina Yevtushenko, Mikhail M. Chupilko, Alexander S. Kamkin
Testing logic circuits at different abstraction levels: An experimental evaluation. EWDTS (2016)
Jorge López, Natalia Kushik, Nina Yevtushenko
On Source Code Optimization for Interpreted Languages using State Models. ENASE (2016)
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)
Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko, Ana R. Cavalli
On adaptive experiments for nondeterministic finite state machines. Int. J. Softw. Tools Technol. Transf. 18 (3) (2016)
Natalia Kushik, Nina Yevtushenko
Scalable QoE Prediction for Service Composition. ESaaSA@CLOSER (2015)
Natalia Kushik, Nina Yevtushenko, Stanislav N. Torgaev, Nikita Shatilov
On using ABC for deriving distinguishing sequences for Verilog-descriptions. EWDTS (2015)
Natalia Kushik, Nina Yevtushenko
Adaptive Homing is in P. MBT (2015)
Natalia Kushik, Nina Yevtushenko
Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata. CIAA (2015)
Natalia Kushik, Hüsnü Yenigün
Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines. ICTSS (2015)
Diego Rivera, Natalia Kushik, Camila Fuenzalida, Ana R. Cavalli, Nina Yevtushenko
QoE Evaluation Based on QoS and QoBiz Parameters Applied to an OTT Service. ICWS (2015)
Nina Yevtushenko, Natalia Kushik
Decreasing the length of adaptive distinguishing experiments for nondeterministic merging-free finite state machines. EWDTS (2015)
Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli, Wissam Mallouli, Jeevan Pokhrel
Evaluating Web Service QoE by Learning Logic Networks. WEBIST (1) (2014)
Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli
On Testing against Partial Non-observable Specifications. QUATIC (2014)
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) (2014)
Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines. ICTSS (2013)
Olga Kondratyeva, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko
Evaluating Web Service Quality Using Finite State Models. QSIC (2013)
Natalia Kushik, Nina Yevtushenko
On the Length of Homing Sequences for Nondeterministic Finite State Machines. CIAA (2013)
Olga Kondratyeva, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko
Evaluating Quality of Web Services: A Short Survey. ICWS (2013)
Natalia Kushik, Amel Mammar, Ana R. Cavalli, Nina Yevtushenko, Willy Jimenez, Edgardo Montes de Oca
A SPIN-based approach for detecting vulnerabilities in C programs. Autom. Control. Comput. Sci. 46 (7) (2012)
Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko
Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines. CIAA (2011)