swMATH8938MaRDI QIDQ20934FDOQ20934
scientific article; zbMATH DE number Author name (Why is no real title available?)
Official website: http://dl.acm.org/citation.cfm?id=41641
Cited In (only showing first 100 items - show all)
- Proving stabilization of biological systems
- Modelling of Complex Software Systems: A Reasoned Overview
- CPO semantics of timed interactive actor networks
- Synchronous structures
- A denotational theory of synchronous reactive systems
- Operational semantics of a kernel of the language ELECTRE
- The semantics and execution of a synchronous block-diagram language.
- Dynamic and formal verification of embedded systems: A comparative survey
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Specifying and verifying reactive systems in a multi-language environment
- Normalising Lustre preserves security
- A specification structure for deadlock-freedom of synchronous processes
- JDD
- Comonadic notions of computation
- On implementable timed automata
- Dispatch sequences for embedded control models
- Applying abstract acceleration to (co-)reachability analysis of reactive programs
- Refinement-oriented models of Stateflow charts
- Asynchronous stream processing with S-Net
- A timed concurrent constraint language.
- FM 2005: Formal Methods
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
- Cayuga
- Tutorial on parameterized model checking of fault-tolerant distributed algorithms
- Fully abstract models and refinements as tools to compare agents in timed coordination languages
- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
- From NuSMV to SPIN: Experiences with model checking flight guidance systems
- Algorithmic support for model transformation in object-oriented software development
- Graph Transformation with Dependencies for the Specification of Interactive Systems
- Behavioral interface specification languages
- Title not available (Why is no real title available?)
- Semantic Foundations for Deterministic Dataflow and Stream Processing
- Compositional design of isochronous systems
- Formal verification of timed synchronous dataflow graphs using Lustre
- Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation
- A new notation for arrows
- A synchronous \(\pi\)-calculus
- An abstract analysis framework for synchronous concurrent languages based on source-to-source transformation
- On the expressiveness of timed coordination models
- Modular code generation from synchronous block diagrams: modularity vs. code size
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Clocks in dataflow languages
- Causality problem in real-time calculus
- CoSA
- DisCoPy
- A framework for modeling the distributed deployment of synchronous designs
- A compositional axiomatization of statecharts
- Model-Based Testing for Functional and Security Test Generation
- Causal semantics for the algebra of connectors
- A formal library of set relations and its application to synchronous languages
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
- Automatic verification of parameterized networks of processes
- Multi-task implementation of multi-periodic synchronous programs
- Extending abstract acceleration methods to data-flow programs with numerical inputs
- A global constraint for over-approximation of real-time streams
- Collaborative models for autonomous systems controller synthesis
- Lurette
- velus
- An axiomatic semantics for the synchronous language Gentzen.
- Compilation of the ELECTRE reactive language into finite transition systems
- Constraint nets: a semantic model for hybrid dynamic systems
- Formal Analysis of Robustness at Model and Code Level
- What good are digital clocks?
- LOLA
- Foundations of Boolean stream runtime verification
- Specification of real-time and hybrid systems in rewriting logic
- A metamodel for the design of polychronous systems
- Non-standard semantics of hybrid systems modelers
- SCADE
- Lutess
- FoCs
- TAXYS
- SecureUML
- BeepBeep
- SynDEx
- StreamIt
- AGATHA
- MANIFOLD
- SIGNAL
- MOTOR
- Simulink
- StateFlow
- Cheddar
- TLA
- Aspic
- ClawZ
- Reo
- Zap
- iFEST
- TorX
- Ptolemy
- STG
- A semantic model for graphical user interfaces
- SystemC
- Giotto
- ULM
- PlusCal
This page was built for software: LUSTRE
