dblp.uni-trier.dewww.uni-trier.de

Behçet Sarikaya Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
36EEXiao Zheng, Behçet Sarikaya: Handover keying and its uses. IEEE Network 23(2): 27-34 (2009)
2008
35EEM. Abdul Alim, Behçet Sarikaya: EAP-Sens: a security architecture for wireless sensor networks. WICON 2008: 29
34EEBehçet Sarikaya, Xiao Zheng: SIP paging and tracking of wireless LAN hosts for VoIP. IEEE/ACM Trans. Netw. 16(3): 539-548 (2008)
2006
33EEBehçet Sarikaya, M. Abdul Alim, Siamak Rezaei: Integrating wireless EEGs into medical sensor networks. IWCMC 2006: 1369-1374
32EETimucin Ozugur, Behçet Sarikaya: Combining layer 2-layer 3 paging for wireless LANs. IEEE Transactions on Wireless Communications 5(9): 2605-2614 (2006)
1999
31 Behçet Sarikaya, Mehmet Ulema: An Evaluation of Quality of Service Characteristics of PACS Packet Channel. MONET 4(4): 289-300 (1999)
1998
30EEAruna Seneviratne, Behçet Sarikaya: Cellular networks and mobile internet. Computer Communications 21(14): 1244-1255 (1998)
1997
29EEYukio Hashimoto, Behçet Sarikaya, Mehmet Ulema: Multimedia Communication in Cellular PACS Network. MOBICOM 1997: 100-109
1996
28EEAhmet F. Ates, Behçet Sarikaya: Test Sequence Generation and Timed Testing. Computer Networks and ISDN Systems 29(1): 107-131 (1996)
27 Ahmet F. Ates, Murat Bilgic, Senro Saito, Behçet Sarikaya: Using Timed CSP for Specification Verification and Simulation of Multimedia Synchronization. IEEE Journal on Selected Areas in Communications 14(1): 126-137 (1996)
26EEOlaf Henniger, Michel Barbeau, Behçet Sarikaya: Specification and testing of the behavior of network management agents using SDL-92. IEEE/ACM Trans. Netw. 4(6): 951-962 (1996)
1995
25 Michel Barbeau, Behçet Sarikaya: An approach to conformance testing of MIB implementations. Integrated Network Management 1995: 654-665
24EEPiyu Tripathy, Behçet Sarikaya: Analysis and representation of test cases generated from LOTOS. Computer Communications 18(7): 493-506 (1995)
1994
23 Kshirasagar Naik, Behçet Sarikaya: Protocol conformance test case verification using timed-transitions. PSTV 1994: 103-118
1993
22 Olaf Henniger, Behçet Sarikaya, Steve Biedlingmaier: Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle. Protocol Test Systems 1993: 67-85
21EEMurat Bilgic, Behçet Sarikaya: Performance comparison of ASN.1 encoder/decoders using FTAM. Computer Communications 16(4): 229-240 (1993)
20 Kshirasagar Naik, Behçet Sarikaya: Test Case Verification by Model Checking. Formal Methods in System Design 2(3): 277-321 (1993)
1992
19 Murat Bilgic, Behçet Sarikaya: High Performance PDU Processing for Application Layer. HPDC 1992: 161-170
18 Salim Hariri, Alok N. Choudhary, Behçet Sarikaya: Architectural Support for Designing Fault-Tolerant Open Distributed Systems. IEEE Computer 25(6): 50-62 (1992)
17 Kshirasagar Naik, Behçet Sarikaya: testing Communication Protocols. IEEE Software 9(1): 27-37 (1992)
16EEKshirasagar Naik, Behçet Sarikaya: Verification of protocol conformance test cases using reachability analysis. Journal of Systems and Software 19(1): 41-57 (1992)
1991
15EEBehçet Sarikaya, Behdad Forghani, Srinivas Eswara: Estelle-based test generation tool. Computer Communications 14(9): 534-544 (1991)
14 Piyu Tripathy, Behçet Sarikaya: Test Generation from LOTOS Specifications. IEEE Trans. Computers 40(4): 543-552 (1991)
1990
13 Murat Bilgic, Behçet Sarikaya: An ASN.1 encoder/decoder and its performance. PSTV 1990: 141-154
12 Srinivas Eswara, Tom Berriman, Philip VanHoutte, Behçet Sarikaya: Towards execution of TTCN test cases. PSTV 1990: 99-112
11EEBehçet Sarikaya, Vassilios N. Koukoulidis, Gregor von Bochmann: Method of analysing extended finite-state machine specifications. Computer Communications 13(2): 83-92 (1990)
1989
10 Piyu Tripathy, Behçet Sarikaya: Test Generation from Protocol Specification. FORTE 1989: 329-343
9 Behdad Forghani, Srinivas Eswara, Vassilios N. Koukoulidis, Behçet Sarikaya: An Estelle Based Test Generation Tool for Modular Specifications. FORTE 1989: 7-11
8 Michel Barbeau, Behçet Sarikaya, Srinivas Eswara, Vassilios N. Koukoulidis: FTAM Test Design Using an Automated Test Tool. INFOCOM 1989: 251-260
7 Behçet Sarikaya: Conformance Testing: Architectures and Test Sequences. Computer Networks 17: 111-126 (1989)
1987
6 Behçet Sarikaya, Gregor von Bochmann, Eduard Cerny: A Test Design Methodology for Protocol Testing. IEEE Trans. Software Eng. 13(5): 518-531 (1987)
1986
5EEBehçet Sarikaya: Formal specification-based conformance testing. SIGCOMM 1986: 236-240
1985
4 Gregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural: Use of Prolog for building protocol design tools. PSTV 1985: 131-147
1984
3 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. PSTV 1984: 137-144
1982
2 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. PSTV 1982: 171-185
1 Behçet Sarikaya, Gregor von Bochmann: Some Experience with Test Sequence Generation for Protocols. PSTV 1982: 555-567

Coauthor Index

1M. Abdul Alim [33] [35]
2Ahmet F. Ates [27] [28]
3Michel Barbeau [8] [25] [26]
4Tom Berriman [12]
5Steve Biedlingmaier [22]
6Murat Bilgic [13] [19] [21] [27]
7Gregor von Bochmann [1] [2] [3] [4] [6] [11]
8Eduard Cerny [2] [3] [6]
9Alok N. Choudhary [18]
10Rachida Dssouli [3] [4]
11Srinivas Eswara [8] [9] [12] [15]
12Behdad Forghani [9] [15]
13Michel Gagne [2]
14G. Gerber [3]
15Salim Hariri [18]
16Yukio Hashimoto [29]
17Olaf Henniger [22] [26]
18Claude Jard [2]
19Vassilios N. Koukoulidis [8] [9] [11]
20Clement Lacaille [2]
21Alain Léveillé [2]
22Michel Maksud [2] [3]
23Sagar Naik (Kshirasagar Naik) [16] [17] [20] [23]
24Timucin Ozugur [32]
25B. H. Phan [3]
26K. S. Raghunathan [2]
27Siamak Rezaei [33]
28Senro Saito [27]
29Aruna Seneviratne [30]
30Jean-Marc Serre [3]
31Wanderley Lopes de Souza [4]
32Piyu Tripathy [10] [14] [24]
33Mehmet Ulema [29] [31]
34Hasan Ural [4]
35Philip VanHoutte [12]
36Xiao Zheng [34] [36]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)