Concepedia

Model Trace Analysis

Model Trace Analysis is a method within the field of executable system modeling that systematically examines the execution traces generated by models to identify, verify, and relate dynamic behavioral patterns to structural elements, thereby enabling the validation of model correctness and the detection of runtime anomalies.

24

Publications

1.9K

Citations

49

Authors

34

Institutions

Publications per year

2017–2026

1

Parents

Publications

24

Proceedings of the 2002 Winter Simulation Conference

2002 · 456 citations

, , +14

Towards better modelling and decision support: Documenting model development, testing, and analysis using TRACE

Volker Grimm, Jacqueline Augusiak, Andreas Focks et al. · Ecological Modelling · 2014 · 304 citations

, , +14

From symptom to cause

Thomas Ball, Mayur Naik, Sriram K. Rajamani · 2003 · 300 citations

, , +13

PRINCIPLES OF DIGITAL WIENER FILTERING*

Enders A. Robinson, Sven Treitel · Geophysical Prospecting · 1967 · 175 citations

, , +16

DIGITAL PROCESSING OF REFRACTION DATA STUDY OF FIRST ARRIVALS*

Raphaëlle Peraldi, A. Clément · Geophysical Prospecting · 1972 · 82 citations

, , +15

1–5 of 24

Authors

49

  1. YL
    Yvan Labiche

    Carleton University, Canada

    3 publications · 131 citations

    3

    h-index

  2. LB
    Lionel Briand

    University of Luxembourg, Luxembourg

    2 publications · 112 citations

    2

    h-index

  3. SK
    Sriram K. Rajamani

    Microsoft (United States), United States

    2 publications · 365 citations

    2

    h-index

  4. DV
    Dániel Varró

    Budapest University of Technology and Economics, Hungary

    2 publications · 31 citations

    2

    h-index

  5. MN
    Mayur Naik

    Georgia Institute of Technology, United States

    2 publications · 365 citations

    2

    h-index

1–5 of 49

Institutions

34

  1. Purdue University West Lafayette

    West Lafayette, United States

    2 h-index

    2 publications

    365 citations

  2. Carleton University

    Ottawa, Canada

    2 h-index

    4 publications

    224 citations

  3. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    2 h-index

    4 publications

    730 citations

  4. Budapest University of Technology and Economics

    Budapest, Hungary

    2 h-index

    6 publications

    93 citations

  5. University of Siegen

    Siegen, Germany

    1 h-index

    3 publications

    48 citations

  6. Charles University

    Prague, Czechia

    1 h-index

    3 publications

    57 citations

  7. Indian Institute of Technology Kharagpur

    Kharagpur, India

    1 h-index

    3 publications

    36 citations

  8. GGG (Norway)

    Oslo, Norway

    1 h-index

    1 publications

    82 citations

1–8 of 34

Venues

  1. Geophysical Prospecting

    2 publications · 257 citations

    2

    h-index

  2. Information and Software Technology

    1 publications · 44 citations

    1

    h-index

  3. ACM SIGPLAN Notices

    1 publications · 65 citations

    1

    h-index

  4. Computer

    1 publications · 11 citations

    1

    h-index

  5. Ecological Modelling

    1 publications · 304 citations

    1

    h-index

1–5