SIGNAL
From MaRDI portal
Cited in
(85)- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
- Design for proof: An approach to the design of domain-specific languages
- Synchronous programming with events and relations: The SIGNAL language and its semantics
- A denotational theory of synchronous reactive systems
- Lutess
- Fast prototyping of parallel-vision applications using functional skeletons.
- TAXYS
- FoCs
- SynDEx
- SugarCubes
- StreamIt
- ArchJava
- ASTRAL
- Timed-pNets: a communication behavioural semantic model for distributed systems
- Cheddar
- Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation
- About synchronous programming and abstract interpretation
- Skeletons for parallel image processing: An overview of the SKIPPER project.
- Compositionality in dataflow synchronous languages: Specification and distributed code generation
- METATEM
- Static analysis of real-time component-based systems configurations
- Specification and analysis of synchronous reactions
- Ptolemy
- LUSTRE
- Giotto
- SKIPPER
- Quartz
- Formal verification of synchronous data-flow program transformations toward certified compilers
- Polychrony
- Synchronous structures
- An algebraic theory for behavioral modeling and protocol synthesis in system design
- A compositional behavioral modeling framework for embedded system design and conformance checking
- NewPolka
- scientific article; zbMATH DE number 1670753 (Why is no real title available?)
- scientific article; zbMATH DE number 1692943 (Why is no real title available?)
- TimeSquare
- Foundations of Boolean stream runtime verification
- Metropolis
- DReX
- scientific article; zbMATH DE number 4013999 (Why is no real title available?)
- Esterel
- Zelus
- PKind
- Fran
- ActiveVRML
- TBAG
- Lucid
- Hugs
- MARTE
- Hume
- Flapjax
- SCEst
- scientific article; zbMATH DE number 1231624 (Why is no real title available?)
- scientific article; zbMATH DE number 1302026 (Why is no real title available?)
- scientific article; zbMATH DE number 1138436 (Why is no real title available?)
- Copilot
- scientific article; zbMATH DE number 2017337 (Why is no real title available?)
- scientific article; zbMATH DE number 2080753 (Why is no real title available?)
- scientific article; zbMATH DE number 2080754 (Why is no real title available?)
- scientific article; zbMATH DE number 2080758 (Why is no real title available?)
- scientific article; zbMATH DE number 2080772 (Why is no real title available?)
- scientific article; zbMATH DE number 1519980 (Why is no real title available?)
- scientific article; zbMATH DE number 1759494 (Why is no real title available?)
- Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018
- scientific article; zbMATH DE number 4118230 (Why is no real title available?)
- scientific article; zbMATH DE number 2090124 (Why is no real title available?)
- scientific article; zbMATH DE number 2112983 (Why is no real title available?)
- scientific article; zbMATH DE number 7440190 (Why is no real title available?)
- Semantic Foundations for Deterministic Dataflow and Stream Processing
- On implementable timed automata
- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
- Functional reactive animation
- TCC, with history
- Abstraction of Clocks in Synchronous Data-Flow Systems
- Programming Languages and Systems
- A type-based analysis of causality loops in hybrid systems modelers
- Formal methods in designing embedded systems -- the SACRES experience
- Formal verification of programs specified with signal: Application to a power transformer station controller
- Causal semantics for the algebra of connectors
- Cayuga
- LOLA
- Lurette
- Multi-task implementation of multi-periodic synchronous programs
- A non-standard temporal deductive database system
- Intensional and extensional semantics of dataflow programs
This page was built for software: SIGNAL
