ask others

Tevfik Bultan

◀ ▶ joint publications with coauthor community group 2

> Home > Persons > Tevfik Bultan

Publications

2000
[j5]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/tosem/BultanGL00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tosem/BultanGL00
Tevfik Bultan, Richard Gerber, Christopher League:
Composite model-checking: verification with type-specific symbolic representations. ACM Trans. Softw. Eng. Methodol. 9(1): 3-50 (2000)
1999
[j4]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/toplas/BultanGP99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/BultanGP99
Tevfik Bultan, Richard Gerber, William Pugh:
Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. ACM Trans. Program. Lang. Syst. 21(4): 747-789 (1999)
1998
[c4]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/issta/BultanGL98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/BultanGL98
Tevfik Bultan, Richard Gerber, Christopher League:
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. ISSTA 1998: 113-123
1997
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/BultanGP97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/BultanGP97
Tevfik Bultan, Richard Gerber, William Pugh:
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic. CAV 1997: 400-411
1996
[c2]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/issta/BultanFG96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/BultanFG96
Tevfik Bultan, Jeffrey Fischer, Richard Gerber:
Compositional Verification by Model Checking for Counter-Examples. ISSTA 1996: 224-238

maintained by

at