Parasara Sridhar Duggirala
发表
Stanley Bak,
Parasara Sridhar Duggirala,
Stanley Bak,
2017,
CAV.
Mahesh Viswanathan,
Sergiy Bogomolov,
Christian Schilling,
2016,
2016 IEEE Conference on Control Applications (CCA).
Manish Goyal,
Parasara Sridhar Duggirala,
Manish Goyal,
2020,
ATVA.
Vineet Kahlon,
Aarti Gupta,
Franjo Ivancic,
2012,
RP.
Ashish Tiwari,
Parasara Sridhar Duggirala,
2013,
2013 Proceedings of the International Conference on Embedded Software (EMSOFT).
Sayan Mitra,
Parasara Sridhar Duggirala,
S. Mitra,
2012,
HSCC '12.
Parasara Sridhar Duggirala,
Bineet Ghosh,
B. Ghosh,
2019,
ACM Trans. Embed. Comput. Syst..
Taylor T. Johnson,
Sayan Mitra,
Parasara Sridhar Duggirala,
2012,
2012 IEEE 33rd Real-Time Systems Symposium.
Parasara Sridhar Duggirala,
2015
.
Stanley Bak,
Parasara Sridhar Duggirala,
Stanley Bak,
2019,
ACM Trans. Embed. Comput. Syst..
Mahesh Viswanathan,
Sayan Mitra,
César A. Muñoz,
2014,
FM.
Mahesh Viswanathan,
Parasara Sridhar Duggirala,
2015,
2015 IEEE Real-Time Systems Symposium.
Parasara Sridhar Duggirala,
Abolfazl Karimi,
Abolfazl Karimi,
2020,
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS).
Mahesh Viswanathan,
Sayan Mitra,
Parasara Sridhar Duggirala,
2015,
TACAS.
Mahesh Viswanathan,
Chuchu Fan,
Sayan Mitra,
2016,
CAV.
Parasara Sridhar Duggirala,
Jonathan Homburg,
J. Homburg,
2019,
VSTTE.
Parasara Sridhar Duggirala,
Manish Goyal,
2018,
ADHS.
Shirshendu Das,
Hemangee K. Kapoor,
Parasara Sridhar Duggirala,
2013,
Integr..
Mahesh Viswanathan,
Chuchu Fan,
Sayan Mitra,
2015,
CAV.
Stanley Bak,
Parasara Sridhar Duggirala,
2017,
TACAS.
Stanley Bak,
Parasara Sridhar Duggirala,
2017,
ARCH@CPSWeek.
Parasara Sridhar Duggirala,
Manish Goyal,
David Bergman,
2020,
2020 American Control Conference (ACC).
Stanley Bak,
Parasara Sridhar Duggirala,
Stanley Bak,
2017,
HSCC.
Rakesh Kumar,
Sayan Mitra,
Parasara Sridhar Duggirala,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Mahesh Viswanathan,
Sayan Mitra,
Pavithra Prabhakar,
2013,
Formal Methods Syst. Des..
Nadia Polikarpova,
Peter Schrammel,
Maria Christakis,
2020,
VSTTE.
Mahesh Viswanathan,
Sayan Mitra,
Parasara Sridhar Duggirala,
2015,
HSCC.
Parasara Sridhar Duggirala,
Qilin Jin,
2020,
AAAI.
Manish Goyal,
Parasara Sridhar Duggirala,
Manish Goyal,
2020,
Autom..
Parasara Sridhar Duggirala,
Donolad R. Sheehy,
2018,
CCCG.
Mahesh Viswanathan,
Parasara Sridhar Duggirala,
2016,
CAV.
Mahesh Viswanathan,
Sayan Mitra,
Parasara Sridhar Duggirala,
2013,
2013 Proceedings of the International Conference on Embedded Software (EMSOFT).
Mahesh Viswanathan,
Chuchu Fan,
Sayan Mitra,
2015,
ARCH@CPSWeek.
Sayan Mitra,
Parasara Sridhar Duggirala,
S. Mitra,
2011,
2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.
Mahesh Viswanathan,
Sayan Mitra,
Pavithra Prabhakar,
2015,
Formal Methods Syst. Des..
Sergiy Bogomolov,
Stanley Bak,
Adam R. Gerlach,
2021,
ADHS.
Parasara Sridhar Duggirala,
Bineet Ghosh,
2021,
ArXiv.
Samarjit Chakraborty,
F. Donelson Smith,
Debayan Roy,
2021,
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Sandeep Chinchali,
Parasara Sridhar Duggirala,
Bineet Ghosh,
2021,
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Parasara Sridhar Duggirala,
Manish Goyal,
Abolfazl Karimi,
2021,
ArXiv.
Parasara Sridhar Duggirala,
Bineet Ghosh,
2021,
ArXiv.
Luca Geretti,
Matthias Althoff,
Christian Schilling,
2021,
ARCH@ADHS.
Stanley Bak,
Parasara Sridhar Duggirala,
Edward Kim,
2021,
FORMATS.
Parasara Sridhar Duggirala,
Mahesh Viswanathan,
Chuchu Fan,
2015
.
Mahesh Viswanathan,
Sayan Mitra,
Pavithra Prabhakar,
2010
.
Parasara Sridhar Duggirala,
Sandeep P. Chinchali,
B. Ghosh,
2022,
ArXiv.
Parasara Sridhar Duggirala,
S. Chakraborty,
B. Ghosh,
2022,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Parasara Sridhar Duggirala,
James H. Anderson,
P. Thiagarajan,
2022,
2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).
Parasara Sridhar Duggirala,
Mahesh Viswanathan,
Matthew Potok,
2015,
TACAS.
Parasara Sridhar Duggirala,
Manish Goyal,
David Bergman,
2023,
ArXiv.
Parasara Sridhar Duggirala,
Edward D. Kim,
2020,
ARCH.