Synthesis from Component Libraries

DOI10.1007/978-3-642-00596-1_28MaRDI QIDQ3617743zbMATH OpenOpenAlexFDO

Authors Yoad Lustig, Moshe Y. Vardi

Publication date 31 March 2009

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00596-1_28

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Synthesis from recursive-components libraries
• Synthesis from probabilistic components
• Synthesis from probabilistic components
• The Complexity of Synthesis from Probabilistic Components
• Modular synthesis with open components

Cites work

• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 3492660 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• Automata, logics, and infinite games. A guide to current research
• Branching vs. Linear Time: Semantical Perspective
• Reasoning about infinite computations
• Solving Sequential Conditions by Finite-State Strategies

Cited in

(29)

• Synthesis from component libraries with costs
• A general modular synthesis problem for pushdown systems
• Modular synthesis with open components
• Synthesizing structured reactive programs via deterministic tree automata
• Synthesis from recursive-components libraries
• Supervisory control and reactive synthesis: a comparative introduction
• Finite combinatory logic with intersection types
• Bootstrapping library-based synthesis
• The Complexity of Synthesis from Probabilistic Components
• Complexity of synthesis of composite service with correctness guarantee
• Reliability-aware automatic composition approach for web services
• Dynamic resource allocation games
• Dependency-Based Compositional Synthesis
• Safraless Compositional Synthesis
• Live synthesis
• Incorporating monitors in reactive synthesis without paying the price
• scientific article; zbMATH DE number 1748577 (Why is no real title available?)
• Verification, Model Checking, and Abstract Interpretation
• Parametrized automata simulation and application to service composition
• Synthesis of large dynamic concurrent programs from dynamic specifications
• Information Flow Guided Synthesis
• Synthesis from component libraries with costs
• Synthesis from probabilistic components
• Factorization for component-interaction automata
• Algorithms for synthesizing priorities in component-based systems
• Visibly pushdown modular games
• On the aggregation problem for synthesized web services
• Qualitative approximate behavior composition
• A Theory Agenda for Component-Based Design

This page was built for publication: Synthesis from Component Libraries

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