The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Aysu Betin-Can: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Aysu Betin-Can, Tevfik Bultan
    Verifiable Web Services with Hierarchical Interfaces. [Citation Graph (0, 0)][DBLP]
    ICWS, 2005, pp:85-94 [Conf]
  2. Aysu Betin-Can, Tevfik Bultan
    Verifiable Concurrent Programming Using Concurrency Controllers. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:248-257 [Conf]
  3. Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp
    Application of design for verification with concurrency controllers to air traffic control software. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:14-23 [Conf]
  4. Aysu Betin-Can, Tevfik Bultan, Xiang Fu
    Design for verification for asynchronously communicating Web services. [Citation Graph (0, 0)][DBLP]
    WWW, 2005, pp:750-759 [Conf]
  5. Aysu Betin-Can, Tevfik Bultan
    Interface-Based Specification and Verification of Concurrency Controllers. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
  6. Aysu Betin-Can, Nazife Baykal
    MedicoPort: A medical search engine for all. [Citation Graph (0, 0)][DBLP]
    Computer Methods and Programs in Biomedicine, 2007, v:86, n:1, pp:73-86 [Journal]
  7. 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. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2007, v:14, n:2, pp:129-178 [Journal]
  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. [Citation Graph (0, 0)][DBLP]
    Empirical Software Engineering, 2007, v:12, n:4, pp:417-444 [Journal]
  9. Aysu Betin-Can, Tevfik Bultan
    Highly dependable concurrent programming using design for verification. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2007, v:19, n:2, pp:243-268 [Journal]

  10. Scalable Software Model Checking Using Design for Verification. [Citation Graph (, )][DBLP]


Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002