Personal profile
Fingerprint
Dive into the research topics where Natalia Kushik is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
On Using Homing Sequences Instead of Distinguishing in FSM-Based Testing
Kushik, N. & Yevtushenko, N., 1 Jan 2026, Testing Software and Systems - 37th IFIP WG 6.1 International Conference, ICTSS 2025, Proceedings. Bonfanti, S. & Papadopoulos, G. A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 53-60 8 p. (Lecture Notes in Computer Science; vol. 16107 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems
Vinarskii, E., Kushik, N., Yevtushenko, N., López, J. & Zeghlache, D., 1 Jan 2024, Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024. Kaindl, H., Kaindl, H., Kaindl, H., Mannion, M., Maciaszek, L. & Maciaszek, L. (eds.). Science and Technology Publications, Lda, p. 727-734 8 p. (International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Studying timed aspects for cloud configuration management tools: Validation and recommendations for safe execution
Vinarskii, E., Kushik, N. & Zeghlache, D., 1 Jan 2024, Proceedings - 2024 IEEE International Conference on Web Services, ICWS 2024. Chang, R. N., Chang, C. K., Jiang, Z., Yang, J., Jin, Z., Sheng, M., Fan, J., Fletcher, K. K., He, Q., He, Q., Ardagna, C., Yang, J., Yin, J., Wang, Z., Beheshti, A., Russo, S., Atukorala, N., Wu, J., Yu, P. S., Ludwig, H., Reiff-Marganiec, S., Zhang, E., Sailer, A., Bena, N., Li, K., Watanabe, Y., Zhao, T., Wang, S., Tu, Z., Wang, Y. & Wei, K. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1365-1367 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
The no-meet matroid
Ben-Ameur, W., Kushik, N., Maddaloni, A., Neto, J. & Watel, D., 15 Sept 2024, In: Discrete Applied Mathematics. 354, p. 94-107 14 p.Research output: Contribution to journal › Article › peer-review
-
Dynamic Link Network Emulation and Validation of Execution Datasets
Petersen, E., López, J., Kushik, N., Labonne, M., Poletti, C. & Zeghlache, D., 1 Jan 2023, Evaluation of Novel Approaches to Software Engineering - 17th International Conference, ENASE 2022, Revised Selected Papers. Kaindl, H., Mannion, M. & Maciaszek, L. A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 116-138 23 p. (Communications in Computer and Information Science; vol. 1829 CCIS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata
Burdonov, I. B., Evtushenko, N. V., Kossachev, A. S. & Kushik, N. G., 1 Jun 2023, In: Automation and Remote Control. 84, 6, p. 606-611 6 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs
Kushik, N., Yevtushenko, N. & López, J., 1 Jan 2023, Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Proceedings. Bonfanti, S., Gargantini, A. & Salvaneschi, P. (eds.). Springer Science and Business Media Deutschland GmbH, p. 237-243 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14131 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Studying Synchronization Issues for Extended Automata
Kushik, N. & Yevtushenko, N., 1 Jan 2023, Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2023. Kaindl, H., Kaindl, H., Kaindl, H., Mannion, M., Maciaszek, L. & Maciaszek, L. (eds.). Science and Technology Publications, Lda, p. 338-345 8 p. (International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings; vol. 2023-April).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Timed Transition Tour for Race Detection in Distributed Systems
Vinarskii, E., Kushik, N., Yevtushenko, N., López, J. & Zeghlache, D., 1 Jan 2023, Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2023. Kaindl, H., Kaindl, H., Kaindl, H., Mannion, M., Maciaszek, L. & Maciaszek, L. (eds.). Science and Technology Publications, Lda, p. 613-620 8 p. (International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings; vol. 2023-April).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Dynamic Link Network Emulation: A Model-based Design
Petersen, E., López, J., Kushik, N., Poletti, C. & Zeghlache, D., 1 Jan 2022, Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022. Kaindl, H., Mannion, M., Maciaszek, L. & Maciaszek, L. (eds.). Science and Technology Publications, Lda, p. 536-543 8 p. (International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access