• Esterel

  • Referenced in 161 articles [sw20012]
  • programming language, dedicated to programming reactive systems, and a compiler which translates Esterel programs into ... particularly well-suited to programming reactive systems, including real-time systems and control automata ... software or hardware implementation of a reactive program. It can generate C-code ... embedded as a reactive kernel in a larger program that handles the interface and data...
  • MCMAS

  • Referenced in 68 articles [sw09463]
  • proven essential to reason about reactive systems, agent-based scenarios are typically specified by considering...
  • SIGNAL

  • Referenced in 51 articles [sw02915]
  • complex systems by structurally decomposing them into elementar synchronous processes. Separate compilation in reactive languages ... compilation of the functional components of reactive systems while preserving their global integrity, we introduce ... module system for SIGNAL. Just as data-types describe the invariants of program modules ... separately compiling reactive processes and for assembling them in complex systems. Following this principle...
  • Jason

  • Referenced in 61 articles [sw06187]
  • enables users to build complex multi-agent systems that are capable of operating in environments ... suitable for the implementation of reactive planning systems according to the Belief-Desire-Intention...
  • CoCasl

  • Referenced in 26 articles [sw13076]
  • algebra in a natural way: The type system of communications, the syntax of processes ... semantics and proof theory of reactive systems...
  • LiQuor

  • Referenced in 18 articles [sw04136]
  • tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic...
  • ReaxFF

  • Referenced in 15 articles [sw28391]
  • decade in various studies of complicated reactive systems, including solvent environments, interfaces, and molecules...
  • SWITCH

  • Referenced in 10 articles [sw02483]
  • technology for developing software for reactive systems is proposed that supports the stages...
  • InVeSt

  • Referenced in 10 articles [sw12034]
  • very important class of properties of reactive systems consists of invariance properties which state that...
  • STeP

  • Referenced in 36 articles [sw17948]
  • aided formal verification of reactive, real-time and hybrid systems based on their temporal specification...
  • visualSTATE

  • Referenced in 9 articles [sw07481]
  • Verification of large state/event systems using compositionality and dependency analysis A state/event model ... Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses...
  • TRADE

  • Referenced in 5 articles [sw02908]
  • Techniques for reactive system design: the tools in TRADE Reactive systems are systems whose purpose ... control software. The current generation of information system design methods cannot cope with the high ... communication-intensive properties of many modern reactive systems. We define an approach to designing reactive...
  • SugarCubes

  • Referenced in 8 articles [sw01630]
  • classes for reactive programming in Java. SugarCubes is a set of Java classes for implementing ... event based systems, especially those where events are instantly broadcast throughout the system. Communicating ... instantaneously received by all receivers. concurrent systems, in particular thread-less ones. Here, parallelism ... after the other. reactive systems, which continuously react to activations...
  • UniForM

  • Referenced in 8 articles [sw10332]
  • development of hybrid, real-time or reactive systems, transformation, verification, validation and testing. Moreover...
  • PFLOTRAN

  • Referenced in 22 articles [sw13428]
  • parallel subsurface flow and reactive transport code. PFLOTRAN solves a system of generally nonlinear partial...
  • oClingo

  • Referenced in 12 articles [sw09321]
  • oClingo is a system for reactive answer set programming, extending gringo and clasp for handling...
  • ViSta

  • Referenced in 3 articles [sw13548]
  • used for the requirements specification of reactive systems. This notation captures the requirements attributes that ... visualization tools for the specification of reactive systems are available in the market ... inadequate for the modeling of complex reactive systems. Specifically, hand made diagrams quickly become unreadable ... graphical representation of complex reactive systems...
  • EAGLE

  • Referenced in 7 articles [sw31989]
  • multi-agent systems, used in a number of practical model checking tools. Reactive Modules Games ... theoretic extension of Reactive Modules, in which concurrent agents in the system are assumed ... individual goal. The basic analytical concept for Reactive Modules Games is Nash equilibrium. In this ... tool takes as input a system, specified in the Reactive Modules language, a representation...
  • Yampa

  • Referenced in 10 articles [sw13681]
  • discrete and continuous time) systems using the concepts of Functional Reactive Programming (FRP). Yampa ... space- and time-leaks into reactive, time-varying systems. Yampa was originally developed...
  • CPFLOW

  • Referenced in 7 articles [sw13797]
  • comprehensive tool for tracing power system steady-state stationary behavior due to parameter variations ... reactive loads, area real and/or reactive loads, or system-wide real and/or reactive loads ... comprehensive modeling capability and can handle power systems up to 12000 buses. For an illustrative...