Burcu Kulahcioglu Ozkan
Burcu Kulahcioglu Ozkan
Verified email at mpi-sws.org
TitleCited byYear
Systematic asynchrony bug exploration for android apps
BK Ozkan, M Emmi, S Tasiran
International Conference on Computer Aided Verification, 455-461, 2015
102015
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
92014
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
82017
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
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), 160, 2018
42018
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
42010
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
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
12018
Checking linearizability using hitting families
BK Ozkan, R Majumdar, F Niksic
Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019
2019
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
2018
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
2018
Towards verifying eventually consistent applications
BK Ozkan, E Mutlu, S Tasiran
Proceedings of the First Workshop on Principles and Practice of Eventual …, 2014
2014
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–13