Search For:

Displaying 1-6 out of 6 total
Automatic Detection of Shared Objects in Multithreaded Java Programs
Found in: Computational Intelligence for Modelling, Control and Automation, International Conference on
By Munara Tolubaeva, Aysu Betin Can
Issue Date:December 2008
pp. 522-526
This paper presents a simple and efficient automated tool called DoSSO that detects shared objects in multithreaded Java programs. Our main goal is to help programmers see all potentially shared objects that may cause some complications at runtime. This wa...
Verifiable Web Services with Hierarchical Interfaces
Found in: Web Services, IEEE International Conference on
By Aysu Betin-Can, Tevfik Bultan
Issue Date:July 2005
pp. 85-94
We propose an Hierarchical StateMachine (HSM) model for specifying behavioral interfaces of peers participating in a composite web service. We integrate the HSM model to a design pattern which is supported by a modular verification technique that can 1) st...
Verifiable Concurrent Programming Using Concurrency Controllers
Found in: Automated Software Engineering, International Conference on
By Aysu Betin-Can, Tevfik Bultan
Issue Date:September 2004
pp. 248-257
We present a framework for verifiable concurrent programming in Java based on a design pattern for concurrency controllers. Using this pattern, a programmer can write concurrency controller classes defining a synchronization policy by specifying a set of g...
Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces
Found in: IEEE Transactions on Services Computing
By Aysu Betin-Can,Sylvain Halle,Tevfik Bultan
Issue Date:April 2013
pp. 262-275
A crucial problem in service-oriented computing is the specification and analysis of interactions among multiple peers that communicate via messages. We propose a design pattern that enables the specification of behavioral interfaces acting as communicatio...
Application of design for verification with concurrency controllers to air traffic control software
Found in: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (ASE '05)
By Aysu Betin-Can, Benjamin Lux, Mikael Lindvall, Stefan Topp, Tevfik Bultan
Issue Date:November 2005
pp. 14-23
We present an experimental study which demonstrates that model checking techniques can be effective in finding synchronization errors in safety critical software when they are combined with a design for verification approach. We apply the concurrency contr...
Design for verification for asynchronously communicating Web services
Found in: Proceedings of the 14th international conference on World Wide Web (WWW '05)
By Aysu Betin-Can, Tevfik Bultan, Xiang Fu
Issue Date:May 2005
pp. 750-759
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal is to automatically verify properties of interactions among such peers. We p...