Aysu Betin Can | Middle East Technical University (original) (raw)

Papers by Aysu Betin Can

Research paper thumbnail of Design for verification for asynchronously communicating web services

… of the 14th international conference on …, Jan 1, 2005

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Verifiable web services with hierarchical interfaces

Web Services, 2005. ICWS 2005. …, Jan 1, 2005

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Verifiable concurrent programming using concurrency controllers

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Application of design for verification with concurrency controllers to air traffic control software

Proceedings of the 20th …, Jan 1, 2005

Bookmarks Related papers MentionsView impact

Research paper thumbnail of MedicoPort: A medical search engine for all

Computer methods and programs in biomedicine, Jan 1, 2007

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Scalable software model checking using design for verification

Verified Software: Theories, Tools, Experiments, Jan 1, 2008

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers

Automated Software …, Jan 1, 2007

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Interface-based specification and verification of concurrency controllers

Electronic Notes in Theoretical Computer Science, Jan 1, 2003

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Experimenting with software testbeds for evaluating new technologies

Empirical Software …, Jan 1, 2007

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Highly dependable concurrent programming using design for verification

Formal aspects of computing, Jan 1, 2007

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Design for verification for concurrent and distributed programs

... in Computer Science by Aysu Betin-Can Committee in Charge: Professor Tevfik Bultan, Chair Pro... more ... in Computer Science by Aysu Betin-Can Committee in Charge: Professor Tevfik Bultan, Chair Professor Chandra Krintz Professor Peter Cappello September 2005 Page 2. The dissertation of Aysu Betin-Can is approved. Professor Peter Cappello Professor Chandra Krintz ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A model based on multi-features to enhance healthcare and medical document retrieval

Informatics for Health and …, Jan 1, 2010

A major problem in biomedical informatics is the contextual retrieval and ranking of medical and ... more A major problem in biomedical informatics is the contextual retrieval and ranking of medical and healthcare information. In this article, we present a model for extracting semantic relations among medical and clinical documents. The purpose is to maximise contextual retrieval and ranking performance with minimum input from users. We developed and evaluated a medical search engine that relies on a multi-features similarity model. The indexed documents are represented as a network that reflects the semantic relations among documents to assess topical rankings. The evaluation measurements include the following: recall, precision and R-precision. We used OHSUMED collection to evaluate our work with runs submitted to TREC-9. We provide a comparison of the top five runs that achieved the highest average precision scores. In addition, we used questionnaire-based evaluation to measure the effectiveness of the ranking task. The results indicated that the proposed model achieved a higher average precision in comparison with top-scored runs submitted to TREC-9; the improvement of our model over other methods is statistically significant (p-value <0.0001). Furthermore, a questionnaire-based experiment showed that the proposed model performed quite well in ranking retrieved documents according to their topics.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Computer Science Department University of California Santa Barbara, CA 93101, USA faysu, bultang@ cs. ucsb. edu

Citeseer

Abstract The proliferation of the Internet has a ected the business model of almost all semicondu... more Abstract The proliferation of the Internet has a ected the business model of almost all semiconductor and VLSI CAD compa-nies that rely on intellectual property (IP) as their main source of revenues. The fact that IP has become more acces-sible and easily transferable, has in ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Automatic Detection of Shared Objects in Multithreaded Java Programs

CIMCA 2008, IAWTIC 2008, and ISE 2008, Jan 1, 2008

This paper presents a simple and efficient automated tool called DoSSO that detects shared object... more 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 compli-cations at runtime. This way programmers ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Scalable Software Model Checking Using Design for Verification⋆

… , tools, experiments: First IFIP TC 2/WG …, Jan 1, 2008

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Toward effective medical search engines

… Informatics and Bioinformatics (HIBIT), Jan 1, 2010

ABSTRACT In this paper, we present a domain specific search engine that relies on extracting the ... more ABSTRACT In this paper, we present a domain specific search engine that relies on extracting the semantic relation among medical documents. Our goal is to maximize the contextual retrieval and ranking performance with minimum input from users. We have performed ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of ICWS 2005

computer.org

Bookmarks Related papers MentionsView impact

Research paper thumbnail of ROLEX-SP: Rules of lexical syntactic patterns for free text categorization

Knowledge-Based Systems, Jan 1, 2010

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Modular verification of synchronization with reentrant locks

Formal Methods and Models for Codesign ( …

... Fang Yu Department of Computer Science University of California Santa Barbara, CA, USA yuf@cs... more ... Fang Yu Department of Computer Science University of California Santa Barbara, CA, USA yuf@cs.ucsb.edu Aysu Betin Can Informatics Institute Middle East Technical University Ankara, Turkey aysu@ii.metu.edu.tr Abstract ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of ICSEA 2007/IRP 2007 Committees

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Design for verification for asynchronously communicating web services

… of the 14th international conference on …, Jan 1, 2005

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Verifiable web services with hierarchical interfaces

Web Services, 2005. ICWS 2005. …, Jan 1, 2005

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Verifiable concurrent programming using concurrency controllers

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Application of design for verification with concurrency controllers to air traffic control software

Proceedings of the 20th …, Jan 1, 2005

Bookmarks Related papers MentionsView impact

Research paper thumbnail of MedicoPort: A medical search engine for all

Computer methods and programs in biomedicine, Jan 1, 2007

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Scalable software model checking using design for verification

Verified Software: Theories, Tools, Experiments, Jan 1, 2008

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers

Automated Software …, Jan 1, 2007

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Interface-based specification and verification of concurrency controllers

Electronic Notes in Theoretical Computer Science, Jan 1, 2003

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Experimenting with software testbeds for evaluating new technologies

Empirical Software …, Jan 1, 2007

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Highly dependable concurrent programming using design for verification

Formal aspects of computing, Jan 1, 2007

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Design for verification for concurrent and distributed programs

... in Computer Science by Aysu Betin-Can Committee in Charge: Professor Tevfik Bultan, Chair Pro... more ... in Computer Science by Aysu Betin-Can Committee in Charge: Professor Tevfik Bultan, Chair Professor Chandra Krintz Professor Peter Cappello September 2005 Page 2. The dissertation of Aysu Betin-Can is approved. Professor Peter Cappello Professor Chandra Krintz ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A model based on multi-features to enhance healthcare and medical document retrieval

Informatics for Health and …, Jan 1, 2010

A major problem in biomedical informatics is the contextual retrieval and ranking of medical and ... more A major problem in biomedical informatics is the contextual retrieval and ranking of medical and healthcare information. In this article, we present a model for extracting semantic relations among medical and clinical documents. The purpose is to maximise contextual retrieval and ranking performance with minimum input from users. We developed and evaluated a medical search engine that relies on a multi-features similarity model. The indexed documents are represented as a network that reflects the semantic relations among documents to assess topical rankings. The evaluation measurements include the following: recall, precision and R-precision. We used OHSUMED collection to evaluate our work with runs submitted to TREC-9. We provide a comparison of the top five runs that achieved the highest average precision scores. In addition, we used questionnaire-based evaluation to measure the effectiveness of the ranking task. The results indicated that the proposed model achieved a higher average precision in comparison with top-scored runs submitted to TREC-9; the improvement of our model over other methods is statistically significant (p-value <0.0001). Furthermore, a questionnaire-based experiment showed that the proposed model performed quite well in ranking retrieved documents according to their topics.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Computer Science Department University of California Santa Barbara, CA 93101, USA faysu, bultang@ cs. ucsb. edu

Citeseer

Abstract The proliferation of the Internet has a ected the business model of almost all semicondu... more Abstract The proliferation of the Internet has a ected the business model of almost all semiconductor and VLSI CAD compa-nies that rely on intellectual property (IP) as their main source of revenues. The fact that IP has become more acces-sible and easily transferable, has in ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Automatic Detection of Shared Objects in Multithreaded Java Programs

CIMCA 2008, IAWTIC 2008, and ISE 2008, Jan 1, 2008

This paper presents a simple and efficient automated tool called DoSSO that detects shared object... more 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 compli-cations at runtime. This way programmers ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Scalable Software Model Checking Using Design for Verification⋆

… , tools, experiments: First IFIP TC 2/WG …, Jan 1, 2008

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Toward effective medical search engines

… Informatics and Bioinformatics (HIBIT), Jan 1, 2010

ABSTRACT In this paper, we present a domain specific search engine that relies on extracting the ... more ABSTRACT In this paper, we present a domain specific search engine that relies on extracting the semantic relation among medical documents. Our goal is to maximize the contextual retrieval and ranking performance with minimum input from users. We have performed ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of ICWS 2005

computer.org

Bookmarks Related papers MentionsView impact

Research paper thumbnail of ROLEX-SP: Rules of lexical syntactic patterns for free text categorization

Knowledge-Based Systems, Jan 1, 2010

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Modular verification of synchronization with reentrant locks

Formal Methods and Models for Codesign ( …

... Fang Yu Department of Computer Science University of California Santa Barbara, CA, USA yuf@cs... more ... Fang Yu Department of Computer Science University of California Santa Barbara, CA, USA yuf@cs.ucsb.edu Aysu Betin Can Informatics Institute Middle East Technical University Ankara, Turkey aysu@ii.metu.edu.tr Abstract ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of ICSEA 2007/IRP 2007 Committees

Bookmarks Related papers MentionsView impact