Beyazit Yalcinkaya
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2019–2023
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | RV | Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. | Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia |
| 2022 | FMCAD | Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. | Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia |
| 2019 | DATE | An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks. | Beyazit Yalcinkaya, Mitra Nasri, Bjrn B. Brandenburg |
| 2019 | ICSE | Clock reduction in timed automata while preserving design parameters. | Beyazit Yalcinkaya, Ebru Aydin Gol |