Vinayak S. Prabhu
发表
Krishnendu Chatterjee,
Thomas A. Henzinger,
Vinayak S. Prabhu,
2012,
EMSOFT '12.
Krishnendu Chatterjee,
Vinayak S. Prabhu,
2012,
ArXiv.
Vinayak S. Prabhu,
2018
.
Rupak Majumdar,
Vinayak S. Prabhu,
2016,
HSCC.
Rupak Majumdar,
Rayna Dimitrova,
Vinayak S. Prabhu,
2018,
CREST@ETAPS.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Vinayak S. Prabhu,
2012,
ArXiv.
Rupak Majumdar,
Vinayak S. Prabhu,
2015,
HSCC.
Rupak Majumdar,
Sadegh Esmaeil Zadeh Soudjani,
Vinayak S. Prabhu,
2017,
2017 American Control Conference (ACC).
Rupak Majumdar,
Sadegh Esmaeil Zadeh Soudjani,
Rayna Dimitrova,
2017,
CONCUR.
Thomas A. Henzinger,
Rupak Majumdar,
Vinayak S. Prabhu,
2005,
FORMATS.
Insup Lee,
Sampath Kannan,
Adam J. Aviv,
2009,
EUROSEC '09.
Thomas A. Henzinger,
Vinayak S. Prabhu,
T. Henzinger,
2006,
FORMATS.
Rupak Majumdar,
Jyotirmoy V. Deshmukh,
Vinayak S. Prabhu,
2015,
CAV.
Rupak Majumdar,
Jyotirmoy V. Deshmukh,
Vinayak S. Prabhu,
2015,
ArXiv.
Rupak Majumdar,
Sadegh Esmaeil Zadeh Soudjani,
Vinayak S. Prabhu,
2017,
IEEE Transactions on Automatic Control.
Rupak Majumdar,
Xiaoqing Jin,
Jyotirmoy V. Deshmukh,
2017,
ACM Trans. Embed. Comput. Syst..
Krishnendu Chatterjee,
Vinayak S. Prabhu,
2015,
IEEE Transactions on Automatic Control.
Krishnendu Chatterjee,
Vinayak S. Prabhu,
2011,
HSCC '11.
Rupak Majumdar,
Xiaoqing Jin,
Jyotirmoy V. Deshmukh,
2018,
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).
Thomas A. Henzinger,
Marius Minea,
Vinayak S. Prabhu,
2001,
HSCC.
P. B. Sujit,
Pedro Ribeiro,
João Borges de Sousa,
2012
.
Thomas A. Henzinger,
Jean-François Raskin,
Thomas Brihaye,
2007,
ICALP.
Rupak Majumdar,
Jyotirmoy V. Deshmukh,
Vinayak S. Prabhu,
2015,
CAV.
Thomas A. Henzinger,
Vinayak S. Prabhu,
2008
.
Krishnendu Chatterjee,
Vinayak S. Prabhu,
2013,
HSCC '13.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Vinayak S. Prabhu,
2008,
HSCC.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Vinayak S. Prabhu,
2008,
FORMATS.
Krishnendu Chatterjee,
Vinayak S. Prabhu,
2013,
Inf. Comput..
Rupak Majumdar,
Vinayak S. Prabhu,
R. Majumdar,
2014,
ArXiv.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Vinayak S. Prabhu,
2011
.
Vinayak S. Prabhu,
Bassem Ghorbel,
2022,
HSCC.
Vinayak S. Prabhu,
Majumdar,
2018
.
Vinayak S. Prabhu,
I. Ray,
I. Ray,
2022,
CPSS@AsiaCCS.
Vinayak S. Prabhu,
R. Majumdar,
Rayna Dimitrova,
2016
.
Jyotirmoy V. Deshmukh,
Vinayak S. Prabhu,
R. Majumdar,
2017,
Formal Methods in System Design.
Vinayak S. Prabhu,
I. Ray,
I. Ray,
2022,
CPSS@AsiaCCS.
Vinayak S. Prabhu,
Bassem Ghorbel,
2024,
HSCC.
Vinayak S. Prabhu,
Meetkumar Savaliya,
2022,
2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Vinayak S. Prabhu,
Bassem Ghorbel,
2022,
HSCC.