• Book/Book Chapter/Thesis • Refereed Conference Papers • Journal Papers • Refereed Workshop Papers • Invited Papers and Tutorials • Technical Reports •
Book/Book Chapter/Thesis
Edward A. Lee and Sanjit A. Seshia. Introduction to Embedded Systems:
A Cyber-Physical Systems Approach, http://leeseshia.org, 2011.
Details
BibTeX
Download:
[HTML]
Clark Barrett, Roberto Sebastiani, Sanjit A. Seshia, and Cesare Tinelli.
Satisfiability Modulo Theories. In Armin Biere, Hans van Maaren, and Toby Walsh, editors, Handbook of Satisfiability,
IOS Press, 2009.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia. Adaptive Eager Boolean Encoding for Arithmetic
Reasoning in Verification. Ph.D. Thesis, Carnegie Mellon University, 2005.
Co-winner, 2005 SCS
Distinguished Dissertation Award.
Details
BibTeX
Download:
[pdf]
[HTML]
Refereed Conference Papers
Alberto Puggelli, Wenchao Li, Alberto Sangiovanni-Vincentelli, and Sanjit
A. Seshia. Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties. In Proceedings
of the 25th International Conference on Computer-Aided Verification (CAV), July 2013.
Details
BibTeX
Download:
[pdf]
Wenchao Li, Adria Gascon, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, and Sanjit A. Seshia. WordRev: Finding Word-Level Structures in a Sea of
Bit-Level Gates. In Proceedings of the IEEE Conference on Hardware-Oriented Security and Trust (HOST), June 2013.
Details
BibTeX
Download:
[pdf]
Xiaoqing Jin, Alexandre Donzé, Jyotirmoy Deshmukh, and Sanjit A.
Seshia. Mining Requirements from Closed-Loop Control Models. In Proceedings of the International Conference
on Hybrid Systems: Computation and Control (HSCC), April 2013.
Details
BibTeX
Download:
[pdf]
Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, and
David Wagner. Verification with Small and Short Worlds. In Proceedings of the IEEE International Conference on
Formal Methods in Computer-Aided Design (FMCAD), October 2012.
Details
BibTeX
Download:
[pdf]
Wenchao Li and Sanjit A. Seshia. Sparse Coding for Specification
Mining and Error Localization. In Proceedings of the International Conference on Runtime Verification (RV), September
2012.
Details
BibTeX
Download:
[pdf]
Daniel Holcomb, Alexander Gotmanov, Michael Kishinevsky, and Sanjit A.
Seshia. Compositional Performance Verification of NoC Designs. In Proceedings of the 10th ACM/IEEE International
Conference on Formal Methods and Models for Codesign (MEMOCODE), July 2012.
Details
BibTeX
Download:
[pdf]
Wenchao Li, Zach Wasson, and Sanjit A. Seshia. Reverse Engineering
Circuits Using Behavioral Pattern Mining. In Proceedings of the IEEE Conference on Hardware-Oriented Security and
Trust (HOST), June 2012.
Details
BibTeX
Download:
[pdf]
Wenchao Li, Sanjit A. Seshia, and Somesh Jha. CrowdMine: Towards
Crowdsourced Human-Assisted Verification. In Proceedings of the Design Automation Conference (DAC), June 2012.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia. Sciduction: Combining Induction, Deduction, and
Structure for Verification and Synthesis. In Proceedings of the Design Automation Conference (DAC), June 2012.
Details
BibTeX
Download:
[pdf]
Orna Kupferman, Dorsa Sadigh, and Sanjit A. Seshia. Synthesis with
Clairvoyance. In Proceedings of the Haifa Verification Conference (HVC), December 2011.
Details
BibTeX
Download:
[pdf]
Susmit Jha, Sanjit A. Seshia, and Ashish Tiwari. Synthesis of Optimal
Switching Logic for Hybrid Systems. In Proceedings of the International Conference on Embedded Software (EMSOFT),
pp. 107–116, October 2011.
Details
BibTeX
Download:
[pdf]
Jonathan Kotker, Dorsa Sadigh, and Sanjit A. Seshia. Timing Analysis
of Interrupt-Driven Programs under Context Bounds. In Proceedings of the IEEE International Conference on Formal Methods
in Computer-Aided Design (FMCAD), pp. 81–90, October 2011.
Details
BibTeX
Download:
[pdf]
Bryan Brady, Randal E. Bryant, and Sanjit A. Seshia. Learning Conditional
Abstractions. In Proceedings of the IEEE International Conference on Formal Methods in Computer-Aided Design (FMCAD),
pp. 116–124, October 2011.
Details
BibTeX
Download:
[pdf]
Wenchao Li, Lili Dworkin, and Sanjit A. Seshia. Mining Assumptions
for Synthesis. In Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign
(MEMOCODE), July 2011.
Details
BibTeX
Download:
[pdf]
Daniel Holcomb, Bryan Brady, and Sanjit A. Seshia. Abstraction-Based
Performance Analysis of NoCs. In Proceedings of the Design Automation Conference (DAC), pp. 492–497, June
2011.
Details
BibTeX
Download:
[pdf]
Bryan Brady, Daniel Holcomb, and Sanjit A. Seshia. Counterexample-Guided
SMT-Driven Optimal Buffer Sizing. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE),
pp. 329–334, March 2011.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia and Jonathan Kotker. GameTime: A Toolkit for Timing
Analysis of Software. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
, pp. 388–392, March 2011.
Details
BibTeX
Download:
[pdf]
Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, and Alberto L.
Sangiovanni-Vincentelli. CalCS: SMT Solving for Non-linear Convex Constraints. In Proceedings of the IEEE International
Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 71–79, October 2010.
Details
BibTeX
Download:
[pdf]
Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia, and John W. O'Leary.
ATLAS: Automatic Term-Level Abstraction of RTL Designs. In Proceedings of the Eighth ACM/IEEE International Conference
on Formal Methods and Models for Codesign (MEMOCODE), pp. 31–40, July 2010.
Details
BibTeX
Download:
[pdf]
Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, and Alberto L.
Sangiovanni-Vincentelli. CalCS: SMT Solving for Non-linear Convex Constraints. Technical Report UCB/EECS-2010-100,
EECS Department, University of California, Berkeley, 2010.
Details
BibTeX
Download:
[HTML]
Wenchao Li, Alessandro Forin, and Sanjit A. Seshia. Scalable Specification
Mining for Verification and Diagnosis. In Proceedings of the Design Automation Conference (DAC), pp. 755–760,
June 2010.
Details
BibTeX
Download:
[pdf]
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, and Ashish Tiwari.
Oracle-Guided Component-Based Program Synthesis. In Proceedings of the 32nd ACM/IEEE International Conference
on Software Engineering (ICSE), pp. 215–224, May 2010.
Extended tech report version available in
PDF
Details
BibTeX
Download:
[pdf]
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, and Ashish Tiwari.
Synthesizing Switching Logic for Safety and Dwell-Time Requirements. In Proceedings of the International Conference
on Cyber-Physical Systems (ICCPS), pp. 22–31, April 2010.
Extended tech report version available here.
Details
BibTeX
Download:
[pdf]
Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, and
Sanjit A. Seshia. Automating Security Mediation Placement. In Proc. European Symposium on Programming (ESOP),
pp. 327–344, March 2010.
Details
BibTeX
Download:
[pdf]
Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, and David Wagner.
On Voting Machine Design for Verification and Testability. In Proceedings of the ACM Conference on Computer and Communications
Security (CCS), pp. 463–476, November 2009.
Details
BibTeX
Download:
[pdf]
Susmit Jha, Rhishikesh Limaye, and Sanjit A. Seshia. Beaver: Engineering
an Efficient SMT Solver for Bit-Vector Artithmetic. In Proc. 21st International Conference on Computer-Aided verification
(CAV), pp. 668–674, Lecture Notes in Computer Science 5643, June 2009.
Details
BibTeX
Download:
[pdf]
Daniel E. Holcomb, Wenchao Li, and Sanjit A. Seshia. Design as
You See FIT: System-Level Soft Error Analysis of Sequential Circuits. In Proceedings of the Conference on Design,
Automation and Test in Europe (DATE), pp. 785–790, April 2009.
Details
BibTeX
Download:
[pdf]
Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, and
Sanjit A. Seshia. Optimizations of an Application-Level Protocol for Enhanced Dependability in FlexRay.
In Proceedings of the Conference on Design, Automation and Test in Europe (DATE), pp. 1076–1081, April 2009.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia and Alexander Rakhlin. Game-Theoretic Timing Analysis.
In Proceedings of the IEEE/ACM International Conference on Computer-Aided Design (ICCAD), pp. 575–582, IEEE
Press, November 2008.
Details
BibTeX
Download:
[HTML]
Orna Kupferman, Wenchao Li, and Sanjit A. Seshia. A Theory of Mutations
with Applications to Vacuity, Coverage, and Fault Tolerance. In Proceedings of the IEEE International Conference on
Formal Methods in Computer-Aided Design (FMCAD), pp. 1–9, November 2008.
Details
BibTeX
Download:
[pdf]
Dave King, Trent Jaeger, Somesh Jha, and Sanjit A. Seshia. Effective
Blame for Information-Flow Violations. In Proceedings of the 16th ACM SIGSOFT International Symposium
on Foundations of Software Engineering (FSE), pp. 250–260, ACM Press, November 2008.
Details
BibTeX
Download:
[pdf]
Susmit Jha, Bryan A. Brady, and Sanjit A. Seshia. Symbolic Reachability
Analysis of Lazy Linear Hybrid Automata. In Proc. 5th International Conference on Formal Modeling and Analysis of
Timed Systems (FORMATS), pp. 241–256, Lecture Notes in Computer Science 4763, October 2007.
Details
BibTeX
Download:
[pdf]
Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, and Sanjit A. Seshia.
An Application of Web-Service Interfaces. In ICWS, pp. 831–838, IEEE Computer Society, July 2007.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia. Autonomic Reactive Systems via Online Learning.
In Proceedings of the IEEE International Conference on Autonomic Computing (ICAC), IEEE Press, June 2007.
Details
BibTeX
Download:
[pdf]
Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, and
Sanjit A. Seshia. Sketching Stencils. In Proceedings of the ACM SIGPLAN Conference on Programming
Language Design and Implementation (PLDI), pp. 167–178, ACM Press, June 2007.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia, Wenchao Li, and Subhasish Mitra. Verification-Guided
Soft Error Resilience. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE), pp. 1442–1447,
ACM Press, April 2007.
Details
BibTeX
Download:
[pdf]
Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, and Sanjit A.
Seshia. Automatic Model Generation for Black Box Real-Time Systems. In Proceedings of the Conference
on Design, Automation and Test in Europe (DATE), pp. 930–935, ACM Press, April 2007.
Details
BibTeX
Download:
[pdf]
Randal E. Bryant, Daniel Kroening, Joel Ouaknine, Sanjit A. Seshia,
Ofer Strichman, and Bryan Brady. Deciding Bit-Vector Arithmetic with Abstraction . In Proceedings of Tools
and Algorithms for the Construction and Analysis of Systems (TACAS) , pp. 358–372 , Lecture Notes in Computer
Science 4424 , Springer , March 2007.
Details
BibTeX
Download:
[pdf]
Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A.
Seshia, and Vijay A. Saraswat. Combinatorial sketching for finite programs. In Proceedings of the 12th International
Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp. 404–415,
ACM Press, October 2006.
Details
BibTeX
Download:
[pdf]
Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Song, and
Randal E. Bryant. Semantics-Aware Malware Detection. In Proc. IEEE Symposium on Security and Privacy, pp.
32–46, May 2005.
Details
BibTeX
Download:
[pdf]
Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, and
Randal E. Bryant. Automatic Discovery of API-Level Exploits. In Proc. 27th International Conference on Software
Engineering (ICSE), pp. 312–321, May 2005.
Details
BibTeX
Download:
[pdf]
[ps]
Sanjit A. Seshia, Randal E. Bryant, and Kenneth S. Stevens. Modeling
and Verifying Circuits Using Generalized Relative Timing. In 11th International Symposium on Advanced
Research in Asynchronous Circuits and Systems (ASYNC), pp. 98–108, IEEE Computer Society, March 2005.
Details
BibTeX
Download:
[pdf]
[ps]
Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, and Ofer Strichman.
Abstraction-based Satisfiability Solving of Presburger Arithmetic. In Proc. 16th International Conference on Computer-Aided
Verification (CAV), pp. 308–320, LNCS 3114, Springer-Verlag, July 2004.
Details
BibTeX
Download:
[pdf]
[ps]
Shuvendu K. Lahiri and Sanjit A. Seshia. The UCLID Decision Procedure.
In Proc. 16th International Conference on Computer-Aided Verification (CAV), pp. 475–478, LNCS 3114, Springer-Verlag,
July 2004.
Details
BibTeX
Download:
[pdf]
[ps]
Sanjit A. Seshia and Randal E. Bryant. Deciding Quantifier-Free
Presburger Formulas Using Parameterized Solution Bounds. In 19th Annual IEEE Symposium on Logic in Computer Science
(LICS), pp. 100–109, July 2004.
Details
BibTeX
Download:
[pdf]
[ps]
Randal E. Bryant, Shuvendu K. Lahiri, and Sanjit A. Seshia. Convergence
Testing in Term-Level Bounded Model Checking. In Correct Hardware Design and Verification Methods (CHARME), pp.
348–362, Lecture Notes in Computer Science 2860, Springer-Verlag, October 2003.
Details
BibTeX
Download:
[pdf]
[ps]
Sanjit A. Seshia and Randal E. Bryant. Unbounded, Fully Symbolic
Model Checking of Timed Automata using Boolean Methods. In Proc. 15th International Conference on Computer-Aided Verification
(CAV), pp. 154–166, Lecture Notes in Computer Science 2725, July 2003.
Details
BibTeX
Download:
[pdf]
[ps]
Sanjit A. Seshia, Shuvendu K. Lahiri, and Randal E. Bryant. A Hybrid
SAT-Based Decision Procedure for Separation Logic with Uninterpreted Functions. In 40th Design Automation Conference
(DAC '03), pp. 425–430, June 2003.
Details
BibTeX
Download:
[pdf]
[ps]
Shuvendu K. Lahiri, Sanjit A. Seshia, and Randal E. Bryant. Modeling
and Verification of Out-of-Order Microprocessors in UCLID. In Formal Methods in Computer-Aided Design (FMCAD '02),
pp. 142–160, LNCS 2517, Springer-Verlag, November 2002.
Details
BibTeX
Download:
[pdf]
[ps]
Randal E. Bryant, Shuvendu K. Lahiri, and Sanjit A. Seshia. Modeling
and Verifying Systems using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions. In
Proc. 14th International Conference on Computer-Aided Verification (CAV), pp. 78–92, LNCS 2404 , July 2002.
Details
BibTeX
Download:
[pdf]
Ofer Strichman, Sanjit A. Seshia, and Randal E. Bryant. Deciding
Separation Formulas with SAT. In Proc. 14th Intl. Conference on Computer-Aided Verification (CAV'02), pp. 209–222,
LNCS 2404, Springer-Verlag, July 2002.
Details
BibTeX
Download:
[pdf]
[ps]
Cormac Flanagan, Shaz Qadeer, and Sanjit A. Seshia. A Modular Checker
for Multithreaded Programs. In Proc. 14th International Conference on Computer-Aided Verification (CAV), pp. 180–194,
Lecture Notes in Computer Science 2404, Springer, July 2002.
Details
BibTeX
Download:
[pdf]
[ps]
Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, and S.
D. Dhodapkar. A Translation of Statecharts to Esterel. In World Congress on Formal Methods (FM), pp. 983–1007,
Lecture Notes in Computer Science 1709, Springer, September 1999.
Details
BibTeX
Download:
[pdf]
[ps]
A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, and R. K.
Shyamasundar. A Graphical Environment for the Specification and Verification of Reactive Systems. In
18th International Conference on Computer Safety, Reliability and Security (SAFECOMP), pp. 431–444, Lecture
Notes in Computer Science 1698, Springer, September 1999.
Details
BibTeX
Download:
[pdf]
[ps]
Journal Papers
Sanjit A. Seshia and Alexander Rakhlin. Quantitative Analysis of
Systems Using Game-Theoretic Learning. ACM Transactions on Embedded Computing Systems (TECS), 11(S2):55:1–55:27,
2012. Accepted 2010.
Details
BibTeX
Download:
[pdf]
John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, and
Jia Zou. Distributed Real-Time Software for Cyber-Physical Systems. Proceedings of the IEEE, 100(1):45–59,
January 2012.
Details
BibTeX
Download:
[pdf]
Randal E. Bryant, Daniel Kroening, Joel Ouaknine, Sanjit A. Seshia,
Ofer Strichman, and Bryan Brady. An Abstraction-Based Decision Procedure for Bit-Vector Arithmetic . International
Journal on Software Tools for Technology Transfer (STTT) , 11(2):95–104, 2009.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia, K. Subramani, and Randal E. Bryant. On Solving
Boolean Combinations of UTVPI Constraints. Journal on Satisfiability, Boolean Modeling and Computation (JSAT),
3(1-2):67–90, 2007.
Details
BibTeX
Download:
[pdf]
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, and Sanjit A. Seshia.
Modular Verification of Multithreaded Programs. Theoretical Computer Science, 338(1-3):153–183, 2005.
Details
BibTeX
Download:
[HTML]
Sanjit A. Seshia and Randal E. Bryant. Deciding Quantifier-Free
Presburger Formulas Using Parameterized Solution Bounds. Logical Methods in Computer Science, 1(2):1–26,
December 2005.
Details
BibTeX
Download:
[pdf]
[HTML]
A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, and R. K.
Shyamasundar. PERTS: A Graphical Environment for the Specification and Verification of Reactive Systems.
Journal of Reliability Engineering and System Safety, 71(3):299–310, 2001. (Corrigendum in vol. 72(2), page
223.)
Details
BibTeX
Download:
(unavailable)
Refereed Workshop Papers
Jeff C. Jensen, Edward A. Lee, and Sanjit A. Seshia. Virtualizing
Cyber-Physical Systems: Bringing CPS to Online Education. In Proc. First Workshop on CPS Education (CPS-Ed), April
2013.
Details
BibTeX
Download:
[pdf]
Susmit Jha and Sanjit A. Seshia. Synthesis of Optimal Fixed-Point
Implementations of Numerical Software Routines. In Proc. Sixth International Workshop on Numerical Software Verification
(NSV), April 2013.
Details
BibTeX
Download:
[pdf]
Wenchao Li, Susmit Jha, and Sanjit A. Seshia. Generating Control
Logic for Optimized Soft Error Resilience. In Proc. 9th Workshop on Silicon Errors in Logic - System Effects (SELSE),
March 2013.
Details
BibTeX
Download:
[pdf]
Saurabh Srivastava, Tim Hsiau, Sarah Chasins, Jonathan Kotker, Yen-Sheng Ho, Paul Ruan, Jeff Tsui, Stephi Hamilton,
Jene Li, J. Christopher Anderson, Sanjit A. Seshia, and Rastislav
Bodik. Biochemistry as a Programming Language. In Proc. Off the Beaten Track (OBT/POPL), January 2013.
Details
BibTeX
Download:
[pdf]
Dorsa Sadigh, Sanjit A. Seshia, and Mona Gupta. Automating Exercise
Generation: A Step towards Meeting the MOOC Challenge for Embedded Systems. In Proc. Workshop on Embedded Systems
Education (WESE), October 2012.
Details
BibTeX
Download:
[pdf]
Saurabh Srivastava, Jonathan Kotker, Stephi Hamilton, Paul Ruan, Jeff Tsui, J. Christopher Anderson, Rastislav Bodik,
and Sanjit A. Seshia. Pathway Synthesis Using the Act Ontology.
In Proceedings of the 4th International Workshop on Bio-Design Automation (IWBDA), June 2012.
Details
BibTeX
Download:
[pdf]
Edward A. Lee and Sanjit A. Seshia. An Introductory Textbook on
Cyber-Physical Systems. In Proc. Workshop on Embedded Systems Education (WESE), October 2010.
Details
BibTeX
Download:
[pdf]
Susmit Jha, Wenchao Li, and Sanjit A. Seshia. Localizing Transient
Faults Using Dynamic Bayesian Networks. In IEEE International High Level Design Validation and Test Workshop (HLDVT),
November 2009.
Details
BibTeX
Download:
[pdf]
Randal E. Bryant, Shuvendu K. Lahiri, and Sanjit A. Seshia. Deciding
CLU Logic Formulas via Boolean and Pseudo-Boolean Encodings. In Proc. Intl. Workshop on Constraints in Formal Verification,
September 2002. Associated with Intl. Conf. on Principles and Practice of Constraint Programming (CP'02)
Details
BibTeX
Download:
[pdf]
[ps]
Nicholas J. Hopper, Sanjit A. Seshia, and Jeannette M. Wing. A
Comparison and Combination of Theory Generation and Model Checking for Security Protocol Analysis. In Workshop on
Formal Methods in Computer Security (FMCS), July 2000. Associated with Intl. Conf. on Computer-Aided Verification (CAV'00)
Details
BibTeX
Download:
[pdf]
[ps]
Invited Papers and Tutorials
Sanjit A. Seshia. Verifying High-Confidence Interactive Systems:
Electronic Voting and Beyond. In 14th International Conference on Distributed Computing and Networking
(ICDCN), pp. 1–10, January 2013.
Details
BibTeX
Download:
[pdf]
Jeff C. Jensen, Edward A. Lee, and Sanjit A. Seshia. An Introductory
Capstone Design Course on Embedded Systems. In Proc. International Symposium on Circuits and Systems (ISCAS),
pp. 1199–1202, May 2011.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia. Quantitative Analysis of Software: Challenges and
Recent Advances. In 7th International Workshop on Formal Aspects of Component Software (FACS), October 2010.
Details
BibTeX
Download:
[pdf]
Subhasish Mitra, Sanjit A. Seshia, and Nicola Nicolici. Post-Silicon
Validation: Opportunities, Challenges and Recent Advances. In Proceedings of the Design Automation Conference (DAC),
pp. 12–17, June 2010.
Details
BibTeX
Download:
[pdf]
Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, and Jia Zou.
The Case for Timing-Centric Distributed Software. In Workshop on Cyber-Physical Systems, associated with 29th IEEE
International Conference on Distributed Computing Systems (ICDCS), pp. 57–64, IEEE Computer Society,
June 2009.
Details
BibTeX
Download:
[pdf]
Daniel Kroening and Sanjit A. Seshia. Formal Verification at Higher
Levels of Abstraction. In International Conference on Computer-Aided Design (ICCAD), pp. 572–578, IEEE
Press, November 2007.
Slides available in PDF
Details
BibTeX
Download:
[pdf]
Randal E. Bryant and Sanjit A. Seshia. Decision Procedures Customized
for Formal Verification. In 20th International Conference on Automated Deduction (CADE), pp. 255–259,
Lecture Notes in Computer Science 3632, Springer, July 2005.
Details
BibTeX
Download:
[pdf]
Technical Reports
Sanjit A. Seshia. Sciduction: Combining Induction, Deduction, and
Structure for Verification and Synthesis. Technical Report UCB/EECS-2011-68, EECS Department, University of California,
Berkeley, 2011.
Details
BibTeX
Download:
[pdf]
Daniel Holcomb, Wenchao Li, and Sanjit A. Seshia. Algorithms for
Green Buildings: Learning-Based Techniques for Energy Prediction and Fault Diagnosis. Technical Report UCB/EECS-2009-138,
EECS Department, University of California, Berkeley, 2009.
Details
BibTeX
Download:
[pdf]
[HTML]
John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, and
Jia Zou. Time-centric Models for Designing Embedded Cyber-Physical Systems. Technical Report UCB/EECS-2009-135,
EECS Department, UC Berkeley, 2009.
Details
BibTeX
Download:
[HTML]
Susmit Jha, Sanjit A. Seshia, and Rhishikesh Limaye. On the Computational
Complexity of Satisfiability Solving for String Theories. Technical Report UCB/EECS-2009-41, EECS Department, UC Berkeley,
2009.
Details
BibTeX
Download:
[HTML]
Sanjit A. Seshia, K. Subramani, and Randal E. Bryant. On Solving
Boolean Combinations of Generalized 2SAT Constraints. Technical Report CMU-CS-04-179, Carnegie Mellon University, 2004.
Details
BibTeX
Download:
[HTML]
V. Ganapathy, S. A. Seshia, S. Jha, T. W. Reps, and R. E. Bryant.
Automatic Discovery of API-Level Vulnerabilities. Technical Report 1512, CS Dept., Univ. of Wisconsin, 2004.
Details
BibTeX
Download:
[pdf]