The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Behçet Sarikaya: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Behdad Forghani, Srinivas Eswara, Vassilios N. Koukoulidis, Behçet Sarikaya
    An Estelle Based Test Generation Tool for Modular Specifications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:7-11 [Conf]
  2. Piyu Tripathy, Behçet Sarikaya
    Test Generation from Protocol Specification. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:329-343 [Conf]
  3. Murat Bilgic, Behçet Sarikaya
    High Performance PDU Processing for Application Layer. [Citation Graph (0, 0)][DBLP]
    HPDC, 1992, pp:161-170 [Conf]
  4. Michel Barbeau, Behçet Sarikaya
    An approach to conformance testing of MIB implementations. [Citation Graph (0, 0)][DBLP]
    Integrated Network Management, 1995, pp:654-665 [Conf]
  5. Michel Barbeau, Behçet Sarikaya, Srinivas Eswara, Vassilios N. Koukoulidis
    FTAM Test Design Using an Automated Test Tool. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1989, pp:251-260 [Conf]
  6. Yukio Hashimoto, Behçet Sarikaya, Mehmet Ulema
    Multimedia Communication in Cellular PACS Network. [Citation Graph (0, 0)][DBLP]
    MOBICOM, 1997, pp:100-109 [Conf]
  7. Murat Bilgic, Behçet Sarikaya
    An ASN.1 encoder/decoder and its performance. [Citation Graph (0, 0)][DBLP]
    PSTV, 1990, pp:141-154 [Conf]
  8. Gregor von Bochmann, Eduard Cerny, G. Gerber, Rachida Dssouli, Michel Maksud, B. H. Phan, Behçet Sarikaya, Jean-Marc Serre
    Use of Formal Specifications for Protocol Design, Implementation and Testing. [Citation Graph (0, 0)][DBLP]
    PSTV, 1984, pp:137-144 [Conf]
  9. Gregor von Bochmann, Eduard Cerny, Michel Gagne, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya
    Some Experience with the Use of Formal Specifications. [Citation Graph (0, 0)][DBLP]
    PSTV, 1982, pp:171-185 [Conf]
  10. Gregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural
    Use of Prolog for building protocol design tools. [Citation Graph (0, 0)][DBLP]
    PSTV, 1985, pp:131-147 [Conf]
  11. Srinivas Eswara, Tom Berriman, Philip VanHoutte, Behçet Sarikaya
    Towards execution of TTCN test cases. [Citation Graph (0, 0)][DBLP]
    PSTV, 1990, pp:99-112 [Conf]
  12. Kshirasagar Naik, Behçet Sarikaya
    Protocol conformance test case verification using timed-transitions. [Citation Graph (0, 0)][DBLP]
    PSTV, 1994, pp:103-118 [Conf]
  13. Behçet Sarikaya, Gregor von Bochmann
    Some Experience with Test Sequence Generation for Protocols. [Citation Graph (0, 0)][DBLP]
    PSTV, 1982, pp:555-567 [Conf]
  14. Olaf Henniger, Behçet Sarikaya, Steve Biedlingmaier
    Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:67-85 [Conf]
  15. Behçet Sarikaya
    Formal specification-based conformance testing. [Citation Graph (0, 0)][DBLP]
    SIGCOMM, 1986, pp:236-240 [Conf]
  16. Ahmet F. Ates, Behçet Sarikaya
    Test Sequence Generation and Timed Testing. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1996, v:29, n:1, pp:107-131 [Journal]
  17. Behçet Sarikaya
    Conformance Testing: Architectures and Test Sequences. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1989, v:17, n:, pp:111-126 [Journal]
  18. Murat Bilgic, Behçet Sarikaya
    Performance comparison of ASN.1 encoder/decoders using FTAM. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1993, v:16, n:4, pp:229-240 [Journal]
  19. Behçet Sarikaya, Behdad Forghani, Srinivas Eswara
    Estelle-based test generation tool. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1991, v:14, n:9, pp:534-544 [Journal]
  20. Behçet Sarikaya, Vassilios N. Koukoulidis, Gregor von Bochmann
    Method of analysing extended finite-state machine specifications. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1990, v:13, n:2, pp:83-92 [Journal]
  21. Aruna Seneviratne, Behçet Sarikaya
    Cellular networks and mobile internet. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1998, v:21, n:14, pp:1244-1255 [Journal]
  22. Piyu Tripathy, Behçet Sarikaya
    Analysis and representation of test cases generated from LOTOS. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1995, v:18, n:7, pp:493-506 [Journal]
  23. Salim Hariri, Alok N. Choudhary, Behçet Sarikaya
    Architectural Support for Designing Fault-Tolerant Open Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1992, v:25, n:6, pp:50-62 [Journal]
  24. Kshirasagar Naik, Behçet Sarikaya
    Test Case Verification by Model Checking. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1993, v:2, n:3, pp:277-321 [Journal]
  25. Ahmet F. Ates, Murat Bilgic, Senro Saito, Behçet Sarikaya
    Using Timed CSP for Specification Verification and Simulation of Multimedia Synchronization. [Citation Graph (0, 0)][DBLP]
    IEEE Journal on Selected Areas in Communications, 1996, v:14, n:1, pp:126-137 [Journal]
  26. Kshirasagar Naik, Behçet Sarikaya
    Verification of protocol conformance test cases using reachability analysis. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1992, v:19, n:1, pp:41-57 [Journal]
  27. Behçet Sarikaya, Mehmet Ulema
    An Evaluation of Quality of Service Characteristics of PACS Packet Channel. [Citation Graph (0, 0)][DBLP]
    MONET, 1999, v:4, n:4, pp:289-300 [Journal]
  28. Kshirasagar Naik, Behçet Sarikaya
    testing Communication Protocols. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1992, v:9, n:1, pp:27-37 [Journal]
  29. Piyu Tripathy, Behçet Sarikaya
    Test Generation from LOTOS Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:543-552 [Journal]
  30. Olaf Henniger, Michel Barbeau, Behçet Sarikaya
    Specification and testing of the behavior of network management agents using SDL-92. [Citation Graph (0, 0)][DBLP]
    IEEE/ACM Trans. Netw., 1996, v:4, n:6, pp:951-962 [Journal]
  31. Behçet Sarikaya, Gregor von Bochmann, Eduard Cerny
    A Test Design Methodology for Protocol Testing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:5, pp:518-531 [Journal]
  32. Behçet Sarikaya, M. Abdul Alim, Siamak Rezaei
    Integrating wireless EEGs into medical sensor networks. [Citation Graph (0, 0)][DBLP]
    IWCMC, 2006, pp:1369-1374 [Conf]

  33. Proxying location update for idle mode interfaces. [Citation Graph (, )][DBLP]


  34. A framework for power management of handheld devices with multiple radios. [Citation Graph (, )][DBLP]


  35. EAP-Sens: a security architecture for wireless sensor networks. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002