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