Follow
Burcu Kulahcioglu Ozkan
Title
Cited by
Cited by
Year
Randomized testing of distributed systems with probabilistic guarantees
BK Ozkan, R Majumdar, F Niksic, MT Befrouei, G Weissenbacher
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-28, 2018
532018
Trace aware random testing for distributed systems
BK Ozkan, R Majumdar, S Oraee
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
282019
Verifying robustness of event-driven asynchronous programs against concurrency
A Bouajjani, M Emmi, C Enea, BK Ozkan, S Tasiran
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
192017
Systematic asynchrony bug exploration for android apps
BK Ozkan, M Emmi, S Tasiran
International Conference on Computer Aided Verification, 455-461, 2015
192015
Randomized testing of byzantine fault tolerant algorithms
LN Winter, F Buse, D De Graaf, K Von Gleissenthall, B Kulahcioglu Ozkan
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 757-788, 2023
152023
Testing consensus implementations using communication closure
C Drăgoi, C Enea, BK Ozkan, R Majumdar, F Niksic
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
142020
DebugAR: Mixed dimensional displays for immersive debugging of distributed systems
P Reipschläger, BK Ozkan, AS Mathur, S Gumhold, R Majumdar, ...
Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing …, 2018
132018
Idea: an immersive debugger for actors
AS Mathur, BK Ozkan, R Majumdar
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 1-12, 2018
102018
Verifying programs under snapshot isolation and similar relaxed consistency models
I Kuru, BK Ozkan, SO Mutluergil, S Tasiran, T Elmas, E Cohen
Proceedings of the 9th ACM SIGPLAN Workshop on Transactional Computing …, 2014
102014
Utilization of timed automata as a verification tool for security protocols
A Koltuksuz, B Kulahcioglu, M Ozkan
2010 Fourth International Conference on Secure Software Integration and …, 2010
102010
Checking linearizability using hitting families
BK Ozkan, R Majumdar, F Niksic
Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019
82019
Using Control Network Programming in Teaching Randomization
K Kratchanov, E Golemanova, T Golemanov, B Külahçıoğlu
Proc. Int. Conf. Electronics, Information and Communication Engineering …, 2012
82012
Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm
M van Meerten, B Kulahcioglu Ozkan, A Panichella
45th International Conference on Software Engineering: SEIP-Software …, 2022
72022
Using control network programming in teaching nondeterminism
BK Kostadin Kratchanov, Emilia Golemanova, Tzanko Golemanov
Proceedings of the 13th International Conference on Computer Systems and …, 2012
72012
Probabilistic Concurrency Testing for Weak Memory Programs
M Gao, S Chakraborty, B Kulahcioglu Ozkan
Proceedings of the 28th ACM International Conference on Architectural …, 2023
62023
Exploiting synchronization in the analysis of shared-memory asynchronous programs
M Emmi, BK Ozkan, S Tasiran
Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014
62014
Verification tools for transactional programs
A Cristal, BK Ozkan, E Cohen, G Kestor, I Kuru, O Unsal, S Tasiran, ...
Transactional Memory. Foundations, Algorithms, Tools, and Applications: COST …, 2015
42015
Verifying Weakly Consistent Transactional Programs using Symbolic Execution
BK Ozkan
International Conference on Networked Systems (NETYS), 2020
32020
Liveness Checking of the HotStuff Protocol Family
J Decouchant, BK Ozkan, Y Zhou
2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing …, 2023
22023
Consistency-aware scheduling for weakly consistent programs
M Dabaghchian, Z Rakamaric, BK Ozkan, E Mutlu, S Tasiran
ACM SIGSOFT Software Engineering Notes 42 (4), 1-5, 2018
22018
The system can't perform the operation now. Try again later.
Articles 1–20