Aysu Betin-Can

Research Interests

• Design for Verification
• Reliable concurrent software development
• Interface-based modular verification and specification
• Web services
• Software engineering

Courses

• IS 707 Formal Verification - Theory and Practice
• IS 507 Introduction to Software Engineering
• IS 738 Software Design Patterns
• SM 523 Software Design Patterns

Research and Publications

• Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Stefan Topp, and Benjamin Lux. "Eliminating Synchronization Faults in Air Traffic Control Software via Design for Verification with Concurrency Controllers", To appear in Automated Software Engineering Journal, 2007.
• Aysu Betin-Can and Tevfik Bultan. "Highly Dependable Concurrent Programming Using Design for Verification." Formal Aspects of Computing, ISSN 0934-5043, DOI 10.1007/s00165-006-0017-0, 2006.
• M. Lindvall, I. Rus, P. Donzelli, A. Memon, M. Zelkowitz, Aysu Betin-Can, T. Bultan, C. Ackermann, B. Anders, S. Asgari, V. Basili, J. Fellmann, D. Hirschbach, L. Hochstein, F. Shull, R. Tvedt & D. Pech, "Experimenting with software testbeds for evaluating new technologies" Emprical Software Engineering ISSN: 1382-3256, 2006.
• Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Stefan Topp, and Benjamin Lux. "Application of Design for Verification with Concurrency Controllers to Air Traffic Control Software". ACM SIGSOFT Distinguished Paper Award, ASE 2005 Best Paper Award. In Proceedings of the 20th IEEE International Conference on Automated Software Engineering (ASE 2005) , pp. 14-23, Long Beach, California, USA, November 7-11, 2005.
• Aysu Betin-Can and Tevfik Bultan. "Verifiable Web Services with Hierarchical Interfaces". In the Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005)
• Aysu Betin-Can, Tevfik Bultan and Xiang Fu. "Design for Verification for Asynchronously Communicating Web Services". Proceedings of the 14th International World Wide Web Conference (WWW 2005), Japan 2005.
• Aysu Betin-Can and Tevfik Bultan. "Verifiable Concurrent Programming Using Concurrency Controllers." In the Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004).
• Verifiable Concurrent Programming Environment based on the Concurrency Controller Pattern
• Aysu Betin-Can and Tevfik Bultan. "Interface-Based Specification and Verification of Concurrency Controllers." In Proceedings of the Workshop on Software Model Checking (SoftMC 2003), Electronic Notes in Theoretical Computer Science (ENTCS), vol. 89, no. 3. Boulder, Colorado, July 14, 2003.
• Design for Verification for Concurrent and Distributed Systems (Abstract). SIGSOFT 2004 Student Research Forum.

My PhD Dissertation

Presentations

• ase04
• fse04
• www05
• icws05

CV (HTML) (PDF)