| 2019 |
J |
jnl |
Autom.
Joris Kenanian, Ayca Balkan, Raphaël M. Jungers, Paulo Tabuada
|
| 2018 |
— |
conf |
CDC
Ayca Balkan, Raphaël M. Jungers, Joris Kenanian, Paulo Tabuada
|
| 2018 |
J |
jnl |
IEEE Trans. Autom. Control.
Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada
|
| 2018 |
J |
jnl |
ACM Trans. Embed. Comput. Syst.
Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski
|
| 2017 |
J |
jnl |
Discret. Event Dyn. Syst.
Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Hadas Kress-Gazit
|
| 2017 |
— |
— |
Ayca Balkan
|
| 2017 |
— |
conf |
CDC
Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
|
| 2016 |
J |
jnl |
IEEE Trans. Control. Syst. Technol.
Petter Nilsson, Omar Hussien, Ayca Balkan, Yuxiao Chen, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada
|
| 2016 |
Misc |
conf |
EMSOFT
Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski
|
| 2015 |
— |
conf |
ADHS
Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada
|
| 2015 |
J |
jnl |
CoRR
Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada
|
| 2014 |
J |
jnl |
CoRR
Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Paulo Tabuada, Hadas Kress-Gazit
|
| 2014 |
— |
conf |
CDC
Petter Nilsson, Omar Hussien, Yuxiao Chen, Ayca Balkan, Matthias Rungger, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada
|
| 2012 |
Misc |
conf |
EMSOFT
Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar
|