Æȷοì
Berk Cirisci
Berk Cirisci
Applied Scientist, AWS
irif.frÀÇ À̸ÞÀÏ È®ÀεÊ
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–10