Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Yevtushenko, Nina
76  Ergebnisse:
englisch X
Personensuche X
?
1

Testing and incremental conformance testing of timed state ..:

Tvardovskii, Aleksandr ; El-Fakih, Khaled ; Yevtushenko, Nina
Science of Computer Programming.  233 (2024)  - p. 103053 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Test Derivation against Timed Finite State Machines with Ou..:

, In: 2023 International Russian Automation Conference (RusAutoCon),
Tvardovskii, Aleksandr ; Yevtushenko, Nina - p. 255-260 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Using Machine Learning Techniques for Assessing Media Text ..:

, In: 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM),
Laputenko, Andrey ; Evtushenko, Tatiana ; Klochkova, Elena. - p. 1820-1824 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Deriving FSM-based tests using $a,b-\text{faults}$ for Logi..:

, In: 2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI),
Laputenko, Andrey ; Yevtushenko, Nina ; Andreeva, Valentina. - p. 80-85 , 2022
Link: https://doi.org/10.1109/..
 
?
5

Using Homing Traces for Simplifying Passive Testing of Disc..:

, In: 2022 International Russian Automation Conference (RusAutoCon),
Tvardovskii, Aleksandr ; Yevtushenko, Nina - p. 86-91 , 2022
Link: https://doi.org/10.1109/..
 
?
6

Deriving homing sequences for Finite State Machines with ti..:

Tvardovskii, Aleksandr ; Yevtushenko, Nina
The Computer Journal.  66 (2022)  9 - p. 2181-2190 , 2022
Link: https://doi.org/10.1093/..
 
?
7

Equivalence checking and intersection of deterministic time..:

Bresolin, Davide ; El-Fakih, Khaled ; Villa, Tiziano.
Formal Methods in System Design.  59 (2021)  1-3 - p. 77-102 , 2021
Link: https://doi.org/10.1007/..
 
?
8

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

Evaluating Length of a Shortest Adaptive Homing Sequence fo..:

, In: 2020 IEEE East-West Design & Test Symposium (EWDTS),
Vinarskii, Evgenii ; Yevtushenko, Nina - p. 1-5 , 2020
Link: https://doi.org/10.1109/..
 
?
11

Optimizing Components of Multi-Module Systems Based on don'..:

, In: 2020 IEEE East-West Design & Test Symposium (EWDTS),
Shirokova, Ekaterina ; Evtushenko, Larisa ; Laputenko, Andrey. - p. 1-5 , 2020
Link: https://doi.org/10.1109/..
 
?
12

Deriving Distinguishing Sequences for Input/Output Automata:

, In: 2020 IEEE East-West Design & Test Symposium (EWDTS),
Yevtushenko, Nina ; Burdonov, Igor ; Kossachev, Alexandr - p. 1-5 , 2020
Link: https://doi.org/10.1109/..
 
?
13

Implementing a Virtual Network on the SDN Data Plane:

, In: 2020 IEEE East-West Design & Test Symposium (EWDTS),
Burdonov, Igor ; Yevtushenko, Nina ; Kossachev, Alexandr - p. 1-5 , 2020
Link: https://doi.org/10.1109/..
 
?
14

Guest Editorial: Special issue on Testing Software and Syst..:

Yenigun, Husnu ; Yevtushenko, Nina ; Cavalli, Ana Rosa
Software Quality Journal.  27 (2019)  2 - p. 497-499 , 2019
Link: https://doi.org/10.1007/..
 
?
15

Synchronous Composition of Quasi-Complete and Quasi-Determi..:

, In: 2019 Actual Problems of Systems and Software Engineering (APSSE),
Burdonov, Igor ; Kossachev, Alexandr ; Yevtushenko, Nina. - p. 69-76 , 2019
Link: https://doi.org/10.1109/..
 
1-15