Tevfik Bultan  Publications
1999

Tevfik Bultan, Richard Gerber and William Pugh.
"ModelChecking Concurrent Systems with Unbounded Integer Variables:
Symbolic Representations, Approximations, and Experimental Results."
ACM Transactions on Programming Languages and Systems (TOPLAS),
vol. 21, no. 4, pp. 747789, July 1999.
ps
1998

Tevfik Bultan and Richard Gerber.
"Composite Model Checking with Type Specific Symbolic Encodings."
Technical Report CSTR3871, UMIACSTR9808.
Department of Computer Science,
University of Maryland, College Park, February 1998.
ps
pdf

Tevfik Bultan, Richard Gerber and Christopher League.
"Verifying Systems with Integer Constraints and Boolean Predicates:
A Composite Approach."
In Proceedings of the 1998 ACM/SIGSOFT International
Symposium on Software Testing and Analysis (ISSTA 1998),
pp. 113123, Clearwater Beach, Florida, March 25, 1998.
ps
pdf

Cevdet Aykanat, Tevfik Bultan, and Ismail Haritaoglu.
"A Fast Neural Network Algorithm for VLSI Cell Placement."
Neural Networks, vol. 11, no. 9, pp. 16711684, December 1998.
ps
pdf
1997

Tevfik Bultan, Richard Gerber and William Pugh.
"Symbolic Model Checking of Infinite State Systems Using Presburger
Arithmetic."
In Proceedings of the
9th International Conference on Computer Aided Verification (CAV 1997),
Orna Grumberg, ed.,
LNCS 1254, pp. 400411, Springer, Haifa, Israel, June 2225, 1997.
ps
pdf
1996

Tevfik Bultan, Jeffrey Fischer and Richard Gerber.
"Compositional Verification by Model Checking for CounterExamples."
In
Proceedings of the 1996 ACM/SIGSOFT International Symposium on Software
Testing and Analysis (ISSTA 1996),
San Diego, California, pp. 224238, January 810, 1996.
ps
pdf
1995

Tevfik Bultan and Cevdet Aykanat.
"Circuit Partitioning Using Mean Field Annealing."
Neurocomputing,
vol. 8, pp. 171194, 1995.
ps
pdf
1992

Tevfik Bultan and Cevdet Aykanat.
"A New Mapping Heuristic Based on Mean Field Annealing."
Journal of Parallel and Distributed Computing (JPDC),
vol. 16, pp. 292305, December 1992.
ps
pdf

Tevfik Bultan and Cevdet Aykanat.
"A Mean Field Annealing Algorithm for the Mapping Problem."
In
Proceedings of the Intel Technology Focus Conference,
Timberline, Oregon,
pp. 271308, April 1992.
1991

Tevfik Bultan and Cevdet Aykanat.
"Circuit Partitioning Using Parallel Mean Field Annealing Algorithms."
In
Proceedings of the Third IEEE Symposium on Parallel and Distributed
Processing (SPDP 1991),
Dallas, Texas, pp. 534541, December 1991.

Tevfik Bultan and Cevdet Aykanat.
"Parallel Mean Field Algorithms for the Solution of Combinatorial
Optimization Problems."
In
Artificial Neural Networks:
Proceedings of the 1991 International
Conference on Artificial Neural Networks (ICANN 1991),
T. Kohonen, ed.,
vol. 1, pp. 591596,
NorthHolland, Amsterdam, The Netherlands, 1991.
Theses
Tevfik Bultan.
"Automated Symbolic Analysis of Reactive Systems,"
Ph.D. Dissertation,
Department of Computer Science,
University of Maryland, College Park, August 1998.
ps
Tevfik Bultan.
"Parallel Mapping and Circuit Partitioning Heuristics Based on
Mean Field Annealing."
M.S. Thesis
,
Bilkent University, Department of Computer Engineering
and Information Science, January 1992.