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 | 53 | 2018 |
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 | 28 | 2019 |
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 | 19 | 2017 |
Systematic asynchrony bug exploration for android apps BK Ozkan, M Emmi, S Tasiran International Conference on Computer Aided Verification, 455-461, 2015 | 19 | 2015 |
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 | 15 | 2023 |
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 | 14 | 2020 |
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 | 13 | 2018 |
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 | 10 | 2018 |
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 | 10 | 2014 |
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 | 10 | 2010 |
Checking linearizability using hitting families BK Ozkan, R Majumdar, F Niksic Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019 | 8 | 2019 |
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 | 8 | 2012 |
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 | 7 | 2022 |
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 | 7 | 2012 |
Probabilistic Concurrency Testing for Weak Memory Programs M Gao, S Chakraborty, B Kulahcioglu Ozkan Proceedings of the 28th ACM International Conference on Architectural …, 2023 | 6 | 2023 |
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 | 6 | 2014 |
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 | 4 | 2015 |
Verifying Weakly Consistent Transactional Programs using Symbolic Execution BK Ozkan International Conference on Networked Systems (NETYS), 2020 | 3 | 2020 |
Liveness Checking of the HotStuff Protocol Family J Decouchant, BK Ozkan, Y Zhou 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing …, 2023 | 2 | 2023 |
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 | 2 | 2018 |