Matches in SemOpenAlex for { <https://semopenalex.org/work/W2738172349> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2738172349 endingPage "268" @default.
- W2738172349 startingPage "249" @default.
- W2738172349 abstract "Variational systems (system families) allow effective building of many custom system variants for various configurations. Lifted (family-based) verification is capable of verifying all variants of the family simultaneously, in a single run, by exploiting the similarities between the variants. These algorithms scale much better than the simple enumerative “brute-force” way. Still, the design of family-based verification algorithms greatly depends on the existence of compact variability models (state representations). Moreover, developing the corresponding family-based tools for each particular analysis is often tedious and labor intensive. In this work, we make two contributions. First, we survey the history of development of variability models of computation that compactly represent behavior of variational systems. Second, we introduce variability abstractions that simplify variability away to achieve efficient lifted (family-based) model checking for real-time variability models. This reduces the cost of maintaining specialized family-based real-time model checkers. Real-time variability models can be model checked using the standard UPPAAL. We have implemented abstractions as syntactic source-to-source transformations on UPPAAL input files, and we illustrate the practicality of this method on a real-time case study." @default.
- W2738172349 created "2017-07-31" @default.
- W2738172349 creator A5056755949 @default.
- W2738172349 creator A5063086549 @default.
- W2738172349 date "2017-01-01" @default.
- W2738172349 modified "2023-10-17" @default.
- W2738172349 title "From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL" @default.
- W2738172349 cites W143219598 @default.
- W2738172349 cites W1865562238 @default.
- W2738172349 cites W1959890433 @default.
- W2738172349 cites W1962072139 @default.
- W2738172349 cites W1977043299 @default.
- W2738172349 cites W1981808971 @default.
- W2738172349 cites W2000947342 @default.
- W2738172349 cites W2009093319 @default.
- W2738172349 cites W2019477184 @default.
- W2738172349 cites W2022615696 @default.
- W2738172349 cites W2060239975 @default.
- W2738172349 cites W2069283169 @default.
- W2738172349 cites W2070929035 @default.
- W2738172349 cites W2094810043 @default.
- W2738172349 cites W2101508170 @default.
- W2738172349 cites W2110025251 @default.
- W2738172349 cites W2124580491 @default.
- W2738172349 cites W2148106163 @default.
- W2738172349 cites W2180475648 @default.
- W2738172349 cites W2208405779 @default.
- W2738172349 cites W2260042246 @default.
- W2738172349 cites W2394570354 @default.
- W2738172349 cites W2473788176 @default.
- W2738172349 cites W2554860003 @default.
- W2738172349 cites W2581096492 @default.
- W2738172349 cites W2597775210 @default.
- W2738172349 cites W4242682130 @default.
- W2738172349 doi "https://doi.org/10.1007/978-3-319-63121-9_13" @default.
- W2738172349 hasPublicationYear "2017" @default.
- W2738172349 type Work @default.
- W2738172349 sameAs 2738172349 @default.
- W2738172349 citedByCount "7" @default.
- W2738172349 countsByYear W27381723492018 @default.
- W2738172349 countsByYear W27381723492019 @default.
- W2738172349 crossrefType "book-chapter" @default.
- W2738172349 hasAuthorship W2738172349A5056755949 @default.
- W2738172349 hasAuthorship W2738172349A5063086549 @default.
- W2738172349 hasConcept C110251889 @default.
- W2738172349 hasConcept C111472728 @default.
- W2738172349 hasConcept C112505250 @default.
- W2738172349 hasConcept C11413529 @default.
- W2738172349 hasConcept C121332964 @default.
- W2738172349 hasConcept C138885662 @default.
- W2738172349 hasConcept C2778755073 @default.
- W2738172349 hasConcept C2780586882 @default.
- W2738172349 hasConcept C41008148 @default.
- W2738172349 hasConcept C45374587 @default.
- W2738172349 hasConcept C48103436 @default.
- W2738172349 hasConcept C62520636 @default.
- W2738172349 hasConcept C80444323 @default.
- W2738172349 hasConceptScore W2738172349C110251889 @default.
- W2738172349 hasConceptScore W2738172349C111472728 @default.
- W2738172349 hasConceptScore W2738172349C112505250 @default.
- W2738172349 hasConceptScore W2738172349C11413529 @default.
- W2738172349 hasConceptScore W2738172349C121332964 @default.
- W2738172349 hasConceptScore W2738172349C138885662 @default.
- W2738172349 hasConceptScore W2738172349C2778755073 @default.
- W2738172349 hasConceptScore W2738172349C2780586882 @default.
- W2738172349 hasConceptScore W2738172349C41008148 @default.
- W2738172349 hasConceptScore W2738172349C45374587 @default.
- W2738172349 hasConceptScore W2738172349C48103436 @default.
- W2738172349 hasConceptScore W2738172349C62520636 @default.
- W2738172349 hasConceptScore W2738172349C80444323 @default.
- W2738172349 hasLocation W27381723491 @default.
- W2738172349 hasOpenAccess W2738172349 @default.
- W2738172349 hasPrimaryLocation W27381723491 @default.
- W2738172349 hasRelatedWork W1483156373 @default.
- W2738172349 hasRelatedWork W1585007175 @default.
- W2738172349 hasRelatedWork W1594593035 @default.
- W2738172349 hasRelatedWork W2119610731 @default.
- W2738172349 hasRelatedWork W2124122503 @default.
- W2738172349 hasRelatedWork W2152996796 @default.
- W2738172349 hasRelatedWork W2560415449 @default.
- W2738172349 hasRelatedWork W4289687320 @default.
- W2738172349 hasRelatedWork W925418074 @default.
- W2738172349 hasRelatedWork W2746280673 @default.
- W2738172349 isParatext "false" @default.
- W2738172349 isRetracted "false" @default.
- W2738172349 magId "2738172349" @default.
- W2738172349 workType "book-chapter" @default.