Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Kushik, Natalia
72  Ergebnisse:
Personensuche X
?
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

Dynamic Link Network Emulation and Validation of Execution ..:

, In: Communications in Computer and Information Science; Evaluation of Novel Approaches to Software Engineering,
Petersen, Erick ; López, Jorge ; Kushik, Natalia... - p. 116-138 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Probabilistic Approach for Minimizing Checking Sequences fo..:

, In: Testing Software and Systems; Lecture Notes in Computer Science,
Kushik, Natalia ; Yevtushenko, Nina ; López, Jorge - p. 237-243 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Homing Sequence Derivation With Quantified Boolean Satisfia..:

Tu, Kuan-Hua ; Wang, Hung-En ; Jiang, Jie-Hong R...
IEEE Transactions on Computers.  71 (2022)  3 - p. 696-711 , 2022
Link: https://doi.org/10.1109/..
 
?
5

Testing Against Non-deterministic FSMs: A Probabilistic App..:

, In: Testing Software and Systems; Lecture Notes in Computer Science,
Kushik, Natalia ; Yevtushenko, Nina ; López, Jorge - p. 55-61 , 2022
Link: https://doi.org/10.1007/..
 
?
6

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/..
 
?
7

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/..
 
?
8

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/..
 
?
9

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/..
 
?
10

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/..
 
?
11

Evaluating the Complexity of Deriving Adaptive Homing, Sync..:

, In: Testing Software and Systems; Lecture Notes in Computer Science,
Yevtushenko, Nina ; Kuliamin, Victor ; Kushik, Natalia - p. 86-103 , 2019
Link: https://doi.org/10.1007/..
 
?
12

A Model Checking Based Approach for Detecting SDN Races:

, In: Testing Software and Systems; Lecture Notes in Computer Science,
Vinarskii, Evgenii ; López, Jorge ; Kushik, Natalia.. - p. 194-211 , 2019
Link: https://doi.org/10.1007/..
 
?
13

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/..
 
?
14

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/..
 
?
15

Test Derivation for SDN-Enabled Switches: A Logic Circuit B..:

, In: Testing Software and Systems; Lecture Notes in Computer Science,
López, Jorge ; Kushik, Natalia ; Berriri, Asma.. - p. 69-84 , 2018
Link: https://doi.org/10.1007/..
 
1-15