Sriram Sankaranarayanan

发表

Yi Chou, Xin Chen, Sriram Sankaranarayanan, 2017, NSV@CAV.

Sriram Sankaranarayanan, Hadi Ravanbakhsh, Sina Aghli, 2018, 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2004, SAS.

Ashish Tiwari, Sriram Sankaranarayanan, Susmit Jha, 2018, NFM.

Sriram Sankaranarayanan, B. Wayne Bequette, Taisa Kushner, 2019, Automated Reasoning for Systems Biology and Medicine.

Sriram Sankaranarayanan, Edmund M. Clarke, Sicun Gao, 2010, Formal Methods in Computer Aided Design.

Sriram Sankaranarayanan, Bor-Yuh Evan Chang, Arlen Cox, 2013, International Journal on Software Tools for Technology Transfer.

Sriram Sankaranarayanan, James Kapinski, Xiaoqing Jin, 2015, HSCC.

Sriram Sankaranarayanan, James Kapinski, Xiaoqing Jin, 2015, 2015 American Control Conference (ACC).

Sriram Sankaranarayanan, Georgios E. Fainekos, Kangjin Kim, 2012, 2012 IEEE International Conference on Robotics and Automation.

Sriram Sankaranarayanan, Georgios E. Fainekos, Guohui Ding, 2018, NFM.

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám, 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).

Sriram Sankaranarayanan, James Kapinski, Jyotirmoy V. Deshmukh, 2014, HSCC.

Sriram Sankaranarayanan, Tom Yeh, Paul Givens, 2013, 2013 35th International Conference on Software Engineering (ICSE).

Sriram Sankaranarayanan, Chao Wang, Weihong Li, 2010, Formal Methods in Computer Aided Design.

Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2003, Verification: Theory and Practice.

Sriram Sankaranarayanan, Pierre Roux, Yuen-Lam Voronin, 2016, SAS.

Sriram Sankaranarayanan, Margarida Carvalho, Andrea Lodi, 2019 .

Sriram Sankaranarayanan, Clayton Lewis, Hadjar Homaei, 2011, FORMATS.

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám, 2013, CAV.

Xin Chen, Sriram Sankaranarayanan, Stefan Kowalewski, 2015, CyPhy.

Sriram Sankaranarayanan, Sergio Mover, Souradeep Dutta, 2019, RP.

Sriram Sankaranarayanan, Mohamed Amin Ben Sassi, 2017, SAS.

Sriram Sankaranarayanan, Sam Blackshear, Bor-Yuh Evan Chang, 2011, SAS.

Sriram Sankaranarayanan, S. Sankaranarayanan, 2011, HSCC '11.

Sriram Sankaranarayanan, Ezio Bartocci, Mohamed Amin Ben Sassi, 2017 .

Sriram Sankaranarayanan, James Kapinski, Jyotirmoy V. Deshmukh, 2014, EMSOFT '14.

Sriram Sankaranarayanan, Kenneth M. Anderson, Sergio Mover, 2020 .

Enrico Vicario, Sriram Sankaranarayanan, E. Vicario, 2015, Lecture Notes in Computer Science.

Swarat Chaudhuri, Sriram Sankaranarayanan, Moshe Y. Vardi, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.

Bernd Finkbeiner, César Sánchez, Henny B. Sipma, 2005, 12th International Symposium on Temporal Representation and Reasoning (TIME'05).

Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, E. Allen Emerson, 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.

Sriram Sankaranarayanan, Yan Zhang, Fabio Somenzi, 2012, 2012 Formal Methods in Computer-Aided Design (FMCAD).

Swarat Chaudhuri, Sriram Sankaranarayanan, Aarti Gupta, 2008, ISSTA '08.

Sriram Sankaranarayanan, Aarti Gupta, Franjo Ivancic, 2007, SAS.

Sriram Sankaranarayanan, Aarti Gupta, Malay K. Ganai, 2010, Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010).

Sriram Sankaranarayanan, Gogul Balakrishnan, Aarti Gupta, 2014, Automated Software Engineering.

Sriram Sankaranarayanan, Gogul Balakrishnan, Aarti Gupta, 2011, FoVeOOS.

Dejan Nickovic, Sriram Sankaranarayanan, Ezio Bartocci, 2018, Lectures on Runtime Verification.

Sriram Sankaranarayanan, Amitabh Basu, 2019, SIAM J. Optim..

Sriram Sankaranarayanan, Xiaoqing Jin, Jyotirmoy V. Deshmukh, 2016, HSCC.

Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2008, Formal Methods Syst. Des..

Sriram Sankaranarayanan, Georgios E. Fainekos, B. Wayne Bequette, 2017, SIGBED.

Xin Chen, Sriram Sankaranarayanan, S. Sankaranarayanan, 2017, 2017 IEEE Real-Time Systems Symposium (RTSS).

Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2006, HSCC.

Sriram Sankaranarayanan, Taisa Kushner, David M. Bortz, 2018, 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).

Sriram Sankaranarayanan, Aarti Gupta, Ilya Shlyakhter, 2006, SAS.

Sriram Sankaranarayanan, Aarti Gupta, Franjo Ivancic, 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

César Sánchez, Henny B. Sipma, Zohar Manna, 2003, EMSOFT.

Sriram Sankaranarayanan, Hadi Ravanbakhsh, 2014, 2014 International Conference on Embedded Software (EMSOFT).

Sriram Sankaranarayanan, Pierre Roux, Yuen-Lam Voronin, 2018, Formal Methods Syst. Des..

Sriram Sankaranarayanan, Gogul Balakrishnan, Aarti Gupta, 2009, EMSOFT '09.

William R. Harris, Sriram Sankaranarayanan, Aarti Gupta, 2010, POPL '10.

Sriram Sankaranarayanan, S. Sankaranarayanan, 2010, HSCC '10.

Sriram Sankaranarayanan, Bai Xue, Naijun Zhan, 2020, CAV.

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám, 2014, IMA J. Math. Control. Inf..

Sriram Sankaranarayanan, Georgios E. Fainekos, Fraser Cameron, 2015, RV.

Sriram Sankaranarayanan, Eric Goubault, Georgios E. Fainekos, 2012, TECS.

Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2005, VMCAI.

Sriram Sankaranarayanan, Mohamed Amin Ben Sassi, Jessica A. Gronski, 2019, Formal Methods Syst. Des..

Bernd Finkbeiner, Henny B. Sipma, Sriram Sankaranarayanan, 2002, Electron. Notes Theor. Comput. Sci..

Sriram Sankaranarayanan, Bor-Yuh Evan Chang, Robert Frohardt, 2011, VMCAI.

Sriram Sankaranarayanan, Xin Chen, Souradeep Dutta, 2019, HSCC.

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám, 2013, NOLCOS.

Sriram Sankaranarayanan, Bor-Yuh Evan Chang, Arlen Cox, 2012, TACAS.

Sriram Sankaranarayanan, Eric Goubault, Sylvie Putot, 2016, TACAS.

Sriram Sankaranarayanan, Aleksandar Chakarov, Yuen-Lam Voronin, 2016, TACAS.

Sriram Sankaranarayanan, Rajeev Alur, Aditya Kanade, 2009, CAV.

Sriram Sankaranarayanan, Hadi Ravanbakhsh, S. Sankaranarayanan, 2017, Robotics: Science and Systems.

Sriram Sankaranarayanan, Yu Yang, Vineet Kahlon, 2007, CAV.

Sriram Sankaranarayanan, Georgios E. Fainekos, Hakan Yazarel, 2012, 2012 American Control Conference (ACC).

Sriram Sankaranarayanan, Mohamed Amin Ben Sassi, 2015, HSCC.

Sriram Sankaranarayanan, Michael Colón, Michael Colón, 2011, ESOP.

Sriram Sankaranarayanan, Vineet Kahlon, Aarti Gupta, 2013, International Journal on Software Tools for Technology Transfer.

Sriram Sankaranarayanan, Eric Goubault, Jacques-Henri Jourdan, 2014, 2014 American Control Conference.

Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic, 2008, TACAS.

Sriram Sankaranarayanan, Sanjit A. Seshia, Hadi Ravanbakhsh, 2019, 2019 International Conference on Robotics and Automation (ICRA).

Sriram Sankaranarayanan, Hadi Ravanbakhsh, S. Sankaranarayanan, 2016, 2016 International Conference on Embedded Software (EMSOFT).

Xin Chen, Sriram Sankaranarayanan, S. Sankaranarayanan, 2016, 2016 IEEE Real-Time Systems Symposium (RTSS).

Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic, 2008, HSCC.

Ashish Tiwari, Sriram Sankaranarayanan, 2011, CAV.

Sriram Sankaranarayanan, Taisa Kushner, Monal Narasimhamurthy, 2019, 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Sriram Sankaranarayanan, George J. Pappas, Truong Nghiem, 2010, HSCC '10.

Vitaly Shmatikov, Sriram Sankaranarayanan, Guofei Jiang, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.

Sriram Sankaranarayanan, Georgios E. Fainekos, Aarti Gupta, 2009, 2009 30th IEEE Real-Time Systems Symposium.

Sriram Sankaranarayanan, Taisa Kushner, Marc Breton, 2020, HSCC.

Sriram Sankaranarayanan, Hadi Ravanbakhsh, S. Sankaranarayanan, 2018, Autonomous Robots.

Sriram Sankaranarayanan, Gogul Balakrishnan, Aarti Gupta, 2008, SAS.

Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2004, Formal Methods Syst. Des..

Sriram Sankaranarayanan, Yan Zhang, Fabio Somenzi, 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).

Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2006, VMCAI.

Sriram Sankaranarayanan, S. Sankaranarayanan, 2012, arXiv.org.

Sriram Sankaranarayanan, Amitabh Basu, Christopher Thomas Ryan, 2018, Math. Program..

Sriram Sankaranarayanan, Vineet Kahlon, Aarti Gupta, 2009, TACAS.

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám, 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

Sriram Sankaranarayanan, Bor-Yuh Evan Chang, Arlen Cox, 2013, ECOOP.

Sriram Sankaranarayanan, Yan Zhang, Benjamin M. Gyori, 2015, 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Sriram Sankaranarayanan, Hadi Ravanbakhsh, S. Sankaranarayanan, 2017, SYNT@CAV.

Sumit Gulwani, Sriram Sankaranarayanan, Aleksandar Chakarov, 2013, PLDI.

César Sánchez, Sriram Sankaranarayanan, Bor-Yuh Evan Chang, 2012, SAS.

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám, 2015, ARCH@CPSWeek.

Sriram Sankaranarayanan, Georgios E. Fainekos, Che Liu, 2011, TACAS.

Sriram Sankaranarayanan, Souradeep Dutta, Arthur Clavière, 2019, ICAPS.

Sriram Sankaranarayanan, Georgios E. Fainekos, Georgios Fainekos, 2012, HSCC '12.

Xin Chen, Sriram Sankaranarayanan, Sergio Mover, 2017, ACM Trans. Embed. Comput. Syst..

Ashish Tiwari, Sriram Sankaranarayanan, Susmit Jha, 2019, HSCC.

Sriram Sankaranarayanan, Hadi Ravanbakhsh, S. Sankaranarayanan, 2015, ArXiv.

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám, 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2004, POPL.

Sriram Sankaranarayanan, Bertrand Jeannet, Peter Schrammel, 2014, POPL.

Enrico Vicario, Sriram Sankaranarayanan, Marco Paolieri, 2017, Real-Time Systems.

Sriram Sankaranarayanan, Aleksandar Chakarov, S. Sankaranarayanan, 2013, CAV.

Sriram Sankaranarayanan, Georgios E. Fainekos, Adel Dokhanchi, 2015, 2015 International Conference on Embedded Software (EMSOFT).

Henny B. Sipma, Sriram Sankaranarayanan, Michael Colón, 2003, CAV.

Sriram Sankaranarayanan, Hadi Ravanbakhsh, S. Sankaranarayanan, 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

Sumit Gulwani, Sriram Sankaranarayanan, Aleksandar Chakarov, 2013, PLDI.

Sriram Sankaranarayanan, Georgios E. Fainekos, Kangjin Kim, 2014, Int. J. Robotics Res..

Sriram Sankaranarayanan, Gogul Balakrishnan, Aarti Gupta, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

Xin Chen, Sriram Sankaranarayanan, Souradeep Dutta, 2017, ARCH@CPSWeek.

Sriram Sankaranarayanan, Ashutosh Trivedi, Ram Das Diwakaran, 2017, 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS).

Christopher Miller, Sriram Sankaranarayanan, Hadi Ravanbakhsh, 2012, 2012 50th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

Sriram Sankaranarayanan, Lijun Chen, Hadi Ravanbakhsh, 2019, 2019 American Control Conference (ACC).

Chao Wang, Sriram Sankaranarayanan, Franjo Ivancic, 2009, Formal Methods Syst. Des..

Sriram Sankaranarayanan, Souradeep Dutta, Taisa Kushner, 2018, CMSB.

Sriram Sankaranarayanan, 2015, SNR@CAV.

Sriram Sankaranarayanan, Houssam Abbas, Georgios E. Fainekos, 2013, TECS.

Ashish Tiwari, Sriram Sankaranarayanan, Susmit Jha, 2017, ArXiv.

Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, S. Sankaranarayanan, 2019, Design Automation of Cyber-Physical Systems.

Antoine Girard, Sriram Sankaranarayanan, Mohamed Amin Ben Sassi, 2014, 53rd IEEE Conference on Decision and Control.

Sriram Sankaranarayanan, Bor-Yuh Evan Chang, Sergio Mover, 2018, 2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER).

Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, E. Allen Emerson, 2011, Automated Software Engineering.

Sriram Sankaranarayanan, Bor-Yuh Evan Chang, Arlen Cox, 2014, CAV.

Bernd Finkbeiner, Henny B. Sipma, Sriram Sankaranarayanan, 2005, Formal Methods Syst. Des..

Sriram Sankaranarayanan, Aleksandar Chakarov, 2014, SAS.

Ashish Tiwari, Sriram Sankaranarayanan, Aditya Zutshi, 2012, CAV.

Sriram Sankaranarayanan, Pallab Dasgupta, P. P. Chakrabarti, 2001, Artif. Intell..

Ashish Tiwari, Sriram Sankaranarayanan, Susmit Jha, 2018, ADHS.

Sriram Sankaranarayanan, James Kapinski, Jyotirmoy V. Deshmukh, 2013, 52nd IEEE Conference on Decision and Control.

Sriram Sankaranarayanan, Jean-François Raskin, Emmanuel Filiot, 2020, CONCUR.

Sriram Sankaranarayanan, Hadi Ravanbakhsh, S. Sankaranarayanan, 2015 .

Sriram Sankaranarayanan, Naveen Sharma, Jing Yang, 2012, CC.

Sriram Sankaranarayanan, Georgios Fainekos, Shakiba Yaghoubi, 2020, 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC).

Pavol Cerný, Sriram Sankaranarayanan, Bor-Yuh Evan Chang, 2017, TACAS.

Sriram Sankaranarayanan, Hadi Ravanbakhsh, S. Sankaranarayanan, 2016 .

Sriram Sankaranarayanan, Georgios E. Fainekos, Aleksandar Chakarov, 2011, RV.

Sriram Sankaranarayanan, 2013, SAS.

Sriram Sankaranarayanan, Guofei Jiang, Franjo Ivancic, 2007, ESEC-FSE '07.

Sriram Sankaranarayanan, Margarida Carvalho, Andrea Lodi, 2019, ArXiv.

Sriram Sankaranarayanan, Yan Zhang, Fabio Somenzi, 2014, ATVA.

Sriram Sankaranarayanan, Huxley Bennett, 2011, SAT.

Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi, 2019, RV.

Sriram Sankaranarayanan, Eric Goubault, Sylvie Putot, 2020, NeurIPS.

Sriram Sankaranarayanan, Ashutosh Trivedi, Saeid Tizpaz-Niari, 2021, International Journal on Software Tools for Technology Transfer.

Sriram Sankaranarayanan, Eric Goubault, Sylvie Putot, 2021, SAS.

Sriram Sankaranarayanan, Andrea Lodi, Margarida Carvalho, 2021, ArXiv.

Sriram Sankaranarayanan, Hansol Yoon, S. Sankaranarayanan, 2021, 2021 IEEE International Conference on Robotics and Automation (ICRA).

Sriram Sankaranarayanan, Morteza Lahijanian, Kandai Watanabe, 2021, 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Sriram Sankaranarayanan, Pierre Le Bodic, Aleksandr M. Kazachkov, 2021 .

Sriram Sankaranarayanan, Heni Ben Amor, Georgios Fainekos, 2021, ArXiv.

Sriram Sankaranarayanan, Sanjith Gopalakrishnan, 2022, ArXiv.

Sriram Sankaranarayanan, 2021, Commun. ACM.

Sriram Sankaranarayanan, Andrea Lodi, Gilles Pesant, 2021 .

Sriram Sankaranarayanan, Aarti Gupta, Malay K. Ganai, 2009 .

Ashish Tiwari, Natarajan Shankar, Sriram Sankaranarayanan, 2019 .

Zohar Manna, Sriram Sankaranarayanan, 2005 .

Sriram Sankaranarayanan, Marshall A. Wise, Leon E. Clarke, 2018, Applied Energy.