| emsoft | participants

Paulo Tabuada

Program Committees:
2010, 2013, and 2014
.

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

EMSOFT 2010: 10th International Conference on Embedded Software

Automatic Verification of Control System Implementations

Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, and Paulo Tabuada