SIGNAL

swMATH2915MaRDI QIDQ15452FDOQ15452

Author name not available (Why is that?)

Official website: http://www.irisa.fr/espresso/Polychrony/document/tutorial.pdf

Cited In (85)

• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• TCC, with history
• A type-based analysis of causality loops in hybrid systems modelers
• Formal methods in designing embedded systems -- the SACRES experience
• 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
• LOLA
• Specification and analysis of synchronous reactions
• Foundations of Boolean stream runtime verification
• Title not available (Why is that?)
• On implementable timed automata
• Design for proof: An approach to the design of domain-specific languages
• Programming Languages and Systems
• Title not available (Why is that?)
• Cayuga
• Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
• 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
• Lutess
• FoCs
• ArchJava
• TAXYS
• SynDEx
• SugarCubes
• StreamIt
• ASTRAL
• Cheddar
• METATEM
• Ptolemy
• Title not available (Why is that?)
• Giotto
• LUSTRE
• SKIPPER
• Quartz
• Polychrony
• Formal verification of programs specified with signal: Application to a power transformer station controller
• NewPolka
• Metropolis
• TimeSquare
• DReX
• Skeletons for parallel image processing: An overview of the SKIPPER project.
• Functional reactive animation
• Esterel
• Zelus
• PKind
• ActiveVRML
• Fran
• Hugs
• Lucid
• MARTE
• Hume
• TBAG
• Flapjax
• SCEst
• Copilot
• 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
• Causal semantics for the algebra of connectors
• 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
• Lurette
• 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