The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tevfik Bultan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tevfik Bultan, Xiang Fu, Jianwen Su
    Tools for Automated Verification of Web Services. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:8-10 [Conf]
  2. Constantinos Bartzis, Tevfik Bultan
    Efficient Image Computation in Infinite State Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:249-261 [Conf]
  3. Constantinos Bartzis, Tevfik Bultan
    Widening Arithmetic Automata. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:321-333 [Conf]
  4. Tevfik Bultan, Richard Gerber, William Pugh
    Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:400-411 [Conf]
  5. Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su
    Binary Reachability Analysis of Discrete Pushdown Timed Automata. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:69-84 [Conf]
  6. Xiang Fu, Tevfik Bultan, Jianwen Su
    WSAT: A Tool for Formal Analysis of Web Services. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:510-514 [Conf]
  7. Tuba Yavuz-Kahveci, Constantinos Bartzis, Tevfik Bultan
    Action Language Verifier, Extended. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:413-417 [Conf]
  8. Oscar H. Ibarra, Tevfik Bultan, Jianwen Su
    Reachability Analysis for Some Models of Infinite-State Transition Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:183-198 [Conf]
  9. Giorgio Delzanno, Tevfik Bultan
    Constraint-Based Verification of Client-Server Protocols. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:286-301 [Conf]
  10. Tuba Yavuz-Kahveci, Tevfik Bultan
    Heuristics for Efficient Manipulation of Composite Constraints. [Citation Graph (0, 0)][DBLP]
    FroCos, 2002, pp:57-71 [Conf]
  11. Tevfik Bultan
    Action Language: a specification language for model checking reactive systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:335-344 [Conf]
  12. Aysu Betin-Can, Tevfik Bultan
    Verifiable Web Services with Hierarchical Interfaces. [Citation Graph (0, 0)][DBLP]
    ICWS, 2005, pp:85-94 [Conf]
  13. Xiang Fu, Tevfik Bultan, Jianwen Su
    Realizability of Conversation Protocols With Message Contents. [Citation Graph (0, 0)][DBLP]
    ICWS, 2004, pp:96-0 [Conf]
  14. Xiang Fu, Tevfik Bultan, Jianwen Su
    Model checking XML manipulating software. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:252-262 [Conf]
  15. Tevfik Bultan, Jeffrey Fischer, Richard Gerber
    Compositional Verification by Model Checking for Counter-Examples. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:224-238 [Conf]
  16. Tevfik Bultan, Richard Gerber, Christopher League
    Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:113-123 [Conf]
  17. Tuba Yavuz-Kahveci, Tevfik Bultan
    Specification, verification, and synthesis of concurrency control components. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:169-179 [Conf]
  18. Tevfik Bultan, Tuba Yavuz-Kahveci
    Action Language Verifier. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:382-386 [Conf]
  19. Aysu Betin-Can, Tevfik Bultan
    Verifiable Concurrent Programming Using Concurrency Controllers. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:248-257 [Conf]
  20. Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp
    Application of design for verification with concurrency controllers to air traffic control software. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:14-23 [Conf]
  21. Sandeep K. Shukla, Tevfik Bultan, Constance L. Heitmeyer
    Panel: given that hardware verification has been an uphill battle, what is the future of software verification? [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2004, pp:157-158 [Conf]
  22. Tevfik Bultan, Constance L. Heitmeyer, John O'Leary
    Panel on design for verification. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2005, pp:232-235 [Conf]
  23. Tuba Yavuz-Kahveci, Tevfik Bultan
    Verification of parameterized hierarchical state machines using action language verifier. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2005, pp:79-88 [Conf]
  24. Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer
    Conter Machines: Decidable Properties and Applications to Verification Problems. [Citation Graph (0, 0)][DBLP]
    MFCS, 2000, pp:426-435 [Conf]
  25. Tuba Yavuz-Kahveci, Tevfik Bultan
    Automated Verification of Concurrent Linked Lists with Counters. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:69-84 [Conf]
  26. Tevfik Bultan
    BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:441-455 [Conf]
  27. Constantinos Bartzis, Tevfik Bultan
    Construction of Efficient BDDs for Bounded Arithmetic Constraints. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:394-408 [Conf]
  28. Xiang Fu, Tevfik Bultan, Richard Hull, Jianwen Su
    Verification of Vortex Workflows. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:143-157 [Conf]
  29. Tuba Yavuz-Kahveci, Murat Tuncer, Tevfik Bultan
    A Library for Composite Symbolic Representations. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:52-66 [Conf]
  30. Xiang Fu, Tevfik Bultan, Jianwen Su
    Formal Verification of e-Services and Workflows. [Citation Graph (0, 0)][DBLP]
    WES, 2002, pp:188-202 [Conf]
  31. Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer
    Past Pushdown Timed Automata. [Citation Graph (0, 0)][DBLP]
    CIAA, 2001, pp:74-86 [Conf]
  32. Constantinos Bartzis, Tevfik Bultan
    Automata-Based Representations for Arithmetic Constraints in Automated Verification. [Citation Graph (0, 0)][DBLP]
    CIAA, 2002, pp:282-288 [Conf]
  33. Xiang Fu, Tevfik Bultan, Jianwen Su
    Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. [Citation Graph (0, 0)][DBLP]
    CIAA, 2003, pp:188-200 [Conf]
  34. Aysu Betin-Can, Tevfik Bultan, Xiang Fu
    Design for verification for asynchronously communicating Web services. [Citation Graph (0, 0)][DBLP]
    WWW, 2005, pp:750-759 [Conf]
  35. Tevfik Bultan, Xiang Fu, Richard Hull, Jianwen Su
    Conversation specification: a new approach to design and analysis of e-service composition. [Citation Graph (0, 0)][DBLP]
    WWW, 2003, pp:403-410 [Conf]
  36. Xiang Fu, Tevfik Bultan, Jianwen Su
    Analysis of interacting BPEL web services. [Citation Graph (0, 0)][DBLP]
    WWW, 2004, pp:621-630 [Conf]
  37. Aysu Betin-Can, Tevfik Bultan
    Interface-Based Specification and Verification of Concurrency Controllers. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
  38. Constantinos Bartzis, Tevfik Bultan
    Efficient Symbolic Representations for Arithmetic Constraints in Verification. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:605-624 [Journal]
  39. Oscar H. Ibarra, Tevfik Bultan, Jianwen Su
    On Reachability and Safety in Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2001, v:12, n:6, pp:821-836 [Journal]
  40. Tevfik Bultan, Cevdet Aykanat
    Circuit partitioning using mean field annealing. [Citation Graph (0, 0)][DBLP]
    Neurocomputing, 1995, v:8, n:2, pp:171-194 [Journal]
  41. Tevfik Bultan, Jianwen Su, Xiang Fu
    Analyzing Conversations of Web Services. [Citation Graph (0, 0)][DBLP]
    IEEE Internet Computing, 2006, v:10, n:1, pp:18-25 [Journal]
  42. Tevfik Bultan, Cevdet Aykanat
    A New Mapping Heuristic Based on Mean Field Annealing. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1992, v:16, n:4, pp:292-305 [Journal]
  43. Cevdet Aykanat, Tevfik Bultan, Ismail Haritaoglu
    A fast neural-network algorithm for VLSI cell placement. [Citation Graph (0, 0)][DBLP]
    Neural Networks, 1998, v:11, n:9, pp:1671-1684 [Journal]
  44. Tuba Yavuz-Kahveci, Tevfik Bultan
    A symbolic manipulator for automated verification of reactive systems with heterogeneous data types. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:5, n:1, pp:15-33 [Journal]
  45. Constantinos Bartzis, Tevfik Bultan
    Efficient BDDs for bounded arithmetic constraints. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:1, pp:26-36 [Journal]
  46. Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer
    Past pushdown timed automata and safety verification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:313, n:1, pp:57-71 [Journal]
  47. Xiang Fu, Tevfik Bultan, Jianwen Su
    Conversation protocols: a formalism for specification and verification of reactive electronic services. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:328, n:1-2, pp:19-37 [Journal]
  48. Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer
    Counter Machines and Verification Problems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:289, n:1, pp:165-189 [Journal]
  49. Tevfik Bultan, Richard Gerber, William Pugh
    Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1999, v:21, n:4, pp:747-789 [Journal]
  50. Tevfik Bultan, Richard Gerber, Christopher League
    Composite model-checking: verification with type-specific symbolic representations. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2000, v:9, n:1, pp:3-50 [Journal]
  51. Xiang Fu, Tevfik Bultan, Jianwen Su
    Synchronizability of Conversations among Web Services. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2005, v:31, n:12, pp:1042-1055 [Journal]
  52. Graham Hughes, Tevfik Bultan
    Interface grammars for modular software model checking. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2007, pp:39-49 [Conf]
  53. Tevfik Bultan, Constance L. Heitmeyer
    Analyzing tabular requirements specifications using infinite state model checking. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2006, pp:7-16 [Conf]
  54. Fang Yu, Tevfik Bultan, Erik Peterson
    Automated size analysis for OCL. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:331-340 [Conf]
  55. Aysu 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. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2007, v:14, n:2, pp:129-178 [Journal]
  56. Mikael 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. [Citation Graph (0, 0)][DBLP]
    Empirical Software Engineering, 2007, v:12, n:4, pp:417-444 [Journal]
  57. Aysu Betin-Can, Tevfik Bultan
    Highly dependable concurrent programming using design for verification. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2007, v:19, n:2, pp:243-268 [Journal]

  58. Service Choreography and Orchestration with Conversations. [Citation Graph (, )][DBLP]


  59. Generating Interface Grammars from WSDL for Automated Verification of Web Services. [Citation Graph (, )][DBLP]


  60. A Tool for Choreography Analysis Using Collaboration Diagrams. [Citation Graph (, )][DBLP]


  61. Realizability of Choreographies Using Process Algebra Encodings. [Citation Graph (, )][DBLP]


  62. Workshop on testing, analysis and verification of web software (TAV-WEB 2008). [Citation Graph (, )][DBLP]


  63. Client and server verification for web services using interface grammars. [Citation Graph (, )][DBLP]


  64. Analyzing singularity channel contracts. [Citation Graph (, )][DBLP]


  65. Netstub: a framework for verification of distributed java applications. [Citation Graph (, )][DBLP]


  66. Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses. [Citation Graph (, )][DBLP]


  67. Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines. [Citation Graph (, )][DBLP]


  68. Modular verification of web services using efficient symbolic encoding and summarization. [Citation Graph (, )][DBLP]


  69. Circuit partitioning using parallel mean field annealing algorithms. [Citation Graph (, )][DBLP]


  70. Symbolic String Verification: An Automata-Based Approach. [Citation Graph (, )][DBLP]


  71. Symbolic String Verification: Combining String Analysis and Size Analysis. [Citation Graph (, )][DBLP]


  72. Stranger: An Automata-Based String Analysis Tool for PHP. [Citation Graph (, )][DBLP]


  73. Towards a Theory of Web Service Choreographies. [Citation Graph (, )][DBLP]


  74. Specification of Realizable Service Conversations Using Collaboration Diagrams. [Citation Graph (, )][DBLP]


  75. Scalable Software Model Checking Using Design for Verification. [Citation Graph (, )][DBLP]


  76. Runtime Verification of Web Service Interface Contracts. [Citation Graph (, )][DBLP]


  77. Choreography Modeling and Analysis with Collaboration Diagrams. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002