E-LIB Suche - Ergebnisse für: Ozkan, Burcu Kulahcioglu

1

Checking Transaction Isolation Violations Using Graph Queri..:

, In: Graph Transformation; Lecture Notes in Computer Science,

Dumbrava, Stefania ; Jin, Zhao ; Ozkan, Burcu Kulahcioglu. - p. 203-213 , 2024

Link: https://doi.org/10.1007/..

2

GRAIL: Checking Transaction Isolation Violations with Graph..:

, In: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings,

Dumbrava, Stefania ; Jin, Zhao ; Kulahcioglu Ozkan, Burcu. - p. 320-321 , 2024

Link: https://dl.acm.org/doi/1..

3

GRAIL: Checking Transaction Isolation Violations with Graph..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Dumbrava, Stefania ; Jin, Zhao ; Ozkan, Burcu Kulahcioglu. - p. 320-321 , 2024

Link: https://doi.org/10.1145/..

4

Proceedings of the 22nd ACM SIGPLAN International Workshop ..:

Ozkan, Burcu Kulahcioglu ; Fernandez-Reyes, Kiko , 2023

Link: https://dl.acm.org/doi/1..

5

Liveness Checking of the HotStuff Protocol Family:

, In: 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC),

Decouchant, Jeremie ; Ozkan, Burcu Kulahcioglu ; Zhou, Yanzhuo - p. 168-179 , 2023

Link: https://doi.org/10.1109/..

6

Evolutionary Approach for Concurrency Testing of Ripple Blo..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP),

van Meerten, Martijn ; Ozkan, Burcu Kulahcioglu ; Panichella, Annibale - p. 36-47 , 2023

Link: https://doi.org/10.1109/..

7

Randomized Testing of Byzantine Fault Tolerant Algorithms:

Winter, Levin N. ; Buse, Florena ; de Graaf, Daan..
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 757-788 , 2023

Link: https://doi.org/10.1145/..

8

Probabilistic Concurrency Testing for Weak Memory Programs:

, In: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2,

Gao, Mingyu ; Chakraborty, Soham ; Ozkan, Burcu Kulahcioglu - p. 603-616 , 2023

Link: https://dl.acm.org/doi/1..

9

Randomized Testing of Byzantine Fault Tolerant Algorithms:

Winter, Levin N ; Buse, Florena ; De Graaf, Daan..
https://research.vu.nl/en/publications/591f7387-9c73-4cab-a41f-34711c1b3f0c. , 2023

Link: https://research.vu.nl/e..

10

Randomized Testing of Byzantine Fault Tolerant Algorithms:

Winter, Levin N ; Buse, Florena ; De Graaf, Daan..
https://research.vu.nl/en/publications/591f7387-9c73-4cab-a41f-34711c1b3f0c. , 2023

Link: https://research.vu.nl/e..

11

Liveness Checking of the HotStuff Protocol Family:

Decouchant, Jérémie ; Ozkan, Burcu Kulahcioglu ; Zhou, Yanzhuo
http://arxiv.org/abs/2310.09006. , 2023

Link: http://arxiv.org/abs/231..

12

Artifact for "Randomized Testing of Byzantine Fault Toleran..:

Winter, Levin N ; Buse, Florena ; de Graaf, Daan..
doi:10.5281/zenodo.7510751. , 2023

Link: https://zenodo.org/recor..

13

Proceedings of the 21st ACM SIGPLAN International Workshop ..:

Aronis, Stavros ; Ozkan, Burcu Kulahcioglu , 2022

Link: https://dl.acm.org/doi/1..

14

Probabilistic Concurrency Testing for Weak Memory Concurren..:

Mingyu Gao ; Burcu Kulahcioglu Ozkan ; Soham Chakraborty
doi:10.5281/zenodo.7225458. , 2022

Link: https://zenodo.org/recor..

15

Verifying Weakly Consistent Transactional Programs Using Sy..:

, In: Networked Systems; Lecture Notes in Computer Science,

Ozkan, Burcu Kulahcioglu - p. 261-278 , 2021

Link: https://doi.org/10.1007/..