Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines. - Natalia Kushik; Khaled El-Fakih; Nina Yevtushenko 001 (CIAA, 2011)

A SPIN-based approach for detecting vulnerabilities in C programs. - Natalia Kushik; Amel Mammar; Ana R. Cavalli; Nina Yevtushenko 001; Willy Jimenez; Edgardo Montes de Oca (Autom. Control. Comput. Sci., 2012)

Evaluating Quality of Web Services: A Short Survey. - Olga Kondratyeva; Natalia Kushik; Ana R. Cavalli; Nina Yevtushenko 001 (ICWS, 2013)

Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines. - Natalia Kushik; Khaled El-Fakih; Nina Yevtushenko 001 (ICTSS, 2013)

Evaluating Web Service Quality Using Finite State Models. - Olga Kondratyeva; Natalia Kushik; Ana R. Cavalli; Nina Yevtushenko 001 (QSIC, 2013)

On the Length of Homing Sequences for Nondeterministic Finite State Machines. - Natalia Kushik; Nina Yevtushenko 001 (CIAA, 2013)

On Testing against Partial Non-observable Specifications. - Natalia Kushik; Nina Yevtushenko 001; Ana R. Cavalli (QUATIC, 2014)

Evaluating Web Service QoE by Learning Logic Networks. - Natalia Kushik; Nina Yevtushenko 001; Ana R. Cavalli; Wissam Mallouli; Jeevan Pokhrel (WEBIST (1), 2014)

QoE Prediction for Multimedia Services: Comparing Fuzzy and Logic Network Approaches. - Natalia Kushik; Jeevan Pokhrel; Nina Yevtushenko 001; Ana R. Cavalli; Wissam Mallouli (Int. J. Organ. Collect. Intell., 2014)

On the complexity of existence of homing sequences for nondeterministic finite state machines. - Natalia G. Kushik; Victor V. Kulyamin; Nina V. Evtushenko (Program. Comput. Softw., 2014)

Scalable QoE Prediction for Service Composition. - Natalia Kushik; Nina Yevtushenko 001 (ESaaSA@CLOSER, 2015)

On using ABC for deriving distinguishing sequences for Verilog-descriptions. - Natalia Kushik; Nina Yevtushenko 001; Stanislav N. Torgaev; Nikita Shatilov (EWDTS, 2015)

Decreasing the length of adaptive distinguishing experiments for nondeterministic merging-free finite state machines. - Nina Yevtushenko 001; Natalia Kushik (EWDTS, 2015)

QoE Evaluation Based on QoS and QoBiz Parameters Applied to an OTT Service. - Diego Rivera; Natalia Kushik; Camila Fuenzalida; Ana R. Cavalli; Nina Yevtushenko 001 (ICWS, 2015)

Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines. - Natalia Kushik; Hüsnü Yenigün (ICTSS, 2015)

Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata. - Natalia Kushik; Nina Yevtushenko 001 (CIAA, 2015)

Adaptive Homing is in P. - Natalia Kushik; Nina Yevtushenko 001 (MBT, 2015)

On Source Code Optimization for Interpreted Languages using State Models. - Jorge López; Natalia Kushik; Nina Yevtushenko 001 (ENASE, 2016)

Optimizing network utilization through source code state model representation. - Jorge López; Natalia Kushik; Ana R. Cavalli; Nina Yevtushenko 001 (EWDTS, 2016)

Testing logic circuits at different abstraction levels: An experimental evaluation. - Sergey A. Smolov; Jorge López; Natalia Kushik; Nina Yevtushenko 001; Mikhail M. Chupilko; Alexander S. Kamkin (EWDTS, 2016)

An Implementation of a QoE Evaluation Technique Including Business Model Parameters. - Diego Rivera; Ana R. Cavalli; Natalia Kushik; Wissam Mallouli (ICSOFT-PT, 2016)

Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs. - Natalia Kushik; Nina Yevtushenko 001; Hüsnü Yenigün (AMARETTO@MODELSWARD, 2016)

Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines. - Natalia Kushik; Jorge López; Ana R. Cavalli; Nina Yevtushenko 001 (QRS, 2016)

Some classes of finite state machines with polynomial length of distinguishing test cases. - Hüsnü Yenigün; Nina Yevtushenko 001; Natalia Kushik (SAC, 2016)

On adaptive experiments for nondeterministic finite state machines. - Natalia Kushik; Khaled El-Fakih; Nina Yevtushenko 001; Ana R. Cavalli (Int. J. Softw. Tools Technol. Transf., 2016)

A Study of Threat Detection Systems and Techniques in the Cloud. - Pamela Carvallo; Ana R. Cavalli; Natalia Kushik (CRiSIS, 2017)

Proactive Trust Assessment of Systems as Services. - Jorge López; Natalia Kushik; Nina Yevtushenko 001 (ENASE, 2017)

Decreasing the complexity of deriving test suites against nondeterministic finite state machines. - Hüsnü Yenigün; Natalia Kushik; Jorge López; Nina Yevtushenko 001; Ana R. Cavalli (EWDTS, 2017)

Automatic Derivation and Validation of a Cloud Dataset for Insider Threat Detection. - Pamela Carvallo; Ana R. Cavalli; Natalia Kushik (ICSOFT, 2017)

Analyzing and Validating Virtual Network Requests. - Jorge López; Natalia Kushik; Nina Yevtushenko 001; Djamal Zeghlache (ICSOFT, 2017)

Quality Estimation of Virtual Machine Placement in Cloud Infrastructures. - Jorge López; Natalia Kushik; Djamal Zeghlache (ICTSS, 2017)

Homing Sequence Derivation with Quantified Boolean Satisfiability. - Hung-En Wang; Kuan-Hua Tu; Jie-Hong R. Jiang; Natalia Kushik (ICTSS, 2017)

The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. - Hüsnü Yenigün; Nina Yevtushenko 001; Natalia Kushik (Inf. Process. Lett., 2017)

Towards Model based Testing for Software Defined Networks. - Asma Berriri; Jorge López; Natalia Kushik; Nina Yevtushenko 001; Djamal Zeghlache (ENASE, 2018)

Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness. - Nina Yevtushenko 001; Igor B. Burdonov; Alexandre S. Kossachev; Jorge López; Natalia Kushik; Djamal Zeghlache (EWDTS, 2018)

Scalable Supervised Machine Learning Apparatus for Computationally Constrained Devices. - Jorge López; Andrey Laputenko; Natalia Kushik; Nina Yevtushenko 001; Stanislav N. Torgaev (ICSOFT, 2018)

Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach. - Jorge López; Natalia Kushik; Asma Berriri; Nina Yevtushenko 001; Djamal Zeghlache (ICTSS, 2018)

Deriving Synchronizing and Homing Sequences for Input/Output Automata. - Natalia Kushik; Nina Yevtushenko 001; Igor B. Bourdonov; Alexander S. Kossatchev (Autom. Control. Comput. Sci., 2018)

Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation. - Khaled El-Fakih; Nina Yevtushenko 001; Natalia Kushik (Formal Aspects Comput., 2018)

Source code optimization using equivalent mutants. - Jorge López; Natalia Kushik; Nina Yevtushenko 001 (Inf. Softw. Technol., 2018)

On the Assessment and Debugging of QoE in SDN: Work in Progress. - José Reyes; Jorge López; Natalia Kushik; Djamal Zeghlache (NCA, 2019)

A Model Checking Based Approach for Detecting SDN Races. - Evgenii M. Vinarskii; Jorge López; Natalia Kushik; Nina Yevtushenko 001; Djamal Zeghlache (ICTSS, 2019)

Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. - Nina Yevtushenko 001; Victor V. Kuliamin; Natalia Kushik (ICTSS, 2019)

Verifying SDN Data Path Requests. - Igor B. Burdonov; Alexandre S. Kossachev; Nina Yevtushenko 001; Jorge López; Natalia Kushik; Djamal Zeghlache (CoRR, 2019)

Virtual machine placement quality estimation in cloud infrastructures using integer linear programming. - Jorge López; Natalia Kushik; Djamal Zeghlache (Softw. Qual. J., 2019)

On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress). - Erick Petersen; Jorge López; Natalia Kushik; Claude Poletti; Djamal Zeghlache (NCA, 2020)

On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators. - Erick Petersen; Jorge López; Natalia Kushik; Claude Poletti; Djamal Zeghlache (CoRR, 2020)

Novel machine learning technique for predicting teaching strategy effectiveness. - Natalia Kushik; Nina Yevtushenko 001; Tatiana G. Evtushenko (Int. J. Inf. Manag., 2020)

Preventive Model-based Verification and Repairing for SDN Requests. - Igor B. Burdonov; Alexandre S. Kossachev; Nina Yevtushenko 001; Jorge López; Natalia Kushik; Djamal Zeghlache (ENASE, 2021)

Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization. - Natalia Kushik; Nina Yevtushenko 001; Jorge López (ICTSS, 2021)

Satellite Communication Digital Twin for Evaluating Novel Solutions: Dynamic Link Emulation Architecture. - Erick Petersen; Jorge López; Natalia Kushik; Claude Poletti; Djamal Zeghlache (CoRR, 2021)

Contributions to model based test generation and monitoring strategies and their networking applications. - Natalia Kushik (2022)

Dynamic Link Network Emulation and Validation of Execution Datasets. - Erick Petersen; Jorge López; Natalia Kushik; Maxime Labonne; Claude Poletti; Djamal Zeghlache (ENASE (Selected Papers), 2022)

Dynamic Link Network Emulation: A Model-based Design. - Erick Petersen; Jorge López; Natalia Kushik; Claude Poletti; Djamal Zeghlache (ENASE, 2022)

On using Cellular Automata for Modeling the Evolution of Dynamic-Link Network Parameters. - Erick Petersen; Jorge López; Natalia Kushik; Claude Poletti; Djamal Zeghlache (NCA, 2022)

Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs. - Nina Yevtushenko 001; Victor V. Kuliamin; Natalia Kushik (Softw. Qual. J., 2022)

Homing Sequence Derivation With Quantified Boolean Satisfiability. - Kuan-Hua Tu; Hung-En Wang; Jie-Hong R. Jiang; Natalia Kushik; Nina Yevtushenko 001 (IEEE Trans. Computers, 2022)

Studying Synchronization Issues for Extended Automata. - Natalia Kushik; Nina Yevtushenko 001 (ENASE, 2023)

Timed Transition Tour for Race Detection in Distributed Systems. - Evgenii M. Vinarskii; Natalia Kushik; Nina Yevtushenko 001; Jorge López; Djamal Zeghlache (ENASE, 2023)

Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs. - Natalia Kushik; Nina Yevtushenko 001; Jorge López (ICTSS, 2023)

On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata. - Igor B. Burdonov; Nina V. Evtushenko; Alexander S. Kossachev; Natalia G. Kushik (Autom. Remote. Control., 2023)

Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems. - Evgenii M. Vinarskii; Natalia Kushik; Nina Yevtushenko 001; Jorge López; Djamal Zeghlache (ENASE, 2024)

Studying timed aspects for cloud configuration management tools: validation and recommendations for safe execution. - Evgenii M. Vinarskii; Natalia Kushik; Djamal Zeghlache (ICWS, 2024)

The no-meet matroid. - Walid Ben-Ameur; Natalia Kushik; Alessandro Maddaloni; José Neto 001; Dimitri Watel (Discret. Appl. Math., 2024)

Studying homing and synchronizing sequences for Timed Finite State Machines with output delays. - Evgenii M. Vinarskii; Jakub Ruszil; Adam Roman; Natalia Kushik (CoRR, 2025)