Concepedia

Executable Specifications

Executable Specifications is a formal, machine-readable artifact that belongs to the class of system specifications and is distinguished by its capacity to be directly executed or simulated, thereby enabling dynamic validation of system behavior against defined requirements within the context of executable system models and behavioral modeling.

333

Publications

14.7K

Citations

800

Authors

336

Institutions

Publications per year

2017–2026

25

Parents

Publications

333

Testing Programs with the Aid of a Compiler

Richard Hamlet · IEEE Transactions on Software Engineering · 1977 · 554 citations

, , +15

STOP-IT: Windows executable software for the stop-signal paradigm

Frederick Verbruggen, Gordon D. Logan, Michaël Stevens · Behavior Research Methods · 2008 · 494 citations · Full text

, , +10

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues et al. · 2018 · 410 citations

, , +13

Representing Control: a Study of the CPS Transformation

Oliver Danvy, Andrzex Filinski · Mathematical Structures in Computer Science · 1992 · 352 citations

, , +14

On the inevitable intertwining of specification and implementation

William Swartout, Robert Balzer · Communications of the ACM · 1982 · 341 citations · Full text

, , +9

1–5 of 333

Authors

800

  1. GR
    Grigore Roşu

    University of Illinois Urbana-Champaign, United States

    8 publications · 998 citations

    8

    h-index

  2. WS
    Wolfram Schulte

    Microsoft (United States), United States

    5 publications · 126 citations

    5

    h-index

  3. AM
    Angelo Morzenti

    Politecnico di Milano, Italy

    5 publications · 343 citations

    5

    h-index

  4. PF
    Peter Fritzson

    Linköping University, Sweden

    4 publications · 121 citations

    4

    h-index

  5. MF
    Miguel Felder

    Politecnico di Milano, Italy

    4 publications · 117 citations

    4

    h-index

1–5 of 800

Institutions

336

  1. University of Illinois Urbana-Champaign

    Urbana, United States

    10 h-index

    23 publications

    3K citations

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

    Le Chesnay-Rocquencourt, France

    9 h-index

    20 publications

    419 citations

  3. Politecnico di Milano

    Milan, Italy

    7 h-index

    16 publications

    1.1K citations

  4. Paderborn University

    Paderborn, Germany

    7 h-index

    17 publications

    891 citations

  5. Centre National de la Recherche Scientifique

    Paris, France

    7 h-index

    21 publications

    1.2K citations

  6. Carnegie Mellon University

    Pittsburgh, United States

    6 h-index

    7 publications

    584 citations

  7. Imperial College London

    London, United Kingdom

    6 h-index

    10 publications

    239 citations

  8. Massachusetts Institute of Technology

    Cambridge, United States

    6 h-index

    12 publications

    588 citations

1–8 of 336

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 14 publications · 1.2K citations

    11

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 10 publications · 171 citations

    10

    h-index

  3. Software Engineering Journal

    6 publications · 465 citations

    6

    h-index

  4. ACM SIGPLAN Notices

    5 publications · 313 citations

    5

    h-index

  5. ACM SIGSOFT Software Engineering Notes

    SEN · 4 publications · 179 citations

    4

    h-index

1–5