Concepedia

Executable Contracts

Executable Contracts is a formal digital contract representation that integrates legal semantics with machine-interpretable logic to enable automated execution and enforcement within computational systems.

52

Publications

3.1K

Citations

164

Authors

71

Institutions

Publications per year

2017–2026

31

Parents

Publications

52

Formal Verification of Smart Contracts

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet et al. · 2016 · 620 citations · Full text

, , +13

REPRESENTING BUSINESS CONTRACTS IN<i>RuleML</i>

Guido Governatori · International Journal of Cooperative Information Systems · 2005 · 243 citations

, , +17

Interlanguage migration

Sam Tobin-Hochstadt, Matthias Felleisen · 2006 · 207 citations

, , +13

SoliAudit: Smart Contract Vulnerability Assessment Based on Machine Learning and Fuzz Testing

Jianwei Liao, Tsung-Ta Tsai, Chia-Kang He et al. · 2019 · 149 citations

, , +16

A formal verification tool for Ethereum VM bytecode

Daejun Park, Yi Zhang, Manasvi Saxena et al. · 2018 · 108 citations · Full text

, , +13

1–5 of 52

Authors

164

  1. AS
    Abiola Salau

    University of North Texas, United States

    2 publications · 30 citations

    2

    h-index

  2. SB
    Syed Badruddoja

    University of North Texas, United States

    2 publications · 30 citations

    2

    h-index

  3. WS
    Weijing Song

    China University of Geosciences, China

    2 publications · 57 citations

    2

    h-index

  4. RD
    Ram Dantu

    University of North Texas, United States

    2 publications · 30 citations

    2

    h-index

  5. YZ
    Yan Zhu

    University of Science and Technology Beijing, China

    2 publications · 57 citations

    2

    h-index

1–5 of 164

Institutions

71

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

    Le Chesnay-Rocquencourt, France

    4 h-index

    7 publications

    2.5K citations

  2. University of Freiburg

    Freiburg im Breisgau, Germany

    3 h-index

    6 publications

    242 citations

  3. Northeastern University

    Boston, United States

    3 h-index

    6 publications

    544 citations

  4. ETH Zurich

    Zurich, Switzerland

    2 h-index

    9 publications

    699 citations

  5. University of Science and Technology Beijing

    Beijing, China

    2 h-index

    8 publications

    219 citations

  6. Cornell University

    Ithaca, United States

    2 h-index

    5 publications

    268 citations

  7. University of Bologna

    Bologna, Italy

    2 h-index

    4 publications

    109 citations

  8. Northwestern University

    Evanston, United States

    2 h-index

    3 publications

    104 citations

1–8 of 71

Venues

  1. arXiv (Cornell University)

    Repository · 2 publications · 68 citations

    2

    h-index

  2. IEEE Transactions on Reliability

    2 publications · 75 citations

    2

    h-index

  3. SSRN Electronic Journal

    Repository · 2 publications · 36 citations

    2

    h-index

  4. IEEE Access

    2 publications · 182 citations

    2

    h-index

  5. Data Archiving and Networked Services (DANS)

    Repository · 1 publications · 10 citations

    1

    h-index

1–5