Beyazit Yalcinkaya

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 9

Top Topics

Design Parameters

Data Aggregation

Top Venues

Acta Informatica

Publications

Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. RV (2023)
Beyazit Yalcinkaya, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (11) (2023)
Ameesh Shah, Jonathan A. DeCastro, John Gideon, Beyazit Yalcinkaya, Guy Rosman, Sanjit A. Seshia
Specification-Guided Data Aggregation for Semantically Aware Imitation Learning. CoRR (2023)
Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. FMCAD (2022)
Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. CoRR (2022)
Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol
An automated system repair framework with signal temporal logic. Acta Informatica 59 (2-3) (2022)
Beyazit Yalcinkaya, Ebru Aydin Gol
ATAC: A Tool for Automating Timed Automata Construction. CoRR (2019)
Beyazit Yalcinkaya, Mitra Nasri, Björn B. Brandenburg
An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks. DATE (2019)
Beyazit Yalcinkaya, Ebru Aydin Gol
Clock reduction in timed automata while preserving design parameters. FormaliSE@ICSE (2019)