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

• Automata, logics, and infinite games. A guide to current research
• Branching vs. Linear Time: Semantical Perspective
• 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?)
• Reasoning about infinite computations
• Solving Sequential Conditions by Finite-State Strategies

Cited in

(29)

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

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)