dblp.uni-trier.dewww.uni-trier.de

Tevfik Bultan Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
78EEGwen Salaün, Tevfik Bultan: Realizability of Choreographies Using Process Algebra Encodings. IFM 2009: 167-182
77EEFang Yu, Tevfik Bultan, Oscar H. Ibarra: Symbolic String Verification: Combining String Analysis and Size Analysis. TACAS 2009: 322-336
2008
76 Tevfik Bultan, Tao Xie: Proceedings of the 2008 Workshop on Testing, Analysis, and Verification of Web Services and Applications, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), TAV-WEB 2008, Seattle, Washington, USA, July 21, 2008 ACM 2008
75EETevfik Bultan: Service Choreography and Orchestration with Conversations. CONCUR 2008: 2-3
74EETevfik Bultan, Tao Xie: Workshop on testing, analysis and verification of web software (TAV-WEB 2008). ISSTA 2008: 311-312
73EEFang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan: Modular verification of web services using efficient symbolic encoding and summarization. SIGSOFT FSE 2008: 192-202
72EEFang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra: Symbolic String Verification: An Automata-Based Approach. SPIN 2008: 306-324
71EEGraham Hughes, Tevfik Bultan, Muath Alkhalaf: Client and server verification for web services using interface grammars. TAV-WEB 2008: 40-46
70EETevfik Bultan, Xiang Fu: Choreography Modeling and Analysis with Collaboration Diagrams. IEEE Data Eng. Bull. 31(3): 27-30 (2008)
69EEGraham Hughes, Tevfik Bultan: Interface Grammars for Modular Software Model Checking. IEEE Trans. Software Eng. 34(5): 614-632 (2008)
68EEGraham Hughes, Tevfik Bultan: Automated verification of access control policies using a SAT solver. STTT 10(6): 503-520 (2008)
67EETevfik Bultan, Xiang Fu: Specification of realizable service conversations using collaboration diagrams. Service Oriented Computing and Applications 2(1): 27-39 (2008)
2007
66EEElliot Barlas, Tevfik Bultan: Netstub: a framework for verification of distributed java applications. ASE 2007: 24-33
65EEFang Yu, Tevfik Bultan, Erik Peterson: Automated size analysis for OCL. ESEC/SIGSOFT FSE 2007: 331-340
64EEGraham Hughes, Tevfik Bultan: Interface grammars for modular software model checking. ISSTA 2007: 39-49
63EETevfik Bultan, Xiang Fu: Specification of Realizable Service Conversations Using Collaboration Diagrams. SOCA 2007: 122-132
62EEJianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao: Towards a Theory of Web Service Choreographies. WS-FM 2007: 1-16
61EETevfik Bultan, Xiang Fu, Jianwen Su: Analyzing Conversations: Realizability, Synchronizability, and Verification. Test and Analysis of Web Services 2007: 57-85
60EEAysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp: Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. Autom. Softw. Eng. 14(2): 129-178 (2007)
59EEMikael Lindvall, Ioana Rus, Paolo Donzelli, Atif M. Memon, Marvin V. Zelkowitz, Aysu Betin-Can, Tevfik Bultan, Christopher Ackermann, Bettina Anders, Sima Asgari, Victor R. Basili, Lorin Hochstein, Jörg Fellmann, Forrest Shull, Roseanne Tesoriero Tvedt, Daniel Pech, Daniel Hirschbach: Experimenting with software testbeds for evaluating new technologies. Empirical Software Engineering 12(4): 417-444 (2007)
58EEAysu Betin-Can, Tevfik Bultan: Highly dependable concurrent programming using design for verification. Formal Asp. Comput. 19(2): 243-268 (2007)
2006
57 Tevfik Bultan: Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), TAV-WEB 2006, Portland, Maine, USA, July 17, 2006 ACM 2006
56EETevfik Bultan, Constance L. Heitmeyer: Analyzing tabular requirements specifications using infinite state model checking. MEMOCODE 2006: 7-16
55EETevfik Bultan, Jianwen Su, Xiang Fu: Analyzing Conversations of Web Services. IEEE Internet Computing 10(1): 18-25 (2006)
54EEConstantinos Bartzis, Tevfik Bultan: Efficient BDDs for bounded arithmetic constraints. STTT 8(1): 26-36 (2006)
2005
53EEAysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp: Application of design for verification with concurrency controllers to air traffic control software. ASE 2005: 14-23
52EETuba Yavuz-Kahveci, Constantinos Bartzis, Tevfik Bultan: Action Language Verifier, Extended. CAV 2005: 413-417
51EEAysu Betin-Can, Tevfik Bultan: Verifiable Web Services with Hierarchical Interfaces. ICWS 2005: 85-94
50EETevfik Bultan, Constance L. Heitmeyer, John O'Leary: Panel on design for verification. MEMOCODE 2005: 232-235
49EETuba Yavuz-Kahveci, Tevfik Bultan: Verification of parameterized hierarchical state machines using action language verifier. MEMOCODE 2005: 79-88
48EETevfik Bultan, Aysu Betin-Can: Scalable Software Model Checking Using Design for Verification. VSTTE 2005: 337-346
47EEAysu Betin-Can, Tevfik Bultan, Xiang Fu: Design for verification for asynchronously communicating Web services. WWW 2005: 750-759
46EEShriram Krishnamurthi, Tevfik Bultan: Discussion summary: characteristics of web services and their impact on testing, analysis and verification. ACM SIGSOFT Software Engineering Notes 30(1): 5 (2005)
45EEXiang Fu, Tevfik Bultan, Jianwen Su: Synchronizability of Conversations among Web Services. IEEE Trans. Software Eng. 31(12): 1042-1055 (2005)
44EEXiang Fu, Tevfik Bultan, Jianwen Su: Realizability of Conversation Protocols with Message Contents. Int. J. Web Service Res. 2(4): 68-93 (2005)
2004
43EEAysu Betin-Can, Tevfik Bultan: Verifiable Concurrent Programming Using Concurrency Controllers. ASE 2004: 248-257
42EETevfik Bultan, Xiang Fu, Jianwen Su: Tools for Automated Verification of Web Services. ATVA 2004: 8-10
41EEConstantinos Bartzis, Tevfik Bultan: Widening Arithmetic Automata. CAV 2004: 321-333
40EEXiang Fu, Tevfik Bultan, Jianwen Su: WSAT: A Tool for Formal Analysis of Web Services. CAV 2004: 510-514
39EEXiang Fu, Tevfik Bultan, Jianwen Su: Realizability of Conversation Protocols With Message Contents. ICWS 2004: 96-
38EEXiang Fu, Tevfik Bultan, Jianwen Su: Model checking XML manipulating software. ISSTA 2004: 252-262
37EESandeep K. Shukla, Tevfik Bultan, Constance L. Heitmeyer: Panel: given that hardware verification has been an uphill battle, what is the future of software verification? MEMOCODE 2004: 157-158
36EEXiang Fu, Tevfik Bultan, Jianwen Su: Analysis of interacting BPEL web services. WWW 2004: 621-630
35EEZhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer: Past pushdown timed automata and safety verification. Theor. Comput. Sci. 313(1): 57-71 (2004)
34EEXiang Fu, Tevfik Bultan, Jianwen Su: Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci. 328(1-2): 19-37 (2004)
2003
33EEConstantinos Bartzis, Tevfik Bultan: Efficient Image Computation in Infinite State Model Checking. CAV 2003: 249-261
32EEXiang Fu, Tevfik Bultan, Jianwen Su: Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. CIAA 2003: 188-200
31EEConstantinos Bartzis, Tevfik Bultan: Construction of Efficient BDDs for Bounded Arithmetic Constraints. TACAS 2003: 394-408
30EETevfik Bultan, Xiang Fu, Richard Hull, Jianwen Su: Conversation specification: a new approach to design and analysis of e-service composition. WWW 2003: 403-410
29EEAysu Betin-Can, Tevfik Bultan: Interface-Based Specification and Verification of Concurrency Controllers. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
28EEConstantinos Bartzis, Tevfik Bultan: Efficient Symbolic Representations for Arithmetic Constraints in Verification. Int. J. Found. Comput. Sci. 14(4): 605-624 (2003)
27EETuba Yavuz-Kahveci, Tevfik Bultan: A symbolic manipulator for automated verification of reactive systems with heterogeneous data types. STTT 5(1): 15-33 (2003)
2002
26EEConstantinos Bartzis, Tevfik Bultan: Automata-Based Representations for Arithmetic Constraints in Automated Verification. CIAA 2002: 282-288
25EETuba Yavuz-Kahveci, Tevfik Bultan: Heuristics for Efficient Manipulation of Composite Constraints. FroCos 2002: 57-71
24EETuba Yavuz-Kahveci, Tevfik Bultan: Specification, verification, and synthesis of concurrency control components. ISSTA 2002: 169-179
23EETuba Yavuz-Kahveci, Tevfik Bultan: Automated Verification of Concurrent Linked Lists with Counters. SAS 2002: 69-84
22EEXiang Fu, Tevfik Bultan, Jianwen Su: Formal Verification of e-Services and Workflows. WES 2002: 188-202
21 Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer: Counter Machines and Verification Problems. Theor. Comput. Sci. 289(1): 165-189 (2002)
2001
20EETevfik Bultan, Tuba Yavuz-Kahveci: Action Language Verifier. ASE 2001: 382-386
19EEZhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer: Past Pushdown Timed Automata. CIAA 2001: 74-86
18EEGiorgio Delzanno, Tevfik Bultan: Constraint-Based Verification of Client-Server Protocols. CP 2001: 286-301
17EEXiang Fu, Tevfik Bultan, Richard Hull, Jianwen Su: Verification of Vortex Workflows. TACAS 2001: 143-157
16EETuba Yavuz-Kahveci, Murat Tuncer, Tevfik Bultan: A Library for Composite Symbolic Representations. TACAS 2001: 52-66
15 Oscar H. Ibarra, Tevfik Bultan, Jianwen Su: On Reachability and Safety in Infinite-State Systems. Int. J. Found. Comput. Sci. 12(6): 821-836 (2001)
2000
14 Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su: Binary Reachability Analysis of Discrete Pushdown Timed Automata. CAV 2000: 69-84
13EEOscar H. Ibarra, Tevfik Bultan, Jianwen Su: Reachability Analysis for Some Models of Infinite-State Transition Systems. CONCUR 2000: 183-198
12EETevfik Bultan: Action Language: a specification language for model checking reactive systems. ICSE 2000: 335-344
11EEOscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer: Conter Machines: Decidable Properties and Applications to Verification Problems. MFCS 2000: 426-435
10EETevfik Bultan: BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems. TACAS 2000: 441-455
9EETevfik 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
8EETevfik 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
7EETevfik Bultan, Richard Gerber, Christopher League: Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. ISSTA 1998: 113-123
6EECevdet Aykanat, Tevfik Bultan, Ismail Haritaoglu: A fast neural-network algorithm for VLSI cell placement. Neural Networks 11(9): 1671-1684 (1998)
1997
5EETevfik Bultan, Richard Gerber, William Pugh: Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic. CAV 1997: 400-411
1996
4EETevfik Bultan, Jeffrey Fischer, Richard Gerber: Compositional Verification by Model Checking for Counter-Examples. ISSTA 1996: 224-238
1995
3EETevfik Bultan, Cevdet Aykanat: Circuit partitioning using mean field annealing. Neurocomputing 8(2): 171-194 (1995)
1992
2 Tevfik Bultan, Cevdet Aykanat: A New Mapping Heuristic Based on Mean Field Annealing. J. Parallel Distrib. Comput. 16(4): 292-305 (1992)
1991
1EETevfik Bultan, Cevdet Aykanat: Circuit partitioning using parallel mean field annealing algorithms. SPDP 1991: 534-541

Coauthor Index

1Christopher Ackermann [59]
2Muath Alkhalaf [71]
3Bettina Anders [59]
4Sima Asgari [59]
5Cevdet Aykanat [1] [2] [3] [6]
6Elliot Barlas [66]
7Constantinos Bartzis [26] [28] [31] [33] [41] [52] [54]
8Victor R. Basili [59]
9Aysu Betin-Can [29] [43] [47] [48] [51] [53] [58] [59] [60]
10Marco Cova [72]
11Zhe Dang [11] [14] [19] [21] [35]
12Giorgio Delzanno [18]
13Paolo Donzelli [59]
14Jörg Fellmann [59]
15Jeffrey Fischer [4]
16Xiang Fu [17] [22] [30] [32] [34] [36] [38] [39] [40] [42] [44] [45] [47] [55] [61] [62] [63] [67] [70]
17Richard Gerber [4] [5] [7] [8] [9]
18Aarti Gupta [73]
19Ismail Haritaoglu [6]
20Constance L. Heitmeyer (Connie Heitmeyer) [37] [50] [56]
21Daniel Hirschbach [59]
22Lorin Hochstein [59]
23Graham Hughes [64] [68] [69] [71]
24Richard Hull [17] [30]
25Oscar H. Ibarra [11] [13] [14] [15] [19] [21] [35] [72] [77]
26Richard A. Kemmerer [11] [14] [19] [21] [35]
27Shriram Krishnamurthi [46]
28Christopher League [7] [9]
29Mikael Lindvall [53] [59] [60]
30Benjamin Lux [53] [60]
31Atif M. Memon [59]
32John O'Leary [50]
33Daniel Pech [59]
34Erik Peterson [65]
35William Pugh [5] [8]
36Ioana Rus [59]
37Gwen Salaün [78]
38Sandeep K. Shukla [37]
39Forrest Shull [59]
40Jianwen Su [11] [13] [14] [15] [17] [21] [22] [30] [32] [34] [36] [38] [39] [40] [42] [44] [45] [55] [61] [62]
41Stefan Topp [53] [60]
42Murat Tuncer [16]
43Roseanne Tesoriero Tvedt (Roseanne Tesoriero) [59]
44Chao Wang [73]
45Tao Xie [74] [76]
46Tuba Yavuz-Kahveci [16] [20] [23] [24] [25] [27] [49] [52]
47Fang Yu [65] [72] [73] [77]
48Marvin V. Zelkowitz [59]
49Xiangpeng Zhao [62]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)