LUSTRE

swMATH8938MaRDI QIDQ20934

No author found.

Related Items (97)

Normalising Lustre preserves security ⋮ Foundations of Boolean stream runtime verification ⋮ Semantic Foundations for Deterministic Dataflow and Stream Processing ⋮ On Implementable Timed Automata ⋮ Algorithmic support for model transformation in object-oriented software development ⋮ Modeling for Verification ⋮ Synthesizing SystemC Code from Delay Hybrid CSP ⋮ Scheduling and Buffer Sizing of n-Synchronous Systems ⋮ A synchronous \(\pi\)-calculus ⋮ Graph Transformation with Dependencies for the Specification of Interactive Systems ⋮ Dispatch sequences for embedded control models ⋮ Principled Software Development ⋮ Causality problem in real-time calculus ⋮ Verification, Model Checking, and Abstract Interpretation ⋮ From NuSMV to SPIN: Experiences with model checking flight guidance systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Functional reactive animation ⋮ Formal verification of synchronous data-flow program transformations toward certified compilers ⋮ Timed soft concurrent constraint programs: An interleaved and a parallel approach ⋮ The semantics and execution of a synchronous block-diagram language. ⋮ An axiomatic semantics for the synchronous language Gentzen. ⋮ Sémantique du parallélisme et du choix du langage Electre ⋮ Collaborative models for autonomous systems controller synthesis ⋮ A global constraint for over-approximation of real-time streams ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Applying abstract acceleration to (co-)reachability analysis of reactive programs ⋮ Refinement-oriented models of Stateflow charts ⋮ Fault-tolerant functional reactive programming (extended version) ⋮ Verifying hierarchical Ptolemy II discrete-event models using real-time maude ⋮ Non-standard semantics of hybrid systems modelers ⋮ Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems ⋮ Unnamed Item ⋮ Multi-task implementation of multi-periodic synchronous programs ⋮ Unnamed Item ⋮ A specification structure for deadlock-freedom of synchronous processes ⋮ Compositional design of isochronous systems ⋮ Practical principled FRP: forget the past, change the future, FRPNow! ⋮ A formal library of set relations and its application to synchronous languages ⋮ Formal Analysis of Robustness at Model and Code Level ⋮ Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change ⋮ Unnamed Item ⋮ Certifying Synchrony for Free ⋮ Bridging the Gap between Two Concurrent Constraint Languages ⋮ Clocks in dataflow languages ⋮ Compilation of the ELECTRE reactive language into finite transition systems ⋮ Constraint nets: a semantic model for hybrid dynamic systems ⋮ Programming by Composing Filters ⋮ A denotational theory of synchronous reactive systems ⋮ Operational semantics of a kernel of the language ELECTRE ⋮ FM 2005: Formal Methods ⋮ A compositional axiomatization of statecharts ⋮ Compiling and verifying SC-SystemJ programs for safety-critical reactive systems ⋮ The Esterel synchronous programming language: Design, semantics, implementation ⋮ Numerical invariants through convex relaxation and max-strategy iteration ⋮ CPO semantics of timed interactive actor networks ⋮ Lucy-n: a n-Synchronous Extension of Lustre ⋮ TCC, with History ⋮ Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms ⋮ A semantic model for graphical user interfaces ⋮ A new notation for arrows ⋮ Automatic verification of parameterized networks of processes ⋮ Asynchronous stream processing with S-Net ⋮ On the expressiveness of timed coordination models ⋮ Automatically testing interactive applications using extended task trees ⋮ Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation ⋮ Synchronous structures ⋮ Unnamed Item ⋮ A type-based analysis of causality loops in hybrid systems modelers ⋮ A framework for modeling the distributed deployment of synchronous designs ⋮ Concurrency in synchronous systems ⋮ Dynamic and formal verification of embedded systems: A comparative survey ⋮ Proving sequential function chart programs using timed automata ⋮ Causal semantics for the algebra of connectors ⋮ Modelling of Complex Software Systems: A Reasoned Overview ⋮ What good are digital clocks? ⋮ Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems ⋮ Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications ⋮ Fully abstract models and refinements as tools to compare agents in timed coordination languages ⋮ Proving Stabilization of Biological Systems ⋮ Formal verification of timed synchronous dataflow graphs using lustre ⋮ Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs ⋮ A metamodel for the design of polychronous systems ⋮ Specifying and verifying reactive systems in a multi-language environment ⋮ Elephant against Goliath: performance of big data versus high-performance computing DBSCAN clustering implementations ⋮ Model-Based Testing for Functional and Security Test Generation ⋮ Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java ⋮ A timed concurrent constraint language. ⋮ Modular code generation from synchronous block diagrams ⋮ Denotational fixed-point semantics for constructive scheduling of synchronous concurrency ⋮ Comonadic Notions of Computation ⋮ Automated planning as an early verification tool for distributed control ⋮ Behavioral interface specification languages ⋮ Specification of real-time and hybrid systems in rewriting logic ⋮ An experience in proving regular networks of processes by modular model checking

This page was built for software: LUSTRE