GRADUATE SCHOOL OF INFORMATICS


Aysu Betin Can

Picture of the person
Assist. Prof. Dr. Aysu Betin Can
Information Systems
Room No: 
A-217
Tel No: 
+90 (312) 210-3746
E-mail: 
betincan@metu.edu.tr
Education: 

B.Sc. 1999, Computer Engineering, METU
Ph.D. 2005, Computer Science, University of California Santa Barbara

Research Interests: 

Software engineering, reliable software development, modular verification and specification, concurrency, model checking

Thesis / Research Information: 

Academic and Professional Activities

Sponsorchair of EUROMICRO 2012 SEAA and DSD

Organizing committee member of 5th UYMS (Ulusal yazilim muh. sempozyumu)

PC member of UYMS, UYMK, SEAA

ACM  Member

Volunteer in 8th International Conference on Implementation and Application of Automata (CIAA 2003)

Honors, Scholarships and Awards

November 2005: ACM SIGSOFT Distinguished paper award

November 2005: Automated Software Engineering Conference (ASE) 2005 best paper award

October 2004: ACM SIGSOFT CAPS Grant for the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, (ESEC/FSE 2004), Newport Beach, CA,
USA, October 31 - November 6, 2004

September 2004: Graduate Division Travel Grant, University of California, Santa Barbara 2004

Winter 2004: One of the exceptional Teaching Assistants

June 1999: High-Honor Student, Class of 1999 at Middle East Technical University, Ankara, Turkey.

Work / Research Experience

TUBİTAK Project 2006-2008

Koşutzamanlı ve Yaklaşıma Dayalı Programlar için Otomatik Doğrulamaya Yönelik Tasarım

Summer 2002-Summer2005:

Research Assistant, Department of Computer Science, University of California, Santa Barbara
Developed verifiable design patterns for concurrent and distributed systems and interface-based automated modular verification techniques based on these patterns.
Supervisor : Assoc. Prof. Tevfik Bultan

2000-2002 and Winter 2004:

Teaching Assistant, Department of Computer Science, University of California, Santa Barbara

Courses: Software Engineering, Automata and Formal Languages, Foundations of Computer Science (discrete mathematics), Programming Methods (Java)

June 1999- June 2000:

Software Development Engineer, Central Bank of the Republic of Turkey, Ankara, Turkey
Designed and implemented various distributed applications.

Theses Supervised

PhD

  • Mohammed Gh. I. Zamıl , A FRAMEWORK FOR RANKING AND CATEGORIZING MEDICAL DOCUMENTS , 2010

MSc

Sinem Yalcinkaya,  Assesing Standard-Compliance of public institution web sites of Turkey, 2012

  • Mehmet Erdal Özkınacı , FINDING MALFORMED HTML OUTPUTS AND UNHANDLED EXECUTION ERRORS OF ASP.NET APPLICATIONS , 2011
  • Şenol Lokman Aldanmaz , ENVIRONMENT GENERATION TOOL FOR ENABLING ASPECT VERIFICATION , 2010
  • Munara Tolubaeva , Dosso - automatic detector of shared objects in multithreaded java programs , 2009
  • Baki Erzurumlu , Rearchitecturing an electronic warfare system based on service oriented architecture. , 2008
  • Ali Buğdaycı , AUTOMATED REFACTORING OF DESIGN PATTERN , 2007

Research Groups

  • Software Technologies Research Group
  • Data Mining Research Group
Publications: 
In Press
Garousi, V., Mesbah A., Betin Can A., & Mirshokraie S. (In Press).  A Systematic Mapping Study of Web Application Testing. Information and Software Technology.
2012
Yalcinkaya, S. (2012).  Assesing Standard-Compliance of public institution web sites of Turkey. Information Systems. MsC, 85.
2011
Ozkinaci, M. E., & Betin Can A. (2011).  DETECTING EXECUTION AND HTML ERRORS IN ASP.NET WEB APPLICATIONS. 6th International Conference on Software and Data Technologies.
Zamil, M. A. G. I., & Betin Can A. (2011).  A Model Based on Multi-Features to Enhance Healthcare and Medical Document Retrieval. Informatics for Health and Social Care. 36(2), 100-115.
Betin Can, A., Halle S., & Bultan T. (2011).  Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces. IEEE Transactions on Service Computing.
Zamil, M. A. G. I., & Betin Can A. (2011).  ROLEX-SP: Rules of Lexical Syntactic Patterns for free text Categorization. Knowledge-Based Systems. 24,
2010
Bultan, T., Yu F., & Betin Can A. (2010).  Modular Verification of Synchronization with Reentrant Locks. 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010).
Doğru, A., Betin Can A., & Özkan S. (2010).  Modelleme ve Simulasyonda Doğrulama, Geçerleme ve Onaylama. Savunma Sanayi Gündemi Dergisi. 2010/1 (2010/1 Sayı 11 ISSN 1307-8380), 59-62.
Zamil, M. A. G. I., & Betin Can A. (2010).  TOWARD EFFECTIVE MEDICAL SEARCH ENGINES. 5th International Symposium on Health Informatics and Bioinformatics (HIBIT).
2008
İspir, M., & Betin Can A. (2008).  An Assume Guarantee Verification Methodology for Aspect Oriented Programming. 23rd IEEE/ACM International Conference on Automated Software Engineering.
Tolubaeva, M., & Betin Can A. (2008).  Automatic Detection of Shared Objects in Multithreaded Java Programs. International Conferences on Computational Intelligence for Modelling, Control and Automation; Intelligent Agents, Web Technologies and Internet Commerce; and Innovation in Software Engineering. 522-526. Abstract
İspir, M., & Betin Can A. (2008).  İlgilerin Birimsel Doğrulanması Üzerine Alan Araştırması. 2. Ulusal Yazılım Mühendisliği Konferansı.
2007
Betin Can, A., Pech D., Tvedt R., Shull F., Fellmann J., Hochstein L., et al. (2007).  Experimenting with software testbeds for evaluating new technologies. Empirical Software Engineering. 12(4), 
Betin Can, A., Topp S., Bultan T., Lindvall M., & Lux B. (2007).  Eliminating Synchronization Faults in Air Traffic Control Software via Design for Verification with Concurrency Controllers. Automated Software Engineering. 14(2), 
Betin Can, A., & Bultan T. (2007).  Highly dependable concurrent programming using design for verification. Formal Aspects of Computing. 19(2), 
Betin Can, A., & Bultan T. (2007).  Highly Dependable Concurrent Programming Using Design  for Verification. Formal Aspects of Computing. 19(2), 243-268.
Betin Can, A., & Baykal N. (2007).  MEDICOPORT: A Medical Search Engine for All. Computer Methods and Programs in Biomedicine. 86(1), 73-86.
2006
Betin Can, A., Pech D., Tvedt R., Shull F., Fellmann J., Hochstein L., et al. (2006).  Experimenting with software testbeds for evaluating new technologies. Empirical Software Engineering. 12(4), 417 - 444 .
2005
Betin Can, A., Topp S., Bultan T., Lindvall M., & Lux B. (2005).  Application of Design for Verification with Concurrency Controllers to Air Traffic Control Software. 20th IEEE International Conference on Automated Software Engineering. 14-23.
Betin Can, A., Bultan T., & Fu X. (2005).  Design for Verification for Asynchronously Communicating Web Services. 14th international conference on World Wide Web. 750 - 759.

Betin Can, A., & Bultan T. (2005).  Verifiable Web Services with Hierarchical Interfaces. IEEE International Conference on Web Services. 85 - 94 .