LUSTRE

swMATH8938MaRDI QIDQ20934FDOQ20934

scientific article; zbMATH DE number Author name (Why is no real title available?)

Official website: http://dl.acm.org/citation.cfm?id=41641

Cited In (only showing first 100 items - show all)

• Proving stabilization of biological systems
• Modelling of Complex Software Systems: A Reasoned Overview
• 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 no real title available?)
• Title not available (Why is no real title available?)
• Specifying and verifying reactive systems in a multi-language environment
• Normalising Lustre preserves security
• A specification structure for deadlock-freedom of synchronous processes
• JDD
• Comonadic notions of computation
• On implementable timed automata
• Dispatch sequences for embedded control models
• 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
• Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
• Cayuga
• Tutorial on parameterized model checking of fault-tolerant distributed algorithms
• 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
• Graph Transformation with Dependencies for the Specification of Interactive Systems
• Behavioral interface specification languages
• Title not available (Why is no real title available?)
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• Compositional design of isochronous systems
• Formal verification of timed synchronous dataflow graphs using Lustre
• Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation
• A new notation for arrows
• A synchronous \(\pi\)-calculus
• An abstract analysis framework for synchronous concurrent languages based on source-to-source transformation
• On the expressiveness of timed coordination models
• Modular code generation from synchronous block diagrams: modularity vs. code size
• Title not available (Why is no real title available?)
• Title not available (Why is no real title available?)
• Clocks in dataflow languages
• Causality problem in real-time calculus
• CoSA
• DisCoPy
• 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
• 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
• Collaborative models for autonomous systems controller synthesis
• Lurette
• velus
• An axiomatic semantics for the synchronous language Gentzen.
• 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
• What good are digital clocks?
• LOLA
• Foundations of Boolean stream runtime verification
• Specification of real-time and hybrid systems in rewriting logic
• A metamodel for the design of polychronous systems
• Non-standard semantics of hybrid systems modelers
• SCADE
• Lutess
• FoCs
• TAXYS
• SecureUML
• BeepBeep
• SynDEx
• StreamIt
• AGATHA
• MANIFOLD
• SIGNAL
• MOTOR
• Simulink
• StateFlow
• Cheddar
• TLA
• Aspic
• ClawZ
• Reo
• Zap
• iFEST
• TorX
• Ptolemy
• STG
• A semantic model for graphical user interfaces
• SystemC
• Giotto
• ULM
• PlusCal

This page was built for software: LUSTRE