|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 22 occurrences of 17 keywords
|
|
|
|
|
Results
Found 57 publication records. Showing 57 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou |
Distributed Real-Time Software for Cyber-Physical Systems.  |
Proceedings of the IEEE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjit A. Seshia |
Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Susmit Jha, Sanjit A. Seshia, Ashish Tiwari |
Synthesizing Switching Logic to Minimize Long-Run Cost |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wenchao Li, Lili Dworkin, Sanjit A. Seshia |
Mining assumptions for synthesis. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Susmit Jha, Sanjit A. Seshia, Ashish Tiwari |
Synthesis of optimal switching logic for hybrid systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjit A. Seshia, Jonathan Kotker |
GameTime: A Toolkit for Timing Analysis of Software. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Holcomb, Bryan A. Brady, Sanjit A. Seshia |
Abstraction-based performance verification of NoCs. |
DAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bryan A. Brady, Daniel Holcomb, Sanjit A. Seshia |
Counterexample-guided SMT-driven optimal buffer sizing. |
DATE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff C. Jensen, Edward A. Lee, Sanjit A. Seshia |
An introductory capstone design course on embedded systems. |
ISCAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia, John W. O'Leary |
ATLAS: Automatic Term-level abstraction of RTL designs. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjit A. Seshia |
Quantitative Analysis of Software: Challenges and Recent Advances. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli |
CalCS: SMT solving for non-linear convex constraints. |
FMCAD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Wenchao Li, Alessandro Forin, Sanjit A. Seshia |
Scalable specification mining for verification and diagnosis. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
error localization, verification, formal specification, debugging, diagnosis, assertions, post-silicon validation |
| 1 | Subhasish Mitra, Sanjit A. Seshia, Nicola Nicolici |
Post-silicon validation opportunities, challenges and recent advances. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
post-silicon validation |
| 1 | Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari |
Oracle-guided component-based program synthesis. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
oracle-based learning, SAT, program synthesis, SMT |
| 1 | Dave King 0002, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia |
Automating Security Mediation Placement. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye |
On the Computational Complexity of Satisfiability Solving for String Theories |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady |
An abstraction-based decision procedure for bit-vector arithmetic. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
Decision-procedures, Bit-vector |
| 1 | Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli |
Satisfiability Modulo Theories. |
Handbook of Satisfiability |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou |
The Case for Timing-Centric Distributed Software Invited Paper. |
ICDCS Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Susmit Jha, Wenchao Li, Sanjit A. Seshia |
Localizing transient faults using dynamic bayesian networks. |
HLDVT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
Optimizations of an application-level protocol for enhanced dependability in FlexRay. |
DATE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Daniel Holcomb, Wenchao Li, Sanjit A. Seshia |
Design as you see FIT: System-level soft error analysis of sequential circuits. |
DATE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia |
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, David Wagner |
On voting machine design for verification and testability. |
ACM Conference on Computer and Communications Security |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Wenchao Li, Sanjit A. Seshia |
A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance. |
FMCAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave King 0002, Trent Jaeger, Somesh Jha, Sanjit A. Seshia |
Effective blame for information-flow violations. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjit A. Seshia, Alexander Rakhlin |
Game-theoretic timing analysis. |
ICCAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjit A. Seshia, K. Subramani, Randal E. Bryant |
On Solving Boolean Combinations of UTVPI Constraints. |
JSAT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia |
Sketching stencils. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
sketching, SAT, stencil |
| 1 | Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady |
Deciding Bit-Vector Arithmetic with Abstraction. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Susmit Jha, Bryan A. Brady, Sanjit A. Seshia |
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjit A. Seshia |
Autonomic Reactive Systems via Online Learning. |
ICAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, Sanjit A. Seshia |
Interactive presentation: Automatic model generation for black box real-time systems. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjit A. Seshia, Wenchao Li, Subhasish Mitra |
Verification-guided soft error resilience. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia |
An Application ofWeb-Service Interfaces. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Kroening, Sanjit A. Seshia |
Formal verification at higher levels of abstraction. |
ICCAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat |
Combinatorial sketching for finite programs. |
ASPLOS |
2006 |
DBLP DOI BibTeX RDF |
sketching, SAT |
| 1 | Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia |
Modular verification of multithreaded programs. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjit A. Seshia, Randal E. Bryant |
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds. |
Logical Methods in Computer Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjit A. Seshia, Randal E. Bryant |
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Xiaodong Song, Randal E. Bryant |
Semantics-Aware Malware Detection. |
IEEE Symposium on Security and Privacy |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Randal E. Bryant, Sanjit A. Seshia |
Decision Procedures Customized for Formal Verification. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjit A. Seshia, Randal E. Bryant, Kenneth S. Stevens |
Modeling and Verifying Circuits Using Generalized Relative Timing. |
ASYNC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, Randal E. Bryant |
Automatic discovery of API-level exploits. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
API-level exploit, bounded model checking |
| 1 | Shuvendu K. Lahiri, Sanjit A. Seshia |
The UCLID Decision Procedure. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman |
Abstraction-Based Satisfiability Solving of Presburger Arithmetic. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjit A. Seshia, Randal E. Bryant |
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Bryant |
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
theorem proving, decision procedures, boolean satisfiability, design verification |
| 1 | Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia |
Convergence Testing in Term-Level Bounded Model Checking. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjit A. Seshia, Randal E. Bryant |
Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Sanjit A. Seshia, Randal E. Bryant |
Modeling and Verification of Out-of-Order Microprocessors in UCLID. |
FMCAD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ofer Strichman, Sanjit A. Seshia, Randal E. Bryant |
Deciding Separation Formulas with SAT. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia |
A Modular Checker for Multithreaded Programs. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia |
Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar |
A Graphical Environment for the Specification and Verification of Reactive Systems. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar |
A Translation of Statecharts to Esterel. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #57 of 57 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")