Aysu Betin-Can

CV (HTML) (PDF)

Research Interests

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

Research and Publications

• 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.
• reliable monitor development
• Design for Verification for Concurrent and Distributed Systems (Abstract). SIGSOFT 2004 Student Research Forum.

Presentations

• MajorArea
• ase04
• fse04
• www05
• icws05

Courses

Misc

journal list