Behçet Sarikaya

According to our database, Behçet Sarikaya authored at least 72 papers between 1982 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Challenges of Future Smart and Secure IoT Networking.

Dirk von Hugo, Gerald Eichler, Behçet Sarikaya

Proceedings of the Innovations for Community Services - 22nd International Conference, 2022

2021

Subscriber and Performance Policy Identifier Context Headers in the Network Service Header (NSH).

Behçet Sarikaya, Dirk von Hugo, Mohamed Boucadair

RFC, February, 2021

2020

Address-Protected Neighbor Discovery for Low-Power and Lossy Networks.

Pascal Thubert, Behçet Sarikaya, Mohit Sethi, René Struik

RFC, November, 2020

2017

Huawei's GRE Tunnel Bonding Protocol.

Nicolai Leymann, Cornelius Heidemann, Mingui Zhang, Behçet Sarikaya, Margaret Cullen

RFC, May, 2017

Source-Address-Dependent Routing and Source Address Selection for IPv6 Hosts: Overview of the Problem Space.

Behçet Sarikaya, Mohamed Boucadair

RFC, January, 2017

2015

Scenarios with Host Identification Complications.

Mohamed Boucadair, Bruno Chatras, Tirumaleswar Reddy, Brandon Williams, Behçet Sarikaya

RFC, August, 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

Proceedings of the IEEE 82nd Vehicular Technology Conference, 2015

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

Proceedings of the 24th International Conference on Computer Communication and Networks, 2015

2014

Flow Bindings Initiated by Home Agents for Mobile IPv6.

Hidetoshi Yokota, Dae-Sun Kim, Behçet Sarikaya, Frank Xia

RFC, February, 2014

2013

RADIUS Attributes for IPv6 Access Networks.

Wojciech Dec, Behçet Sarikaya, Glen Zorn, David Miles, Benoit Lourdelet

RFC, April, 2013

2012

DHCPv6 Prefix Delegation in Long-Term Evolution (LTE) Networks.

Behçet Sarikaya, Frank Xia, Ted Lemon

RFC, July, 2012

RADIUS Support for Proxy Mobile IPv6.

Frank Xia, Behçet Sarikaya, Jouni Korhonen, Sri Gundavelli, Damjan Damic

RFC, June, 2012

2010

Mobile sensor network programming system.

Xiao Zheng, Behçet Sarikaya

Wirel. Networks, 2010

Proxying location update for idle mode interfaces.

Hicham Mahkoum, Abdelhakim Senhaji Hafid, Behçet Sarikaya

Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, 2010

2009

Task dissemination with multicast deluge in sensor networks.

Behçet Sarikaya, Xiao Zheng

IEEE Trans. Wirel. Commun., 2009

Handover keying and its uses.

Xiao Zheng, Behçet Sarikaya

IEEE Netw., 2009

A framework for power management of handheld devices with multiple radios.

Hicham Mahkoum, Behçet Sarikaya, Abdelhakim Senhaji Hafid

Proceedings of the 2009 IEEE Wireless Communications and Networking Conference, 2009

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, February, 2008

SIP paging and tracking of wireless LAN hosts for VoIP.

Behçet Sarikaya, Xiao Zheng

IEEE/ACM Trans. Netw., 2008

EAP-Sens: a security architecture for wireless sensor networks.

M. Abdul Alim, Behçet Sarikaya

Proceedings of the 4th Annual International Conference on Wireless Internet, 2008

2006

Evaluation of Candidate Control and Provisioning of Wireless Access Points (CAPWAP) Protocols.

Darren Loher, Dave Nelson, Oleg Volinsky, Behçet Sarikaya

RFC, July, 2006

Home agent placement and IP address management for integrating WLANs with cellular networks.

Behçet Sarikaya

IEEE Wirel. Commun., 2006

Combining layer 2-layer 3 paging for wireless LANs.

Timucin Ozugur, Behçet Sarikaya

IEEE Trans. Wirel. Commun., 2006

Code Dissemination in Sensor Networks with MDeluge.

Xiao Zh, Behçet Sarikaya

Proceedings of the Third Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks, 2006

Integrating wireless EEGs into medical sensor networks.

Behçet Sarikaya, M. Abdul Alim, Siamak Rezaei

Proceedings of the International Conference on Wireless Communications and Mobile Computing, 2006

CAPWAP Handover Protocol.

Behçet Sarikaya, Xiao Zheng

Proceedings of IEEE International Conference on Communications, 2006

Analysis of soft-state user tracking of wireless LAN hosts for VoIP.

Behçet Sarikaya, Xiao (Abbot) Zheng, Timuçin Özugur

Proceedings of the 3rd IEEE Consumer Communications and Networking Conference, 2006

2004

Tracking agent based paging for wireless LANs.

Behçet Sarikaya, Timucin Ozugur

Proceedings of the 1st IEEE Consumer Communications and Networking Conference, 2004

Fast IPv4/IPv6 address acquisition in wireless LANs.

Timucin Ozugur, Behçet Sarikaya

Proceedings of the 1st IEEE Consumer Communications and Networking Conference, 2004

2003

Dormant mode operation support for roaming from WLAN to UMTS.

Behçet Sarikaya, Timucin Ozugur

Proceedings of IEEE International Conference on Communications, 2003

2002

Evaluation of CDMA2000 support for IP micromobility handover and paging protocols.

Behçet Sarikaya, Sridhar Gurivireddy

IEEE Commun. Mag., 2002

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, August, 2001

Supporting node mobility using mobile IPv6 in a LEO-satellite network.

Behçet Sarikaya, Masaru Tasaki

Int. J. Satell. Commun. Netw., 2001

2000

Packet mode in wireless networks: overview of transition to third generation.

Behçet Sarikaya

IEEE Commun. Mag., 2000

1999

An Evaluation of Quality of Service Characteristics of PACS Packet Channel.

Behçet Sarikaya, Mehmet Ulema

Mob. Networks Appl., 1999

1998

Cellular networks and mobile internet.

Aruna Seneviratne, Behçet Sarikaya

Comput. Commun., 1998

1997

Multimedia Communication in Cellular PACS Network.

Yukio Hashimoto, Behçet Sarikaya, Mehmet Ulema

Proceedings of the MOBICOM '97, 1997

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

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

Test Sequence Generation and Timed Testing.

Ahmet Feyzi Ates, Behçet Sarikaya

Comput. Networks ISDN Syst., 1996

1995

Analysis and representation of test cases generated from LOTOS.

Piyu Tripathy, Behçet Sarikaya

Comput. Commun., 1995

An approach to conformance testing of MIB implementations.

Michel Barbeau, Behçet Sarikaya

Proceedings of the Integrated Network Management IV, 1995

1994

Protocol conformance test case verification using timed-transitions.

Kshirasagar Naik, Behçet Sarikaya

Proceedings of the Protocol Specification, 1994

1993

Test Case Verification by Model Checking.

Kshirasagar Naik, Behçet Sarikaya

Formal Methods Syst. Des., 1993

Performance comparison of ASN.1 encoder/decoders using FTAM.

Murat Bilgic, Behçet Sarikaya

Comput. Commun., 1993

Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle.

Olaf Henniger, Behçet Sarikaya, Steve Biedlingmaier

Proceedings of the Protocol Test Systems, 1993

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

testing Communication Protocols.

Kshirasagar Naik, Behçet Sarikaya

IEEE Softw., 1992

Verification of protocol conformance test cases using reachability analysis.

Kshirasagar Naik, Behçet Sarikaya

J. Syst. Softw., 1992

Semi-automatic test suite generation from Estelle.

Behdad Forghani, Behçet Sarikaya

Softw. Eng. J., 1992

Architectural Support for Designing Fault-Tolerant Open Distributed Systems.

Salim Hariri, Alok N. Choudhary, Behçet Sarikaya

Computer, 1992

Control-flow based testing of Prolog programs.

Gang Luo, Gregor von Bochmann, Behçet Sarikaya, Michel Boyer

Proceedings of the Third International Symposium on Software Reliability Engineering, 1992

High Performance PDU Processing for Application Layer.

Murat Bilgic, Behçet Sarikaya

Proceedings of the First International Symposium on High Performance Distributed Computing, 1992

1991

Test Generation from LOTOS Specifications.

Piyu Tripathy, Behçet Sarikaya

IEEE Trans. Computers, 1991

Estelle-based test generation tool.

Behçet Sarikaya, Behdad Forghani, Srinivas Eswara

Comput. Commun., 1991

1990

Method of analysing extended finite-state machine specifications.

Behçet Sarikaya, Vassilios N. Koukoulidis, Gregor von Bochmann

Comput. Commun., 1990

Towards execution of TTCN test cases.

Srinivas Eswara, Tom Berriman, Philip VanHoutte, Behçet Sarikaya

Proceedings of the Protocol Specification, 1990

An ASN.1 encoder/decoder and its performance.

Murat Bilgic, Behçet Sarikaya

Proceedings of the Protocol Specification, 1990

1989

Conformance Testing: Architectures and Test Sequences.

Behçet Sarikaya

Comput. Networks, 1989

FTAM Test Design Using an Automated Test Tool.

Michel Barbeau, Behçet Sarikaya, Srinivas Eswara, Vassilios N. Koukoulidis

Proceedings of the Proceedings IEEE INFOCOM '89, 1989

Test Generation from Protocol Specification.

Piyu Tripathy, Behçet Sarikaya

Proceedings of the Formal Description Techniques, 1989

An Estelle Based Test Generation Tool for Modular Specifications.

Behdad Forghani, Srinivas Eswara, Vassilios N. Koukoulidis, Behçet Sarikaya

Proceedings of the Formal Description Techniques, 1989

1988

A computer-aided design tool for protocol testing.

Michel Barbeau, Behçet Sarikaya

Proceedings of the Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?, 1988

1987

A Test Design Methodology for Protocol Testing.

Behçet Sarikaya, Gregor von Bochmann, Eduard Cerny

IEEE Trans. Software Eng., 1987

1986

Formal specification-based conformance testing.

Behçet Sarikaya

Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986

1985

Use of Prolog for building protocol design tools.

Gregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural

Proceedings of the Protocol Specification, 1985

1984

Synchronization and Specification Issues in Protocol Testing.

Behçet Sarikaya, Gregor von Bochmann

IEEE Trans. Commun., 1984

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

Proceedings of the Protocol Specification, 1984

1983

Synchronization issues in protocol testing.

Behçet Sarikaya, Gregor von Bochmann

Proceedings of the symposium on Communications Architectures & Protocols, 1983

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

Some Experience with Test Sequence Generation for Protocols.

Behçet Sarikaya, Gregor von Bochmann

Proceedings of the Protocol Specification, 1982

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

Proceedings of the Protocol Specification, 1982