• Romeo

  • Referenced in 26 articles [sw00812]
  • Automata (TAs) that preserve the behavioural semantics (timed bisimilarity) of the TPNs. Besides, our tool...
  • Ptolemy

  • Referenced in 78 articles [sw07459]
  • modular formal semantics for Ptolemy. Ptolemy is an open-source and extensible modelling and simulation ... timed, to be composed hierarchically in an arbitrary fashion. This paper proposes a formal semantics ... postfire (update state instantaneously); deadline (how much time the actor is willing to let elapse...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • allowed us to study the semantics of real-time primitives for asynchronous systems. Currently...
  • MOMENT2

  • Referenced in 10 articles [sw10025]
  • MOMENT2. We give a real-time rewrite formal semantics to real-time model transformations...
  • LUSTRE

  • Referenced in 38 articles [sw08938]
  • real-time. After an informal presentation of the language, we describe its semantics by means...
  • LUPS

  • Referenced in 37 articles [sw02579]
  • knowledge that does not evolve with time. To overcome this limitation, in a recent paper ... studied and defined the declarative and operational semantics of sequences of logic programs (or dynamic ... where different states may, e.g., represent different time periods or different sets of priorities ... given state, the declarative and procedural semantics of their combination. But how, in concrete situations...
  • SMIL

  • Referenced in 41 articles [sw03378]
  • semantics in other XML-based languages, in particular those who need to represent timing ... SMIL 3.0 components are used for integrating timing into XHTML [XHTML10] and into ... markup modules, which define the semantics and an XML syntax for certain areas of SMIL...
  • Modechart

  • Referenced in 8 articles [sw22870]
  • specification language for real-time systems called Modechart. The semantics of Modechart is given ... absolute (real-time clock) timing of events. The semantics of Modechart has an important property...
  • GROOVE

  • Referenced in 50 articles [sw09480]
  • design-time, compile-time, and run-time structure of object-oriented systems, and graph transformations ... basis for model transformation and operational semantics. This entails a formal foundation for model transformation...
  • PDDL

  • Referenced in 92 articles [sw07079]
  • planning community the challenge of handling time and numeric resources. This necessitated the development ... syntax of the language, its formal semantics and the validation of concurrent plans. We observe...
  • LOIS

  • Referenced in 5 articles [sw21722]
  • LOIS: syntax and semantics. We present the semantics of an imperative programming language called LOIS ... through certain infinite sets, in finite time. Our semantics intuitively correspond to execution of infinitely...
  • VPM

  • Referenced in 11 articles [sw07364]
  • founded mapping from UML models to different semantic domains (Petri nets, Kripke automaton, process algebras ... Schedulability, Performance and Time. However, such transformations into different semantic domains typically require the deep...
  • MPC

  • Referenced in 14 articles [sw07251]
  • providing well-defined semantics for every operation. At the same time, speed of operation...
  • Featherweight Java

  • Referenced in 91 articles [sw16204]
  • minimal syntax, typing rules, and operational semantics of Featherweight Java make it a handy tool ... extended system formalizes for the first time some of the key features...
  • SpiCO

  • Referenced in 10 articles [sw10691]
  • present a semantics for SpiCO in terms of continuous time Markov chains, and show ... biochemical stochastic $pi $ calculus while preserving semantics...
  • Fran

  • Referenced in 11 articles [sw21482]
  • notions of behaviors and events. Behaviors are time-varying, reactive values, while events are sets ... with a denotational semantics, including a proper treatment of real time, to guide reasoning...
  • MoDeST

  • Referenced in 32 articles [sw01544]
  • real-time as well as soft real-time (i.e., stochastic) aspects. The language is influenced ... possesses a rigid, process-algebra style semantics, and (iii) yet provides modern and flexible specification...
  • GF

  • Referenced in 32 articles [sw13667]
  • type system, which helps to eliminate run-time errors in language processing. In the same ... dependent types in abstract syntax to express semantic conditions, such as well-typedness and proof...
  • Dist-Orc

  • Referenced in 5 articles [sw10063]
  • structured programming of distributed and timed computations. Several formal semantics have been proposed ... implementation just by using Orc’s formal semantics, and (ii) they are not readily formally ... calls and returns, and to provide real-time timing information to Orc expressions and sites...
  • STUMPY

  • Referenced in 3 articles [sw29493]
  • anomaly/novelty (discord) discovery; shapelet discovery; semantic segmentation; density estimation; time series chains (temporally ordered...