Ofer Strichman

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 Sagar Chaki

> Home > Persons > Ofer Strichman

Publications

2017
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MorenoSCV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MorenoSCV17
Gabriel A. Moreno, Ofer Strichman, Sagar Chaki, Radislav Vaisman:
Decision-Making with Cross-Entropy for Self-Adaptation. SEAMS@ICSE 2017: 90-101
2015
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChakiGS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChakiGS15
Sagar Chaki, Arie Gurfinkel, Ofer Strichman:
Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation). Formal Methods Syst. Des. 47(3): 287-301 (2015)
2013
[c55]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/fmcad/ChakiGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/ChakiGS13
Sagar Chaki, Arie Gurfinkel, Ofer Strichman:
Verifying periodic programs with priority inheritance locks. FMCAD 2013: 137-144
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/ChakiGKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/ChakiGKS13
Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman:
Compositional Sequentialization of Periodic Programs. VMCAI 2013: 536-554
2012
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/ChakiGS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/ChakiGS12
Sagar Chaki, Arie Gurfinkel, Ofer Strichman:
Regression Verification for Multi-threaded Programs. VMCAI 2012: 119-135
2011
[c47]
- view
- export record
  dblp key:
  - conf/fmcad/ChakiGS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/ChakiGS11
Sagar Chaki, Arie Gurfinkel, Ofer Strichman:
Time-bounded analysis of real-time systems. FMCAD 2011: 72-80
2009
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/ChakiGS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/ChakiGS09
Sagar Chaki, Arie Gurfinkel, Ofer Strichman:
Decision diagrams for linear arithmetic. FMCAD 2009: 53-60
2008
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChakiS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChakiS08
Sagar Chaki, Ofer Strichman:
Three optimizations for Assume-Guarantee reasoning with L^*. Formal Methods Syst. Des. 32(3): 267-284 (2008)
2007
[c32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChakiS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChakiS07
Sagar Chaki, Ofer Strichman:
Optimized L*-Based Assume-Guarantee Reasoning. TACAS 2007: 276-291
2006
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/GroceCKS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/GroceCKS06
Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman:
Error explanation with distance metrics. Int. J. Softw. Tools Technol. Transf. 8(3): 229-247 (2006)
2004
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChakiCGOSY04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChakiCGOSY04
Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav:
Efficient Verification of Sequential and Concurrent C Programs. Formal Methods Syst. Des. 25(2-3): 129-166 (2004)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ChakiGS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ChakiGS04
Sagar Chaki, Alex Groce, Ofer Strichman:
Explaining abstract counterexamples. SIGSOFT FSE 2004: 73-82
2003
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/ChakiCGS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/ChakiCGS03
Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman:
Predicate Abstraction with Minimum Predicates. CHARME 2003: 19-34

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.