default search action

combined dblp search
author search
venue search
publication search

ask others

Natalia Kushik

Natalia G. Kushik

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2022
[b1]
- view
  - electronic edition @ archives-ouvertes.fr
  - no references & citations available
- export record
  dblp key:
  - books/hal/Kushik22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/hal/Kushik22
Natalia Kushik:
Contributions to model based test generation and monitoring strategies and their networking applications. Polytechnic Institute of Paris, France, 2022

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/dam/BenAmeurKMNW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dam/BenAmeurKMNW24
Walid Ben-Ameur, Natalia Kushik, Alessandro Maddaloni, José Neto, Dimitri Watel:
The no-meet matroid. Discret. Appl. Math. 354: 94-107 (2024)
2023
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/aarc/BurdonovEKK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aarc/BurdonovEKK23
Igor B. Burdonov, Nina V. Evtushenko, Alexander S. Kossachev, Natalia G. Kushik:
On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata. Autom. Remote. Control. 84(6): 606-611 (2023)
2022
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/YevtushenkoKK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/YevtushenkoKK22
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): 161-180 (2022)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/TuWJKY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/TuWJKY22
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): 696-711 (2022)
2020
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ijinfoman/KushikYE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijinfoman/KushikYE20
Natalia Kushik, Nina Yevtushenko, Tatiana G. Evtushenko:
Novel machine learning technique for predicting teaching strategy effectiveness. Int. J. Inf. Manag. 53: 101488 (2020)
2019
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/LopezKZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/LopezKZ19
Jorge López, Natalia Kushik, Djamal Zeghlache:
Virtual machine placement quality estimation in cloud infrastructures using integer linear programming. Softw. Qual. J. 27(2): 731-755 (2019)
2018
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/accs/KushikYBK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/accs/KushikYBK18
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): 589-595 (2018)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/El-FakihYK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/El-FakihYK18
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): 319-332 (2018)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/LopezKY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/LopezKY18
Jorge López, Natalia Kushik, Nina Yevtushenko:
Source code optimization using equivalent mutants. Inf. Softw. Technol. 103: 138-141 (2018)
2017
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/YenigunYK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/YenigunYK17
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: 49-53 (2017)
2016
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/KushikEYC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/KushikEYC16
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): 251-264 (2016)
2014
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijoci/KushikPYCM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijoci/KushikPYCM14
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): 44-64 (2014)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/pcs/KushikKE14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pcs/KushikKE14
Natalia G. Kushik, Victor V. Kulyamin, Nina V. Evtushenko:
On the complexity of existence of homing sequences for nondeterministic finite state machines. Program. Comput. Softw. 40(6): 333-336 (2014)
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/accs/KushikMCYJO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/accs/KushikMCYJO12
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): 379-386 (2012)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/VinarskiiK0LZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/VinarskiiK0LZ24
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: 727-734
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/VinarskiiKZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/VinarskiiKZ24
Evgenii M. Vinarskii, Natalia Kushik, Djamal Zeghlache:
Studying timed aspects for cloud configuration management tools: validation and recommendations for safe execution. ICWS 2024: 1365-1367
2023
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/Kushik023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/Kushik023
Natalia Kushik, Nina Yevtushenko:
Studying Synchronization Issues for Extended Automata. ENASE 2023: 338-345
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/VinarskiiK0LZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/VinarskiiK0LZ23
Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge López, Djamal Zeghlache:
Timed Transition Tour for Race Detection in Distributed Systems. ENASE 2023: 613-620
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/KushikYL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/KushikYL23
Natalia Kushik, Nina Yevtushenko, Jorge López:
Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs. ICTSS 2023: 237-243
2022
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/PetersenLKLPZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/PetersenLKLPZ22
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: 116-138
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/PetersenLKPZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/PetersenLKPZ22
Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache:
Dynamic Link Network Emulation: A Model-based Design. ENASE 2022: 536-543
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/nca/PetersenLKPZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nca/PetersenLKPZ22
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: 297-301
2021
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/BurdonovKYLKZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/BurdonovKYLKZ21
Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache:
Preventive Model-based Verification and Repairing for SDN Requests. ENASE 2021: 421-428
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/KushikYL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/KushikYL21
Natalia Kushik, Nina Yevtushenko, Jorge López:
Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization. ICTSS 2021: 55-61
2020
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/nca/PetersenLKPZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nca/PetersenLKPZ20
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: 1-3
2019
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/nca/ReyesLKZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nca/ReyesLKZ19
José Reyes, Jorge López, Natalia Kushik, Djamal Zeghlache:
On the Assessment and Debugging of QoE in SDN: Work in Progress. NCA 2019: 1-3
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/YevtushenkoKK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/YevtushenkoKK19
Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik:
Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. ICTSS 2019: 86-103
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/VinarskiiLKYZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/VinarskiiLKYZ19
Evgenii M. Vinarskii, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache:
A Model Checking Based Approach for Detecting SDN Races. ICTSS 2019: 194-211
2018
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/BerririLKYZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/BerririLKYZ18
Asma Berriri, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache:
Towards Model based Testing for Software Defined Networks. ENASE 2018: 440-446
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/ewdts/YevtushenkoBKLK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewdts/YevtushenkoBKLK18
Nina Yevtushenko, Igor B. Burdonov, Alexandre S. Kossachev, Jorge López, Natalia Kushik, Djamal Zeghlache:
Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness. EWDTS 2018: 1-6
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/LopezLKYT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/LopezLKYT18
Jorge López, Andrey Laputenko, Natalia Kushik, Nina Yevtushenko, Stanislav N. Torgaev:
Scalable Supervised Machine Learning Apparatus for Computationally Constrained Devices. ICSOFT 2018: 552-562
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/LopezKBYZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/LopezKBYZ18
Jorge López, Natalia Kushik, Asma Berriri, Nina Yevtushenko, Djamal Zeghlache:
Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach. ICTSS 2018: 69-84
2017
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/crisis/CarvalloCK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crisis/CarvalloCK17
Pamela Carvallo, Ana R. Cavalli, Natalia Kushik:
A Study of Threat Detection Systems and Techniques in the Cloud. CRiSIS 2017: 140-155
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/LopezKY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/LopezKY17
Jorge López, Natalia Kushik, Nina Yevtushenko:
Proactive Trust Assessment of Systems as Services. ENASE 2017: 271-276
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/ewdts/YenigunKLYC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewdts/YenigunKLYC17
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: 1-4
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/LopezKYZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/LopezKYZ17
Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache:
Analyzing and Validating Virtual Network Requests. ICSOFT 2017: 441-446
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/CarvallloCK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/CarvallloCK17
Pamela Carvallo, Ana R. Cavalli, Natalia Kushik:
Automatic Derivation and Validation of a Cloud Dataset for Insider Threat Detection. ICSOFT 2017: 480-487
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/LopezKZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/LopezKZ17
Jorge López, Natalia Kushik, Djamal Zeghlache:
Quality Estimation of Virtual Machine Placement in Cloud Infrastructures. ICTSS 2017: 213-229
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/WangTJK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/WangTJK17
Hung-En Wang, Kuan-Hua Tu, Jie-Hong R. Jiang, Natalia Kushik:
Homing Sequence Derivation with Quantified Boolean Satisfiability. ICTSS 2017: 230-242
2016
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/LopezKY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/LopezKY16
Jorge López, Natalia Kushik, Nina Yevtushenko:
On Source Code Optimization for Interpreted Languages using State Models. ENASE 2016: 282-287
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/ewdts/LopezKCY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewdts/LopezKCY16
Jorge López, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko:
Optimizing network utilization through source code state model representation. EWDTS 2016: 1-4
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ewdts/SmolovLKYCK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewdts/SmolovLKYCK16
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: 1-4
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/RiveraCKM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/RiveraCKM16
Diego Rivera, Ana R. Cavalli, Natalia Kushik, Wissam Mallouli:
An Implementation of a QoE Evaluation Technique Including Business Model Parameters. ICSOFT-PT 2016: 138-145
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/KushikYY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/KushikYY16
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: 83-90
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/KushikLCY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/KushikLCY16
Natalia Kushik, Jorge López, Ana R. Cavalli, Nina Yevtushenko:
Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines. QRS 2016: 315-322
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/YenigunYK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/YenigunYK16
Hüsnü Yenigün, Nina Yevtushenko, Natalia Kushik:
Some classes of finite state machines with polynomial length of distinguishing test cases. SAC 2016: 1680-1685
2015
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/closer/KushikY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/closer/KushikY15
Natalia Kushik, Nina Yevtushenko:
Scalable QoE Prediction for Service Composition. ESaaSA@CLOSER 2015: 16-26
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ewdts/KushikYTS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewdts/KushikYTS15
Natalia Kushik, Nina Yevtushenko, Stanislav N. Torgaev, Nikita Shatilov:
On using ABC for deriving distinguishing sequences for Verilog-descriptions. EWDTS 2015: 1-4
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ewdts/YevtushenkoK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewdts/YevtushenkoK15
Nina Yevtushenko, Natalia Kushik:
Decreasing the length of adaptive distinguishing experiments for nondeterministic merging-free finite state machines. EWDTS 2015: 1-4
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/RiveraKFCY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/RiveraKFCY15
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: 607-614
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pts/KushikY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/KushikY15
Natalia Kushik, Hüsnü Yenigün:
Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines. ICTSS 2015: 243-248
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/KushikY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/KushikY15
Natalia Kushik, Nina Yevtushenko:
Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata. CIAA 2015: 188-198
[c8]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KushikY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KushikY15
Natalia Kushik, Nina Yevtushenko:
Adaptive Homing is in P. MBT 2015: 73-78
2014
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/KushikYC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/KushikYC14
Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli:
On Testing against Partial Non-observable Specifications. QUATIC 2014: 230-233
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/webist/KushikYCMP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webist/KushikYCMP14
Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli, Wissam Mallouli, Jeevan Pokhrel:
Evaluating Web Service QoE by Learning Logic Networks. WEBIST (1) 2014: 168-176
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/KondratyevaKCY13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/KondratyevaKCY13
Olga Kondratyeva, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko:
Evaluating Quality of Web Services: A Short Survey. ICWS 2013: 587-594
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pts/KushikEY13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/KushikEY13
Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko:
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines. ICTSS 2013: 33-48
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/KondratyevaKCY13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/KondratyevaKCY13
Olga Kondratyeva, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko:
Evaluating Web Service Quality Using Finite State Models. QSIC 2013: 95-102
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/KushikY13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/KushikY13
Natalia Kushik, Nina Yevtushenko:
On the Length of Homing Sequences for Nondeterministic Finite State Machines. CIAA 2013: 220-231
2011
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/KushikEY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/KushikEY11
Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko:
Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines. CIAA 2011: 215-224

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2016
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/2016
Franz Wotawa, Mihai Nica, Natalia Kushik:
Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Lecture Notes in Computer Science 9976, 2016, ISBN 978-3-319-47442-7 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2021
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-07217
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-07217
Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache:
Satellite Communication Digital Twin for Evaluating Novel Solutions: Dynamic Link Emulation Architecture. CoRR abs/2107.07217 (2021)
2020
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-10051
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-10051
Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache:
On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators. CoRR abs/2009.10051 (2020)
2019
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-03101
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-03101
Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache:
Verifying SDN Data Path Requests. CoRR abs/1906.03101 (2019)
2018
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-09571
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-09571
Jorge López, Natalia Kushik, Nina Yevtushenko:
Source Code Optimization using Equivalent Mutants. CoRR abs/1803.09571 (2018)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.