Tevfik Bultan

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006

Efficient BDDs for bounded arithmetic constraints.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2006

Analyzing Conversations of Web Services.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2006

Analyzing tabular requirements specifications using infinite state model checking.

[BibT_eX]

[DOI]

Constance L. Heitmeyer

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

2005

Synchronizability of Conversations among Web Services.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2005

Discussion summary: characteristics of web services and their impact on testing, analysis and verification.

[BibT_eX]

[DOI]

Shriram Krishnamurthi

ACM SIGSOFT Softw. Eng. Notes, 2005

Realizability of Conversation Protocols with Message Contents.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2005

Design for verification for asynchronously communicating Web services.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on World Wide Web, 2005

Scalable Software Model Checking Using Design for Verification.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, 2005

Verification of parameterized hierarchical state machines using action language verifier.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Panel on design for verification.

[BibT_eX]

[DOI]

Constance L. Heitmeyer

John O'Leary

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Application of design for verification with concurrency controllers to air traffic control software.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Web Service Interactions: Analysis and Design.

[BibT_eX]

[DOI]

Proceedings of the ICWS 2005 Second International Workshop on Semantic and Dynamic Web Processes, 2005

Verifiable Web Services with Hierarchical Interfaces.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Action Language Verifier, Extended.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Conversation protocols: a formalism for specification and verification of reactive electronic services.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

Past pushdown timed automata and safety verification.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

Analysis of interacting BPEL web services.

[BibT_eX]

[DOI]

Proceedings of the 13th international conference on World Wide Web, 2004

Panel: given that hardware verification has been an uphill battle, what is the future of software verification?

[BibT_eX]

[DOI]

Sandeep K. Shukla

Constance L. Heitmeyer

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

Verifiable Concurrent Programming Using Concurrency Controllers.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Model checking XML manipulating software.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

WSAT: A Tool for Formal Analysis of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Widening Arithmetic Automata.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Tools for Automated Verification of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

A symbolic manipulator for automated verification of reactive systems with heterogeneous data types.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2003

Efficient Symbolic Representations for Arithmetic Constraints in Verification.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2003

Interface-Based Specification and Verification of Concurrency Controllers.

[BibT_eX]

[DOI]

Proceedings of the 2003 Workshop on Software Model Checking, 2003

Conversation specification: a new approach to design and analysis of e-service composition.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International World Wide Web Conference, 2003

Construction of Efficient BDDs for Bounded Arithmetic Constraints.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Efficient Image Computation in Infinite State Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Counter Machines and Verification Problems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Automata-Based Representations for Arithmetic Constraints in Automated Verification.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2002

Formal Verification of e-Services and Workflows.

[BibT_eX]

[DOI]

Proceedings of the Web Services, 2002

Automated Verification of Concurrent Linked Lists with Counters.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 9th International Symposium, 2002

Specification, verification, and synthesis of concurrency control components.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2002

Heuristics for Efficient Manipulation of Composite Constraints.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

2001

On Reachability and Safety in Infinite-State Systems.

[BibT_eX]

[DOI]

Oscar H. Ibarra

Int. J. Found. Comput. Sci., 2001

Past Pushdown Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2001

A Library for Composite Symbolic Representations.

[BibT_eX]

[DOI]

Murat Tuncer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Verification of Vortex Workflows.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Action Language Verifier.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Constraint-Based Verification of Client-Server Protocols.

[BibT_eX]

[DOI]

Giorgio Delzanno

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

Composite model-checking: verification with type-specific symbolic representations.

[BibT_eX]

[DOI]

Christopher League

ACM Trans. Softw. Eng. Methodol., 2000

A composite model checking toolset for analyzing software systems.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Conter Machines: Decidable Properties and Applications to Verification Problems.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

Action Language: a specification language for model checking reactive systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Reachability Analysis for Some Models of Infinite-State Transition Systems.

[BibT_eX]

[DOI]

Oscar H. Ibarra

Proceedings of the CONCUR 2000, 2000

Binary Reachability Analysis of Discrete Pushdown Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results.

[BibT_eX]

[DOI]

William W. Pugh

ACM Trans. Program. Lang. Syst., 1999

1998

A fast neural-network algorithm for VLSI cell placement.

[BibT_eX]

[DOI]

Ismail Haritaoglu

Neural Networks, 1998

Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach.

[BibT_eX]

[DOI]

Christopher League

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

1997

Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic.

[BibT_eX]

[DOI]

William W. Pugh

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Compositional Verification by Model Checking for Counter-Examples.

[BibT_eX]

[DOI]

Jeffrey Fischer

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

1995

Circuit partitioning using mean field annealing.

[BibT_eX]

[DOI]

Neurocomputing, 1995

1992

A New Mapping Heuristic Based on Mean Field Annealing.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1992

1991

Circuit partitioning using parallel mean field annealing algorithms.

[BibT_eX]

[DOI]