Concepedia

Model Transformation Verification

Model Transformation Verification is a formal method used in model-driven engineering to ensure that a model transformation preserves the intended semantics, consistency, and correctness properties by verifying its conformance to specified constraints and behavioral requirements.

52

Publications

1.5K

Citations

130

Authors

76

Institutions

Publications per year

2017–2026

10

Parents

Publications

52

A survey of approaches for verifying model transformations

Lukman Ab. Rahim, Jon Whittle · Software & Systems Modeling · 2013 · 101 citations

, , +11

Automated verification of model transformations based on visual contracts

Esther Guerra, Juan de Lara, Manuel Wimmer et al. · Automated Software Engineering · 2012 · 82 citations · Full text

, , +13

Towards Automated, Formal Verification of Model Transformations

Márk Asztalos, László Lengyel, Tihamér Levendovszky · 2010 · 79 citations

, , +16

Validation of Model Transformations -- First Experiences using a White Box Approach

2006 · 76 citations

, , +14

Towards Verifying Model Transformations

Anantha Narayanan, Gábor Karsai · Electronic Notes in Theoretical Computer Science · 2008 · 72 citations · Full text

, , +17

1–5 of 52

Authors

130

  1. JD
    Juan de Lara

    Universidad Autónoma de Madrid, Spain

    4 publications · 198 citations

    4

    h-index

  2. EG
    Esther Guerra

    Universidad Autónoma de Madrid, Spain

    4 publications · 198 citations

    4

    h-index

  3. GK
    Gábor Karsai

    Vanderbilt University, United States

    3 publications · 115 citations

    3

    h-index

  4. AN
    Anantha Narayanan

    National Institute of Standards and Technology, United States

    3 publications · 115 citations

    3

    h-index

  5. LL
    Lucio Levi

    McGill University, Canada

    3 publications · 111 citations

    3

    h-index

1–5 of 130

Institutions

76

  1. Université Toulouse III - Paul Sabatier

    Toulouse, France

    4 h-index

    8 publications

    103 citations

  2. Universidad Autónoma de Madrid

    Madrid, Spain

    4 h-index

    9 publications

    428 citations

  3. Institut de Recherche en Informatique de Toulouse

    Toulouse, France

    4 h-index

    8 publications

    103 citations

  4. McGill University

    Montreal, Canada

    3 h-index

    5 publications

    182 citations

  5. Eindhoven University of Technology

    Eindhoven, The Netherlands

    3 h-index

    4 publications

    64 citations

  6. The University of Queensland

    Brisbane, Australia

    2 h-index

    6 publications

    171 citations

  7. Budapest University of Technology and Economics

    Budapest, Hungary

    2 h-index

    6 publications

    267 citations

  8. Tsinghua University

    Beijing, China

    2 h-index

    6 publications

    110 citations

1–8 of 76

Venues

  1. Software & Systems Modeling

    SoSyM · 4 publications · 205 citations

    4

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 129 citations

    2

    h-index

  3. Formal Aspects of Computing

    2 publications · 49 citations

    2

    h-index

  4. The Journal of Object Technology

    JOT · 2 publications · 61 citations

    2

    h-index

  5. Software Practice and Experience

    1 publications · 19 citations

    1

    h-index

1–5