Concepedia

Coordination Checking

Coordination Checking is a formal methodological framework within mechanical coordination that systematically verifies the alignment and consistency of interdependent actions, processes, or components to ensure coherent system-level behavior.

9

Publications

947

Citations

20

Authors

11

Institutions

Publications per year

2017–2026

1

Parents

Publications

9

Computer-aided verification of coordinating processes: The automata-theoretic approach

Computers & Mathematics with Applications · 1995 · 793 citations

, , +12

Common Ground, Corrections, and Coordination

Nicholas Asher, Anthony S. Gillies · Argumentation · 2003 · 38 citations

, , +5

On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination

Diego Latella, Michele Loreti, Mieke Massink · Science of Computer Programming · 2015 · 29 citations · Full text

, , +14

Diagnosis of coordination failures: a matrix-based approach

Meir Kalech · Autonomous Agents and Multi-Agent Systems · 2010 · 20 citations

, , +14

On the Semantics and Verification of Normative Multi-Agent Systems

Lăcrămioara Aştefănoaei, Mehdi Dastani, John‐Jules Ch. Meyer et al. · Data Archiving and Networked Services (DANS) · 2009 · 20 citations · Full text

, , +14

1–5 of 9

Authors

20

  1. MD
    Mehdi Dastani

    Utrecht University, Netherlands

    1 publications · 20 citations

    1

    h-index

  2. DL
    Diego Latella

    Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo", Italy

    1 publications · 29 citations

    1

    h-index

  3. SY
    Stephanie Yang

    Délégation Provence et Corse, France

    1 publications · 13 citations

    1

    h-index

  4. FS
    Frank S. de Boer

    Centrum Wiskunde & Informatica, Netherlands

    1 publications · 20 citations

    1

    h-index

  5. RB
    Richard B. Ivry

    University of California, Berkeley, United States

    1 publications · 13 citations

    1

    h-index

1–5 of 20

Institutions

11

  1. University of California, Berkeley

    Berkeley, United States

    2 h-index

    5 publications

    65 citations

  2. University of Florence

    Florence, Italy

    1 h-index

    1 publications

    29 citations

  3. Berkeley College

    New York, United States

    1 h-index

    2 publications

    26 citations

  4. Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

    Pisa, Italy

    1 h-index

    2 publications

    58 citations

  5. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    1 h-index

    1 publications

    10 citations

  6. Frederick University

    Nicosia, Cyprus

    1 h-index

    1 publications

    11 citations

  7. National Technical University of Athens

    Athens, Greece

    1 h-index

    2 publications

    22 citations

  8. Ben-Gurion University of the Negev

    Beersheba, Israel

    1 h-index

    1 publications

    20 citations

1–8 of 11

Venues

  1. Science of Computer Programming

    2 publications · 39 citations

    2

    h-index

  2. Data Archiving and Networked Services (DANS)

    Repository · 1 publications · 20 citations

    1

    h-index

  3. Autonomous Agents and Multi-Agent Systems

    1 publications · 20 citations

    1

    h-index

  4. Argumentation

    1 publications · 38 citations

    1

    h-index

  5. Proceedings of the VLDB Endowment

    PVLDB · 1 publications · 13 citations

    1

    h-index

1–5