Concepedia

Reactive Systems

Reactive Systems is a computational paradigm within behavioral modeling and concurrent modeling that characterizes a system as a continuous and event-driven entity distinguished by its primary focus on responding to external stimuli in real time, maintaining responsiveness, resilience, and elasticity through asynchronous message passing and decentralized control.

1K

Publications

49.4K

Citations

2.3K

Authors

760

Institutions

Publications per year

2017–2026

131

Parents

Publications

1K

Cell Surface Engineering by a Modified Staudinger Reaction

Eliana Saxon, Carolyn R. Bertozzi · Science · 2000 · 2.4K citations

, , +17

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

Model checking for programming languages using VeriSoft

Patrice Godefroid · 1997 · 829 citations · Full text

, , +17

The synchronous approach to reactive and real-time systems

Albert Benveniste, Gérard Berry · Proceedings of the IEEE · 1991 · 755 citations · Full text

, , +15

Communication in reactive multiagent robotic systems

Tucker Balch, Ronald C. Arkin · Autonomous Robots · 1994 · 519 citations

, , +10

1–5 of 1K

Authors

2.3K

  1. DH
    David Harel

    Weizmann Institute of Science, Israel

    22 publications · 2.4K citations

    17

    h-index

  2. AP
    Amir Pnueli

    Weizmann Institute of Science, Israel

    12 publications · 1.9K citations

    12

    h-index

  3. GS
    Guido Salvaneschi

    Technische Universität Darmstadt, Germany

    11 publications · 377 citations

    10

    h-index

  4. MB
    Michael Baer

    Soreq Nuclear Research Center

    9 publications · 211 citations

    9

    h-index

  5. RV
    Reinhard von Hanxleden

    Christian-Albrechts-Universität zu Kiel, Germany

    8 publications · 206 citations

    8

    h-index

1–5 of 2.3K

Institutions

760

  1. Weizmann Institute of Science

    Rehovot, Israel

    22 h-index

    70 publications

    6.4K citations

  2. University of California, Berkeley

    Berkeley, United States

    20 h-index

    48 publications

    6.9K citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    19 h-index

    57 publications

    2.4K citations

  4. Massachusetts Institute of Technology

    Cambridge, United States

    17 h-index

    29 publications

    2.6K citations

  5. Technical University of Munich

    Munich, Germany

    16 h-index

    42 publications

    2.2K citations

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

    Le Chesnay-Rocquencourt, France

    15 h-index

    55 publications

    1.2K citations

  7. Université Libre de Bruxelles

    Brussels, Belgium

    13 h-index

    38 publications

    1.9K citations

  8. Technische Universität Darmstadt

    Darmstadt, Germany

    12 h-index

    35 publications

    1.3K citations

1–8 of 760

Venues

  1. The Journal of Chemical Physics

    53 publications · 2.7K citations

    30

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 18 publications · 2K citations

    15

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 16 publications · 577 citations

    12

    h-index

  4. The Journal of Physical Chemistry A

    13 publications · 443 citations

    12

    h-index

  5. Chemical Engineering Science

    11 publications · 464 citations

    11

    h-index

1–5