| emsoft | participants

Ayca Balkan

Program Committees:
2019 and 2020
.

EMSOFT 2016: 16th International Conference on Embedded Software

Underminer: A Framework for Automatically Identifying Non-Converging Behaviors in Black Box System Models

Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, and James Kapinski

EMSOFT 2012: 12th International Conference on Embedded Software

Input-Output Robustness for Discrete Systems

Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, and Rupak Majumdar