| 2009 |
|---|
| 35 | EE | Xiao Zheng,
Behçet Sarikaya:
Handover keying and its uses.
IEEE Network 23(2): 27-34 (2009) |
| 2008 |
|---|
| 34 | EE | Behçet Sarikaya,
Xiao Zheng:
SIP paging and tracking of wireless LAN hosts for VoIP.
IEEE/ACM Trans. Netw. 16(3): 539-548 (2008) |
| 2006 |
|---|
| 33 | EE | Behçet Sarikaya,
M. Abdul Alim,
Siamak Rezaei:
Integrating wireless EEGs into medical sensor networks.
IWCMC 2006: 1369-1374 |
| 32 | EE | Timucin 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 |
|---|
| 30 | EE | Aruna Seneviratne,
Behçet Sarikaya:
Cellular networks and mobile internet.
Computer Communications 21(14): 1244-1255 (1998) |
| 1997 |
|---|
| 29 | EE | Yukio Hashimoto,
Behçet Sarikaya,
Mehmet Ulema:
Multimedia Communication in Cellular PACS Network.
MOBICOM 1997: 100-109 |
| 1996 |
|---|
| 28 | EE | Ahmet 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) |
| 26 | EE | Olaf 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 |
| 24 | EE | Piyu 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 |
| 21 | EE | Murat 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) |
| 16 | EE | Kshirasagar Naik,
Behçet Sarikaya:
Verification of protocol conformance test cases using reachability analysis.
Journal of Systems and Software 19(1): 41-57 (1992) |
| 1991 |
|---|
| 15 | EE | Behç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 |
| 11 | EE | Behç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 |
|---|
| 5 | EE | Behç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 |
