| An exact schedulability test for non-preemptive self-suspending real-time tasks B Yalcinkaya, M Nasri, BB Brandenburg 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019 | 35* | 2019 |
| An automated system repair framework with signal temporal logic M Ergurtuna, B Yalcinkaya, E Aydin Gol Acta Informatica 59 (2), 183-209, 2022 | 10 | 2022 |
| Learning deterministic finite automata decompositions from examples and demonstrations N Lauffer, B Yalcinkaya, M Vazquez-Chanlatte, A Shah, SA Seshia Conference on Formal MEthods in Computer-Aided Design–FMCAD 2022, 325, 2022 | 3 | 2022 |
| ULGEN: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems B Yalcinkaya, H Torfah, A Desai, SA Seshia IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023 | 2 | 2023 |
| Clock reduction in timed automata while preserving design parameters B Yalcinkaya, EA Gol 2019 IEEE/ACM 7th International Conference on Formal Methods in Software …, 2019 | 2 | 2019 |
| Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications B Yalcinkaya, H Torfah, DJ Fremont, SA Seshia International Conference on Runtime Verification, 191-212, 2023 | 1 | 2023 |
| Automata Conditioned Reinforcement Learning with Experience Replay B Yalcinkaya, N Lauffer, M Vazquez-Chanlatte, S Seshia NeurIPS 2023 Workshop on Goal-Conditioned Reinforcement Learning, 2023 | | 2023 |
| Specification-Guided Data Aggregation for Semantically Aware Imitation Learning A Shah, J DeCastro, J Gideon, B Yalcinkaya, G Rosman, SA Seshia arXiv preprint arXiv:2303.17010, 2023 | | 2023 |
| ATAC: A Tool for Automating Timed Automata Construction B Yalcinkaya, EA Gol arXiv preprint arXiv:1905.08169, 2019 | | 2019 |
| Towards Fully-Compositional Simulation-Based Analysis of Autonomous Systems B Yalcinkaya, DJ Fremont, SA Seshia | | |
Ebru Aydin GolAssoc. Prof., Middle East Technical UniversityVerified email at metu.edu.tr
