Behçet Sarikaya

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