FRINK Linked Data Fragments server

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

• W2949783819 abstract "In a software product line (SPL), a collection of software products is defined by their commonalities in terms of features rather than explicitly specifying all products one-by-one. Several verification techniques were adapted to establish temporal properties of SPLs. Symbolic and family-based model checking have been proven to be successful for tackling the combinatorial blow-up arising when reasoning about several feature combinations. However, most formal verification approaches for SPLs presented in the literature focus on the static SPLs, where the features of a product are fixed and cannot be changed during runtime. This is in contrast to dynamic SPLs, allowing to adapt feature combinations of a product dynamically after deployment." @default.
• W2949783819 created "2019-06-27" @default.
• W2949783819 creator A5028850927 @default.
• W2949783819 creator A5054154442 @default.
• W2949783819 creator A5091344667 @default.
• W2949783819 date "2014-01-01" @default.
• W2949783819 modified "2023-09-27" @default.
• W2949783819 title "Probabilistic model checking for energy analysis in software product lines" @default.
• W2949783819 cites W128940437 @default.
• W2949783819 cites W138290785 @default.
• W2949783819 cites W1496590343 @default.
• W2949783819 cites W1498432697 @default.
• W2949783819 cites W1500859230 @default.
• W2949783819 cites W1503170978 @default.
• W2949783819 cites W1606764134 @default.
• W2949783819 cites W1767415673 @default.
• W2949783819 cites W1966347268 @default.
• W2949783819 cites W1976591314 @default.
• W2949783819 cites W1983993607 @default.
• W2949783819 cites W1991911581 @default.
• W2949783819 cites W2007793657 @default.
• W2949783819 cites W2017630445 @default.
• W2949783819 cites W2030686704 @default.
• W2949783819 cites W2030828698 @default.
• W2949783819 cites W2036426733 @default.
• W2949783819 cites W2038190459 @default.
• W2949783819 cites W2051580064 @default.
• W2949783819 cites W2060155289 @default.
• W2949783819 cites W2068847249 @default.
• W2949783819 cites W2098503734 @default.
• W2949783819 cites W2099213660 @default.
• W2949783819 cites W2119567691 @default.
• W2949783819 cites W2128967738 @default.
• W2949783819 cites W2129501540 @default.
• W2949783819 cites W2130195901 @default.
• W2949783819 cites W2160998628 @default.
• W2949783819 cites W2167672803 @default.
• W2949783819 cites W2404250845 @default.
• W2949783819 cites W30877223 @default.
• W2949783819 cites W1601373402 @default.
• W2949783819 doi "https://doi.org/10.1145/2584469.2577095" @default.
• W2949783819 hasPublicationYear "2014" @default.
• W2949783819 type Work @default.
• W2949783819 sameAs 2949783819 @default.
• W2949783819 citedByCount "3" @default.
• W2949783819 countsByYear W29497838192014 @default.
• W2949783819 countsByYear W29497838192015 @default.
• W2949783819 countsByYear W29497838192016 @default.
• W2949783819 crossrefType "proceedings-article" @default.
• W2949783819 hasAuthorship W2949783819A5028850927 @default.
• W2949783819 hasAuthorship W2949783819A5054154442 @default.
• W2949783819 hasAuthorship W2949783819A5091344667 @default.
• W2949783819 hasBestOaLocation W29497838192 @default.
• W2949783819 hasConcept C101814296 @default.
• W2949783819 hasConcept C105339364 @default.
• W2949783819 hasConcept C110251889 @default.
• W2949783819 hasConcept C111498074 @default.
• W2949783819 hasConcept C115903868 @default.
• W2949783819 hasConcept C117671659 @default.
• W2949783819 hasConcept C120665830 @default.
• W2949783819 hasConcept C121332964 @default.
• W2949783819 hasConcept C127413603 @default.
• W2949783819 hasConcept C138885662 @default.
• W2949783819 hasConcept C154945302 @default.
• W2949783819 hasConcept C192209626 @default.
• W2949783819 hasConcept C199360897 @default.
• W2949783819 hasConcept C2524010 @default.
• W2949783819 hasConcept C2776401178 @default.
• W2949783819 hasConcept C2777904410 @default.
• W2949783819 hasConcept C2778177629 @default.
• W2949783819 hasConcept C2988046880 @default.
• W2949783819 hasConcept C33923547 @default.
• W2949783819 hasConcept C41008148 @default.
• W2949783819 hasConcept C41895202 @default.
• W2949783819 hasConcept C49937458 @default.
• W2949783819 hasConcept C529173508 @default.
• W2949783819 hasConcept C80444323 @default.
• W2949783819 hasConcept C90673727 @default.
• W2949783819 hasConceptScore W2949783819C101814296 @default.
• W2949783819 hasConceptScore W2949783819C105339364 @default.
• W2949783819 hasConceptScore W2949783819C110251889 @default.
• W2949783819 hasConceptScore W2949783819C111498074 @default.
• W2949783819 hasConceptScore W2949783819C115903868 @default.
• W2949783819 hasConceptScore W2949783819C117671659 @default.
• W2949783819 hasConceptScore W2949783819C120665830 @default.
• W2949783819 hasConceptScore W2949783819C121332964 @default.
• W2949783819 hasConceptScore W2949783819C127413603 @default.
• W2949783819 hasConceptScore W2949783819C138885662 @default.
• W2949783819 hasConceptScore W2949783819C154945302 @default.
• W2949783819 hasConceptScore W2949783819C192209626 @default.
• W2949783819 hasConceptScore W2949783819C199360897 @default.
• W2949783819 hasConceptScore W2949783819C2524010 @default.
• W2949783819 hasConceptScore W2949783819C2776401178 @default.
• W2949783819 hasConceptScore W2949783819C2777904410 @default.
• W2949783819 hasConceptScore W2949783819C2778177629 @default.
• W2949783819 hasConceptScore W2949783819C2988046880 @default.
• W2949783819 hasConceptScore W2949783819C33923547 @default.
• W2949783819 hasConceptScore W2949783819C41008148 @default.
• W2949783819 hasConceptScore W2949783819C41895202 @default.
• W2949783819 hasConceptScore W2949783819C49937458 @default.

• next