Concepedia

B. Sarikaya

BS

11

Publications

506

Citations

11

H-Index

1982

Active since

Affiliations

Université de Montréal(Current)

Concordia University

Bilkent University

McGill University

University of Aizu

B. Sarikaya is an author at Université de Montréal specializing in systems engineering, engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceVerificationProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringSoftware EngineeringFormal Methods

Publications per year

1982–2009

11

Publications

11

Synchronization and Specification Issues in Protocol Testing

B. Sarikaya, Gregor von Bochmann · IEEE Transactions on Communications · 1984 · 146 citations

Engineering, Verification, Protocol Compliance +20

A Test Design Methodology for Protocol Testing

B. Sarikaya, Gregor von Bochmann, E. Cerny · IEEE Transactions on Software Engineering · 1987 · 128 citations

Engineering, Remote Lower Tester, Verification +21

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

B. Sarikaya · IEEE Communications Magazine · 2000 · 53 citations

Cellular Networks, Mobility Protocol, Time-sensitive Networking +12

Experience with Formal Specifications Using an Extended State Transition Model

Gregor von Bochmann, E. Cerny, Matthew Gagné et al. · IRE Transactions on Communications Systems · 1982 · 35 citations

Engineering, Verification, Software Engineering +22

Architectural support for designing fault-tolerant open distributed systems

Salim Hariri, Alok Choudhary, B. Sarikaya · Computer · 1992 · 31 citations

Engineering, Distributed Algorithms, Computer Architecture +20

Rows per page

1–5 of 11