Home > Research > Researchers > Dr Uraz Turker > Publications

Research

Dr Uraz Turker

Lecturer in Computer Science

1 - 3 out of 3Page size: 100
RSS feed of this list
  1. 2020
  2. Published

    Minimizing Characterizing Sets

    Bulut, K., Jourdan, G. V. & Türker, U. C., 13/02/2020, Formal Aspects of Component Software (FACS 2019). Arbab, F. & Jongmans, S. S. (eds.). Cham: Springer, p. 72-86 15 p. (Lecture Notes in Computer Science; vol. 12018).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  3. 2021
  4. Published

    $\mathcal k$-branching uio sequences for partially specified observable non-deterministic fsms

    El-Fakih, K., Hierons, R. M. & Turker, U. C., 1/05/2021, In: IEEE Transactions on Software Engineering. 47, 5, p. 1029-1040 12 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  5. 2023
  6. E-pub ahead of print

    Incomplete adaptive distinguishing sequences for non-deterministic FSMs

    Turker, U., Hierons, R. M., El-Fakih, K. & Barlas, G., 5/07/2023, (E-pub ahead of print) In: IEEE Transactions on Software Engineering.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

Back to top