Burcu Kulahcioglu Ozkan
Orcid: 0000-0002-7038-165XAffiliations:
- Delft University of Technology, The Netherlands
- Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern, Germany (former)
According to our database1,
Burcu Kulahcioglu Ozkan
authored at least 23 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
1
1
1
1
1
1
4
3
1
1
2
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on mpi-sws.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024
Proceedings of the Graph Transformation - 17th International Conference, 2024
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024
2023
Proc. ACM Program. Lang., April, 2023
Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023
Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023
2020
Proc. ACM Program. Lang., 2020
Proceedings of the Networked Systems - 8th International Conference, 2020
2019
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019
2018
Proc. ACM Program. Lang., 2018
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 2018
Proceedings of the Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems, 2018
2017
ACM SIGSOFT Softw. Eng. Notes, 2017
Proceedings of the Programming Languages and Systems, 2017
2016
Characterization and verification of correctness criteria for event-driven asynchronous programs (Olaya-dayalı asenkron programlar için doğruluk kriteri tanımlanması ve doğrulanması)
PhD thesis, 2016
2015
Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014
Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, 2014