Concepedia

Symbolic Memory Modeling

Symbolic Memory Modeling is a formal method in program analysis that extends symbolic execution by representing memory states as symbolic expressions to enable precise reasoning about memory accesses and dependencies under unknown or variable input conditions.

19

Publications

1.2K

Citations

53

Authors

26

Institutions

Publications per year

2017–2026

6

Parents

Publications

19

Unleashing Mayhem on Binary Code

Sang Kil, Thanassis Avgerinos, Alexandre Rebert et al. · 2012 · 521 citations

, , +15

Improving Computer Skill Training: Behavior Modeling, Symbolic Mental Rehearsal, and the Role of Knowledge Structures.

Fred D. Davis, Mun Yong Yi · Journal of Applied Psychology · 2004 · 137 citations

, , +15

Processes governing disinhibitory effects through symbolic modeling.

Albert Bandura, Peter G. Barab · Journal of Abnormal Psychology · 1973 · 92 citations

, , +11

Analysing memory resource bounds for low-level programs

Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea et al. · 2008 · 58 citations · Full text

, , +16

Distributed associative memories for high-speed symbolic reasoning

Jim Austin · Fuzzy Sets and Systems · 1996 · 57 citations · Full text

, , +13

1–5 of 19

Authors

53

  1. DC
    Daniele Cono D’Elia

    Sapienza University of Rome, Italy

    2 publications · 34 citations

    2

    h-index

  2. EC
    Emilio Coppa

    Sapienza University of Rome, Italy

    2 publications · 34 citations

    2

    h-index

  3. CD
    Camil Demetrescu

    Sapienza University of Rome, Italy

    2 publications · 34 citations

    2

    h-index

  4. DK
    Daniil Kuts

    Institute for System Programming, Russia

    1 publications · 11 citations

    1

    h-index

  5. HK
    Hideki Kadone

    University of Tsukuba, Japan

    1 publications · 48 citations

    1

    h-index

1–5 of 53

Institutions

26

  1. Imperial College London

    London, United Kingdom

    2 h-index

    6 publications

    184 citations

  2. Sapienza University of Rome

    Rome, Italy

    2 h-index

    7 publications

    116 citations

  3. University of South Carolina

    Columbia, United States

    1 h-index

    1 publications

    137 citations

  4. Institut d'Histoire des Représentations et des Idées dans les Modernités

    Lyon, France

    1 h-index

    1 publications

    18 citations

  5. KU Leuven

    Leuven, Belgium

    1 h-index

    1 publications

    40 citations

  6. Leiden University

    Leiden, The Netherlands

    1 h-index

    1 publications

    40 citations

  7. University of Cambridge

    Cambridge, United Kingdom

    1 h-index

    1 publications

    23 citations

  8. Laboratoire des Sciences de l'Ingénieur, de l'Informatique et de l'Imagerie

    Illkirch-Graffenstaden, France

    1 h-index

    1 publications

    40 citations

1–8 of 26

Venues

  1. 1

    h-index

  2. Journal of Signal Processing Systems

    1 publications · 19 citations

    1

    h-index

  3. Software Testing Verification and Reliability

    STVR · 1 publications · 14 citations

    1

    h-index

  4. 1

    h-index

  5. Journal of Automated Reasoning

    1 publications · 23 citations

    1

    h-index

1–5