LUSTRE
From MaRDI portal
Cited in
(only showing first 100 items - show all)- 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
- A metamodel for the design of polychronous systems
- Clocks in dataflow languages
- A denotational theory of synchronous reactive systems
- Operational semantics of a kernel of the language ELECTRE
- A compositional axiomatization of statecharts
- The Esterel synchronous programming language: Design, semantics, implementation
- An experience in proving regular networks of processes by modular model checking
- CoSA
- JDD
- DisCoPy
- SCADE
- Lutess
- The semantics and execution of a synchronous block-diagram language.
- An axiomatic semantics for the synchronous language Gentzen.
- TAXYS
- FoCs
- SynDEx
- SecureUML
- StreamIt
- BeepBeep
- MANIFOLD
- SIGNAL
- AGATHA
- MOTOR
- Specification of real-time and hybrid systems in rewriting logic
- Simulink
- StateFlow
- TLA
- Cheddar
- A global constraint for over-approximation of real-time streams
- Aspic
- Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
- Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation
- ClawZ
- Reo
- A timed concurrent constraint language.
- Zap
- TorX
- STG
- iFEST
- Ptolemy
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- A specification structure for deadlock-freedom of synchronous processes
- SystemC
- Formal verification of timed synchronous dataflow graphs using Lustre
- Giotto
- ULM
- SysML
- Normalising Lustre preserves security
- PlusCal
- HighSpec
- Quartz
- Collaborative models for autonomous systems controller synthesis
- Fudgets
- Numerical invariants through convex relaxation and max-strategy iteration
- Asynchronous stream processing with S-Net
- Automatically testing interactive applications using extended task trees
- Elephant against Goliath: performance of big data versus high-performance computing DBSCAN clustering implementations
- TK
- Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
- Automated planning as an early verification tool for distributed control
- SJL
- HybridSal
- A synchronous -calculus
- Formal verification of synchronous data-flow program transformations toward certified compilers
- Polychrony
- UMLsec
- On the expressiveness of timed coordination models
- Synchronous structures
- A framework for modeling the distributed deployment of synchronous designs
- Concurrency in synchronous systems
- Dynamic and formal verification of embedded systems: A comparative survey
- SAL
- Yampa
- Sisal
- Alpha
- NewPolka
- LusSy
- COINC
- scientific article; zbMATH DE number 1693435 (Why is no real title available?)
- scientific article; zbMATH DE number 1696437 (Why is no real title available?)
- TimeSquare
- GenCCSL
- Foundations of Boolean stream runtime verification
- Metropolis
- Extending abstract acceleration methods to data-flow programs with numerical inputs
- Specifying and verifying reactive systems in a multi-language environment
- An abstract analysis framework for synchronous concurrent languages based on source-to-source transformation
- Comonadic notions of computation
- Behavioral interface specification languages
- DReX
- Scheduling and buffer sizing of n-synchronous systems. Typing of ultimately periodic clocks in Lucy-n
- ac2lus
- CATS
- Practical principled FRP: forget the past, change the future, FRPNow!
- Formal Analysis of Robustness at Model and Code Level
- Certifying synchrony for free
This page was built for software: LUSTRE
