Ranjit Jhala

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 Thomas A. Henzinger

> Home > Persons > Ranjit Jhala

Publications

2014
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/HenzingerJMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/HenzingerJMM14
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan:
Abstractions from proofs. ACM SIGPLAN Notices 49(4S): 79-91 (2014)
2012
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1207-1373
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-1373
Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Counterexample-guided Planning. CoRR abs/1207.1373 (2012)
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BeyerHJM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BeyerHJM07
Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
The software model checker Blast. Int. J. Softw. Tools Technol. Transf. 9(5-6): 505-525 (2007)
2005
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BeyerHJM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BeyerHJM05
Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Checking Memory Safety with Blast. FASE 2005: 2-18
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/HenzingerJM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/HenzingerJM05
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Permissive interfaces. ESEC/SIGSOFT FSE 2005: 31-40
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/HenzingerJM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/HenzingerJM05
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
The BLAST Software Verification System. SPIN 2005: 25-26
[c16]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/ChatterjeeHJM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/ChatterjeeHJM05
Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Counterexample-guided Planning. UAI 2005: 104-111
2004
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BeyerCM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BeyerCM04
Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Generating Tests from Counterexamples. ICSE 2004: 326-335
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/BeyerHJM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/BeyerHJM04
Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
An Eclipse Plug-in for Model Checking. IWPC 2004: 251-255
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/BeyerCHJM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/BeyerCHJM04
Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Invited talk: the blast query language for software verification. PEPM 2004: 201-202
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/HenzingerJM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/HenzingerJM04
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Race checking by context inference. PLDI 2004: 1-13
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/HenzingerJMM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/HenzingerJMM04
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan:
Abstractions from proofs. POPL 2004: 232-244
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/BeyerCHJM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/BeyerCHJM04
Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Invited talk: the blast query language for software verification. PPDP 2004: 1-2
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/BeyerCHJM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/BeyerCHJM04
Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
The Blast Query Language for Software Verification.. SAS 2004: 2-18
2003
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HenzingerJMS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HenzingerJMS03
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido:
Extreme Model Checking. Verification: Theory and Practice 2003: 332-358
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HenzingerJMQ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HenzingerJMQ03
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer:
Thread-Modular Abstraction Refinement. CAV 2003: 262-274
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/HenzingerJM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/HenzingerJM03
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Counterexample-Guided Control. ICALP 2003: 886-902
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/HenzingerJMS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/HenzingerJMS03
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre:
Software Verification with BLAST. SPIN 2003: 235-239
2002
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HenzingerJMNSW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HenzingerJMNSW02
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer:
Temporal-Safety Proofs for Systems Code. CAV 2002: 526-538
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/HenzingerJMS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/HenzingerJMS02
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre:
Lazy abstraction. POPL 2002: 58-70
2001
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlfaroHJ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlfaroHJ01
Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala:
Compositional Methods for Probabilistic Systems. CONCUR 2001: 351-365

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.