The following pages link to LUSTRE (Q20934):
Displayed 50 items.
- Foundations of Boolean stream runtime verification (Q278752) (← links)
- Causality problem in real-time calculus (Q346787) (← links)
- Applying abstract acceleration to (co-)reachability analysis of reactive programs (Q435977) (← links)
- Refinement-oriented models of Stateflow charts (Q436420) (← links)
- Non-standard semantics of hybrid systems modelers (Q439952) (← links)
- Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems (Q440664) (← links)
- Compositional design of isochronous systems (Q456402) (← links)
- Multi-task implementation of multi-periodic synchronous programs (Q645055) (← links)
- A formal library of set relations and its application to synchronous languages (Q654904) (← links)
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change (Q656853) (← links)
- Compilation of the ELECTRE reactive language into finite transition systems (Q673127) (← links)
- Constraint nets: a semantic model for hybrid dynamic systems (Q673883) (← links)
- Dispatch sequences for embedded control models (Q858316) (← links)
- From NuSMV to SPIN: Experiences with model checking flight guidance systems (Q883136) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications (Q1004062) (← links)
- Fully abstract models and refinements as tools to compare agents in timed coordination languages (Q1004066) (← links)
- A metamodel for the design of polychronous systems (Q1014564) (← links)
- Clocks in dataflow languages (Q1185019) (← links)
- A denotational theory of synchronous reactive systems (Q1193599) (← links)
- Operational semantics of a kernel of the language ELECTRE (Q1193858) (← links)
- A compositional axiomatization of statecharts (Q1194330) (← links)
- The Esterel synchronous programming language: Design, semantics, implementation (Q1196296) (← links)
- An experience in proving regular networks of processes by modular model checking (Q1323369) (← links)
- The semantics and execution of a synchronous block-diagram language. (Q1400471) (← links)
- An axiomatic semantics for the synchronous language Gentzen. (Q1400575) (← links)
- Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
- A global constraint for over-approximation of real-time streams (Q1699526) (← links)
- Compiling and verifying SC-SystemJ programs for safety-critical reactive systems (Q1749143) (← links)
- Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation (Q1779321) (← links)
- A timed concurrent constraint language. (Q1854359) (← links)
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
- A specification structure for deadlock-freedom of synchronous processes (Q1960536) (← links)
- Formal verification of timed synchronous dataflow graphs using lustre (Q2043814) (← links)
- Normalising Lustre preserves security (Q2119981) (← links)
- Collaborative models for autonomous systems controller synthesis (Q2198131) (← links)
- Numerical invariants through convex relaxation and max-strategy iteration (Q2248100) (← links)
- Asynchronous stream processing with S-Net (Q2269910) (← links)
- Automatically testing interactive applications using extended task trees (Q2270687) (← links)
- Elephant against Goliath: performance of big data versus high-performance computing DBSCAN clustering implementations (Q2325064) (← links)
- Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java (Q2340048) (← links)
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
- Automated planning as an early verification tool for distributed control (Q2352501) (← links)
- A synchronous \(\pi\)-calculus (Q2381508) (← links)
- Formal verification of synchronous data-flow program transformations toward certified compilers (Q2418653) (← links)
- On the expressiveness of timed coordination models (Q2495554) (← links)
- Synchronous structures (Q2500524) (← links)
- A framework for modeling the distributed deployment of synchronous designs (Q2505631) (← links)
- Concurrency in synchronous systems (Q2505637) (← links)
- Dynamic and formal verification of embedded systems: A comparative survey (Q2506271) (← links)