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
    18 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
    16 Downloads (Pure)

  • Fuzzing Graph Database Applications with Graph Transformations

    Dumbrava, S., Oudemans, M. W. M. & Ozkan, B. K., 2025, Graph Transformation - 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Proceedings: International Conference on Graph Transformation. Endrullis, J. & Tichy, M. (eds.). p. 135-156 22 p. (Lecture Notes in Computer Science; vol. 15720 LNCS).

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

    Open Access
    File

  • Model-Guided Fuzzing of Distributed Systems

    Gulcan, E. B., Ozkan, B. K., Majumdar, R. & Nagendra, S., 2025, In: Proceedings of the ACM on Programming Languages. 9, OOPSLA2, 28 p., 282.

    Research output: Contribution to journal › Article › Scientific › peer-review

    Open Access
    File
    6 Downloads (Pure)

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

    Kanhai, W., van Loon, I., Mangalgi, Y., van der Valk, T., Witte, L., Panichella, A., Olsthoorn, M. & Ozkan, B., 2025, 2025 IEEE Conference on Software Testing, Verification and Validation, ICST 2025. Fasolino, A. R., Panichella, S., Aleti, A. & Mesbah, A. (eds.). Danvers: IEEE, p. 737-741 5 p. (2025 IEEE Conference on Software Testing, Verification and Validation, ICST 2025).

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

    Open Access
    File
View all 28 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

  • EASST Best Software Science Paper Award

    Dumbrava, Stefania (Recipient), Oudemans, Melchior W.M. (Recipient) & Özkan, B. (Recipient), 2025

    Prize: Prize (including medals and awards)

  • 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