Sanjit A. Seshia
发表
Rajeev Alur,
Rastislav Bodik,
Garvit Juniwal,
2013,
FMCAD 2013.
Sanjit A. Seshia,
Daniel J. Fremont,
2014,
SMT.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Alberto Puggelli,
2014,
2014 International Conference on Embedded Software (EMSOFT).
Sanjit A. Seshia,
Alberto Sangiovanni-Vincentelli,
Haibo Zeng,
2010
.
Ofer Strichman,
Sanjit A. Seshia,
Randal E. Bryant,
2002,
CAV.
Sanjit A. Seshia,
Susmit Jha,
S. Seshia,
2015,
Acta Informatica.
Sanjit A. Seshia,
Susmit Jha,
Wenchao Li,
2009,
2009 IEEE International High Level Design Validation and Test Workshop.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Vasumathi Raman,
2018,
ADHS.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Vasumathi Raman,
2017,
ArXiv.
Sanjit A. Seshia,
Daniel J. Fremont,
Supratik Chakraborty,
2014,
AAAI.
Sanjit A. Seshia,
Amar Phanishayee,
Ankush Desai,
2018,
Proc. ACM Program. Lang..
Sanjit A. Seshia,
Murat Arcak,
Eric S. Kim,
2016,
HSCC.
Sanjit A. Seshia,
Nicholas Hopper,
Jeannette M. Wing,
2000
.
Sanjit A. Seshia,
Susmit Jha,
Rhishikesh Limaye,
2009,
CAV.
Sanjit A. Seshia,
Daniel J. Fremont,
Marcell Vazquez-Chanlatte,
2018,
ATVA.
Edward A. Lee,
David Blaauw,
Roozbeh Jafari,
2012
.
Melany M. Ciampi,
Enrico Pontelli,
Sanjit A. Seshia,
2017,
IEEE Trans. Educ..
Edward A. Lee,
Sanjit A. Seshia,
Slobodan Matic,
2012
.
Sanjit A. Seshia,
Sriram K. Rajamani,
Rohit Sinha,
2017,
ESEC/SIGSOFT FSE.
Sanjit A. Seshia,
Susmit Jha,
Marcell Vazquez-Chanlatte,
2017,
ArXiv.
Sanjit A. Seshia,
Daniel E. Holcomb,
Bryan A. Brady,
2011,
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Sanjit A. Seshia,
S. Arunkumar,
1997,
Innovation in Technology Management. The Key to Global Leadership. PICMET '97.
Sanjit A. Seshia,
Markus N. Rabe,
Gil Lederman,
2018,
ArXiv.
Garvit Juniwal,
Sanjit A. Seshia,
Xiaoqing Jin,
2015,
Formal Methods in System Design.
Sanjit A. Seshia,
Arie Gurfinkel,
2015
.
David Broman,
Sanjit A. Seshia,
Patricia Derler,
2014,
2014 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS).
Sanjit A. Seshia,
Susmit Jha,
Vasumathi Raman,
2017,
Journal of Automated Reasoning.
Sanjit A. Seshia,
Susmit Jha,
Bryan A. Brady,
2007,
FORMATS.
Sanjit A. Seshia,
Donggyu Kim,
Borivoje Nikolic,
2019,
MEMOCODE.
Andreas Krause,
Sanjit A. Seshia,
Susmit Jha,
2017,
Dagstuhl Reports.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2014,
IEEE Transactions on Automatic Control.
Sanjit A. Seshia,
Daniel J. Fremont,
Hadi Ravanbakhsh,
2019,
CAV.
Sanjit A. Seshia,
Xiaoqing Jin,
Jyotirmoy V. Deshmukh,
2016
.
Sanjit A. Seshia,
S. Seshia,
2015
.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2016,
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS).
Sanjit A. Seshia,
Alexander Rakhlin,
A. Rakhlin,
2009
.
Somesh Jha,
Sanjit A. Seshia,
Tommaso Dreossi,
2020,
IEEE Design & Test.
Paulo Tabuada,
Sanjit A. Seshia,
Alberto Sangiovanni-Vincentelli,
2016,
ICCPS 2016.
Thomas A. Henzinger,
Sanjit A. Seshia,
Dirk Beyer,
2007,
IEEE International Conference on Web Services (ICWS 2007).
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Vasumathi Raman,
2014,
53rd IEEE Conference on Decision and Control.
Sanjit A. Seshia,
Alexandre Donzé,
Tommaso Dreossi,
2017,
NFM.
Alberto L. Sangiovanni-Vincentelli,
Kurt Keutzer,
Sanjit A. Seshia,
2018,
ICMR.
Rajeev Alur,
Garvit Juniwal,
Milo M. K. Martin,
2013,
2013 Formal Methods in Computer-Aided Design.
Sanjit A. Seshia,
Daniel J. Fremont,
2018,
CAV.
Edward A. Lee,
Sanjit A. Seshia,
Jaijeet Roychowdhury,
2013
.
Sanjit A. Seshia,
Xiaoqing Jin,
Jyotirmoy V. Deshmukh,
2015,
2015 American Control Conference (ACC).
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Claire J. Tomlin,
2019,
HSCC.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Sanjit A. Seshia,
Vasumathi Raman,
Richard M. Murray,
2015,
HSCC.
Vijay Kumar,
George J. Pappas,
Sanjit A. Seshia,
2014,
2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.
Sanjit A. Seshia,
Armando Solar-Lezama,
Rastislav Bodík,
2007,
PLDI '07.
Edward A. Lee,
Alberto L. Sangiovanni-Vincentelli,
David Blaauw,
2011,
2011 Symposium on VLSI Circuits - Digest of Technical Papers.
Sanjit A. Seshia,
Stavros Tripakis,
Markus N. Rabe,
2015,
ArXiv.
Sanjit A. Seshia,
David A. Wagner,
Cynthia Sturton,
2012,
2012 Formal Methods in Computer-Aided Design (FMCAD).
Sanjit A. Seshia,
Randal E. Bryant,
2003,
CAV.
Sanjit A. Seshia,
Elizabeth Polgreen,
2020
.
Sanjit A. Seshia,
S. Seshia,
2020,
FSTTCS.
Sanjit A. Seshia,
Wenchao Li,
Subhasish Mitra,
2007,
2007 Design, Automation & Test in Europe Conference & Exhibition.
Sanjit A. Seshia,
Federico Mora,
Elizabeth Polgreen,
2020,
ArXiv.
Sanjit A. Seshia,
Elizabeth Polgreen,
Nicolas Chan,
2020,
ArXiv.
Anthony Rowe,
Edward A. Lee,
David Blaauw,
2015,
IEEE Design & Test.
S. Shankar Sastry,
Sanjit A. Seshia,
Wenchao Li,
2014,
TACAS.
Paulo Tabuada,
Suhas N. Diggavi,
Gaurav S. Sukhatme,
2018,
2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS).
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Vasumathi Raman,
2014,
BuildSys@SenSys.
Ashish Tiwari,
Natarajan Shankar,
Sanjit A. Seshia,
2018,
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Sanjit A. Seshia,
Alexandre Donzé,
Tomoyuki Kaga,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
Sanjit A. Seshia,
P. Madhusudan,
S. Seshia,
2012
.
Sanjit A. Seshia,
Daniel J. Fremont,
Dragos D. Margineantu,
2020,
CAV.
Sanjit A. Seshia,
Randal E. Bryant,
Bryan A. Brady,
2008
.
Sanjit A. Seshia,
David Wessel,
Alexandre Donzé,
2014,
ICMC.
Garvit Juniwal,
Sanjit A. Seshia,
Sakshi Jain,
2015,
L@S.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Shromona Ghosh,
2019,
ArXiv.
Sanjit A. Seshia,
Nicola Nicolici,
Subhasish Mitra,
2010,
Design Automation Conference.
David Broman,
Sanjit A. Seshia,
John C. Eidson,
2015,
CAV.
Sanjit A. Seshia,
Susmit Jha,
2014,
SYNT.
Edward A. Lee,
Sanjit A. Seshia,
Jia Zou,
2009,
2009 29th IEEE International Conference on Distributed Computing Systems Workshops.
A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks
pdf
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2015,
ArXiv.
Sanjit A. Seshia,
Pramod Subramanyan,
S. Seshia,
2018,
2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Sanjit A. Seshia,
David Wessel,
Alexandre Donzé,
2013
.
Cesare Tinelli,
Sanjit A. Seshia,
Roberto Sebastiani,
2021,
Handbook of Satisfiability.
Sanjit A. Seshia,
Murat Arcak,
Eric S. Kim,
2019,
CAV.
Paulo Tabuada,
Sandeep K. Shukla,
Rajesh Gupta,
2010
.
Sanjit A. Seshia,
Susmit Jha,
David A. Wagner,
2009,
CCS.
Sanjit A. Seshia,
Xiaoqing Jin,
Jyotirmoy V. Deshmukh,
2015,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Ashish Tiwari,
Sharad Malik,
Natarajan Shankar,
2014,
IEEE Transactions on Emerging Topics in Computing.
Garvit Juniwal,
Sanjit A. Seshia,
Alexandre Donzé,
2014,
2014 International Conference on Embedded Software (EMSOFT).
Garvit Juniwal,
Sanjit A. Seshia,
Xiaoqing Jin,
2017,
Formal Methods Syst. Des..
Sanjit A. Seshia,
R. K. Shyamasundar,
A. K. Bhattacharjee,
1999,
SAFECOMP.
Sanjit A. Seshia,
Alexander Rakhlin,
A. Rakhlin,
2012,
TECS.
Edward A. Lee,
Sanjit A. Seshia,
Jeff C. Jensen,
2012,
WESE '12.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Daniel J. Fremont,
2020,
ArXiv.
Paulo Tabuada,
Mani B. Srivastava,
George J. Pappas,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Sanjit A. Seshia,
Dorsa Sadigh,
S. Seshia,
2016,
ArXiv.
Sanjit A. Seshia,
Wenchao Li,
Zach Wasson,
2012,
2012 IEEE International Symposium on Hardware-Oriented Security and Trust.
Somesh Jha,
Sanjit A. Seshia,
Andrew Lee,
2019
.
Somesh Jha,
Thomas Reps,
Sanjit A. Seshia,
2008
.
Ashish Tiwari,
Sanjit A. Seshia,
Susmit Jha,
2011,
ArXiv.
Sanjit A. Seshia,
Jonathan Kotker,
S. Seshia,
2011,
TACAS.
Sanjit A. Seshia,
Susmit Jha,
Rhishikesh Limaye,
2009,
ArXiv.
Sanjit A. Seshia,
Daniel J. Fremont,
Nathan Mull,
2016,
SAT.
Sanjit A. Seshia,
Dorsa Sadigh,
Mona Gupta,
2012,
WESE '12.
Kurt Keutzer,
Sanjit A. Seshia,
Joseph Gonzalez,
2018,
ArXiv.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2018,
Proceedings of the IEEE.
Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications
pdf
Sanjit A. Seshia,
Murat Arcak,
He Yin,
2020,
2021 American Control Conference (ACC).
Edward A. Lee,
Sanjit A. Seshia,
Daniel J. Fremont,
2016,
2016 IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI).
Sanjit A. Seshia,
Randal E. Bryant,
Bryan A. Brady,
2011,
2011 Formal Methods in Computer-Aided Design (FMCAD).
Somesh Jha,
Sanjit A. Seshia,
Tommaso Dreossi,
2018,
IEEE Design & Test.
Sanjit A. Seshia,
Susmit Jha,
Mark K. Ho,
2017,
NeurIPS.
Sanjit A. Seshia,
Marcell Vazquez-Chanlatte,
S. Seshia,
2019,
CAV.
Sanjit A. Seshia,
Randal E. Bryant,
R. Bryant,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Sanjit A. Seshia,
Ankush Desai,
Tommaso Dreossi,
2017,
RV.
Sebastian Junges,
Nils Jansen,
Sanjit A. Seshia,
2020,
CAV.
S. Shankar Sastry,
Ruzena Bajcsy,
Sanjit A. Seshia,
2014,
HiCoNS.
Sanjit A. Seshia,
Randal E. Bryant,
R. Bryant,
2005,
CADE.
Sanjit A. Seshia,
Daniel J. Fremont,
Markus N. Rabe,
2017,
AAAI.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Sanjit A. Seshia,
Murat Arcak,
Eric S. Kim,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Wei Zheng,
2009,
2009 Design, Automation & Test in Europe Conference & Exhibition.
Sanjit A. Seshia,
Alexandre Donzé,
Tommaso Dreossi,
2017,
Journal of Automated Reasoning.
Sanjit A. Seshia,
Ankush Desai,
Shaz Qadeer,
2015,
ESEC/SIGSOFT FSE.
Sanjit A. Seshia,
Wenchao Li,
2012,
RV.
Edward A. Lee,
Sanjit A. Seshia,
Slobodan Matic,
2009
.
Anca D. Dragan,
Thomas L. Griffiths,
Sanjit A. Seshia,
2019,
NeurIPS.
Krishnendu Chatterjee,
Sanjit A. Seshia,
Susmit Jha,
2014,
2014 International Conference on the Internet of Things (IOT).
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2009,
International Journal on Software Tools for Technology Transfer.
Sanjit A. Seshia,
Randal E. Bryant,
Bryan A. Brady,
2010,
Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010).
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Alberto Puggelli,
2013,
CAV.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Claire J. Tomlin,
2018,
ArXiv.
Sanjit A. Seshia,
Markus N. Rabe,
Leander Tentrup,
2018,
CAV.
Kenneth S. Stevens,
Sanjit A. Seshia,
Randal E. Bryant,
2005,
11th IEEE International Symposium on Asynchronous Circuits and Systems.
Sanjit A. Seshia,
S. Seshia,
2018,
Principles of Modeling.
S. Shankar Sastry,
Sanjit A. Seshia,
Roberto Horowitz,
2017,
2017 American Control Conference (ACC).
Sanjit A. Seshia,
Daniel J. Fremont,
Adrian Freed,
2016,
ISMIR.
Sanjit A. Seshia,
Vasumathi Raman,
Stéphane Lafortune,
2016,
NFM.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Pierluigi Nuzzo,
2010,
Formal Methods in Computer Aided Design.
Sanjit A. Seshia,
2019,
RV.
Daniel Kroening,
Sanjit A. Seshia,
Thomas W. Reps,
2014,
Dagstuhl Reports.
Sanjit A. Seshia,
Pramod Subramanyan,
Kevin Cheang,
2019,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Sanjit A. Seshia,
Alexander Rakhlin,
A. Rakhlin,
2008,
2008 IEEE/ACM International Conference on Computer-Aided Design.
Sanjit A. Seshia,
2010,
FACS.
Sanjit A. Seshia,
S. Seshia,
2006
.
Sanjit A. Seshia,
Armando Solar-Lezama,
Rastislav Bodík,
2006,
ASPLOS XII.
Somesh Jha,
Trent Jaeger,
Sanjit A. Seshia,
2008,
SIGSOFT '08/FSE-16.
Sanjit A. Seshia,
Amar Phanishayee,
Ethan K. Jackson,
2015
.
Sanjit A. Seshia,
Sriram K. Rajamani,
Akash Lal,
2016,
PLDI.
Sanjit A. Seshia,
Sriram K. Rajamani,
Ankush Desai,
2015
.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2004,
CAV.
Sanjit A. Seshia,
2012,
DAC Design Automation Conference 2012.
Daniel Kroening,
Sanjit A. Seshia,
2007,
ICCAD 2007.
Paulo Tabuada,
George J. Pappas,
Sanjit A. Seshia,
2018,
IEEE Transactions on Automatic Control.
Sanjit A. Seshia,
James Kapinski,
Xiaoqing Jin,
2016
.
K. Subramani,
Sanjit A. Seshia,
Randal E. Bryant,
2007,
J. Satisf. Boolean Model. Comput..
Sanjit A. Seshia,
Shuvendu K. Lahiri,
Randal E. Bryant,
2003,
Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
Sanjit A. Seshia,
Sriram K. Rajamani,
Kapil Vaswani,
2015
.
Sriram Sankaranarayanan,
Sanjit A. Seshia,
Hadi Ravanbakhsh,
2019,
2019 International Conference on Robotics and Automation (ICRA).
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
Sanjit A. Seshia,
Ankush Desai,
Shaz Qadeer,
2018,
ISoLA.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Shromona Ghosh,
2017,
ArXiv.
Anca D. Dragan,
S. Shankar Sastry,
Sanjit A. Seshia,
2017,
Robotics: Science and Systems.
Sanjit A. Seshia,
David Wessel,
Daniel J. Fremont,
2016,
CIE.
Alberto L. Sangiovanni-Vincentelli,
S. Shankar Sastry,
Sanjit A. Seshia,
2016,
HSCC.
Sanjit A. Seshia,
Shuvendu K. Lahiri,
Randal E. Bryant,
2002,
FMCAD.
Wenchao Li,
Sanjit A. Seshia,
Subhasish Mitra,
2007
.
Sanjit A. Seshia,
Daniel J. Fremont,
Qiang Lu,
2020,
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC).
Ashish Tiwari,
Sharad Malik,
Natarajan Shankar,
2013,
2013 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST).
Sanjit A. Seshia,
S. Seshia,
2015,
Proceedings of the IEEE.
Sumit Gulwani,
Ashish Tiwari,
Sanjit A. Seshia,
2010,
ICCPS '10.
Cesare Tinelli,
Sanjit A. Seshia,
Roberto Sebastiani,
2021,
Handbook of Satisfiability.
Hadas Kress-Gazit,
Sanjit A. Seshia,
Rüdiger Ehlers,
2014,
VMCAI.
Sanjit A. Seshia,
P. Madhusudan,
2012
.
Sanjit A. Seshia,
Ankush Desai,
Hazem Torfah,
2020,
RV.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Richard M. Murray,
2014,
IEEE Access.
Alberto L. Sangiovanni-Vincentelli,
Kurt Keutzer,
Sanjit A. Seshia,
2018,
IJCAI.
Sanjit A. Seshia,
S. Shankar Sastry,
Dorsa Sadigh,
2019,
IFAC-PapersOnLine.
Edward A. Lee,
Sanjit A. Seshia,
Yasser Shoukry,
2017
.
Sanjit A. Seshia,
Stephen N. Freund,
Cormac Flanagan,
2005,
Theor. Comput. Sci..
Daniel Kroening,
Sanjit A. Seshia,
S. Seshia,
2007,
2007 IEEE/ACM International Conference on Computer-Aided Design.
Sumit Gulwani,
Ashish Tiwari,
Sanjit A. Seshia,
2010,
2010 ACM/IEEE 32nd International Conference on Software Engineering.
Sanjit A. Seshia,
Arie Gurfinkel,
2015,
Lecture Notes in Computer Science.
Sanjit A. Seshia,
Wei Zheng,
Thomas Huining Feng,
2007,
DATE.
Sanjit A. Seshia,
John Manferdelli,
Rohit Sinha,
2014,
VSTTE.
Sanjit A. Seshia,
Edward A. Lee,
Jeff C. Jensen,
2013
.
Edward A. Lee,
Sanjit A. Seshia,
C. Jensen,
2011
.
Sanjit A. Seshia,
Daniel E. Holcomb,
S. Seshia,
2014,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Sanjit A. Seshia,
Murat Arcak,
Eric S. Kim,
2017,
Autom..
Shiyan Hu,
Sanjit A. Seshia,
Qi Zhu,
2017,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2014,
ArXiv.
Ashish Tiwari,
Natarajan Shankar,
Sanjit A. Seshia,
2017,
RV.
Daniel Bundala,
Sanjit A. Seshia,
2015,
ArXiv.
Wenchao Li,
Sanjit A. Seshia,
Daniel Holcomb,
2009
.
Somesh Jha,
Sanjit A. Seshia,
Wenchao Li,
2012,
DAC Design Automation Conference 2012.
Edward A. Lee,
Sanjit A. Seshia,
John C. Eidson,
2012,
Proceedings of the IEEE.
Alberto L. Sangiovanni-Vincentelli,
Kurt Keutzer,
Sanjit A. Seshia,
2020,
IEEE Transactions on Neural Networks and Learning Systems.
Sanjit A. Seshia,
R. K. Shyamasundar,
A. K. Bhattacharjee,
1999,
World Congress on Formal Methods.
Sanjit A. Seshia,
Susmit Jha,
2013,
ArXiv.
Sanjit A. Seshia,
Orna Kupferman,
Dorsa Sadigh,
2011,
Haifa Verification Conference.
Sanjit A. Seshia,
Wenchao Li,
Lili Dworkin,
2011,
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
Ashish Tiwari,
Natarajan Shankar,
Sanjit A. Seshia,
2019,
Formal Methods Syst. Des..
Ashish Tiwari,
Sanjit A. Seshia,
Patrick Lincoln,
2014,
HiCoNS.
Srinivas Devadas,
Sanjit A. Seshia,
Pramod Subramanyan,
2017,
IACR Cryptol. ePrint Arch..
Sanjit A. Seshia,
David Wessel,
Daniel J. Fremont,
2014,
FSTTCS.
Edward A. Lee,
Sanjit A. Seshia,
John C. Eidson,
2010
.
Edward A. Lee,
Sanjit A. Seshia,
S. Seshia,
2010,
WESE '10.
Sanjit A. Seshia,
Dorsa Sadigh,
Jonathan Kotker,
2011,
2011 Formal Methods in Computer-Aided Design (FMCAD).
Sanjit A. Seshia,
Randal E. Bryant,
R. Bryant,
2005
.
Sanjit A. Seshia,
Edward A. Lee,
2009
.
Sanjit A. Seshia,
Daniel J. Fremont,
Supratik Chakraborty,
2015,
TACAS.
Alberto L. Sangiovanni-Vincentelli,
S. Shankar Sastry,
Ruzena Bajcsy,
2014,
AAAI Spring Symposia.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Daniel J. Fremont,
2018,
ArXiv.
Sanjit A. Seshia,
Daniel E. Holcomb,
Wenchao Li,
2009,
2009 Design, Automation & Test in Europe Conference & Exhibition.
Somesh Jha,
Dawn Xiaodong Song,
Sanjit A. Seshia,
2005,
2005 IEEE Symposium on Security and Privacy (S&P'05).
Calin Belta,
Sanjit A. Seshia,
Murat Arcak,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Sanjit A. Seshia,
Stavros Tripakis,
Natasha Sharygina,
2018,
Handbook of Model Checking.
Sanjit A. Seshia,
Alessandro Forin,
Wenchao Li,
2010,
Design Automation Conference.
Sanjit A. Seshia,
Shuvendu K. Lahiri,
S. Seshia,
2004,
CAV.
Ashish Tiwari,
Sanjit A. Seshia,
Susmit Jha,
2011,
2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
S. Shankar Sastry,
Ruzena Bajcsy,
Sanjit A. Seshia,
2016,
2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC).
Sanjit A. Seshia,
Susmit Jha,
Vasumathi Raman,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
Edward A. Lee,
Sanjit A. Seshia,
Markus N. Rabe,
2020,
ICLR.
Sanjit A. Seshia,
Xiaoqing Jin,
Jyotirmoy V. Deshmukh,
2016,
CAV.
Sanjit A. Seshia,
Randal E. Bryant,
2004,
LICS.
Sanjit A. Seshia,
Daniel E. Holcomb,
Bryan A. Brady,
2011,
2011 Design, Automation & Test in Europe.
Sanjit A. Seshia,
Markus N. Rabe,
2016,
SAT.
George Varghese,
Nikolaj Bjørner,
Garvit Juniwal,
2016,
Haifa Verification Conference.
Sanjit A. Seshia,
Wenchao Li,
Orna Kupferman,
2008,
2008 Formal Methods in Computer-Aided Design.
Sanjit A. Seshia,
Daniel J. Fremont,
Hadi Ravanbakhsh,
2019,
ArXiv.
S. Shankar Sastry,
Sanjit A. Seshia,
Dorsa Sadigh,
2015,
2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).
Sanjit A. Seshia,
Daniel E. Holcomb,
Michael Kishinevsky,
2012,
Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012).
Sanjit A. Seshia,
S. Seshia,
2013,
ICDCN.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Vasumathi Raman,
2017,
ArXiv.
Sanjit A. Seshia,
Marcell Vazquez-Chanlatte,
2019,
ArXiv.
Anca D. Dragan,
S. Shankar Sastry,
Sanjit A. Seshia,
2016,
Robotics: Science and Systems.
Sanjit A. Seshia,
Randal E. Bryant,
Vinod Ganapathyt,
2005
.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2007,
TACAS.
Sanjit A. Seshia,
Hadi Ravanbakhsh,
Shromona Ghosh,
2019,
ArXiv.
S. Shankar Sastry,
Sanjit A. Seshia,
Dorsa Sadigh,
2014,
53rd IEEE Conference on Decision and Control.
Sanjit A. Seshia,
David A. Wagner,
Cynthia Sturton,
2013,
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013).
Wenchao Li,
Sanjit A. Seshia,
Lili Dworkin,
2010
.
Somesh Jha,
Sanjit A. Seshia,
Vinod Ganapathy,
2005,
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
Sanjit A. Seshia,
Elizabeth Polgreen,
2020,
ArXiv.
Sanjit A. Seshia,
Murat Arcak,
Eric S. Kim,
2016,
2016 American Control Conference (ACC).
Anca D. Dragan,
S. Shankar Sastry,
Sanjit A. Seshia,
2018,
Auton. Robots.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2015,
2015 American Control Conference (ACC).
Sanjit A. Seshia,
Indranil Saha,
Ankush Desai,
2017,
2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS).
Tiziano Villa,
Sanjit A. Seshia,
Luigi Di Guglielmo,
2013,
2013 Federated Conference on Computer Science and Information Systems.
Sanjit A. Seshia,
Shuvendu K. Lahiri,
Randal E. Bryant,
2003,
CHARME.
Sanjit A. Seshia,
Xiaoqing Jin,
Jyotirmoy V. Deshmukh,
2016,
1612.07823.
Anca D. Dragan,
S. Shankar Sastry,
Sanjit A. Seshia,
2016,
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Edward A. Lee,
Sanjit A. Seshia,
Jeff C. Jensen,
2011,
2011 IEEE International Symposium of Circuits and Systems (ISCAS).
Edward A. Lee,
Sanjit A. Seshia,
S. Seshia,
2013
.
Sanjit A. Seshia,
Shuvendu K. Lahiri,
Randal E. Bryant,
2002,
CAV.
Sanjit A. Seshia,
Sriram K. Rajamani,
Kapil Vaswani,
2015,
CCS.
Sanjit A. Seshia,
Daniel Holcomb,
Bryan Brady,
2011
.
Sanjit A. Seshia,
Benjamin Caulfield,
2019,
ArXiv.
Sanjit A. Seshia,
Markus N. Rabe,
Marcell Vazquez-Chanlatte,
2019,
ArXiv.
Sanjit A. Seshia,
Cormac Flanagan,
Shaz Qadeer,
2002,
CAV.
Sanjit A. Seshia,
Vasumathi Raman,
Stéphane Lafortune,
2017,
Journal of Automated Reasoning.
Vijay Kumar,
George J. Pappas,
Sanjit A. Seshia,
2016,
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS).
Sanjit A. Seshia,
Murat Arcak,
Eric S. Kim,
2017,
HSCC.
Sharad Malik,
Sanjit A. Seshia,
Daniel J. Fremont,
2015,
AAAI Workshop: Beyond NP.
Sanjit A. Seshia,
Fahiem Bacchus,
Chris J. Maddison,
2020,
ArXiv.
Sanjit A. Seshia,
Alexander Rakhlin,
2008,
ICCAD 2008.
Wenchao Li,
Sanjit A. Seshia,
2011
.
Ashish Tiwari,
Natarajan Shankar,
Sanjit A. Seshia,
2018,
ArXiv.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Jyotirmoy V. Deshmukh,
2018,
RV.
Sanjit A. Seshia,
Xiaoqing Jin,
Jyotirmoy V. Deshmukh,
2016,
ArXiv.
Henrik Ohlsson,
S. Shankar Sastry,
Sanjit A. Seshia,
2013,
ArXiv.
Somesh Jha,
Trent Jaeger,
Sanjit A. Seshia,
2010,
ESOP.
Sanjit A. Seshia,
2007,
Fourth International Conference on Autonomic Computing (ICAC'07).
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2017,
HSCC.
Edward A. Lee,
Sanjit A. Seshia,
Yasser Shoukry,
2020,
ACM Trans. Cyber Phys. Syst..
Anthony Rowe,
Sanjit A. Seshia,
Alberto Sangiovanni-Vincentelli,
2014
.
Sanjit A. Seshia,
Murat Arcak,
BaekGyu Kim,
2018,
SCAV@CPSWeek.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Daniel J. Fremont,
2018,
PLDI.
Sanjit A. Seshia,
Pramod Subramanyan,
Ankush Desai,
2021,
AsiaCCS.
Sebastian Junges,
Nils Jansen,
Sanjit A. Seshia,
2021
.
Sanjit A. Seshia,
Hadi Ravanbakhsh,
Shromona Ghosh,
2021,
2021 American Control Conference (ACC).
Sanjit A. Seshia,
Ion Stoica,
Pieter Abbeel,
2021,
ArXiv.
Sanjit A. Seshia,
Elizabeth Polgreen,
Andrew Reynolds,
2022,
VMCAI.
Guy Van den Broeck,
Todd Millstein,
Sebastian Junges,
2021,
CAV.
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation
pdf
Sanjit A. Seshia,
Daniel J. Fremont,
Jay Shenoy,
2021,
ArXiv.
Sanjit A. Seshia,
Marcell Vazquez-Chanlatte,
Gil Lederman,
2021,
ArXiv.
Sanjit A. Seshia,
Hazem Torfah,
S. Akshay,
2021,
2021 Formal Methods in Computer Aided Design (FMCAD).
Sanjit A. Seshia,
Daniel J. Fremont,
Yash Pant,
2021,
2021 IEEE International Conference on Artificial Intelligence Testing (AITest).
Sebastian Junges,
Sanjit A. Seshia,
Daniel J. Fremont,
2021,
RV.
Sanjit A. Seshia,
Daniel J. Fremont,
Edward Kim,
2021,
RV.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Daniel J. Fremont,
2021,
2021 58th ACM/IEEE Design Automation Conference (DAC).
Sebastian Junges,
Sanjit A. Seshia,
Hazem Torfah,
2021,
CAV.
Sanjit A. Seshia,
Elizabeth Polgreen,
Nikhil Pimpalkhare,
2021,
SAT.
Cesare Tinelli,
Sanjit A. Seshia,
Roberto Sebastiani,
2021
.
Sebastian Junges,
Sanjit A. Seshia,
Hazem Torfah,
2021,
CAV.
Sanjit A. Seshia,
Albert Benveniste,
Alberto Sangiovanni-Vincentelli,
2021,
NFM.
Sebastian Junges,
Nils Jansen,
Sanjit A. Seshia,
2021,
CAV.
Sanjit A. Seshia,
Susmit Jha,
2013
.
Wenchao Li,
Sanjit A. Seshia,
S. Seshia,
2013
.
Ofer Strichman,
Sanjit A. Seshia,
Randal E. Bryant,
2003
.
Sanjit A. Seshia,
S. Seshia,
Rhishikesh Shrikant Limaye,
2010
.
Wenchao Li,
Sanjit A. Seshia,
Orna Kupferman,
2008
.
Sanjit A. Seshia,
Rastislav Bodík,
Vijay A. Saraswat,
2006,
ASPLOS XII.
Sanjit A. Seshia,
Randal E. Bryant,
R. Bryant,
2003
.
Sanjit A. Seshia,
Susmit Jha,
2016
.