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
202018
Verifying robustness of event-driven asynchronous programs against concurrency
A Bouajjani, M Emmi, C Enea, BK Ozkan, S Tasiran
European Symposium on Programming, 170-200, 2017
172017
Systematic asynchrony bug exploration for android apps
BK Ozkan, M Emmi, S Tasiran
International Conference on Computer Aided Verification, 455-461, 2015
142015
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
102018
Verifying programs under snapshot isolation and similar relaxed consistency models
I Kuru, BK Ozkan, SO Mutluergil, S Tasiran, T Elmas, E Cohen
9th ACM SIGPLAN Workshop on Transactional Computing, 2014
92014
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
62018
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
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
62010
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
52019
Checking linearizability using hitting families
BK Ozkan, R Majumdar, F Niksic
Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019
52019
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
52012
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, 283-306, 2015
32015
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
Verifying Weakly Consistent Transactional Programs using Symbolic Execution
BK Ozkan
International Conference on Networked Systems (NETYS), 2020
12020
Towards verifying eventually consistent applications
BK Ozkan, E Mutlu, S Tasiran
Proceedings of the First Workshop on Principles and Practice of Eventual …, 2014
12014
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
2020
Modeling Efficient Multi-chained Stream Signature Protocol Using Communicating Sequential Processes
A Koltuksuz, M Ozkan, B Kulahcioglu
2010 Fourth International Conference on Secure Software Integration and …, 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–17