E-LIB Suche - Ergebnisse für: Kushik, Natalia

1

The no-meet matroid:

Ben-Ameur, Walid ; Kushik, Natalia ; Maddaloni, Alessandro..
Discrete Applied Mathematics. 354 (2024) - p. 94-107 , 2024

Link: https://doi.org/10.1016/..

2

On using Cellular Automata for Modeling the Evolution of Dy..:

, In: 2022 IEEE 21st International Symposium on Network Computing and Applications (NCA),

Petersen, Erick ; Lopez, Jorge ; Kushik, Natalia.. - p. 297-301 , 2022

Link: https://doi.org/10.1109/..

3

Evaluating the complexity of deriving adaptive $$S'$$-homin..:

Yevtushenko, Nina ; Kuliamin, Victor ; Kushik, Natalia
Software Quality Journal. 30 (2021) 1 - p. 161-180 , 2021

Link: https://doi.org/10.1007/..

4

Novel machine learning technique for predicting teaching st..:

Kushik, Natalia ; Yevtushenko, Nina ; Evtushenko, Tatiana
International Journal of Information Management. 53 (2020) - p. 101488 , 2020

Link: https://doi.org/10.1016/..

5

On using SMT-solvers for Modeling and Verifying Dynamic Net..:

, In: 2020 IEEE 19th International Symposium on Network Computing and Applications (NCA),

Petersen, Erick ; Lopez, Jorge ; Kushik, Natalia.. - p. 1-3 , 2020

Link: https://doi.org/10.1109/..

6

On the Assessment and Debugging of QoE in SDN: Work in Prog..:

, In: 2019 IEEE 18th International Symposium on Network Computing and Applications (NCA),

Reyes, Jose ; Lopez, Jorge ; Kushik, Natalia. - p. 1-3 , 2019

Link: https://doi.org/10.1109/..

7

Source code optimization using equivalent mutants:

López, Jorge ; Kushik, Natalia ; Yevtushenko, Nina
Information and Software Technology. 103 (2018) - p. 138-141 , 2018

Link: https://doi.org/10.1016/..

8

Adaptive distinguishing test cases of nondeterministic fini..:

El-Fakih, Khaled ; Yevtushenko, Nina ; Kushik, Natalia
Formal Aspects of Computing. 30 (2018) 2 - p. 319-332 , 2018

Link: https://doi.org/10.1007/..

9

Virtual machine placement quality estimation in cloud infra..:

López, Jorge ; Kushik, Natalia ; Zeghlache, Djamal
Software Quality Journal. 27 (2018) 2 - p. 731-755 , 2018

Link: https://doi.org/10.1007/..

10

The complexity of checking the existence and derivation of ..:

Yenigün, Hüsnü ; Yevtushenko, Nina ; Kushik, Natalia
Information Processing Letters. 127 (2017) - p. 49-53 , 2017

Link: https://doi.org/10.1016/..

11

28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz... Lecture Notes in Computer Science ; 9976;Programming and Software Engineering ; 9976;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Wotawa, Franz ; Nica, Mihai ; Kushik, Natalia , 2016

Link: https://doi.org/10.1007/..

12

Some classes of finite state machines with polynomial lengt..:

, In: Proceedings of the 31st Annual ACM Symposium on Applied Computing,

Yenigün, Hüsnü ; Yevtushenko, Nina ; Kushik, Natalia - p. 1680-1685 , 2016

Link: https://dl.acm.org/doi/1..

13

On adaptive experiments for nondeterministic finite state m..:

Kushik, Natalia ; El-Fakih, Khaled ; Yevtushenko, Nina.
International Journal on Software Tools for Technology Transfer. 18 (2014) 3 - p. 251-264 , 2014

Link: https://doi.org/10.1007/..

14

Probabilistic approach for minimizing checking sequences fo..:

Kushik, Natalia ; Yevtushenko, Nina ; López, Jorge
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-43240-8_15. , 2023

Link: https://hal.science/hal-..

15

On preset homing and synchronizing sequences for observable..:

Burdonov, I ; Evtushenko, N ; Kossachev, A.
info:eu-repo/semantics/altIdentifier/doi/10.1134/S0005117923060048. , 2023

Link: https://hal.science/hal-..