B. Özkan

B. Özkan

Dr.

 https://orcid.org/0000-0002-7038-165X

Fingerprint

Dive into the research topics where B. Özkan is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

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
Explore network further

  • A Benchmark Framework for Byzantine Fault Tolerance Testing Algorithms

    Louro Neto, J. M. & Kulahcioglu Ozkan, B., 2025, 6th International Workshop on Formal Methods for Blockchains, FMBC 2025. Marmsoler, D. & Xu, M. (eds.). Wadern: Schloss Dagstuhl, 11 p. 13

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    5 Downloads (Pure)

  • CRDTs for Approximate Membership Queries

    Xiong, J., Gulcan, E. B. & Ozkan, B. K., 2025, PaPoC '25: Proceedings of the 12th Workshop on Principles and Practice of Consistency for Distributed Data. Frey, D. & Kaki, G. (eds.). New York, NY: ACM, p. 56-62 7 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File

  • Rocket: A System-Level Fuzz-Testing Framework for the XRPL Consensus Algorithm

    Kanhai, W. R., van Loon, I. S., Mangalgi, Y., van der Valk, T. C. J., Witte, L. C., Panichella, A., Olsthoorn, M. & Kulahcioglu Ozkan, B., 2025, 18th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2025.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    File
    57 Downloads (Pure)

  • Generalized Concurrency Testing Tool for Distributed Systems

    Gulcan, E. B., Neto, J. & Ozkan, B. K., 2024, ISSTA 2024: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. Christakis, M. & Pradel, M. (eds.). New York, NY: ACM, p. 1861-1865 5 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    71 Downloads (Pure)

  • GRAIL: Checking Transaction Isolation Violations with Graph Queries

    Dumbrava, S., Jin, Z., Ozkan, B. K. & Qiu, J., 2024, Proceedings - 2024 ACM/IEEE 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024. IEEE, p. 320-321 2 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    38 Downloads (Pure)
View all 26 research outputs

  • Amazon Research Award

    Özkan, B. (Recipient), 2023

    Prize: Prize (including medals and awards)

  • Distinguished Paper Award at OOPSLA'23

    Winter, Levin N. (Recipient), Buşe, Florena (Recipient), de Graaf, Daan (Recipient), von Gleissenthall, Klaus (Recipient) & Özkan, B. (Recipient), 2023

    Prize: Prize (including medals and awards)

    File

  • Ripple Bug Bounty Program Award

    Winter, Levin N. (Recipient), Buşe, Florena (Recipient) & Özkan, B. (Recipient), 2023

    Prize: Prize (including medals and awards)

  • Stellar Academic Research Award

    Özkan, B. (Recipient), 2023

    Prize: Prize (including medals and awards)

  • 16 Participation in conference
  • 9 Participation in workshop, seminar, course
  • 2 Talk or presentation at a conference
  • 2 Talk or presentation at a workshop, seminar, course or other meeting
View all 29 activities