Concepedia

Automata-based Equivalence Checking

Automata-Based Equivalence Checking is a formal method within the domain of equivalence checking that employs finite automata as the primary computational model to represent and compare the behavioral or structural equivalence of systems, distinguishing it from other techniques by its reliance on automata-theoretic representations and language containment or bisimulation algorithms.

52

Publications

2.1K

Citations

112

Authors

65

Institutions

Publications per year

2017–2026

4

Parents

Publications

52

Checking NFA equivalence with bisimulations up to congruence

Filippo Bonchi, Damien Pous · 2013 · 150 citations · Full text

, , +16

Decidability of bisimulation equivalence for process generating context-free languages

J. C. M. Baeten, J.A. Bergstra, Jan Willem Klop · Journal of the ACM · 1993 · 142 citations · Full text

, , +10

The equivalence problem of multitape finite automata

Tero Harju, Juhani Karhumäki · Theoretical Computer Science · 1991 · 127 citations

, , +12

Solving systems of set constraints

Alex Aiken, Edward L. Wimmers · 2003 · 109 citations

, , +13

Symbolic finite state transducers

Margus Veanes, Pieter Hooimeijer, Benjamin Livshits et al. · ACM SIGPLAN Notices · 2012 · 106 citations

, , +16

1–5 of 52

Authors

112

  1. DP
    Damien Pous

    École Normale Supérieure de Lyon, France

    6 publications · 300 citations

    6

    h-index

  2. FB
    Filippo Bonchi

    University of Pisa, Italy

    4 publications · 261 citations

    4

    h-index

  3. DQ
    Daowen Qiu

    Sun Yat-sen University, China

    2 publications · 108 citations

    2

    h-index

  4. SD
    Srinivas Devadas

    Massachusetts Institute of Technology, United States

    2 publications · 103 citations

    2

    h-index

  5. DM
    Dávid Molnár

    Microsoft (United States), United States

    2 publications · 183 citations

    2

    h-index

1–5 of 112

Institutions

65

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

    Le Chesnay-Rocquencourt, France

    5 h-index

    5 publications

    97 citations

  2. Laboratoire de l'Informatique du Parallélisme

    Lyon, France

    4 h-index

    6 publications

    401 citations

  3. École Normale Supérieure de Lyon

    Lyon, France

    4 h-index

    6 publications

    401 citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    4 h-index

    6 publications

    413 citations

  5. Université Claude Bernard Lyon 1

    Villeurbanne, France

    4 h-index

    7 publications

    230 citations

  6. Centrum Wiskunde & Informatica

    Amsterdam, The Netherlands

    2 h-index

    2 publications

    184 citations

  7. Leiden University

    Leiden, The Netherlands

    2 h-index

    2 publications

    79 citations

  8. University of Virginia

    Charlottesville, United States

    2 h-index

    2 publications

    183 citations

1–8 of 65

Venues

  1. Theoretical Computer Science

    5 publications · 254 citations

    5

    h-index

  2. Information and Computation

    4 publications · 109 citations

    4

    h-index

  3. Journal of Computer and System Sciences

    3 publications · 130 citations

    3

    h-index

  4. ACM SIGPLAN Notices

    3 publications · 160 citations

    3

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 36 citations

    2

    h-index

1–5