SIGNAL

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