
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 opensource 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...

IF2.0
 Referenced in 46 articles
[sw03303]
 allowed us to study the semantics of realtime primitives for asynchronous systems. Currently...

MOMENT2
 Referenced in 10 articles
[sw10025]
 MOMENT2. We give a realtime rewrite formal semantics to realtime model transformations...

LUSTRE
 Referenced in 38 articles
[sw08938]
 realtime. 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 XMLbased 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 realtime systems called Modechart. The semantics of Modechart is given ... absolute (realtime clock) timing of events. The semantics of Modechart has an important property...

GROOVE
 Referenced in 50 articles
[sw09480]
 designtime, compiletime, and runtime structure of objectoriented 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 welldefined 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 timevarying, 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]
 realtime as well as soft realtime (i.e., stochastic) aspects. The language is influenced ... possesses a rigid, processalgebra style semantics, and (iii) yet provides modern and flexible specification...

GF
 Referenced in 32 articles
[sw13667]
 type system, which helps to eliminate runtime errors in language processing. In the same ... dependent types in abstract syntax to express semantic conditions, such as welltypedness and proof...

DistOrc
 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 realtime 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...