| | |
Aysu Betin-Can
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 15 |      | Mehmet Erdal Özkinaci, Aysu Betin Can: Detecting Execution and HTML Errors in ASP.NET Web Applications. ICSOFT (2) 2011: 172-178 |
| 14 |  | 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) |
| 2010 | ||
| 13 | | Tevfik Bultan, Fang Yu, Aysu Betin-Can: Modular verification of synchronization with reentrant locks. MEMOCODE 2010: 59-68 |
| 2008 | ||
| 12 | | Mustafa Ispir, Aysu Betin Can: An Assume Guarantee Verification Methodology for Aspect-Oriented Programming. ASE 2008: 391-394 |
| 11 | | Munara Tolubaeva, Aysu Betin Can: Automatic Detection of Shared Objects in Multithreaded Java Programs. CIMCA/IAWTIC/ISE 2008: 522-526 |
| 2007 | ||
| 10 | | 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) |
| 9 | | Aysu Betin-Can, Nazife Baykal: MedicoPort: A medical search engine for all. Computer Methods and Programs in Biomedicine 86(1): 73-86 (2007) |
| 8 | | 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) |
| 7 | | Aysu Betin-Can, Tevfik Bultan: Highly dependable concurrent programming using design for verification. Formal Asp. Comput. 19(2): 243-268 (2007) |
| 2005 | ||
| 6 | | 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 |
| 5 | | Aysu Betin-Can, Tevfik Bultan: Verifiable Web Services with Hierarchical Interfaces. ICWS 2005: 85-94 |
| 4 | | Tevfik Bultan, Aysu Betin-Can: Scalable Software Model Checking Using Design for Verification. VSTTE 2005: 337-346 |
| 3 | | Aysu Betin-Can, Tevfik Bultan, Xiang Fu: Design for verification for asynchronously communicating Web services. WWW 2005: 750-759 |
| 2004 | ||
| 2 | | Aysu Betin-Can, Tevfik Bultan: Verifiable Concurrent Programming Using Concurrency Controllers. ASE 2004: 248-257 |
| 2003 | ||
| 1 | | Aysu Betin-Can, Tevfik Bultan: Interface-Based Specification and Verification of Concurrency Controllers. Electr. Notes Theor. Comput. Sci. 89(3): 464-479 (2003) |
| 1 | Christopher Ackermann | [8] |
| 2 | Bettina Anders | [8] |
| 3 | Sima Asgari | [8] |
| 4 | Victor R. Basili | [8] |
| 5 | Nazife Baykal | [9] |
| 6 | Tevfik Bultan | [1] [2] [3] [4] [5] [6] [7] [8] [10] [13] |
| 7 | Paolo Donzelli | [8] |
| 8 | Jörg Fellmann | [8] |
| 9 | Xiang Fu | [3] |
| 10 | Daniel Hirschbach | [8] |
| 11 | Lorin Hochstein | [8] |
| 12 | Mustafa Ispir | [12] |
| 13 | Mikael Lindvall | [6] [8] [10] |
| 14 | Benjamin Lux | [6] [10] |
| 15 | Atif M. Memon | [8] |
| 16 | Mehmet Erdal Özkinaci | [15] |
| 17 | Daniel Pech | [8] |
| 18 | Ioana Rus | [8] |
| 19 | Forrest Shull | [8] |
| 20 | Munara Tolubaeva | [11] |
| 21 | Stefan Topp | [6] [10] |
| 22 | Roseanne Tesoriero Tvedt (Roseanne Tesoriero) | [8] |
| 23 | Fang Yu | [13] |
| 24 | Mohammed G. H. Al Zamil | [14] |
| 25 | Marvin V. Zelkowitz | [8] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page