Shuvendu K. Lahiri

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Randal E. Bryant

> Home > Persons > Shuvendu K. Lahiri

Publications

2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/LahiriB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/LahiriB07
Shuvendu K. Lahiri, Randal E. Bryant:
Predicate abstraction with indexed predicates. ACM Trans. Comput. Log. 9(1): 4 (2007)
2004
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LahiriB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LahiriB04
Shuvendu K. Lahiri, Randal E. Bryant:
Indexed Predicate Discovery for Unbounded System Verification. CAV 2004: 135-147
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/LahiriBGT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LahiriBGT04
Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur:
Revisiting Positive Equality. TACAS 2004: 1-15
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/LahiriB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/LahiriB04
Shuvendu K. Lahiri, Randal E. Bryant:
Constructing Quantified Invariants via Predicate Abstraction. VMCAI 2004: 267-281
[i1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/cs-LO-0407006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0407006
Shuvendu K. Lahiri, Randal E. Bryant:
Predicate Abstraction with Indexed Predicates. CoRR cs.LO/0407006 (2004)
2003
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LahiriBC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LahiriBC03
Shuvendu K. Lahiri, Randal E. Bryant, Byron Cook:
A Symbolic Approach to Predicate Abstraction. CAV 2003: 141-153
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LahiriB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LahiriB03
Shuvendu K. Lahiri, Randal E. Bryant:
Deductive Verification of Advanced Out-of-Order Microprocessors. CAV 2003: 341-353
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/BryantLS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/BryantLS03
Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia:
Convergence Testing in Term-Level Bounded Model Checking. CHARME 2003: 348-362
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/SeshiaLB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/SeshiaLB03
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
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BryantLS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BryantLS02
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
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/LahiriSB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/LahiriSB02
Shuvendu K. Lahiri, Sanjit A. Seshia, Randal E. Bryant:
Modeling and Verification of Out-of-Order Microprocessors in UCLID. FMCAD 2002: 142-159

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.