Beyazit Yalcinkaya

According to our database, Beyazit Yalcinkaya authored at least 8 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems.

Beyazit Yalcinkaya, Hazem Torfah, Ankush Desai, Sanjit A. Seshia

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023

Specification-Guided Data Aggregation for Semantically Aware Imitation Learning.

Ameesh Shah, Jonathan A. DeCastro, John Gideon, Beyazit Yalcinkaya, Guy Rosman, Sanjit A. Seshia

CoRR, 2023

Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications.

Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia

Proceedings of the Runtime Verification - 23rd International Conference, 2023

2022

An automated system repair framework with signal temporal logic.

Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol

Acta Informatica, 2022

Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations.

Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2019

ATAC: A Tool for Automating Timed Automata Construction.

Beyazit Yalcinkaya, Ebru Aydin Gol

CoRR, 2019

Clock reduction in timed automata while preserving design parameters.

Beyazit Yalcinkaya, Ebru Aydin Gol

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks.

Beyazit Yalcinkaya, Mitra Nasri, Björn B. Brandenburg

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019