Concepedia

Process Verification

Process Verification is a formal method within process modeling that systematically evaluates whether a process model conforms to specified correctness criteria and properties, distinguishing it from other validation or analysis techniques by focusing on syntactic, structural, and behavioral consistency with respect to modeling rules and constraints.

197

Publications

6.9K

Citations

568

Authors

248

Institutions

Publications per year

2017–2026

38

Parents

Publications

197

Formalization and verification of event-driven process chains

Wil M. P. van der Aalst · Information and Software Technology · 1999 · 565 citations

, , +12

Process verification of two-qubit quantum gates by randomized benchmarking

Antonio Córcoles, Jay Gambetta, Jerry M. Chow et al. · Physical Review A · 2013 · 219 citations · Full text

, , +17

Data flow and validation in workflow modelling

Shazia Sadiq, Maria E. Orłowska, Shazia Sadiq et al. · Queensland's institutional digital repository (The University of Queensland) · 2004 · 163 citations

, , +16

Business process verification – finally a reality!

Moe Thandar Wynn, H. M. W. Verbeek, Wil M. P. van der Aalst et al. · Business Process Management Journal · 2009 · 155 citations

, , +16

Analysis on demand: Instantaneous soundness checking of industrial business process models

Dirk Fahland, Cédric Favre, Jana Koehler et al. · Data & Knowledge Engineering · 2011 · 142 citations

, , +13

1–5 of 197

Authors

568

  1. WM
    Wil M. P. van der Aalst

    Eindhoven University of Technology, Netherlands

    8 publications · 888 citations

    8

    h-index

  2. JM
    Jan Mendling

    Vienna University of Economics and Business, Austria

    6 publications · 164 citations

    6

    h-index

  3. BR
    Barbara Re

    Università di Camerino, Italy

    5 publications · 126 citations

    5

    h-index

  4. MM
    Marco Montali

    Free University of Bozen-Bolzano, Italy

    5 publications · 129 citations

    5

    h-index

  5. SM
    Simon Moser

    Johannes Kepler University of Linz, Austria

    4 publications · 111 citations

    4

    h-index

1–5 of 568

Institutions

248

  1. Eindhoven University of Technology

    Eindhoven, The Netherlands

    13 h-index

    17 publications

    1.6K citations

  2. IBM (United States)

    Armonk, United States

    8 h-index

    20 publications

    821 citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    6 h-index

    11 publications

    384 citations

  4. Imperial College London

    London, United Kingdom

    5 h-index

    19 publications

    1.1K citations

  5. Università di Camerino

    Camerino, Italy

    5 h-index

    22 publications

    584 citations

  6. Universidad de Sevilla

    Seville, Spain

    4 h-index

    9 publications

    248 citations

  7. Free University of Bozen-Bolzano

    Bolzano, Italy

    4 h-index

    7 publications

    197 citations

  8. Laboratoire d'Analyse et d'Architecture des Systèmes

    Toulouse, France

    3 h-index

    3 publications

    82 citations

1–8 of 248

Venues

  1. Information Systems

    3 publications · 62 citations

    3

    h-index

  2. TU/e Research Portal

    Repository · 3 publications · 73 citations

    3

    h-index

  3. Journal of the Association for Information Systems

    JAIS · 3 publications · 99 citations

    3

    h-index

  4. Information and Software Technology

    3 publications · 609 citations

    3

    h-index

  5. Computers & Chemical Engineering

    3 publications · 49 citations

    3

    h-index

1–5