Concepedia

Reactive System Modeling

Reactive System Modeling is a formal method for specifying and analyzing hardware systems that continuously interact with their environment by responding to external stimuli in a timely and predictable manner.

327

Publications

13.3K

Citations

806

Authors

318

Institutions

Publications per year

2017–2026

41

Parents

Publications

327

STATEMATE: a working environment for the development of complex reactive systems

David Harel, H. Lachover, A. Naamad et al. · IEEE Transactions on Software Engineering · 1990 · 1.1K citations

, , +17

Safe Reinforcement Learning via Shielding

Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers et al. · 2018 · 620 citations

, , +14

A model-based approach to reactive self-configuring systems

Brian C. Williams, P. Pandurang Nayak · 1996 · 489 citations

, , +15

Abstract interpretation of reactive systems

Dennis Dams, Rob Gerth, Orna Grümberg · ACM Transactions on Programming Languages and Systems · 1997 · 383 citations · Full text

, , +8

Distributed reactive systems are hard to synthesize

A. Pneuli, Roni Rosner · 2002 · 362 citations

, , +16

1–5 of 327

Authors

806

  1. DH
    David Harel

    Weizmann Institute of Science, Israel

    11 publications · 1.9K citations

    11

    h-index

  2. SM
    Shahar Maoz

    Tel Aviv University, Israel

    6 publications · 143 citations

    6

    h-index

  3. AB
    Albert Benveniste

    Institut de Recherche en Informatique et Systèmes Aléatoires, France

    5 publications · 113 citations

    5

    h-index

  4. LJ
    Lalita Jategaonkar Jagadeesan

    Nokia (United States), United States

    5 publications · 192 citations

    5

    h-index

  5. JO
    Jan Oliver Ringert

    Tel Aviv University, Israel

    5 publications · 131 citations

    5

    h-index

1–5 of 806

Institutions

318

  1. Weizmann Institute of Science

    Rehovot, Israel

    13 h-index

    27 publications

    4.4K citations

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

    Le Chesnay-Rocquencourt, France

    10 h-index

    31 publications

    719 citations

  3. Institut de Recherche en Informatique et Systèmes Aléatoires

    Rennes, France

    8 h-index

    28 publications

    479 citations

  4. Georgia Institute of Technology

    Atlanta, United States

    7 h-index

    11 publications

    504 citations

  5. The University of Texas at Austin

    Austin, United States

    7 h-index

    14 publications

    2.2K citations

  6. Verimag

    Gières, France

    7 h-index

    16 publications

    470 citations

  7. University of California, Berkeley

    Berkeley, United States

    7 h-index

    15 publications

    543 citations

  8. Tel Aviv University

    Tel Aviv, Israel

    6 h-index

    12 publications

    304 citations

1–8 of 318

Venues

  1. The Journal of Chemical Physics

    16 publications · 632 citations

    14

    h-index

  2. Industrial & Engineering Chemistry Research

    6 publications · 228 citations

    6

    h-index

  3. The Journal of Physical Chemistry A

    5 publications · 202 citations

    5

    h-index

  4. 4

    h-index

  5. Journal of Systems and Software

    JSS · 4 publications · 66 citations

    4

    h-index

1–5