Natalia Kushik

66 papers A 3B 11C 19Misc 2Journal 17Unranked 13

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