SIGNAL
From MaRDI portal
Software:15452
swMATH2915MaRDI QIDQ15452FDOQ15452
Author name not available (Why is that?)
Cited In (49)
- Timed-pNets: a communication behavioural semantic model for distributed systems
- Title not available (Why is that?)
- Abstraction of Clocks in Synchronous Data-Flow Systems
- Synchronous structures
- A denotational theory of synchronous reactive systems
- Title not available (Why is that?)
- Fast prototyping of parallel-vision applications using functional skeletons.
- Static analysis of real-time component-based systems configurations
- Title not available (Why is that?)
- Intensional and extensional semantics of dataflow programs
- Specification and analysis of synchronous reactions
- Foundations of Boolean stream runtime verification
- TCC, with History
- Title not available (Why is that?)
- Title not available (Why is that?)
- Design for proof: An approach to the design of domain-specific languages
- Programming Languages and Systems
- Title not available (Why is that?)
- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
- Title not available (Why is that?)
- Title not available (Why is that?)
- A non-standard temporal deductive database system
- Title not available (Why is that?)
- Title not available (Why is that?)
- Semantic Foundations for Deterministic Dataflow and Stream Processing
- Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation
- A type-based analysis of causality loops in hybrid systems modelers
- Title not available (Why is that?)
- Formal verification of programs specified with signal: Application to a power transformer station controller
- Skeletons for parallel image processing: An overview of the SKIPPER project.
- Functional reactive animation
- Title not available (Why is that?)
- About synchronous programming and abstract interpretation
- Title not available (Why is that?)
- Title not available (Why is that?)
- A compositional behavioral modeling framework for embedded system design and conformance checking
- Compositionality in dataflow synchronous languages: Specification and distributed code generation
- Formal methods in designing embedded systems -- the SACRES experience
- Principled Software Development
- Causal semantics for the algebra of connectors
- On Implementable Timed Automata
- Title not available (Why is that?)
- Multi-task implementation of multi-periodic synchronous programs
- Formal verification of synchronous data-flow program transformations toward certified compilers
- Synchronous programming with events and relations: The SIGNAL language and its semantics
- Title not available (Why is that?)
- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
- An algebraic theory for behavioral modeling and protocol synthesis in system design
- Title not available (Why is that?)
This page was built for software: SIGNAL