Aysu Betin Can
Aysu Betin-Can
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2016
- [c14]Fadi Al-Turjman, Aysu Betin-Can, Enver Ever, Sinem Alturjman:
Ubiquitous Cloud-Based Monitoring via a Mobile App in Smartphones: An Overview. SmartCloud 2016: 196-201 - [c13]Merve Vildan Simsek, Aysu Betin Can, Barboros Can:
Android Uygulamalar Icin Yazilim Kalite Yonetimi. UYMS 2016: 514-525 - 2015
- [j10]Vahid Garousi-Yusifoglu, Yasaman Amannejad, Aysu Betin Can:
Software test-code engineering: A systematic mapping. Information & Software Technology 58: 123-147 (2015) - [j9]Vahid Garousi, Ahmet Coskunçay, Aysu Betin-Can, Onur Demirörs:
A survey of software engineering practices in Turkey. Journal of Systems and Software 108: 148-177 (2015) - [c12]Yudum Paçin, Aysu Betin Can:
Web Uygulamalarında Dolaşım ve Erişim Kontrolü Hatalarının Tespiti ve Yeniden Canlandırılması. UYMS 2015 - 2014
- [j8]Serdar Dogan, Aysu Betin-Can, Vahid Garousi:
Web application testing: A systematic literature review. Journal of Systems and Software 91: 174-201 (2014) - [c11]Ismail Alper Saglam, Aysu Betin Can:
Android Uygulamaları Bellek Hataları Yakalanması ve Etkileri. UYMS 2014 - [e1]Yeliz Yesilada, Aysu Betin Can, Onur Demirörs:
Proceedings of the 8th Turkish National Software Engineering Symposium, Güzelyurt, KKTC, Turkey, September 8-10, 2014. CEUR Workshop Proceedings 1221, CEUR-WS.org 2014 [contents] - [i1]Vahid Garousi, Ahmet Coskunçay, Aysu Betin-Can, Onur Demirörs:
A Survey of Software Engineering Practices in Turkey (extended version). CoRR abs/1412.4648 (2014) - 2013
- [j7]Vahid Garousi, Ali Mesbah, Aysu Betin-Can, Shabnam Mirshokraie:
A systematic mapping study of web application testing. Information & Software Technology 55(8): 1374-1396 (2013) - [c10]Vahid Garousi, Ahmet Coskunçay, Aysu Betin Can, Onur Demirörs:
Türkiye'deki Yazılım Test Uygulamaları Anketi. UYMS 2013 - 2011
- [j6]Mohammed G. H. al Zamil, Aysu Betin Can:
ROLEX-SP: Rules of lexical syntactic patterns for free text categorization. Knowl.-Based Syst. 24(1): 58-65 (2011) - [c9]Mehmet Erdal Özkinaci, Aysu Betin Can:
Detecting Execution and HTML Errors in ASP.NET Web Applications. ICSOFT (2) 2011: 172-178 - 2010
- [c8]Tevfik Bultan, Fang Yu, Aysu Betin-Can:
Modular verification of synchronization with reentrant locks. MEMOCODE 2010: 59-68
2000 – 2009
- 2008
- [c7]Munara Tolubaeva, Aysu Betin Can:
Automatic Detection of Shared Objects in Multithreaded Java Programs. CIMCA/IAWTIC/ISE 2008: 522-526 - [c6]Mustafa Ispir, Aysu Betin Can:
An Assume Guarantee Verification Methodology for Aspect-Oriented Programming. ASE 2008: 391-394 - 2007
- [j5]Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp:
Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. Autom. Softw. Eng. 14(2): 129-178 (2007) - [j4]Aysu Betin-Can, Nazife Baykal:
MedicoPort: A medical search engine for all. Computer Methods and Programs in Biomedicine 86(1): 73-86 (2007) - [j3]Mikael Lindvall, Ioana Rus, Paolo Donzelli, Atif M. Memon, Marvin V. Zelkowitz, Aysu Betin-Can, Tevfik Bultan, Christopher Ackermann, Bettina Anders, Sima Asgari, Victor R. Basili, Lorin Hochstein, Jörg Fellmann, Forrest Shull, Roseanne Tesoriero Tvedt, Daniel Pech, Daniel Hirschbach:
Experimenting with software testbeds for evaluating new technologies. Empirical Software Engineering 12(4): 417-444 (2007) - [j2]Aysu Betin-Can, Tevfik Bultan:
Highly dependable concurrent programming using design for verification. Formal Asp. Comput. 19(2): 243-268 (2007) - 2005
- [c5]Aysu Betin-Can, Tevfik Bultan:
Verifiable Web Services with Hierarchical Interfaces. ICWS 2005: 85-94 - [c4]Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp:
Application of design for verification with concurrency controllers to air traffic control software. ASE 2005: 14-23 - [c3]Tevfik Bultan, Aysu Betin-Can:
Scalable Software Model Checking Using Design for Verification. VSTTE 2005: 337-346 - [c2]Aysu Betin-Can, Tevfik Bultan, Xiang Fu:
Design for verification for asynchronously communicating Web services. WWW 2005: 750-759 - 2004
- [c1]Aysu Betin-Can, Tevfik Bultan:
Verifiable Concurrent Programming Using Concurrency Controllers. ASE 2004: 248-257 - 2003
- [j1]Aysu Betin-Can, Tevfik Bultan:
Interface-Based Specification and Verification of Concurrency Controllers. Electr. Notes Theor. Comput. Sci. 89(3): 464-479 (2003)
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-03-07 10:27 CET by the dblp team