LUSTRE

swMATH8938MaRDI QIDQ20934FDOQ20934

Author name not available (Why is that?)

Cited In (97)

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

This page was built for software: LUSTRE