Burcu Kulahcioglu Ozkan
Title
Cited by
Cited by
Year
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
152017
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
132018
Systematic asynchrony bug exploration for android apps
BK Ozkan, M Emmi, S Tasiran
International Conference on Computer Aided Verification, 455-461, 2015
112015
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
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
82018
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
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
62012
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
52018
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
52010
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
22019
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
22015
Checking linearizability using hitting families
BK Ozkan, R Majumdar, F Niksic
Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019
12019
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
12018
Towards verifying eventually consistent applications
BK Ozkan, E Mutlu, S Tasiran
Proceedings of the First Workshop on Principles and Practice of Eventual …, 2014
12014
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
Verifying Weakly Consistent Transactional Programs using Symbolic Execution
BK Ozkan
The system can't perform the operation now. Try again later.
Articles 1–16