Concepedia

Protocol Synthesis

Protocol Synthesis is the systematic generation of communication protocols through formal methods or algorithmic techniques, distinguished from related analytical or verification approaches by its constructive aim to produce correct-by-design protocol specifications from high-level requirements.

144

Publications

5.5K

Citations

381

Authors

168

Institutions

Publications per year

2017–2026

13

Parents

Publications

144

Towards Analyzing and Synthesizing Protocols

P. Zafiropulo, Colin H. West, H. Rudin et al. · IRE Transactions on Communications Systems · 1980 · 239 citations

, , +17

Design protocol data and novel design decisions

Chengtah Lin · Design Studies · 1995 · 201 citations

, , +11

Communication-protocol-based analysis and synthesis of networked systems: progress, prospects and challenges

Lei Zou, Zidong Wang, Jun Hu et al. · International Journal of Systems Science · 2021 · 185 citations · Full text

, , +16

Automatic synthesis of interfaces between incompatible protocols

Roberto Passerone, J.A. Rowson, Alberto Sangiovanni‐Vincentelli · 1998 · 167 citations · Full text

, , +15

How to compress interactive communication

Boaz Barak, Mark Braverman, Xi Chen et al. · 2010 · 155 citations

, , +11

1–5 of 144

Authors

381

  1. HY
    Hirozumi Yamaguchi

    The University of Osaka, Japan

    4 publications · 72 citations

    4

    h-index

  2. TH
    Teruo Higashino

    The University of Osaka, Japan

    4 publications · 71 citations

    4

    h-index

  3. KT
    K. Taniguchi

    The University of Osaka, Japan

    3 publications · 52 citations

    3

    h-index

  4. SR
    S. Ramesh

    General Motors (India), India

    3 publications · 56 citations

    3

    h-index

  5. AK
    Anshul Kumar

    Indian Institute of Technology Delhi, India

    3 publications · 56 citations

    3

    h-index

1–5 of 381

Institutions

168

  1. University of California, Berkeley

    Berkeley, United States

    7 h-index

    20 publications

    744 citations

  2. University of California, Santa Barbara

    Santa Barbara, United States

    4 h-index

    10 publications

    239 citations

  3. The University of Osaka

    Osaka, Japan

    4 h-index

    14 publications

    246 citations

  4. University of Ottawa

    Ottawa, Canada

    4 h-index

    5 publications

    286 citations

  5. IBM (United States)

    Armonk, United States

    4 h-index

    8 publications

    1.3K citations

  6. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    4 h-index

    8 publications

    454 citations

  7. Microsoft (United States)

    Redmond, United States

    3 h-index

    4 publications

    417 citations

  8. The University of Texas at Austin

    Austin, United States

    3 h-index

    9 publications

    255 citations

1–8 of 168

Venues

  1. ACM SIGCOMM Computer Communication Review

    CCR · 6 publications · 178 citations

    6

    h-index

  2. IEEE Transactions on Computers

    5 publications · 184 citations

    6

    h-index

  3. IEEE/ACM Transactions on Networking

    TON · 3 publications · 127 citations

    3

    h-index

  4. Design Studies

    3 publications · 325 citations

    3

    h-index

  5. IEEE Transactions on Software Engineering

    TSE · 3 publications · 102 citations

    3

    h-index

1–5