| 2024 | ENASE | Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems. | Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge Lpez, Djamal Zeghlache |
| 2024 | ICWS | Studying timed aspects for cloud configuration management tools: validation and recommendations for safe execution. | Evgenii M. Vinarskii, Natalia Kushik, Djamal Zeghlache |
| 2023 | ENASE | Studying Synchronization Issues for Extended Automata. | Natalia Kushik, Nina Yevtushenko |
| 2023 | ENASE | Timed Transition Tour for Race Detection in Distributed Systems. | Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge Lpez, Djamal Zeghlache |
| 2022 | ENASE | Dynamic Link Network Emulation and Validation of Execution Datasets. | Erick Petersen, Jorge Lpez, Natalia Kushik, Maxime Labonne, Claude Poletti, Djamal Zeghlache |
| 2022 | ENASE | Dynamic Link Network Emulation: A Model-based Design. | Erick Petersen, Jorge Lpez, Natalia Kushik, Claude Poletti, Djamal Zeghlache |
| 2022 | NCA | On using Cellular Automata for Modeling the Evolution of Dynamic-Link Network Parameters. | Erick Petersen, Jorge Lpez, Natalia Kushik, Claude Poletti, Djamal Zeghlache |
| 2021 | ENASE | Preventive Model-based Verification and Repairing for SDN Requests. | Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Jorge Lpez, Natalia Kushik, Djamal Zeghlache |
| 2020 | NCA | On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress). | Erick Petersen, Jorge Lpez, Natalia Kushik, Claude Poletti, Djamal Zeghlache |
| 2019 | NCA | On the Assessment and Debugging of QoE in SDN: Work in Progress. | Jos Reyes, Jorge Lpez, Natalia Kushik, Djamal Zeghlache |
| 2018 | ENASE | Towards Model based Testing for Software Defined Networks. | Asma Berriri, Jorge Lpez, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache |
| 2018 | ICSoft | Scalable Supervised Machine Learning Apparatus for Computationally Constrained Devices. | Jorge Lpez, Andrey Laputenko, Natalia Kushik, Nina Yevtushenko, Stanislav N. Torgaev |
| 2017 | CRiSIS | A Study of Threat Detection Systems and Techniques in the Cloud. | Pamela Carvallo, Ana R. Cavalli, Natalia Kushik |
| 2017 | ENASE | Proactive Trust Assessment of Systems as Services. | Jorge Lpez, Natalia Kushik, Nina Yevtushenko |
| 2017 | ICSoft | Automatic Derivation and Validation of a Cloud Dataset for Insider Threat Detection. | Pamela Carvallo, Ana R. Cavalli, Natalia Kushik |
| 2017 | ICSoft | Analyzing and Validating Virtual Network Requests. | Jorge Lpez, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache |
| 2016 | ENASE | On Source Code Optimization for Interpreted Languages using State Models. | Jorge Lpez, Natalia Kushik, Nina Yevtushenko |
| 2016 | ICSoft | An Implementation of a QoE Evaluation Technique Including Business Model Parameters. | Diego Rivera, Ana R. Cavalli, Natalia Kushik, Wissam Mallouli |
| 2016 | MODELSWARD | Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs. | Natalia Kushik, Nina Yevtushenko, Hsn Yenign |
| 2016 | QRS | Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines. | Natalia Kushik, Jorge Lpez, Ana R. Cavalli, Nina Yevtushenko |
| 2016 | SAC | Some classes of finite state machines with polynomial length of distinguishing test cases. | Hsn Yenign, Nina Yevtushenko, Natalia Kushik |
| 2015 | CLOSER | Scalable QoE Prediction for Service Composition. | Natalia Kushik, Nina Yevtushenko |
| 2015 | ICWS | QoE Evaluation Based on QoS and QoBiz Parameters Applied to an OTT Service. | Diego Rivera, Natalia Kushik, Camila Fuenzalida, Ana R. Cavalli, Nina Yevtushenko |
| 2014 | QUATIC | On Testing against Partial Non-observable Specifications. | Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli |
| 2014 | WEBIST | Evaluating Web Service QoE by Learning Logic Networks. | Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli, Wissam Mallouli, Jeevan Pokhrel |
| 2013 | ICWS | Evaluating Quality of Web Services: A Short Survey. | Olga Kondratyeva, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko |