Some Experience with the Use of Formal Specifications. - Gregor von Bochmann; Eduard Cerny; Michel Gagné; Claude Jard; Alain Léveillé; Clement Lacaille; Michel Maksud; K. S. Raghunathan; Behçet Sarikaya (PSTV, 1982)

Some Experience with Test Sequence Generation for Protocols. - Behçet Sarikaya; Gregor von Bochmann (PSTV, 1982)

Experience with Formal Specifications Using an Extended State Transition Model. - Gregor von Bochmann; Eduard Cerny; Michel Gagné; Claude Jard; Alain Léveillé; Clement Lacaille; Michel Maksud; K. S. Raghunathan; Behçet Sarikaya (IEEE Trans. Commun., 1982)

Synchronization issues in protocol testing. - Behçet Sarikaya; Gregor von Bochmann (SIGCOMM, 1983)

Use of Formal Specifications for Protocol Design, Implementation and Testing. - Gregor von Bochmann; Eduard Cerny; George Walter Gerber; Rachida Dssouli; Michel Maksud; B. H. Phan; Behçet Sarikaya; Jean-Marc Serre (PSTV, 1984)

Synchronization and Specification Issues in Protocol Testing. - Behçet Sarikaya; Gregor von Bochmann (IEEE Trans. Commun., 1984)

Use of Prolog for building protocol design tools. - Gregor von Bochmann; Rachida Dssouli; Wanderley Lopes de Souza; Behçet Sarikaya; Hasan Ural (PSTV, 1985)

Formal specification-based conformance testing. - Behçet Sarikaya (SIGCOMM, 1986)

A Test Design Methodology for Protocol Testing. - Behçet Sarikaya; Gregor von Bochmann; Eduard Cerny (IEEE Trans. Software Eng., 1987)

A computer-aided design tool for protocol testing. - Michel Barbeau; Behçet Sarikaya (INFOCOM, 1988)

An Estelle Based Test Generation Tool for Modular Specifications. - Behdad Forghani; Srinivas Eswara; Vassilios N. Koukoulidis; Behçet Sarikaya (FORTE, 1989)

Test Generation from Protocol Specification. - Piyu Tripathy; Behçet Sarikaya (FORTE, 1989)

FTAM Test Design Using an Automated Test Tool. - Michel Barbeau; Behçet Sarikaya; Srinivas Eswara; Vassilios N. Koukoulidis (INFOCOM, 1989)

Conformance Testing: Architectures and Test Sequences. - Behçet Sarikaya (Comput. Networks, 1989)

An ASN.1 encoder/decoder and its performance. - Murat Bilgic; Behçet Sarikaya (PSTV, 1990)

Towards execution of TTCN test cases. - Srinivas Eswara; Tom Berriman; Philip VanHoutte; Behçet Sarikaya (PSTV, 1990)

Method of analysing extended finite-state machine specifications. - Behçet Sarikaya; Vassilios N. Koukoulidis; Gregor von Bochmann (Comput. Commun., 1990)

Estelle-based test generation tool. - Behçet Sarikaya; Behdad Forghani; Srinivas Eswara (Comput. Commun., 1991)

Test Generation from LOTOS Specifications. - Piyu Tripathy; Behçet Sarikaya (IEEE Trans. Computers, 1991)

High Performance PDU Processing for Application Layer. - Murat Bilgic; Behçet Sarikaya (HPDC, 1992)

Control-flow based testing of Prolog programs. - Gang Luo; Gregor von Bochmann; Behçet Sarikaya; Michel Boyer (ISSRE, 1992)

Architectural Support for Designing Fault-Tolerant Open Distributed Systems. - Salim Hariri; Alok N. Choudhary; Behçet Sarikaya (Computer, 1992)

Semi-automatic test suite generation from Estelle. - Behdad Forghani; Behçet Sarikaya (Softw. Eng. J., 1992)

Verification of protocol conformance test cases using reachability analysis. - Kshirasagar Naik; Behçet Sarikaya (J. Syst. Softw., 1992)

testing Communication Protocols. - Kshirasagar Naik; Behçet Sarikaya (IEEE Softw., 1992)

Analysis and testing of application layer protocols with an application to FTAM. - Behçet Sarikaya; Vassilios N. Koukoulidis; Srinivas Eswara; Michel Barbeau (IEEE Trans. Commun., 1992)

Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle. - Olaf Henniger; Behçet Sarikaya; Steve Biedlingmaier (Protocol Test Systems, 1993)

Performance comparison of ASN.1 encoder/decoders using FTAM. - Murat Bilgic; Behçet Sarikaya (Comput. Commun., 1993)

Test Case Verification by Model Checking. - Kshirasagar Naik; Behçet Sarikaya (Formal Methods Syst. Des., 1993)

Protocol conformance test case verification using timed-transitions. - Kshirasagar Naik; Behçet Sarikaya (PSTV, 1994)

An approach to conformance testing of MIB implementations. - Michel Barbeau; Behçet Sarikaya (Integrated Network Management, 1995)

Analysis and representation of test cases generated from LOTOS. - Piyu Tripathy; Behçet Sarikaya (Comput. Commun., 1995)

Test Sequence Generation and Timed Testing. - Ahmet Feyzi Ates; Behçet Sarikaya (Comput. Networks ISDN Syst., 1996)

Using Timed CSP for Specification Verification and Simulation of Multimedia Synchronization. - Ahmet Feyzi Ates; Murat Bilgic; Senro Saito; Behçet Sarikaya (IEEE J. Sel. Areas Commun., 1996)

Specification and testing of the behavior of network management agents using SDL-92. - Olaf Henniger; Michel Barbeau; Behçet Sarikaya (IEEE/ACM Trans. Netw., 1996)

Multimedia Communication in Cellular PACS Network. - Yukio Hashimoto; Behçet Sarikaya; Mehmet Ulema (MobiCom, 1997)

Cellular networks and mobile internet. - Aruna Seneviratne; Behçet Sarikaya (Comput. Commun., 1998)

An Evaluation of Quality of Service Characteristics of PACS Packet Channel. - Behçet Sarikaya; Mehmet Ulema (Mob. Networks Appl., 1999)

Packet mode in wireless networks: overview of transition to third generation. - Behçet Sarikaya (IEEE Commun. Mag., 2000)

Supporting node mobility using mobile IPv6 in a LEO-satellite network. - Behçet Sarikaya; Masaru Tasaki (Int. J. Satell. Commun. Netw., 2001)

Requirements and Functional Architecture for an IP Host Alerting Protocol. - James Kempf; Claude Castelluccia; Pars Mutaf; Nobuyasu Nakajima; Yoshihiro Ohba; Ramachandran Ramjee; Yousuf Saifullah; Behçet Sarikaya; Xiaofeng Xu (RFC, 2001)

Evaluation of CDMA2000 support for IP micromobility handover and paging protocols. - Behçet Sarikaya; Sridhar Gurivireddy (IEEE Commun. Mag., 2002)

Dormant mode operation support for roaming from WLAN to UMTS. - Behçet Sarikaya; Timucin Ozugur (ICC, 2003)

Fast IPv4/IPv6 address acquisition in wireless LANs. - Timucin Ozugur; Behçet Sarikaya (CCNC, 2004)

Tracking agent based paging for wireless LANs. - Behçet Sarikaya; Timucin Ozugur (CCNC, 2004)

Analysis of soft-state user tracking of wireless LAN hosts for VoIP. - Behçet Sarikaya; Xiao (Abbot) Zheng; Timuçin Özugur (CCNC, 2006)

CAPWAP Handover Protocol. - Behçet Sarikaya; Xiao Zheng (ICC, 2006)

Integrating wireless EEGs into medical sensor networks. - Behçet Sarikaya; M. Abdul Alim; Siamak Rezaei (IWCMC, 2006)

Code Dissemination in Sensor Networks with MDeluge. - Xiao Zh; Behçet Sarikaya (SECON, 2006)

Combining layer 2-layer 3 paging for wireless LANs. - Timucin Ozugur; Behçet Sarikaya (IEEE Trans. Wirel. Commun., 2006)

Home agent placement and IP address management for integrating WLANs with cellular networks. - Behçet Sarikaya (IEEE Wirel. Commun., 2006)

Evaluation of Candidate Control and Provisioning of Wireless Access Points (CAPWAP) Protocols. - Darren Loher; Dave Nelson; Oleg Volinsky; Behçet Sarikaya (RFC, 2006)

EAP-Sens: a security architecture for wireless sensor networks. - M. Abdul Alim; Behçet Sarikaya (WICON, 2008)

SIP paging and tracking of wireless LAN hosts for VoIP. - Behçet Sarikaya; Xiao Zheng (IEEE/ACM Trans. Netw., 2008)

Transmission of IPv6 via the IPv6 Convergence Sublayer over IEEE 802.16 Networks. - Basavaraj Patil; Frank Xia; Behçet Sarikaya; JinHyeock Choi; Syam Madanapalli (RFC, 2008)

A framework for power management of handheld devices with multiple radios. - Hicham Mahkoum; Behçet Sarikaya; Abdelhakim Senhaji Hafid (WCNC, 2009)

Handover keying and its uses. - Xiao Zheng; Behçet Sarikaya (IEEE Netw., 2009)

Task dissemination with multicast deluge in sensor networks. - Behçet Sarikaya; Xiao Zheng (IEEE Trans. Wirel. Commun., 2009)

Proxying location update for idle mode interfaces. - Hicham Mahkoum; Abdelhakim Senhaji Hafid; Behçet Sarikaya (IWCMC, 2010)

Mobile sensor network programming system. - Xiao Zheng; Behçet Sarikaya (Wirel. Networks, 2010)

RADIUS Support for Proxy Mobile IPv6. - Frank Xia; Behçet Sarikaya; Jouni Korhonen; Sri Gundavelli; Damjan Damic (RFC, 2012)

DHCPv6 Prefix Delegation in Long-Term Evolution (LTE) Networks. - Behçet Sarikaya; Frank Xia; Ted Lemon (RFC, 2012)

RADIUS Attributes for IPv6 Access Networks. - Wojciech Dec; Behçet Sarikaya; Glen Zorn; David Miles; Benoit Lourdelet (RFC, 2013)

Flow Bindings Initiated by Home Agents for Mobile IPv6. - Hidetoshi Yokota; Dae-Sun Kim; Behçet Sarikaya; Frank Xia (RFC, 2014)

Enabling Distributed Mobility Management: A Unified Wireless Network Architecture Based on Virtualized Core Network. - Jyotirmoy Banik; Marco Tacca; Andrea Fumagalli; Behçet Sarikaya; Li Xue (ICCCN, 2015)

A Software Defined Semi Distributed Mobility Management System Based on Layer 2 Backhaul Network. - Jyotirmoy Banik; Yiding Luo; Jonathan Seawright; Junjie Xu; Marco Tacca; Andrea Fumagalli; Behçet Sarikaya; Li Xue (VTC Fall, 2015)

Scenarios with Host Identification Complications. - Mohamed Boucadair; Bruno Chatras; Tirumaleswar Reddy; Brandon Williams; Behçet Sarikaya (RFC, 2015)

Source-Address-Dependent Routing and Source Address Selection for IPv6 Hosts: Overview of the Problem Space. - Behçet Sarikaya; Mohamed Boucadair (RFC, 2017)

Huawei's GRE Tunnel Bonding Protocol. - Nicolai Leymann; Cornelius Heidemann; Mingui Zhang; Behçet Sarikaya; Margaret Cullen (RFC, 2017)

Address-Protected Neighbor Discovery for Low-Power and Lossy Networks. - Pascal Thubert; Behçet Sarikaya; Mohit Sethi; René Struik (RFC, 2020)

Subscriber and Performance Policy Identifier Context Headers in the Network Service Header (NSH). - Behçet Sarikaya; Dirk von Hugo; Mohamed Boucadair (RFC, 2021)

Challenges of Future Smart and Secure IoT Networking. - Dirk von Hugo; Gerald Eichler; Behçet Sarikaya (I4CS, 2022)