Seguir
Berk Cirisci
Berk Cirisci
Applied Scientist, AWS
E-mail confirmado em irif.fr
Título
Citado por
Citado por
Ano
Using Structure of Automata for Faster Synchronizing Heuristics.
B Cirisci, MK Kahraman, CU Yildirimoglu, K Kaya, H Yenigün
MODELSWARD, 544-551, 2018
32018
Root causing linearizability violations
B Çirisci, C Enea, A Farzan, SO Mutluergil
International Conference on Computer Aided Verification, 350-375, 2020
22020
Using Synchronizing Heuristics to Construct Homing Sequences
B Çirişci, MY Emek, E Sorguç, K Kaya, H Yenigün
SciTePress, 2019
22019
A language-agnostic framework for mining static analysis rules from code changes
SDB Effendi, B Çirisci, R Mukherjee, HA Nguyen, O Tripp
2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023
2023
Quorum tree abstractions of consensus protocols
B Cirisci, C Enea, SO Mutluergil
European Symposium on Programming, 337-362, 2023
2023
A pragmatic approach to stateful partial order reduction
B Cirisci, C Enea, A Farzan, SO Mutluergil
International Conference on Verification, Model Checking, and Abstract …, 2023
2023
Formal verification of concurrent data structures
B Cirisci
Université Paris Cité, 2022
2022
The Upper Bound for the Length of the Shortest Homing Sequences
B Çirişci
2019
Synchronizing heuristics for weakly connected automata with various topologies
B Cirisci, B Sevilmiş, EY Sivri, PK Karaçam, K Kaya, H Yenigün
Model-Driven Engineering and Software Development: 6th International …, 2019
2019
Synchronizing Heuristics for Non-Strongly Connected Automata
B Çirişci, KM Kahraman, ÇU Yıldırımoğlu, H Yenigün, K Kaya
2017
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–10