Research output per year
Research output per year
Fingerprint
Dive into the research topics where B. Özkan is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm
van Meerten, M. C., Kulahcioglu Ozkan, B. & Panichella, A., 13 May 2023, (Accepted/In press) 45rd International Conference on Software Engineering: SEIP - Software Engineering in Practice.Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile5 Downloads (Pure) -
Probabilistic Concurrency Testing for Weak Memory Programs
Gao, M., Chakraborty, S. & Ozkan, B. K., 2023, ASPLOS 2023 - Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Aamodt, T. M., Jerger, N. E. & Swift, M. (eds.). Association for Computing Machinery (ACM), p. 603-616 14 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 2).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile10 Downloads (Pure) -
Message from the Chairs
Aronis, S. & Kulahcioglu Ozkan, B., 2022, In: Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang. p. iii-iii 1 p.Research output: Contribution to journal › Editorial › Scientific › peer-review
Open Access
Activities
- 9 Participation in conference
-
8th International Workshop on Metamorphic Testing (MET), in conjunction with ICSE 2023
Burcu Kulahcioglu Ozkan (Member of programme committee)
14 May 2023Activity: Participating in or organising an event › Participation in conference
-
35th International Conference on Computer Aided Verification (CAV) 2023
Burcu Kulahcioglu Ozkan (Member of programme committee)
17 Jul 2023 → 22 Jul 2023Activity: Participating in or organising an event › Participation in conference
-
24th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) 2023
Burcu Kulahcioglu Ozkan (Member of programme committee)
15 Jan 2023 → 17 Jan 2023Activity: Participating in or organising an event › Participation in conference
-
37th IEEE/ACM International Conference on Automated Software Engineering (ASE) 2022
Burcu Kulahcioglu Ozkan (Member of programme committee)
10 Oct 2022 → 14 Oct 2022Activity: Participating in or organising an event › Participation in conference
-
31st European Symposium on Programming (ESOP)
Burcu Kulahcioglu Ozkan (Member of programme committee)
2 Apr 2022 → 7 Apr 2022Activity: Participating in or organising an event › Participation in conference