Get started
Author

Burcu Kulahcioglu Ozkan

Observed names: Burcu K. Ozkan, Kulahcioglu Ozkan, Burcu, Kulahcioglu Ozkan, Burcu (author), Ozkan, Burcu Kulahcioglu, Özkan, Burcu
ORCID: 0000-0002-7038-165X
Observed ORCID: 0000-0002-7038-165X
OpenAlex ID: A5019138419
Randomized testing of distributed systems with probabilistic guarantees
2018 · Burcu Kulahcioglu Ozkan, Rupak Majumdar, et al. · Proceedings of the ACM on Programming Languages · 41
PDF
Randomized Testing of Byzantine Fault Tolerant Algorithms
2023 · Levin N. Winter, Florena Buse, et al. · Proceedings of the ACM on Programming Languages · 31
PDF
Trace aware random testing for distributed systems
2019 · Burcu Kulahcioglu Ozkan, Rupak Majumdar, et al. · Proceedings of the ACM on Programming Languages · 28
PDF
Systematic Asynchrony Bug Exploration for Android Apps
2015 · Burcu Kulahcioglu Ozkan, Michael Emmi, et al. · Lecture notes in computer science · 18
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency
2017 · Ahmed Bouajjani, Michael Emmi, et al. · Lecture notes in computer science · 17
Testing consensus implementations using communication closure
2020 · Cezara Drăgoi, Constantin Enea, et al. · Proceedings of the ACM on Programming Languages · 15
PDF
Probabilistic Concurrency Testing for Weak Memory Programs
2023 · Mingyu Gao, Soham Chakraborty, et al. · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 14
PDF
Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm
2023 · Martijn van Meerten, Burcu Kulahcioglu Ozkan, et al. · IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) · 11
DebugAR
2018 · Patrick Reipschläger, Burcu Kulahcioglu Ozkan, et al. · CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA) · 11
Checking linearizability using hitting families
2019 · Burcu Kulahcioglu Ozkan, Rupak Majumdar, et al. · ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming · 9
iDeA: an immersive debugger for actors
2018 · Aman Shankar Mathur, Burcu Kulahcioglu Ozkan, et al. · ACM SIGPLAN Workshop on Erlang (Erlang) · 8
Model-Guided Fuzzing of Distributed Systems
2025 · Ege Berkay Gulcan, Burcu Kulahcioglu Ozkan, et al. · Proceedings of the ACM on Programming Languages · 7
PDF
Exploiting synchronization in the analysis of shared-memory asynchronous programs
2014 · Michael Emmi, Burcu Kulahcioglu Ozkan, et al. · International workshop on Model Checking Software · 6
Verifying Programs under Snapshot Isolation and Similar Relaxed Consistency Models
2014 · Ismail Kuru, Burcu Kulahcioglu Ozkan, et al. · 6
Fuzzing Graph Database Applications with Graph Transformations
2025 · Stefania Dumbrava, Melchior W. M. Oudemans, et al. · Lecture notes in computer science · 4
Liveness Checking of the HotStuff Protocol Family
2023 · Jérémie Decouchant, Burcu Kulahcioglu Ozkan, et al. · IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) · 3
PDF
Verifying Weakly Consistent Transactional Programs Using Symbolic Execution
2021 · Burcu Kulahcioglu Ozkan · Lecture notes in computer science · 3
Verification Tools for Transactional Programs
2014 · Adrian Cristal, Burcu Kulahcioglu Ozkan, et al. · Lecture notes in computer science · 3
Observability and Fault Injection for LLM-Based Multi-Agent Systems in Software Engineering
2026 · Zahra Seyedghorban, Egor Klimov, et al. · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 2
PDF
TriCEGAR: A Trace-Driven Abstraction Mechanism for Agentic AI
2026 · Koohestani, Roham, Görpelioğlu, Ateş, et al. · arXiv (Cornell University) · 2
PDF
Consistency-Aware Scheduling for Weakly Consistent Programs
2018 · Maryam Dabaghchian, Zvonimir Rakamaric, et al. · ACM SIGSOFT Software Engineering Notes · 2
Balancing Fairness and Performance in Multi-User Spark Workloads with Dynamic Scheduling
2025 · Dāvis Kažemaks, Laurens Versluis, et al. · ACM Symposium on Cloud Computing (SoCC) · 1
A Benchmark Framework for Byzantine Fault Tolerance Testing Algorithms (Tool Paper)
2025 · Louro Neto, João Miguel, Kulahcioglu Ozkan, Burcu · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 1
PDF
Generalized Concurrency Testing Tool for Distributed Systems
2024 · Ege Berkay Gulcan, João Neto, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 1
GRAIL: Checking Transaction Isolation Violations with Graph Queries
2024 · Stefania Dumbrava, Zhao Jin, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 1
PDF
Works count: 40
Citation count: 249
H-index: 9
I10-index: 9
Year
Topic
Type