2009 |
32 | EE | Susmit Jha,
Sanjit A. Seshia,
Rhishikesh Limaye:
On the Computational Complexity of Satisfiability Solving for String Theories
CoRR abs/0903.2825: (2009) |
2008 |
31 | EE | Sanjit A. Seshia,
Alexander Rakhlin:
Game-theoretic timing analysis.
ICCAD 2008: 575-582 |
30 | EE | Dave King,
Trent Jaeger,
Somesh Jha,
Sanjit A. Seshia:
Effective blame for information-flow violations.
SIGSOFT FSE 2008: 250-260 |
2007 |
29 | EE | Sanjit A. Seshia,
Wenchao Li,
Subhasish Mitra:
Verification-guided soft error resilience.
DATE 2007: 1442-1447 |
28 | EE | 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: 930-935 |
27 | EE | Susmit Jha,
Bryan A. Brady,
Sanjit A. Seshia:
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.
FORMATS 2007: 241-256 |
26 | EE | Sanjit A. Seshia:
Autonomic Reactive Systems via Online Learning.
ICAC 2007: 30 |
25 | EE | Daniel Kroening,
Sanjit A. Seshia:
Formal verification at higher levels of abstraction.
ICCAD 2007: 572-578 |
24 | EE | Dirk Beyer,
Arindam Chakrabarti,
Thomas A. Henzinger,
Sanjit A. Seshia:
An Application ofWeb-Service Interfaces.
ICWS 2007: 831-838 |
23 | EE | Armando Solar-Lezama,
Gilad Arnold,
Liviu Tancau,
Rastislav Bodík,
Vijay A. Saraswat,
Sanjit A. Seshia:
Sketching stencils.
PLDI 2007: 167-178 |
22 | EE | Randal E. Bryant,
Daniel Kroening,
Joël Ouaknine,
Sanjit A. Seshia,
Ofer Strichman,
Bryan A. Brady:
Deciding Bit-Vector Arithmetic with Abstraction.
TACAS 2007: 358-372 |
21 | EE | Sanjit A. Seshia,
K. Subramani,
Randal E. Bryant:
On Solving Boolean Combinations of UTVPI Constraints.
JSAT 3(1-2): 67-90 (2007) |
2006 |
20 | EE | Armando Solar-Lezama,
Liviu Tancau,
Rastislav Bodík,
Sanjit A. Seshia,
Vijay A. Saraswat:
Combinatorial sketching for finite programs.
ASPLOS 2006: 404-415 |
2005 |
19 | EE | Sanjit A. Seshia,
Randal E. Bryant,
Kenneth S. Stevens:
Modeling and Verifying Circuits Using Generalized Relative Timing.
ASYNC 2005: 98-108 |
18 | EE | Randal E. Bryant,
Sanjit A. Seshia:
Decision Procedures Customized for Formal Verification.
CADE 2005: 255-259 |
17 | EE | Vinod Ganapathy,
Sanjit A. Seshia,
Somesh Jha,
Thomas W. Reps,
Randal E. Bryant:
Automatic discovery of API-level exploits.
ICSE 2005: 312-321 |
16 | EE | Mihai Christodorescu,
Somesh Jha,
Sanjit A. Seshia,
Dawn Xiaodong Song,
Randal E. Bryant:
Semantics-Aware Malware Detection.
IEEE Symposium on Security and Privacy 2005: 32-46 |
15 | EE | Sanjit A. Seshia,
Randal E. Bryant:
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds
CoRR abs/cs/0508044: (2005) |
14 | EE | Sanjit A. Seshia,
Randal E. Bryant:
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds.
Logical Methods in Computer Science 1(2): (2005) |
13 | EE | Cormac Flanagan,
Stephen N. Freund,
Shaz Qadeer,
Sanjit A. Seshia:
Modular verification of multithreaded programs.
Theor. Comput. Sci. 338(1-3): 153-183 (2005) |
2004 |
12 | EE | Daniel Kroening,
Joël Ouaknine,
Sanjit A. Seshia,
Ofer Strichman:
Abstraction-Based Satisfiability Solving of Presburger Arithmetic.
CAV 2004: 308-320 |
11 | EE | Shuvendu K. Lahiri,
Sanjit A. Seshia:
The UCLID Decision Procedure.
CAV 2004: 475-478 |
10 | EE | Sanjit A. Seshia,
Randal E. Bryant:
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds.
LICS 2004: 100-109 |
2003 |
9 | EE | Sanjit A. Seshia,
Randal E. Bryant:
Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods.
CAV 2003: 154-166 |
8 | EE | Randal E. Bryant,
Shuvendu K. Lahiri,
Sanjit A. Seshia:
Convergence Testing in Term-Level Bounded Model Checking.
CHARME 2003: 348-362 |
7 | EE | Sanjit A. Seshia,
Shuvendu K. Lahiri,
Randal E. Bryant:
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions.
DAC 2003: 425-430 |
2002 |
6 | EE | Cormac Flanagan,
Shaz Qadeer,
Sanjit A. Seshia:
A Modular Checker for Multithreaded Programs.
CAV 2002: 180-194 |
5 | EE | Ofer Strichman,
Sanjit A. Seshia,
Randal E. Bryant:
Deciding Separation Formulas with SAT.
CAV 2002: 209-222 |
4 | EE | 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: 78-92 |
3 | EE | Shuvendu K. Lahiri,
Sanjit A. Seshia,
Randal E. Bryant:
Modeling and Verification of Out-of-Order Microprocessors in UCLID.
FMCAD 2002: 142-159 |
1999 |
2 | EE | 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: 431-444 |
1 | EE | Sanjit A. Seshia,
R. K. Shyamasundar,
A. K. Bhattacharjee,
S. D. Dhodapkar:
A Translation of Statecharts to Esterel.
World Congress on Formal Methods 1999: 983-1007 |