SemOpenAlex |

SemOpenAlex

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1973465475> ?p ?o ?g. }

Showing items 1 to 100 of ±111 with 100 items per page.

W1973465475 endingPage "30" @default.
W1973465475 startingPage "23" @default.
W1973465475 abstract "Designers are often required to explore alternative solutions, trading off along different dimensions (e.g., power consumption, weight, cost, reliability, response time). Such exploration can be encoded as a problem of parameter synthesis, i.e., finding a parameter valuation (representing a design solution) such that the corresponding system satisfies a desired property. In this paper, we tackle the problem of parameter synthesis with multi-dimensional cost functions by finding solutions that are in the Pareto front: in the space of best trade-offs possible. We propose several algorithms, based on IC3, that interleave in various ways the search for parameter valuations that satisfy the property, and the optimization with respect to costs. The most effective one relies on the reuse of inductive invariants and on the extraction of unsatisfiable cores to accelerate convergence. Our experimental evaluation shows the feasibility of the approach on practical benchmarks from diagnosability synthesis and product-line engineering, and demonstrates the importance of a tight integration between model checking and cost optimization." @default.
W1973465475 created "2016-06-24" @default.
W1973465475 creator A5017426974 @default.
W1973465475 creator A5038636493 @default.
W1973465475 creator A5076775585 @default.
W1973465475 creator A5088054439 @default.
W1973465475 creator A5089003950 @default.
W1973465475 date "2014-10-21" @default.
W1973465475 modified "2023-09-23" @default.
W1973465475 title "Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions" @default.
W1973465475 cites W14781952 @default.
W1973465475 cites W1490423772 @default.
W1973465475 cites W1503071078 @default.
W1973465475 cites W1549166962 @default.
W1973465475 cites W1830944000 @default.
W1973465475 cites W1889085354 @default.
W1973465475 cites W1917164756 @default.
W1973465475 cites W1969153071 @default.
W1973465475 cites W1975041710 @default.
W1973465475 cites W2059338741 @default.
W1973465475 cites W2080728370 @default.
W1973465475 cites W2112144216 @default.
W1973465475 cites W2113531445 @default.
W1973465475 cites W2154300023 @default.
W1973465475 cites W2160690545 @default.
W1973465475 cites W2162776653 @default.
W1973465475 cites W2167672803 @default.
W1973465475 cites W2167836176 @default.
W1973465475 cites W2182439353 @default.
W1973465475 cites W2209251751 @default.
W1973465475 cites W233122475 @default.
W1973465475 cites W247316031 @default.
W1973465475 cites W255499308 @default.
W1973465475 cites W2573837267 @default.
W1973465475 doi "https://doi.org/10.5555/2682923.2682935" @default.
W1973465475 hasPublicationYear "2014" @default.
W1973465475 type Work @default.
W1973465475 sameAs 1973465475 @default.
W1973465475 citedByCount "2" @default.
W1973465475 countsByYear W19734654752016 @default.
W1973465475 crossrefType "proceedings-article" @default.
W1973465475 hasAuthorship W1973465475A5017426974 @default.
W1973465475 hasAuthorship W1973465475A5038636493 @default.
W1973465475 hasAuthorship W1973465475A5076775585 @default.
W1973465475 hasAuthorship W1973465475A5088054439 @default.
W1973465475 hasAuthorship W1973465475A5089003950 @default.
W1973465475 hasConcept C105795698 @default.
W1973465475 hasConcept C111919701 @default.
W1973465475 hasConcept C126255220 @default.
W1973465475 hasConcept C134306372 @default.
W1973465475 hasConcept C137635306 @default.
W1973465475 hasConcept C152124472 @default.
W1973465475 hasConcept C162324750 @default.
W1973465475 hasConcept C18903297 @default.
W1973465475 hasConcept C206588197 @default.
W1973465475 hasConcept C2524010 @default.
W1973465475 hasConcept C2777303404 @default.
W1973465475 hasConcept C2834757 @default.
W1973465475 hasConcept C33923547 @default.
W1973465475 hasConcept C41008148 @default.
W1973465475 hasConcept C50522688 @default.
W1973465475 hasConcept C72169020 @default.
W1973465475 hasConcept C73586568 @default.
W1973465475 hasConcept C86803240 @default.
W1973465475 hasConceptScore W1973465475C105795698 @default.
W1973465475 hasConceptScore W1973465475C111919701 @default.
W1973465475 hasConceptScore W1973465475C126255220 @default.
W1973465475 hasConceptScore W1973465475C134306372 @default.
W1973465475 hasConceptScore W1973465475C137635306 @default.
W1973465475 hasConceptScore W1973465475C152124472 @default.
W1973465475 hasConceptScore W1973465475C162324750 @default.
W1973465475 hasConceptScore W1973465475C18903297 @default.
W1973465475 hasConceptScore W1973465475C206588197 @default.
W1973465475 hasConceptScore W1973465475C2524010 @default.
W1973465475 hasConceptScore W1973465475C2777303404 @default.
W1973465475 hasConceptScore W1973465475C2834757 @default.
W1973465475 hasConceptScore W1973465475C33923547 @default.
W1973465475 hasConceptScore W1973465475C41008148 @default.
W1973465475 hasConceptScore W1973465475C50522688 @default.
W1973465475 hasConceptScore W1973465475C72169020 @default.
W1973465475 hasConceptScore W1973465475C73586568 @default.
W1973465475 hasConceptScore W1973465475C86803240 @default.
W1973465475 hasLocation W19734654751 @default.
W1973465475 hasOpenAccess W1973465475 @default.
W1973465475 hasPrimaryLocation W19734654751 @default.
W1973465475 hasRelatedWork W1486126288 @default.
W1973465475 hasRelatedWork W174740530 @default.
W1973465475 hasRelatedWork W1960258205 @default.
W1973465475 hasRelatedWork W2018290725 @default.
W1973465475 hasRelatedWork W2021215026 @default.
W1973465475 hasRelatedWork W2036202715 @default.
W1973465475 hasRelatedWork W2080015090 @default.
W1973465475 hasRelatedWork W2080403105 @default.
W1973465475 hasRelatedWork W2101832231 @default.
W1973465475 hasRelatedWork W2115751419 @default.
W1973465475 hasRelatedWork W2127784312 @default.
W1973465475 hasRelatedWork W2134695811 @default.
W1973465475 hasRelatedWork W2159986628 @default.