Tevfik Bultan - Publications

Publications After 1999

1999

• Tevfik Bultan, Richard Gerber and William Pugh. "Model-Checking 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. 747-789, July 1999.   ps

1998

• Tevfik Bultan and Richard Gerber. "Composite Model Checking with Type Specific Symbolic Encodings." Technical Report CS-TR-3871, UMIACS-TR-98-08. 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. 113-123, Clearwater Beach, Florida, March 2-5, 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. 1671-1684, 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. 400-411, Springer, Haifa, Israel, June 22-25, 1997.   ps   pdf

1996

• Tevfik Bultan, Jeffrey Fischer and Richard Gerber. "Compositional Verification by Model Checking for Counter-Examples." In Proceedings of the 1996 ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 1996), San Diego, California, pp. 224-238, January 8-10, 1996.   ps   pdf

1995

• Tevfik Bultan and Cevdet Aykanat. "Circuit Partitioning Using Mean Field Annealing." Neurocomputing, vol. 8, pp. 171-194, 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. 292-305, 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. 271-308, 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. 534-541, 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. 591-596, North-Holland, Amsterdam, The Netherlands, 1991.

Theses