| 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 |
| 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 | MCU | Adaptive Experiments for State Identification in Finite State Machines with Timeouts. | Aleksandr S. Tvardovskii, Nina Yevtushenko |
| 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 |
| 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 | ENASE | Proactive Trust Assessment of Systems as Services. | Jorge Lpez, Natalia Kushik, Nina Yevtushenko |
| 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 | 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 |
| 2015 | SEFM | Automated Synthesis of Protocol Converters with BALM-II. | Giovanni Castagnetti, Matteo Piccolo, Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko |
| 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 |
| 2012 | ICST | Generating Checking Sequences for Nondeterministic Finite State Machines. | Alexandre Petrenko, Adenilso da Silva Simo, Nina Yevtushenko |
| 2010 | ICST | Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability Relation. | E. Akenshina, Natalia Shabaldina, Nina Yevtushenko |
| 2009 | FORTE | Distinguing Non-deterministic Timed Finite State Machines. | Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko |
| 2008 | ICST | Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. | Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko |
| 2005 | DATE | Efficient Solution of Language Equations Using Partitioned Representations. | Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko |
| 2005 | FORTE | An Improved Conformance Testing Method. | Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko |
| 2005 | SEFM | Experimental Evaluation of FSM-Based Testing Methods. | Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli |
| 2004 | FORTE | Fault Propagation by Equation Solving. | Khaled El-Fakih, Nina Yevtushenko |
| 2003 | DATE | Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. | Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli |
| 2003 | DSD | Multi Component Digital Circuit Optimization by Solving FSM Equations. | Nina Yevtushenko, Svetlana Zharikova, Maria Vetrova |
| 2003 | FORTE | Progressive Solutions to a Parallel Automata Equation. | Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann |
| 2001 | FORTE | Diagnosing Multiple Faults in Communicating Finite State Machines. | Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann |
| 2001 | ICCAD | Solution of Parallel Language Equations for Logic Synthesis. | Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli |
| 2000 | FORTE | On Test Derivation from Partial Specifications. | Alexandre Petrenko, Nina Yevtushenko |
| 1998 | FORTE | Solving Asynchronous Equations. | Alexandre Petrenko, Nina Yevtushenko |
| 1996 | FORTE | Fault Models for Testing in Context. | Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann |