Passer à la navigation principale Passer à la recherche Passer au contenu principal
Aucune photo de Natalia Kushik

Voir le profil Scopus

Natalia Kushik

Enseignant-chercheur

20112026

Résultat de recherche par an

Profil personnel

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Natalia Kushik est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
  • 1 Profils similaires
Afficher l'empreinte digitale dans sa totalité

Collaborations et principaux domaines de recherche des cinq dernières années

Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
Explorer davantage le réseau

  • On Using Homing Sequences Instead of Distinguishing in FSM-Based Testing

    Kushik, N. & Yevtushenko, N., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems

    Vinarskii, E., Kushik, N., Yevtushenko, N., López, J. & Zeghlache, D., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • Studying timed aspects for cloud configuration management tools: Validation and recommendations for safe execution

    Vinarskii, E., Kushik, N. & Zeghlache, D., 1 janv. 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.

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • The no-meet matroid

    Ben-Ameur, W., Kushik, N., Maddaloni, A., Neto, J. & Watel, D., 15 sept. 2024, Dans: Discrete Applied Mathematics. 354, p. 94-107 14 p.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

  • Dynamic Link Network Emulation and Validation of Execution Datasets

    Petersen, E., López, J., Kushik, N., Labonne, M., Poletti, C. & Zeghlache, D., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata

    Burdonov, I. B., Evtushenko, N. V., Kossachev, A. S. & Kushik, N. G., 1 juin 2023, Dans: Automation and Remote Control. 84, 6, p. 606-611 6 p.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert

  • Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs

    Kushik, N., Yevtushenko, N. & López, J., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • Studying Synchronization Issues for Extended Automata

    Kushik, N. & Yevtushenko, N., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • Timed Transition Tour for Race Detection in Distributed Systems

    Vinarskii, E., Kushik, N., Yevtushenko, N., López, J. & Zeghlache, D., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • Dynamic Link Network Emulation: A Model-based Design

    Petersen, E., López, J., Kushik, N., Poletti, C. & Zeghlache, D., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert
Tout afficher 71 résultat de recherche