Timed interfaces

DOI10.1007/3-540-45828-X_9MaRDI QIDQ4439564zbMATH OpenFDO

Authors Luca De Alfaro, Mariëlle I. A. Stoelinga, Thomas A. Henzinger

Publication date 14 December 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2491/24910108.htm

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• New results on timed specifications
• Modeling and specification of real-time interfaces with UTP
• scientific article; zbMATH DE number 5181788
• Synchronous and bidirectional component interfaces
• Revisiting timed specification theories: a linear-time perspective

Cited in

(31)

• Generalized interface automata with multicast synchronization
• Controller synthesis for dynamic hierarchical real-time plants using timed automata
• Compositionality for quantitative specifications
• Modal event-clock specifications for timed component-based design
• Partition refinement of component interaction automata
• Compositional multiprocessor scheduling: the GMPR interface
• Modeling and specification of real-time interfaces with UTP
• New results on timed specifications
• The earlier the better: a theory of timed actor interfaces
• Methodologies for specification of real-time systems using timed I/O automata
• Refinement and Consistency of Timed Modal Specifications
• Robust synthesis for real-time systems
• scientific article; zbMATH DE number 6816946 (Why is no real title available?)
• Dynamic networks of heterogeneous timed machines
• Interface simulation distances
• Synchronous and bidirectional component interfaces
• Toward parametric timed interfaces for real-time components
• Safe decomposition of startup requirements: verification and synthesis
• Specification Theories for Probabilistic and Real-Time Systems
• Feedback in synchronous relational interfaces
• Compositional schedulability analysis of real-time actor-based systems
• On Resource-Sensitive Timed Component Connectors
• scientific article; zbMATH DE number 5181788 (Why is no real title available?)
• Modularity for timed and hybrid systems
• On specifications and proofs of timed circuits
• From interface automata to hypercontracts
• Constructive semantics for instantaneous reactions
• Information-flow interfaces
• Hypercontracts
• Information-flow interfaces
• CPO semantics of timed interactive actor networks

This page was built for publication: Timed interfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4439564)