S. Seshia
发表
Sanjit A. Seshia,
Amar Phanishayee,
Ankush Desai,
2018,
Proc. ACM Program. Lang..
Sanjit A. Seshia,
Amar Phanishayee,
Ethan K. Jackson,
2015
.
Anca D. Dragan,
S. Shankar Sastry,
Sanjit A. Seshia,
2017,
Robotics: Science and Systems.
Shuvendu K. Lahiri,
S. Seshia,
R. Bryant,
2002
.
Xiaoqing Jin,
Jyotirmoy V. Deshmukh,
Alexandre Donzé,
2013,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
S. Shankar Sastry,
Sanjit A. Seshia,
Wenchao Li,
2014,
TACAS.
Kurt Keutzer,
Sanjit A. Seshia,
Joseph Gonzalez,
2018,
ArXiv.
Alberto L. Sangiovanni-Vincentelli,
Kurt Keutzer,
Sanjit A. Seshia,
2018,
ICMR.
Garvit Juniwal,
Sanjit A. Seshia,
Xiaoqing Jin,
2015,
Formal Methods in System Design.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2007,
TACAS.
Sanjit A. Seshia,
David Wessel,
Alexandre Donzé,
2013
.
Sanjit A. Seshia,
Randal E. Bryant,
R. Bryant,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
R. Bryant,
S. Seshia,
K. Subramani,
2004
.
Sanjit A. Seshia,
Alexandre Donzé,
Tommaso Dreossi,
2017,
NFM.
Sanjit A. Seshia,
Stavros Tripakis,
Markus N. Rabe,
2015,
ArXiv.
Sanjit A. Seshia,
Armando Solar-Lezama,
Rastislav Bodík,
2006,
ASPLOS XII.
Anca D. Dragan,
S. Shankar Sastry,
Sanjit A. Seshia,
2016,
Robotics: Science and Systems.
Edward A. Lee,
Alberto L. Sangiovanni-Vincentelli,
David Blaauw,
2011,
2011 Symposium on VLSI Circuits - Digest of Technical Papers.
Sanjit A. Seshia,
Ankush Desai,
Shaz Qadeer,
2015,
ESEC/SIGSOFT FSE.
Anca D. Dragan,
S. Shankar Sastry,
Sanjit A. Seshia,
2016,
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
S. Shankar Sastry,
Sanjit A. Seshia,
Dorsa Sadigh,
2015,
2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).
Sanjit A. Seshia,
Susmit Jha,
Bryan A. Brady,
2007,
FORMATS.
Somesh Jha,
Thomas Reps,
Sanjit A. Seshia,
2008
.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2014,
IEEE Transactions on Automatic Control.
A. Sangiovanni-Vincentelli,
S. Seshia,
P. Tabuada,
2015
.
Ashish Tiwari,
Sanjit A. Seshia,
Patrick Lincoln,
2014,
HiCoNS.
Kenneth S. Stevens,
Sanjit A. Seshia,
Randal E. Bryant,
2005,
11th IEEE International Symposium on Asynchronous Circuits and Systems.
Sanjit A. Seshia,
Susmit Jha,
David A. Wagner,
2009,
CCS.
Sanjit A. Seshia,
Shuvendu K. Lahiri,
Randal E. Bryant,
2002,
FMCAD.
Sanjit A. Seshia,
David Wessel,
Daniel J. Fremont,
2016,
CIE.
Sanjit A. Seshia,
Shuvendu K. Lahiri,
Randal E. Bryant,
2002,
CAV.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2014,
ArXiv.
Sanjit A. Seshia,
Stephen N. Freund,
Cormac Flanagan,
2005,
Theor. Comput. Sci..
Hadas Kress-Gazit,
Sanjit A. Seshia,
Rüdiger Ehlers,
2014,
VMCAI.
Sanjit A. Seshia,
Ankush Desai,
Shaz Qadeer,
2018,
ISoLA.
Ashish Tiwari,
Sanjit A. Seshia,
Susmit Jha,
2011,
2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Wei Zheng,
2009,
2009 Design, Automation & Test in Europe Conference & Exhibition.
Sanjit A. Seshia,
Alexander Rakhlin,
A. Rakhlin,
2008,
2008 IEEE/ACM International Conference on Computer-Aided Design.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Claire J. Tomlin,
2019,
HSCC.
Somesh Jha,
Trent Jaeger,
Sanjit A. Seshia,
2008,
SIGSOFT '08/FSE-16.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Alberto Puggelli,
2013,
CAV.
Sanjit A. Seshia,
Randal E. Bryant,
R. Bryant,
2005
.
R. Bryant,
S. Seshia,
2000
.
Edward A. Lee,
Sanjit A. Seshia,
Jia Zou,
2009,
2009 29th IEEE International Conference on Distributed Computing Systems Workshops.
A. Tiwari,
S. Seshia,
Susmit Jha,
2018
.
S. Sastry,
A. Dragan,
S. Seshia,
2016
.
S. Sastry,
A. Dragan,
S. Seshia,
2016
.
Daniel J. Fremont,
Ankush Desai,
S. Seshia,
2018
.
S. Seshia,
2017
.
Abdus Salam Azad,
P. Abbeel,
A. Sangiovanni-Vincentelli,
2022
.
Jyotirmoy V. Deshmukh,
S. Seshia,
Xiaoqing Jin,
2018
.
S. Seshia,
S. Sankaranarayanan,
Hadi Ravanbakhsh,
2019
.
G. Varghese,
S. Seshia,
Garvit Juniwal,
2015
.
John B. Finn,
A. Sangiovanni-Vincentelli,
S. Seshia,
2012
.
Sanjit A. Seshia,
Daniel J. Fremont,
Marcell Vazquez-Chanlatte,
2018,
ATVA.
J. Hespanha,
A. Sangiovanni-Vincentelli,
S. Seshia,
2016
.
S. Seshia,
S. Shivakumar,
2020
.
Sanjit A. Seshia,
Alexandre Donzé,
Tomoyuki Kaga,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
Sanjit A. Seshia,
Ion Stoica,
Pieter Abbeel,
2021,
ArXiv.
Daniel J. Fremont,
S. Seshia,
Q. Lu,
2020,
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC).
Alberto L. Sangiovanni-Vincentelli,
S. Shankar Sastry,
Ruzena Bajcsy,
2014,
AAAI Spring Symposia.
Srinivas Devadas,
Sanjit A. Seshia,
Pramod Subramanyan,
2017,
IACR Cryptol. ePrint Arch..
Wenchao Li,
Sanjit A. Seshia,
S. Seshia,
2013
.
Trent Jaeger,
S. Jha,
S. Seshia,
2008
.
Shuvendu K. Lahiri,
S. Seshia,
2011
.
R. Bryant,
S. Seshia,
2003
.
S. Seshia,
N. Sharygina,
S. Tripakis,
2014
.
Paulo Tabuada,
Sandeep K. Shukla,
Rajesh Gupta,
2010
.
S. Qadeer,
Ankush Desai,
S. Seshia,
2017
.
Guy Van den Broeck,
Todd Millstein,
Sebastian Junges,
2021,
CAV.
S. Qadeer,
S. Rajamani,
Ankush Desai,
2015
.
Sanjit A. Seshia,
Randal E. Bryant,
R. Bryant,
2003
.
Sanjit A. Seshia,
S. Seshia,
2020,
FSTTCS.
S. Seshia,
2022,
Commun. ACM.
Sanjit A. Seshia,
S. Seshia,
Rhishikesh Shrikant Limaye,
2010
.
Sebastian Junges,
Nils Jansen,
Sanjit A. Seshia,
2021
.
Sumit Gulwani,
S. Seshia,
2009
.
George J. Pappas,
A. Sangiovanni-Vincentelli,
S. Seshia,
2016
.
Sanjit A. Seshia,
P. Madhusudan,
S. Seshia,
2012
.
Sanjit A. Seshia,
Susmit Jha,
Vasumathi Raman,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
Sanjit A. Seshia,
Elizabeth Polgreen,
Nikhil Pimpalkhare,
2021,
SAT.
Edward A. Lee,
Sanjit A. Seshia,
Slobodan Matic,
2012
.
Edward A. Lee,
Sanjit A. Seshia,
C. Jensen,
2011
.
Edward A. Lee,
David Blaauw,
Roozbeh Jafari,
2012
.
S. Seshia,
F. Laine,
Hadi Ravanbakhsh,
2019,
ArXiv.
Sarah E. Chasins,
R. Bodík,
S. Seshia,
2013
.
S. Seshia,
Susmit Jha,
Dalal Alrajeh,
2017
.
Niklas T. Lauffer,
S. Seshia,
Marcell Vazquez-Chanlatte,
2022,
2022 Formal Methods in Computer-Aided Design (FMCAD).
S. Seshia,
Marcell Vazquez-Chanlatte,
Ameesh Shah,
2021,
2112.10807.
Daniel J. Fremont,
S. Seshia,
C. Wintersteiger,
2014
.
S. Seshia,
2012,
DAC Design Automation Conference 2012.
Edward A. Lee,
Markus N. Rabe,
S. Seshia,
2018,
ICLR.
Somesh Jha,
Sanjit A. Seshia,
Vinod Ganapathy,
2005,
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
Yatin A. Manerkar,
S. Seshia,
Adwait Godbole,
2022,
2022 Formal Methods in Computer-Aided Design (FMCAD).
Edward A. Lee,
Chris J. Maddison,
Yuhuai Wu,
2020,
AAAI Conference on Artificial Intelligence.
Stephen N. Freund,
S. Qadeer,
C. Flanagan,
2004
.
S. Seshia,
Wenchao Li,
Susmit Jha,
2011
.
S. Seshia,
S. Ghosh,
Hadi Ravanbakhsh,
2019,
2021 American Control Conference (ACC).
Sanjit A. Seshia,
Rastislav Bodík,
Vijay A. Saraswat,
2006,
ASPLOS XII.
S. Seshia,
Sebastian Junges,
Marcell Vazquez-Chanlatte,
2022,
ATVA.
N. Shankar,
A. Tiwari,
S. Seshia,
2019,
Formal Methods in System Design.
S. Seshia,
Alexandre Donzé,
T. Dreossi,
2019,
Journal of Automated Reasoning.
Michael L. Case,
R. Brayton,
S. Seshia,
2008
.
Sanjit A. Seshia,
Daniel J. Fremont,
Nathan Mull,
2016,
SAT.
Somesh Jha,
Dawn Xiaodong Song,
Sanjit A. Seshia,
2005,
2005 IEEE Symposium on Security and Privacy (S&P'05).
Sanjit A. Seshia,
Stavros Tripakis,
Natasha Sharygina,
2018,
Handbook of Model Checking.
Edward A. Lee,
Sanjit A. Seshia,
S. Seshia,
2013
.
Sanjit A. Seshia,
R. K. Shyamasundar,
A. K. Bhattacharjee,
1999,
SAFECOMP.
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).
Sanjit A. Seshia,
S. Shankar Sastry,
Dorsa Sadigh,
2019,
IFAC-PapersOnLine.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2018,
Proceedings of the IEEE.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2017,
HSCC.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Vasumathi Raman,
2017,
ArXiv.
Alberto L. Sangiovanni-Vincentelli,
S. Shankar Sastry,
Sanjit A. Seshia,
2016,
HSCC.
Sanjit A. Seshia,
Vasumathi Raman,
Richard M. Murray,
2015,
HSCC.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Vasumathi Raman,
2014,
53rd IEEE Conference on Decision and Control.
Cesare Tinelli,
Sanjit A. Seshia,
Roberto Sebastiani,
2021,
Handbook of Satisfiability.
Sanjit A. Seshia,
Marcell Vazquez-Chanlatte,
Gil Lederman,
2021,
ArXiv.
Alberto L. Sangiovanni-Vincentelli,
Kurt Keutzer,
Sanjit A. Seshia,
2018,
IJCAI.
B. Langmead,
S. Seshia,
K. Chao,
2023,
bioRxiv.
Sanjit A. Seshia,
S. Seshia,
2013,
ICDCN.
Anca D. Dragan,
Thomas L. Griffiths,
Sanjit A. Seshia,
2019,
NeurIPS.
Anca D. Dragan,
S. Shankar Sastry,
Sanjit A. Seshia,
2018,
Autonomous Robots.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Vasumathi Raman,
2018,
ADHS.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Vasumathi Raman,
2017,
ArXiv.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Claire J. Tomlin,
2018,
ArXiv.
S. Sastry,
S. Seshia,
Y. Pant,
2021,
2021 IEEE Conference on Control Technology and Applications (CCTA).
Sebastian Junges,
Nils Jansen,
Sanjit A. Seshia,
2020,
CAV.
Rajeev Alur,
Garvit Juniwal,
Milo M. K. Martin,
2013,
2013 Formal Methods in Computer-Aided Design.
Ashish Tiwari,
Natarajan Shankar,
Sanjit A. Seshia,
2018,
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Ashish Tiwari,
Natarajan Shankar,
Sanjit A. Seshia,
2018,
ArXiv.
Alberto L. Sangiovanni-Vincentelli,
Kurt Keutzer,
Sanjit A. Seshia,
2020,
IEEE Transactions on Neural Networks and Learning Systems.
Cesare Tinelli,
Sanjit A. Seshia,
Roberto Sebastiani,
2021,
Handbook of Satisfiability.
Sanjit A. Seshia,
Alexandre Donzé,
Tommaso Dreossi,
2017,
Journal of Automated Reasoning.
Sanjit A. Seshia,
Xiaoqing Jin,
Jyotirmoy V. Deshmukh,
2016,
1612.07823.
Sanjit A. Seshia,
Dorsa Sadigh,
S. Seshia,
2016,
ArXiv.
Daniel J. Fremont,
A. Sangiovanni-Vincentelli,
S. Seshia,
2022,
International Conference on Cyber-Physical Systems.
Sebastian Junges,
Daniel J. Fremont,
Edward Kim,
2021,
2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS).
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Daniel J. Fremont,
2018,
PLDI.
Daniel J. Fremont,
A. Sangiovanni-Vincentelli,
S. Seshia,
2020,
Machine Learning.
Sanjit A. Seshia,
Daniel J. Fremont,
Hadi Ravanbakhsh,
2019,
CAV.
Jonathan A. DeCastro,
G. Rosman,
S. Seshia,
2023,
arXiv.org.
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,
Daniel J. Fremont,
Yash Pant,
2021,
2021 IEEE International Conference on Artificial Intelligence Testing (AITest).
S. Jha,
S. Seshia,
Varun Chandrasekaran,
2019,
ArXiv.
Sanjit A. Seshia,
Daniel J. Fremont,
Hadi Ravanbakhsh,
2019,
ArXiv.
C. Pasareanu,
S. Seshia,
D. Gopinath,
2019,
2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
George J. Pappas,
A. Sangiovanni-Vincentelli,
S. Seshia,
2016
.
A. Benveniste,
R. Murray,
B. Caillaud,
2023,
ArXiv.
Sanjit A. Seshia,
Wenchao Li,
Subhasish Mitra,
2007,
2007 Design, Automation & Test in Europe Conference & Exhibition.
Sanjit A. Seshia,
S. Seshia,
2006
.
Sanjit A. Seshia,
Randal E. Bryant,
R. Bryant,
2005,
CADE.
Somesh Jha,
Sanjit A. Seshia,
Wenchao Li,
2012,
DAC Design Automation Conference 2012.
Sanjit A. Seshia,
Markus N. Rabe,
Marcell Vazquez-Chanlatte,
2019,
ArXiv.
Ashish Tiwari,
Natarajan Shankar,
Sanjit A. Seshia,
2019,
Formal Methods Syst. Des..
Sanjit A. Seshia,
S. Seshia,
2015,
Proceedings of the IEEE.
Sanjit A. Seshia,
Murat Arcak,
Eric S. Kim,
2019,
CAV.
Paulo Tabuada,
Suhas Diggavi,
Ananthram Swami,
2018,
Computer.
Sanjit A. Seshia,
Daniel E. Holcomb,
Wenchao Li,
2009,
2009 Design, Automation & Test in Europe Conference & Exhibition.
Somesh Jha,
Trent Jaeger,
Sanjit A. Seshia,
2010,
ESOP.
Ashish Tiwari,
Sharad Malik,
Natarajan Shankar,
2014,
IEEE Transactions on Emerging Topics in Computing.
Ashish Tiwari,
Sharad Malik,
Natarajan Shankar,
2013,
2013 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST).
Sanjit A. Seshia,
Wenchao Li,
Zach Wasson,
2012,
2012 IEEE International Symposium on Hardware-Oriented Security and Trust.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2015,
2015 American Control Conference (ACC).
Sanjit A. Seshia,
Susmit Jha,
Mark K. Ho,
2017,
NeurIPS.
Daniel J. Fremont,
A. Sangiovanni-Vincentelli,
S. Sastry,
2023,
CPS-IoT Week Workshops.
Sharad Malik,
Sanjit A. Seshia,
Daniel J. Fremont,
2015,
AAAI Workshop: Beyond NP.
K. Asanović,
S. Seshia,
David Kohlbrenner,
2022,
ArXiv.
Sanjit A. Seshia,
Albert Benveniste,
Alberto Sangiovanni-Vincentelli,
2021,
NFM.
Sanjit A. Seshia,
Nicola Nicolici,
Subhasish Mitra,
2010,
Design Automation Conference.
Paulo Tabuada,
Mani B. Srivastava,
George J. Pappas,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Edward A. Lee,
Sanjit A. Seshia,
Jaijeet Roychowdhury,
2013
.
Vijay Kumar,
George J. Pappas,
Sanjit A. Seshia,
2014,
2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.
Sumit Gulwani,
Ashish Tiwari,
Sanjit A. Seshia,
2010,
2010 ACM/IEEE 32nd International Conference on Software Engineering.
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,
Daniel J. Fremont,
Supratik Chakraborty,
2015,
TACAS.
Sanjit A. Seshia,
Susmit Jha,
S. Seshia,
2015,
Acta Informatica.
Sanjit A. Seshia,
Daniel E. Holcomb,
S. Seshia,
2014,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Sanjit A. Seshia,
Daniel E. Holcomb,
Michael Kishinevsky,
2012,
Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012).
Thomas Huining Feng,
Wei Zheng,
Sri Kanajan,
2007,
2007 Design, Automation & Test in Europe Conference & Exhibition.
Sanjit A. Seshia,
Wei Zheng,
Thomas Huining Feng,
2007,
DATE.
Sanjit A. Seshia,
Murat Arcak,
Eric S. Kim,
2017,
Autom..
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Richard M. Murray,
2014,
IEEE Access.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Daniel J. Fremont,
2021,
2021 58th ACM/IEEE Design Automation Conference (DAC).
S. Seshia,
S. Sastry,
2022
.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Shromona Ghosh,
2019,
ArXiv.
Somesh Jha,
Sanjit A. Seshia,
Tommaso Dreossi,
2018,
IEEE Design & Test.
Sanjit A. Seshia,
Cormac Flanagan,
Shaz Qadeer,
2002,
CAV.
Anthony Rowe,
Edward A. Lee,
David Blaauw,
2015,
IEEE Design & Test.
Sanjit A. Seshia,
Susmit Jha,
Wenchao Li,
2009,
2009 IEEE International High Level Design Validation and Test Workshop.
Garvit Juniwal,
Sanjit A. Seshia,
Sakshi Jain,
2015,
L@S.
S. Jha,
S. Seshia,
Vijay Ganesh,
2022,
Formal Methods in System Design.
Henrik Ohlsson,
S. Shankar Sastry,
Sanjit A. Seshia,
2013,
ArXiv.
Sanjit A. Seshia,
Daniel J. Fremont,
Supratik Chakraborty,
2014,
AAAI.
Edward A. Lee,
Sanjit A. Seshia,
Yasser Shoukry,
2020,
ACM Trans. Cyber Phys. Syst..
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2016,
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS).
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
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.
Edward A. Lee,
Sanjit A. Seshia,
Yasser Shoukry,
2017
.
Sanjit A. Seshia,
Daniel J. Fremont,
Dragos D. Margineantu,
2020,
CAV.
Shiyan Hu,
Sanjit A. Seshia,
Qi Zhu,
2017,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Nicholas C. Landolfi,
A. Dragan,
S. Seshia,
2018,
Autonomous Robots.
Sanjit A. Seshia,
Vasumathi Raman,
Stéphane Lafortune,
2016,
NFM.
Sanjit A. Seshia,
Vasumathi Raman,
Stéphane Lafortune,
2017,
Journal of Automated Reasoning.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2004,
CAV.
S. Seshia,
J. Ouaknine,
D. Kroening,
2004
.
William R. Harris,
Somesh Jha,
William R. Harris,
2017,
Formal Methods Syst. Des..
William R. Harris,
S. Jha,
T. Reps,
2017,
Formal Methods in System Design.
David Broman,
Sanjit A. Seshia,
John C. Eidson,
2015,
CAV.
Sanjit A. Seshia,
Sriram K. Rajamani,
Akash Lal,
2016,
PLDI.
Sanjit A. Seshia,
Sriram K. Rajamani,
Kapil Vaswani,
2015,
CCS.
S. Shankar Sastry,
Sanjit A. Seshia,
Dorsa Sadigh,
2014,
53rd IEEE Conference on Decision and Control.
Paulo Tabuada,
Suhas N. Diggavi,
Gaurav S. Sukhatme,
2018,
2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS).
David Broman,
Sanjit A. Seshia,
Patricia Derler,
2014,
2014 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS).
Ashish Tiwari,
Sanjit A. Seshia,
Susmit Jha,
2011,
ArXiv.
George Varghese,
Nikolaj Bjørner,
Garvit Juniwal,
2016,
Haifa Verification Conference.
N. Bjørner,
Ratul Mahajan,
G. Varghese,
2016
.
Sanjit A. Seshia,
Ankush Desai,
Tommaso Dreossi,
2017,
RV.
Daniel J. Fremont,
A. Sangiovanni-Vincentelli,
S. Seshia,
2018,
PLDI.
Sanjit A. Seshia,
Hazem Torfah,
S. Akshay,
2021,
2021 Formal Methods in Computer Aided Design (FMCAD).
Sanjit A. Seshia,
Dorsa Sadigh,
Mona Gupta,
2012,
WESE '12.
Sebastian Junges,
Daniel J. Fremont,
Marcell Vazquez-Chanlatte,
2021,
Robotics: Science and Systems.
Sanjit A. Seshia,
Jonathan Kotker,
S. Seshia,
2011,
TACAS.
Sanjit A. Seshia,
Daniel J. Fremont,
Markus N. Rabe,
2017,
AAAI.
Sanjit A. Seshia,
Wenchao Li,
Lili Dworkin,
2011,
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
S. Seshia,
Dorsa Sadigh,
Susmit Jha,
2017,
Journal of Automated Reasoning.
Sanjit A. Seshia,
Daniel J. Fremont,
Edward Kim,
2021,
RV.
Melany M. Ciampi,
Enrico Pontelli,
Sanjit A. Seshia,
2017,
IEEE Trans. Educ..
Sanjit A. Seshia,
Pramod Subramanyan,
Kevin Cheang,
2019,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
S. Seshia,
Marcell Vazquez-Chanlatte,
Ameesh Shah,
2022
.
Paulo Tabuada,
George J. Pappas,
Sanjit A. Seshia,
2018,
IEEE Transactions on Automatic Control.
S. Seshia,
Sebastian Junges,
Marcell Vazquez-Chanlatte,
2023,
ArXiv.
S. Seshia,
Marcell Vazquez-Chanlatte,
Ameesh Shah,
2021,
ArXiv.
Sanjit A. Seshia,
Marcell Vazquez-Chanlatte,
S. Seshia,
2019,
CAV.
Sanjit A. Seshia,
Xiaoqing Jin,
Jyotirmoy V. Deshmukh,
2016,
CAV.
Sanjit A. Seshia,
Markus N. Rabe,
Gil Lederman,
2018,
ArXiv.
Sanjit A. Seshia,
Randal E. Bryant,
Bryan A. Brady,
2011,
2011 Formal Methods in Computer-Aided Design (FMCAD).
V. Ganapathy,
S.A. Seshia,
S. Jha,
2005,
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2009,
International Journal on Software Tools for Technology Transfer.
Sanjit A. Seshia,
Shuvendu K. Lahiri,
S. Seshia,
2004,
CAV.
Sanjit A. Seshia,
John Manferdelli,
Rohit Sinha,
2014,
VSTTE.
Sebastian Junges,
Sanjit A. Seshia,
Hazem Torfah,
2021,
CAV.
K. Subramani,
Sanjit A. Seshia,
Randal E. Bryant,
2007,
J. Satisf. Boolean Model. Comput..
Daniel J. Fremont,
A. Sangiovanni-Vincentelli,
S. Seshia,
2022,
2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS).
Alvin Cheung,
S. Seshia,
Sahil Bhatia,
2023,
ECOOP.
Sanjit A. Seshia,
Alessandro Forin,
Wenchao Li,
2010,
Design Automation Conference.
Sanjit A. Seshia,
Alexander Rakhlin,
A. Rakhlin,
2012,
TECS.
Sanjit A. Seshia,
Alexander Rakhlin,
A. Rakhlin,
2009
.
Clark W. Barrett,
C. Tinelli,
S. Seshia,
2009
.
Clark W. Barrett,
C. Tinelli,
S. Seshia,
2009
.
S. Seshia,
Susmit Jha,
T. Sahai,
2017,
RV.
S. Seshia,
Mehdi Maasoumy,
Vasumathi Raman,
2014,
53rd IEEE Conference on Decision and Control.
A. Benveniste,
R. Murray,
S. Seshia,
2023,
ArXiv.
Abdus Salam Azad,
P. Abbeel,
A. Sangiovanni-Vincentelli,
2021,
AAAI.
Sanjit A. Seshia,
S. Seshia,
2015
.
Edward A. Lee,
Sanjit A. Seshia,
S. Seshia,
2010,
WESE '10.
Sanjit A. Seshia,
Orna Kupferman,
Dorsa Sadigh,
2011,
Haifa Verification Conference.
Daniel Kroening,
Sanjit A. Seshia,
S. Seshia,
2007,
2007 IEEE/ACM International Conference on Computer-Aided Design.
Krishnendu Chatterjee,
Sanjit A. Seshia,
Susmit Jha,
2014,
2014 International Conference on the Internet of Things (IOT).
S. Seshia,
Amar Shah,
Federico Mora,
2023,
ArXiv.
A. Sangiovanni-Vincentelli,
S. Seshia,
P. Tabuada,
2014,
IEEE Transactions on Automatic Control.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Pierluigi Nuzzo,
2010,
Formal Methods in Computer Aided Design.
Sanjit A. Seshia,
David Wessel,
Alexandre Donzé,
2014,
ICMC.
Sanjit A. Seshia,
S. Seshia,
2018,
Principles of Modeling.
Edward A. Lee,
Sanjit A. Seshia,
John C. Eidson,
2012,
Proceedings of the IEEE.
S. Seshia,
Hazem Torfah,
2022
.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Sanjit A. Seshia,
Murat Arcak,
Eric S. Kim,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
Sanjit A. Seshia,
James Kapinski,
Xiaoqing Jin,
2016,
SAE Technical Paper Series.
Garvit Juniwal,
Sanjit A. Seshia,
Alexandre Donzé,
2014,
2014 International Conference on Embedded Software (EMSOFT).
Sanjit A. Seshia,
Shuvendu K. Lahiri,
Randal E. Bryant,
2003,
Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
Ofer Strichman,
Sanjit A. Seshia,
Randal E. Bryant,
2002,
CAV.
S. Sastry,
R. Bajcsy,
A. Sangiovanni-Vincentelli,
2014,
AAAI Spring Symposia.
S. Seshia,
Federico Mora,
Elizabeth Polgreen,
2023,
ArXiv.
Edward A. Lee,
Sanjit A. Seshia,
Jeff C. Jensen,
2012,
WESE '12.
Jonathan Bachrach,
Krste Asanović,
David Biancolin,
2019,
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Sanjit A. Seshia,
Indranil Saha,
Ankush Desai,
2017,
2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS).
Swarat Chaudhuri,
S. Seshia,
Cameron Voloshin,
2024,
2404.11578.
Yatin A. Manerkar,
S. Seshia,
Adwait Godbole,
2024,
ASPLOS.
S. Seshia,
Marcell Vazquez-Chanlatte,
2019,
CAV.
Sanjit A. Seshia,
Susmit Jha,
Vasumathi Raman,
2017,
Journal of Automated Reasoning.
Sanjit A. Seshia,
Randal E. Bryant,
Bryan A. Brady,
2008
.
Y. Bengio,
S. Seshia,
Joar Skalse,
2024,
ArXiv.
Edward A. Lee,
Yatin A. Manerkar,
S. Seshia,
2023,
ACM Trans. Embed. Comput. Syst..
Yatin A. Manerkar,
S. Seshia,
Federico Mora,
2022,
CAV.
Sanjit A. Seshia,
Edward A. Lee,
Jeff C. Jensen,
2013
.