Concepedia

Parameterized Communication Protocols

Parameterized Communication Protocols is a formal framework in parameterized design that specifies communication rules and interactions through configurable parameters, enabling systematic adaptation and instantiation across diverse system configurations while maintaining structural and behavioral consistency.

14

Publications

748

Citations

33

Authors

22

Institutions

Publications per year

2017–2026

1

Parents

Publications

14

On the verification of broadcast protocols

Javier Esparza, Alain Finkel, Richard Mayr · 2003 · 247 citations

, , +13

Evaluation of the traffic-performance characteristics of system-on-chip communication architectures

Kanishka Lahiri, Anand Raghunathan, S. Dey · 2002 · 121 citations

, , +17

Construction of optimal multicast trees based on the parameterized communication model

Ju-Young L. Park, Hyeong‐Ah Choi, Natawut Nupairoj et al. · 2002 · 68 citations

, , +10

Going with the Flow: Parameterized Verification Using Message Flows

Murali Talupur, Mark R. Tuttle · 2008 · 63 citations

, , +16

Signatures for a network protocol stack

Edoardo Biagioni, Robert Harper, Peter Lee et al. · 1994 · 46 citations

, , +17

1–5 of 14

Authors

33

  1. NN
    Nicholas Ng

    Imperial College London, United Kingdom

    2 publications · 51 citations

    2

    h-index

  2. NY
    Nobuko Yoshida

    Imperial College London, United Kingdom

    2 publications · 51 citations

    2

    h-index

  3. KL
    Kanishka Lahiri

    University of California San Diego, United States

    1 publications · 121 citations

    1

    h-index

  4. JL
    Ju-Young L. Park

    George Washington University, United States

    1 publications · 68 citations

    1

    h-index

  5. MW
    Michael Weber

    University of California, Berkeley, United States

    1 publications · 22 citations

    1

    h-index

1–5 of 33

Institutions

22

  1. Verimag

    Gières, France

    2 h-index

    2 publications

    42 citations

  2. Imperial College London

    London, United Kingdom

    2 h-index

    4 publications

    102 citations

  3. Technical University of Munich

    Munich, Germany

    1 h-index

    1 publications

    247 citations

  4. Université Grenoble Alpes

    Saint-Martin-d'Hères, France

    1 h-index

    1 publications

    20 citations

  5. Laboratoire d'Informatique Algorithmique: Fondements et Applications

    Paris, France

    1 h-index

    1 publications

    20 citations

  6. NEC (Japan)

    Tokyo, Japan

    1 h-index

    1 publications

    121 citations

  7. University of Edinburgh

    Edinburgh, United Kingdom

    1 h-index

    1 publications

    247 citations

  8. University of California San Diego

    San Diego, United States

    1 h-index

    2 publications

    242 citations

1–8 of 22

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 51 citations

    2

    h-index

  2. Automation and Remote Control

    1 publications · 11 citations

    1

    h-index

  3. Zenodo (CERN European Organization for Nuclear Research)

    Repository · 1 publications · 22 citations

    1

    h-index

  4. Service Oriented Computing and Applications

    1 publications · 30 citations

    1

    h-index

  5. IEEE Transactions on Vehicular Technology

    1 publications · 31 citations

    1

    h-index

1–5