Behçet Sarikaya

Publication Activity (10 Years)

Years Active: 1982-2022
Publications (10 Years): 5

Top Topics

Management System

Coloured Petri Nets

Promising Directions

Top Venues

Publications

Dirk von Hugo, Gerald Eichler, Behçet Sarikaya
Challenges of Future Smart and Secure IoT Networking. I4CS (2022)
Behçet Sarikaya, Dirk von Hugo, Mohamed Boucadair
Subscriber and Performance Policy Identifier Context Headers in the Network Service Header (NSH). RFC 8979 (2021)
Pascal Thubert, Behçet Sarikaya, Mohit Sethi, René Struik
Address-Protected Neighbor Discovery for Low-Power and Lossy Networks. RFC 8928 (2020)
Nicolai Leymann, Cornelius Heidemann, Mingui Zhang, Behçet Sarikaya, Margaret Cullen
Huawei's GRE Tunnel Bonding Protocol. RFC 8157 (2017)
Behçet Sarikaya, Mohamed Boucadair
Source-Address-Dependent Routing and Source Address Selection for IPv6 Hosts: Overview of the Problem Space. RFC 8043 (2017)
Jyotirmoy Banik, Yiding Luo, Jonathan Seawright, Junjie Xu, Marco Tacca, Andrea Fumagalli, Behçet Sarikaya, Li Xue
A Software Defined Semi Distributed Mobility Management System Based on Layer 2 Backhaul Network. VTC Fall (2015)
Jyotirmoy Banik, Marco Tacca, Andrea Fumagalli, Behçet Sarikaya, Li Xue
Enabling Distributed Mobility Management: A Unified Wireless Network Architecture Based on Virtualized Core Network. ICCCN (2015)
Mohamed Boucadair, Bruno Chatras, Tirumaleswar Reddy, Brandon Williams, Behçet Sarikaya
Scenarios with Host Identification Complications. RFC 7620 (2015)
Hidetoshi Yokota, Dae-Sun Kim, Behçet Sarikaya, Frank Xia
Flow Bindings Initiated by Home Agents for Mobile IPv6. RFC 7109 (2014)
Wojciech Dec, Behçet Sarikaya, Glen Zorn, David Miles, Benoit Lourdelet
RADIUS Attributes for IPv6 Access Networks. RFC 6911 (2013)
Frank Xia, Behçet Sarikaya, Jouni Korhonen, Sri Gundavelli, Damjan Damic
RADIUS Support for Proxy Mobile IPv6. RFC 6572 (2012)
Behçet Sarikaya, Frank Xia, Ted Lemon
DHCPv6 Prefix Delegation in Long-Term Evolution (LTE) Networks. RFC 6653 (2012)
Hicham Mahkoum, Abdelhakim Senhaji Hafid, Behçet Sarikaya
Proxying location update for idle mode interfaces. IWCMC (2010)
Xiao Zheng, Behçet Sarikaya
Mobile sensor network programming system. Wirel. Networks 16 (4) (2010)
Hicham Mahkoum, Behçet Sarikaya, Abdelhakim Senhaji Hafid
A framework for power management of handheld devices with multiple radios. WCNC (2009)
Xiao Zheng, Behçet Sarikaya
Handover keying and its uses. IEEE Netw. 23 (2) (2009)
Behçet Sarikaya, Xiao Zheng
Task dissemination with multicast deluge in sensor networks. IEEE Trans. Wirel. Commun. 8 (5) (2009)
M. Abdul Alim, Behçet Sarikaya
EAP-Sens: a security architecture for wireless sensor networks. WICON (2008)
Behçet Sarikaya, Xiao Zheng
SIP paging and tracking of wireless LAN hosts for VoIP. IEEE/ACM Trans. Netw. 16 (3) (2008)
Basavaraj Patil, Frank Xia, Behçet Sarikaya, JinHyeock Choi, Syam Madanapalli
Transmission of IPv6 via the IPv6 Convergence Sublayer over IEEE 802.16 Networks. RFC 5121 (2008)
Behçet Sarikaya
Home agent placement and IP address management for integrating WLANs with cellular networks. IEEE Wirel. Commun. 13 (6) (2006)
Behçet Sarikaya, Xiao (Abbot) Zheng, Timuçin Özugur
Analysis of soft-state user tracking of wireless LAN hosts for VoIP. CCNC (2006)
Xiao Zh, Behçet Sarikaya
Code Dissemination in Sensor Networks with MDeluge. SECON (2006)
Behçet Sarikaya, M. Abdul Alim, Siamak Rezaei
Integrating wireless EEGs into medical sensor networks. IWCMC (2006)
Darren Loher, Dave Nelson, Oleg Volinsky, Behçet Sarikaya
Evaluation of Candidate Control and Provisioning of Wireless Access Points (CAPWAP) Protocols. RFC 4565 (2006)
Behçet Sarikaya, Xiao Zheng
CAPWAP Handover Protocol. ICC (2006)
Timucin Ozugur, Behçet Sarikaya
Combining layer 2-layer 3 paging for wireless LANs. IEEE Trans. Wirel. Commun. 5 (9) (2006)
Timucin Ozugur, Behçet Sarikaya
Fast IPv4/IPv6 address acquisition in wireless LANs. CCNC (2004)
Behçet Sarikaya, Timucin Ozugur
Tracking agent based paging for wireless LANs. CCNC (2004)
Behçet Sarikaya, Timucin Ozugur
Dormant mode operation support for roaming from WLAN to UMTS. ICC (2003)
Behçet Sarikaya, Sridhar Gurivireddy
Evaluation of CDMA2000 support for IP micromobility handover and paging protocols. IEEE Commun. Mag. 40 (5) (2002)
James Kempf, Claude Castelluccia, Pars Mutaf, Nobuyasu Nakajima, Yoshihiro Ohba, Ramachandran Ramjee, Yousuf Saifullah, Behçet Sarikaya, Xiaofeng Xu
Requirements and Functional Architecture for an IP Host Alerting Protocol. RFC 3154 (2001)
Behçet Sarikaya, Masaru Tasaki
Supporting node mobility using mobile IPv6 in a LEO-satellite network. Int. J. Satell. Commun. Netw. 19 (5) (2001)
Behçet Sarikaya
Packet mode in wireless networks: overview of transition to third generation. IEEE Commun. Mag. 38 (9) (2000)
Behçet Sarikaya, Mehmet Ulema
An Evaluation of Quality of Service Characteristics of PACS Packet Channel. Mob. Networks Appl. 4 (4) (1999)
Aruna Seneviratne, Behçet Sarikaya
Cellular networks and mobile internet. Comput. Commun. 21 (14) (1998)
Yukio Hashimoto, Behçet Sarikaya, Mehmet Ulema
Multimedia Communication in Cellular PACS Network. MobiCom (1997)
Ahmet F. Ates, Behçet Sarikaya
Test Sequence Generation and Timed Testing. Comput. Networks ISDN Syst. 29 (1) (1996)
Ahmet F. Ates, Murat Bilgic, Senro Saito, Behçet Sarikaya
Using Timed CSP for Specification Verification and Simulation of Multimedia Synchronization. IEEE J. Sel. Areas Commun. 14 (1) (1996)
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) (1996)
Michel Barbeau, Behçet Sarikaya
An approach to conformance testing of MIB implementations. Integrated Network Management (1995)
Piyu Tripathy, Behçet Sarikaya
Analysis and representation of test cases generated from LOTOS. Comput. Commun. 18 (7) (1995)
Kshirasagar Naik, Behçet Sarikaya
Protocol conformance test case verification using timed-transitions. PSTV (1994)
Olaf Henniger, Behçet Sarikaya, Steve Biedlingmaier
Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle. Protocol Test Systems (1993)
Murat Bilgic, Behçet Sarikaya
Performance comparison of ASN.1 encoder/decoders using FTAM. Comput. Commun. 16 (4) (1993)
Kshirasagar Naik, Behçet Sarikaya
Test Case Verification by Model Checking. Formal Methods Syst. Des. 2 (3) (1993)
Kshirasagar Naik, Behçet Sarikaya
Verification of protocol conformance test cases using reachability analysis. J. Syst. Softw. 19 (1) (1992)
Behdad Forghani, Behçet Sarikaya
Semi-automatic test suite generation from Estelle. Softw. Eng. J. 7 (4) (1992)
Gang Luo, Gregor von Bochmann, Behçet Sarikaya, Michel Boyer
Control-flow based testing of Prolog programs. ISSRE (1992)
Behçet Sarikaya, Vassilios N. Koukoulidis, Srinivas Eswara, Michel Barbeau
Analysis and testing of application layer protocols with an application to FTAM. IEEE Trans. Commun. 40 (1) (1992)
Salim Hariri, Alok N. Choudhary, Behçet Sarikaya
Architectural Support for Designing Fault-Tolerant Open Distributed Systems. Computer 25 (6) (1992)
Kshirasagar Naik, Behçet Sarikaya
testing Communication Protocols. IEEE Softw. 9 (1) (1992)
Murat Bilgic, Behçet Sarikaya
High Performance PDU Processing for Application Layer. HPDC (1992)
Behçet Sarikaya, Behdad Forghani, Srinivas Eswara
Estelle-based test generation tool. Comput. Commun. 14 (9) (1991)
Piyu Tripathy, Behçet Sarikaya
Test Generation from LOTOS Specifications. IEEE Trans. Computers 40 (4) (1991)
Srinivas Eswara, Tom Berriman, Philip VanHoutte, Behçet Sarikaya
Towards execution of TTCN test cases. PSTV (1990)
Behçet Sarikaya, Vassilios N. Koukoulidis, Gregor von Bochmann
Method of analysing extended finite-state machine specifications. Comput. Commun. 13 (2) (1990)
Murat Bilgic, Behçet Sarikaya
An ASN.1 encoder/decoder and its performance. PSTV (1990)
Behçet Sarikaya
Conformance Testing: Architectures and Test Sequences. Comput. Networks 17 (1989)
Piyu Tripathy, Behçet Sarikaya
Test Generation from Protocol Specification. FORTE (1989)
Behdad Forghani, Srinivas Eswara, Vassilios N. Koukoulidis, Behçet Sarikaya
An Estelle Based Test Generation Tool for Modular Specifications. FORTE (1989)
Michel Barbeau, Behçet Sarikaya, Srinivas Eswara, Vassilios N. Koukoulidis
FTAM Test Design Using an Automated Test Tool. INFOCOM (1989)
Michel Barbeau, Behçet Sarikaya
A computer-aided design tool for protocol testing. INFOCOM (1988)
Behçet Sarikaya, Gregor von Bochmann, Eduard Cerny
A Test Design Methodology for Protocol Testing. IEEE Trans. Software Eng. 13 (5) (1987)
Behçet Sarikaya
Formal specification-based conformance testing. SIGCOMM (1986)
Gregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural
Use of Prolog for building protocol design tools. PSTV (1985)
Gregor von Bochmann, Eduard Cerny, George Walter 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)
Behçet Sarikaya, Gregor von Bochmann
Synchronization and Specification Issues in Protocol Testing. IEEE Trans. Commun. 32 (4) (1984)
Behçet Sarikaya, Gregor von Bochmann
Synchronization issues in protocol testing. SIGCOMM (1983)
Gregor von Bochmann, Eduard Cerny, Michel Gagné, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya
Experience with Formal Specifications Using an Extended State Transition Model. IEEE Trans. Commun. 30 (12) (1982)
Behçet Sarikaya, Gregor von Bochmann
Some Experience with Test Sequence Generation for Protocols. PSTV (1982)
Gregor von Bochmann, Eduard Cerny, Michel Gagné, 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)