Sanjit A. Seshia - Publications

Affiliations: 
Electrical Engineering and Computer Science University of California, Berkeley, Berkeley, CA 
Area:
Design, Modeling and Analysis (DMA); Programming Systems (PS); Dependable Computing; Computational Logic; Formal Methods; Control, Intelligent Systems, and Robotics (CIR); Security (SEC); Theory (THY)

108 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Zhao S, Yue X, Zhang S, Li B, Zhao H, Wu B, Krishna R, Gonzalez JE, Sangiovanni-Vincentelli AL, Seshia SA, Keutzer K. A Review of Single-Source Deep Unsupervised Visual Domain Adaptation. Ieee Transactions On Neural Networks and Learning Systems. PMID 33095718 DOI: 10.1109/TNNLS.2020.3028503  0.4
2016 Kim ES, Arcak M, Seshia SA. Compositional controller synthesis for vehicular traffic networks Proceedings of the Ieee Conference On Decision and Control. 2016: 6165-6171. DOI: 10.1109/CDC.2015.7403189  1
2016 Shoukry Y, Nuzzo P, Bezzo N, Sangiovanni-Vincentelli AL, Seshia SA, Tabuada P. Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving Proceedings of the Ieee Conference On Decision and Control. 2016: 3804-3809. DOI: 10.1109/CDC.2015.7402810  1
2016 Gurfinkel A, Seshia SA. Preface Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9593.  1
2015 Fremont DJ, Donzé A, Seshia SA, Wessel D. Control improvisation Leibniz International Proceedings in Informatics, Lipics. 45: 463-474. DOI: 10.4230/LIPIcs.FSTTCS.2015.463  1
2015 Sinha R, Rajamani S, Seshia SA, Vaswani K. Moat: Verifying confidentiality of enclave programs Proceedings of the Acm Conference On Computer and Communications Security. 2015: 1169-1184. DOI: 10.1145/2810103.2813608  1
2015 Seshia SA, Sadigh D, Sastry SS. Formal methods for semi-autonomous driving Proceedings - Design Automation Conference. 2015. DOI: 10.1145/2744769.2747927  1
2015 Raman V, Donzé A, Sadigh D, Murray RM, Seshia SA. Reactive synthesis from signal temporal logic specifications Proceedings of the 18th International Conference On Hybrid Systems: Computation and Control, Hscc 2015. 239-248. DOI: 10.1145/2728606.2728628  1
2015 Juniwal G, Donzé A, Jain S, Seshia SA. Clustering-based active learning for CPSGrader L@S 2015 - 2nd Acm Conference On Learning At Scale. 399-403. DOI: 10.1145/2724660.2728702  1
2015 Jin X, Donzé A, Deshmukh JV, Seshia SA. Mining Requirements From Closed-Loop Control Models Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 34: 1704-1717. DOI: 10.1109/TCAD.2015.2421907  1
2015 Seshia SA. Combining Induction, Deduction, and Structure for Verification and Synthesis Proceedings of the Ieee. 103: 2036-2051. DOI: 10.1109/JPROC.2015.2471838  0.32
2015 Shoukry Y, Puggelli A, Nuzzo P, Sangiovanni-Vincentelli AL, Seshia SA, Tabuada P. Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving Proceedings of the American Control Conference. 2015: 3818-3823. DOI: 10.1109/ACC.2015.7171925  1
2015 Chakraborty S, Fremont DJ, Meel KS, Seshia SA, Vardi MY. On parallel scalable uniform SAT witness generation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9035: 304-319. DOI: 10.1007/978-3-662-46681-0_25  1
2015 Deshmukh JV, Donzé A, Ghosh S, Jin X, Juniwal G, Seshia SA. Robust online monitoring of signal temporal logic Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9333: 55-70. DOI: 10.1007/978-3-319-23820-3_4  1
2015 Desai A, Seshia SA, Qadeer S, Broman D, Eidson JC. Approximate synchrony: An abstraction for distributed almost-synchronous systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9207: 429-448. DOI: 10.1007/978-3-319-21668-3_25  1
2014 Jha S, Seshia SA. Are there good mistakes? A theoretical analysis of CEGIS Electronic Proceedings in Theoretical Computer Science, Eptcs. 157: 84-99. DOI: 10.4204/EPTCS.157.10  1
2014 Puggelli A, Sangiovanni-Vincentelli AL, Seshia SA. Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing 2014 Proceedings of the International Conference On Embedded Software, Emsoft 2014. DOI: 10.1145/2656045.2656069  1
2014 Juniwal G, Donzé A, Jensen JC, Seshia SA. CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory 2014 Proceedings of the International Conference On Embedded Software, Emsoft 2014. DOI: 10.1145/2656045.2656053  1
2014 Sadigh D, Driggs-Campbell K, Bajcsy R, Sastry SS, Seshia SA. User interface design and verification for semi-autonomous driving Hicons 2014 - Proceedings of the 3rd International Conference On High Confidence Networked Systems (Part of Cps Week). 63-64. DOI: 10.1145/2566468.2576851  1
2014 Tiwari A, Dutertre B, Jovanović D, De Candia T, Lincoln P, Rushby J, Sadigh D, Seshia S. Safety envelope for security Hicons 2014 - Proceedings of the 3rd International Conference On High Confidence Networked Systems (Part of Cps Week). 85-94. DOI: 10.1145/2566468.2566483  1
2014 Subramanyan P, Tsiskaridze N, Li W, Gascón A, Tan WY, Tiwari A, Shankar N, Seshia SA, Malik S. Reverse engineering digital circuits using structural and functional analyses Ieee Transactions On Emerging Topics in Computing. 2: 63-80. DOI: 10.1109/TETC.2013.2294918  1
2014 Holcomb DE, Seshia SA. Compositional performance verification of network-on-chip designs Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 33: 1370-1383. DOI: 10.1109/TCAD.2014.2331342  1
2014 Lee EA, Rabaey J, Hartmann B, Kubiatowicz J, Pister K, Simunic Rosing T, Wawrzynek J, Wessel D, Sangiovanni-Vincentelli A, Seshia SA, Blaauw D, Dutta P, Fu K, Guestrin C, Taskar B, et al. The swarm at the edge of the cloud Ieee Design and Test. 31: 8-20. DOI: 10.1109/MDAT.2014.2314600  1
2014 Broman D, Derler P, Desai A, Eidson JC, Seshia SA. Endlessly circulating messages in IEEE 1588-2008 systems Ispcs 2014 - Proceedings: 2014 International Ieee Symposium On Precision Clock Synchronization For Measurement, Control and Communication. 7-12. DOI: 10.1109/ISPCS.2014.6948522  0.32
2014 Saha I, Ramaithitima R, Kumar V, Pappas GJ, Seshia SA. Automated composition of motion primitives for multi-robot systems from safe LTL specifications Ieee International Conference On Intelligent Robots and Systems. 1525-1532. DOI: 10.1109/IROS.2014.6942758  1
2014 Jha S, Tripakis S, Seshia SA, Chatterjee K. Game theoretic secure localization in wireless sensor networks 2014 International Conference On the Internet of Things, Iot 2014. 85-90. DOI: 10.1109/IOT.2014.7030120  1
2014 Sadigh D, Kim ES, Coogan S, Sastry SS, Seshia SA. A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications Proceedings of the Ieee Conference On Decision and Control. 2015: 1091-1096. DOI: 10.1109/CDC.2014.7039527  1
2014 Raman V, Maasoumy M, Donze A, Murray RM, Sangiovanni-Vincentelli A, Seshia SA. Model predictive control with signal temporal logic specifications Proceedings of the Ieee Conference On Decision and Control. 2015: 81-87. DOI: 10.1109/CDC.2014.7039363  1
2014 Nuzzo P, Xu H, Ozay N, Finn JB, Sangiovanni-Vincentelli AL, Murray RM, Donzé A, Seshia SA. A contract-based methodology for aircraft electric power system design Ieee Access. 2: 1-25. DOI: 10.1109/ACCESS.2013.2295764  1
2014 Li W, Sadigh D, Sastry SS, Seshia SA. Synthesis for human-in-the-loop control systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8413: 470-484. DOI: 10.1007/978-3-642-54862-8_40  1
2014 Ehlers R, Seshia SA, Kress-Gazit H. Synthesis with identifiers Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8318: 415-433. DOI: 10.1007/978-3-642-54013-4_23  1
2014 Tan WY, Sinha R, Manferdelli JL, Seshia SA. Formal modeling and verification of cloudproxy Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8471: 87-104. DOI: 10.1007/978-3-319-12154-3_6  1
2014 Fremont DJ, Seshia SA. Speeding up SMT-based quantitative program analysis Ceur Workshop Proceedings. 1163: 3-13.  1
2014 Sadigh D, Ohlsson H, Sastry SS, Seshia SA. Robust subspace system identification via weighted nuclear norm optimization Ifac Proceedings Volumes (Ifac-Papersonline). 19: 9510-9515.  1
2014 Sadigh D, Driggs-Campbell K, Puggelli A, Li W, Shia V, Bajcsy R, Sangiovanni-Vincentelli AL, Sastry SS, Seshia SA. Data-driven probabilistic modeling and verification of human driver behavior Aaai Spring Symposium - Technical Report. 56-61.  1
2014 Donzé A, Valle R, Akkaya I, Libkind S, Seshia SA, Wessel D. Machine improvisation with formal specifications Proceedings - 40th International Computer Music Conference, Icmc 2014 and 11th Sound and Music Computing Conference, Smc 2014 - Music Technology Meets Philosophy: From Digital Echos to Virtual Ethos. 1277-1284.  1
2014 Chakraborty S, Meel KS, Fremont DJ, Seshia SA, Vardi MY. Distribution-aware sampling and weighted model counting for sat Proceedings of the National Conference On Artificial Intelligence. 3: 1722-1730.  1
2013 Sadigh D, Seshia SA, Gupta M. Automating exercise generation: A step towards meeting the MOOC challenge for embedded systems Proceedings of the 2012 Workshop On Embedded and Cyber-Physical Systems Education, Wese 2012. DOI: 10.1145/2530544.2530546  1
2013 Lee EA, Seshia SA, Jensen JC. Teaching embedded systems the Berkeley way Proceedings of the 2012 Workshop On Embedded and Cyber-Physical Systems Education, Wese 2012. DOI: 10.1145/2530544.2530545  1
2013 Li W, Gascon A, Subramanyan P, Tan WY, Tiwari A, Malik S, Shankar N, Seshia SA. WordRev: Finding word-level structures in a sea of bit-level gates Proceedings of the 2013 Ieee International Symposium On Hardware-Oriented Security and Trust, Host 2013. 67-74. DOI: 10.1109/HST.2013.6581568  1
2013 Puggelli A, Li W, Sangiovanni-Vincentelli AL, Seshia SA. Polynomial-time verification of PCTL properties of MDPs with convex uncertainties Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8044: 527-542. DOI: 10.1007/978-3-642-39799-8_35  1
2013 Seshia SA. Verifying high-confidence interactive systems: Electronic voting and beyond Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7730: 1-10. DOI: 10.1007/978-3-642-35668-1_1  1
2013 Li W, Seshia SA. Sparse coding for specification mining and error localization Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7687: 64-81. DOI: 10.1007/978-3-642-35632-2-9  1
2013 Alur R, Bodik R, Juniwal G, Martin MMK, Raghothaman M, Seshia SA, Singh R, Solar-Lezama A, Torlak E, Udupa A. Syntax-guided synthesis 2013 Formal Methods in Computer-Aided Design, Fmcad 2013. 1-8.  1
2013 Di Guglielmo L, Seshia SA, Villa T. Synthesis of implementable control strategies for lazy linear hybrid automata 2013 Federated Conference On Computer Science and Information Systems, Fedcsis 2013. 1381-1388.  1
2013 Sturton C, Sinha R, Dang THY, Jain S, McCoyd M, Tan WY, Maniatis P, Seshia SA, Wagner D. Symbolic software model validation 11th Acm/Ieee International Conference On Formal Methods and Models For Codesign, Memocode 2013. 97-108.  1
2012 Seshia SA, Rakhlin A. Quantitative analysis of systems using game-theoretic learning Transactions On Embedded Computing Systems. 11. DOI: 10.1145/2331147.2331165  1
2012 Li W, Seshia SA, Jha S. CrowdMine: Towards crowdsourced human-assisted verification Proceedings - Design Automation Conference. 1254-1255. DOI: 10.1145/2228360.2228590  1
2012 Seshia SA. Sciduction: Combining induction, deduction, and structure for verification and synthesis Proceedings - Design Automation Conference. 356-365. DOI: 10.1145/2228360.2228425  1
2012 Holcomb DE, Gotmanov A, Kishinevsky M, Seshia SA. Compositional performance verification of NoC designs 10th Acm/Ieee International Conference On Formal Methods and Models For Codesign, Memocode 2012. 1-10. DOI: 10.1109/MEMCOD.2012.6292294  1
2012 Eidson JC, Lee EA, Matic S, Seshia SA, Zou J. Distributed real-time software for cyber-physical systems Proceedings of the Ieee. 100: 45-59. DOI: 10.1109/JPROC.2011.2161237  1
2012 Li W, Wasson Z, Seshia SA. Reverse engineering circuits using behavioral pattern mining Proceedings of the 2012 Ieee International Symposium On Hardware-Oriented Security and Trust, Host 2012. 83-88. DOI: 10.1109/HST.2012.6224325  1
2012 Kupferman O, Sadigh D, Seshia SA. Synthesis with clairvoyance Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7261: 5-19. DOI: 10.1007/978-3-642-34188-5_5  1
2012 Seshia SA. Quantitative analysis of software: Challenges and recent advances Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6921: 1-5. DOI: 10.1007/978-3-642-27269-1_1  1
2012 Sinha R, Sturton C, Maniatis P, Seshia SA, Wagner D. Verification with small and short worlds 2012 Formal Methods in Computer-Aided Design, Fmcad 2012. 68-77.  1
2011 Jha S, Seshia SA, Tiwari A. Synthesis of optimal switching logic for hybrid systems Embedded Systems Week 2011, Esweek 2011 - Proceedings of the 9th Acm International Conference On Embedded Software, Emsoft'11. 107-116. DOI: 10.1145/2038642.2038660  1
2011 Li W, Dworkin L, Seshia SA. Mining assumptions for synthesis 9th Acm/Ieee International Conference On Formal Methods and Models For Codesign, Memocode 2011. 43-50. DOI: 10.1109/MEMCOD.2011.5970509  1
2011 Jensen JC, Lee EA, Seshia SA. An introductory capstone design course on embedded systems Proceedings - Ieee International Symposium On Circuits and Systems. 1199-1202. DOI: 10.1109/ISCAS.2011.5937784  1
2011 Seshia SA, Kotker J. GameTime: A toolkit for timing analysis of software Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6605: 388-392. DOI: 10.1007/978-3-642-19835-9_34  1
2011 Brady BA, Bryant RE, Seshia SA. Learning conditional abstractions 2011 Formal Methods in Computer-Aided Design, Fmcad 2011. 116-124.  1
2011 Kotker J, Sadigh D, Seshia SA. Timing analysis of interrupt-driven programs under context bounds 2011 Formal Methods in Computer-Aided Design, Fmcad 2011. 81-90.  1
2011 Brady BA, Holcomb D, Seshia SA. Counterexample-guided SMT-driven optimal buffer sizing Proceedings -Design, Automation and Test in Europe, Date. 329-334.  1
2011 Holcomb D, Brady B, Seshia S. Abstraction-based performance verification of NoCs Proceedings - Design Automation Conference. 492-497.  1
2010 Lee EA, Seshia SA. An introductory textbook on cyber-physical systems Proceedings - 2010 Workshop On Embedded Systems Education, Wese 2010. DOI: 10.1145/1930277.1930278  1
2010 Li W, Forin A, Seshia SA. Scalable specification mining for verification and diagnosis Proceedings - Design Automation Conference. 755-760. DOI: 10.1145/1837274.1837466  1
2010 Mitra S, Seshia SA, Nicolici N. Post-silicon validation opportunities, challenges and recent advances Proceedings - Design Automation Conference. 12-17. DOI: 10.1145/1837274.1837280  1
2010 Jha S, Gulwani S, Seshia SA, Tiwari A. Oracle-guided component-based program synthesis Proceedings - International Conference On Software Engineering. 1: 215-224. DOI: 10.1145/1806799.1806833  1
2010 Jha S, Gulwani S, Seshia SA, Tiwari A. Synthesizing switching logic for safety and dwell-time requirements Proceedings of the 1st Acm/Ieee International Conference On Cyber-Physical Systems, Iccps '10. 22-31. DOI: 10.1145/1795194.1795198  1
2010 Brady BA, Bryant RE, Seshia SA, O'Leary JW. ATLAS: Automatic term-level abstraction of RTL designs 8th Acm/Ieee International Conference On Formal Methods and Models For Codesign, Memocode 2010. 31-40. DOI: 10.1109/MEMCOD.2010.5558624  1
2010 Di Natale M, Ghosal A, Giusto P, Sangiovanni-Vincentelli A, Zeng H, Seshia S. Guest editorial special issue on automotive embedded systems Ieee Embedded Systems Letters. 2: 21-22. DOI: 10.1109/LES.2010.2051138  1
2010 King D, Jha S, Muthukumaran D, Jaeger T, Seshia SA. Automating security mediation placement Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6012: 327-344. DOI: 10.1007/978-3-642-11957-6_18  1
2010 Nuzzo P, Puggelli A, Seshia SA, Sangiovanni-Vincentelli A. CalCS: SMT solving for non-linear convex constraints Formal Methods in Computer Aided Design, Fmcad 2010. 71-79.  1
2010 Eidson JC, Lee EA, Matic S, Seshia SA, Zou J. A time-centric model for cyber-physical applications Ceur Workshop Proceedings. 644: 21-35.  1
2009 Barrett C, Sebastiani R, Seshia SA, Tinelli C. Satisfiability modulo theories Frontiers in Artificial Intelligence and Applications. 185: 825-885. DOI: 10.3233/978-1-58603-929-5-825  1
2009 Sturton C, Jha S, Seshia SA, Wagner D. On voting machine design for verification and testability Proceedings of the Acm Conference On Computer and Communications Security. 463-476. DOI: 10.1145/1653662.1653719  1
2009 Jha S, Li W, Seshia SA. Localizing transient faults using dynamic bayesian networks Proceedings - Ieee International High-Level Design Validation and Test Workshop, Hldvt. 82-87. DOI: 10.1109/HLDVT.2009.5340170  1
2009 Bryant RE, Kroening D, Ouaknine J, Seshia SA, Strichman O, Brady B. An abstraction-based decision procedure for bit-vector arithmetic International Journal On Software Tools For Technology Transfer. 11: 95-104. DOI: 10.1007/s10009-009-0101-x  1
2009 Jha S, Limaye R, Seshia SA. Beaver: Engineering an efficient smt solver for bit-vector arithmetic Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5643: 668-674. DOI: 10.1007/978-3-642-02658-4_53  1
2009 Holcomb D, Wenchao L, Seshia SA. Design as you see FIT: System-level soft error analysis of sequential circuits Proceedings -Design, Automation and Test in Europe, Date. 785-790.  1
2009 Wenchao L, Di Natale M, Wei Z, Giusto P, Sangiovanni-Vincentelli A, Seshia SA. Optimizations of an application-level protocol for enhanced dependability in FlexRay Proceedings -Design, Automation and Test in Europe, Date. 1076-1081.  1
2008 King D, Jaeger T, Jha S, Seshia SA. Effective blame for information-flow violations Proceedings of the Acm Sigsoft Symposium On the Foundations of Software Engineering. 250-260. DOI: 10.1145/1453101.1453135  1
2008 Seshia SA, Rakhlin A. Game-theoretic timing analysis Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers, Iccad. 575-582. DOI: 10.1109/ICCAD.2008.4681634  1
2008 Kupferman O, Li W, Seshia SA. A theory of mutations with applications to vacuity, coverage, and fault tolerance Proceedings of the 2008 International Conference On Formal Methods in Computer-Aided Design, Fmcad. DOI: 10.1109/FMCAD.2008.ECP.29  1
2007 Solar-Lezama A, Arnold G, Tancau L, Bodik R, Saraswat V, Seshia S. Sketching stencils Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 167-178. DOI: 10.1145/1250734.1250754  1
2007 Beyer D, Henzinger TA, Chakrabarti A, Seshia SA. An application of web-service interfaces Proceedings - 2007 Ieee International Conference On Web Services, Icws 2007. 831-838. DOI: 10.1109/ICWS.2007.32  1
2007 Kroening D, Seshia SA. Formal verification at higher levels of abstraction Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers, Iccad. 572-578. DOI: 10.1109/ICCAD.2007.4397326  1
2007 Seshia SA. Autonomic reactive systems via online learning Fourth International Conference On Autonomic Computing, Icac'07. DOI: 10.1109/ICAC.2007.10  1
2007 Seshia SA, Wenchao L, Mitra S. Verification-guided soft error resilience Proceedings -Design, Automation and Test in Europe, Date. 1442-1447. DOI: 10.1109/DATE.2007.364501  1
2007 Feng TH, Wang L, Zheng W, Kanajan S, Seshia SA. Automatic model generation for black box real-time systems Proceedings -Design, Automation and Test in Europe, Date. 930-935. DOI: 10.1109/DATE.2007.364412  1
2007 Bryant RE, Kroening D, Ouaknine J, Seshia SA, Strichman O, Brady B. Deciding bit-vector arithmetic with abstraction Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4424: 358-372.  1
2007 Jha S, Brady BA, Seshia SA. Symbolic reachability analysis of lazy linear hybrid automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4763: 241-256.  1
2006 Solar-Lezama A, Tancau L, Bodik R, Seshia S, Saraswat V. Combinatorial sketching for finite programs International Conference On Architectural Support For Programming Languages and Operating Systems - Asplos. 404-415. DOI: 10.1145/1168857.1168907  1
2005 Christodorescu M, Jha S, Seshia SA, Song D, Bryant RE. Semantics-aware malware detection Proceedings - Ieee Symposium On Security and Privacy. 32-46. DOI: 10.1109/SP.2005.20  1
2005 Flanagan C, Freund SN, Qadeer S, Seshia SA. Modular verification of multithreaded programs Theoretical Computer Science. 338: 153-183. DOI: 10.1016/j.tcs.2004.12.006  1
2005 Seshia SA, Bryant RE, Stevens KS. Modeling and verifying circuits using generalized relative timing Proceedings - International Symposium On Asynchronous Circuits and Systems. 98-108.  1
2005 Bryant RE, Seshia SA. Decision procedures customized for formal verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3632: 255-259.  1
2005 Ganapathy V, Seshia SA, Jha S, Reps TW, Bryant RE. Automatic discovery of API-level exploits Proceedings - 27th International Conference On Software Engineering, Icse05. 312-321.  1
2004 Lahiri SK, Seshia SA. The UCLID decision procedure Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3114: 475-478.  1
2004 Kroening D, Ouaknine J, Seshia SA, Strichman O. Abstraction-based satisfiability solving of Presburger arithmetic Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3114: 308-320.  1
2004 Seshia SA, Bryant RE. Deciding quantifier-free Presburger formulas using parameterized solution bounds Proceedings - Symposium On Logic in Computer Science. 19: 100-109.  1
2003 Bryant RE, Lahiri SK, Seshia SA. Convergence testing in term-level bounded model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2860: 348-362.  1
2003 Seshia SA, Bryant RE. Unbounded, fully symbolic model checking of timed automata using Boolean methods Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2725: 154-166.  1
2003 Seshia SA, Lahiri SK, Bryant RE. A hybrid SAT-based decision procedure for separation logic with uninterpreted functions Proceedings - Design Automation Conference. 425-430.  1
2002 Strichman O, Seshia SA, Bryant RE. Deciding separation formulas with SAT Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2404: 209-222.  1
2002 Flanagan C, Qadeer S, Seshia SA. A modular checker for multithreaded programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2404: 180-194.  1
2002 Lahiri SK, Seshia SA, Bryant RE. Modeling and verification of out-of-order microprocessors in UCLID Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2517: 142-159.  1
2002 Bryant RE, Lahiri SK, Seshia SA. Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2404: 78-92.  1
1999 Seshia SA, Shyamasundar RK, Bhattacharjee AK, Dhodapkar SD. A translation of statecharts to esterel Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1709: 983-1007.  1
Show low-probability matches.