Burcu Kulahcioglu Ozkan

Publications

Citations

H-Index

2018

Active since

Affiliations

Max Planck Institute for Software Systems(Current)

Burcu Kulahcioglu Ozkan is an author at Max Planck Institute for Software Systems specializing in parallel computing, parallel programming, and computer engineering.

ORCID

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisParallel ComputingDistributed SystemsFormal Verification

Publications per year

2018–2023

Publications

Randomized testing of distributed systems with probabilistic guarantees

Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic et al. · Proceedings of the ACM on Programming Languages · 2018 · 33 citations · Full text

Engineering, Distributed Algorithms, Verification +26

Trace aware random testing for distributed systems

Burcu Kulahcioglu Ozkan, Rupak Majumdar, Simin Oraee · Proceedings of the ACM on Programming Languages · 2019 · 22 citations · Full text

Engineering, Verification, Software Engineering +21

Randomized Testing of Byzantine Fault Tolerant Algorithms

Levin N. Winter, Florena Buse, Daan de Graaf et al. · Proceedings of the ACM on Programming Languages · 2023 · 18 citations · Full text

Testing consensus implementations using communication closure

Cezara Drăgoi, Constantin Enea, Burcu Kulahcioglu Ozkan et al. · Proceedings of the ACM on Programming Languages · 2020 · 11 citations · Full text

Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm

Martijn van Meerten, Burcu Kulahcioglu Ozkan, Annibale Panichella · 2023 · 11 citations · Full text

Rows per page

1–5 of 5