Synthesis from Component Libraries
From MaRDI portal
Recommendations
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)