• Esterel

  • Referenced in 154 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...
  • SIGNAL

  • Referenced in 50 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...
  • MCMAS

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

  • Referenced in 56 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 17 articles [sw04136]
  • tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic...
  • 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...
  • 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...
  • STeP

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

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

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

  • Referenced in 11 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...
  • PFLOTRAN

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

  • Referenced in 9 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...
  • tccp

  • Referenced in 3 articles [sw28619]
  • developed to deal with concurrent and reactive systems. It is defined as a timed extension ... language suitable for modeling reactive systems. The computational model of ccp is based on agents...