Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000714695> ?p ?o ?g. }
- W2000714695 endingPage "70" @default.
- W2000714695 startingPage "56" @default.
- W2000714695 abstract "We investigate the suitability of statistical model checking techniques for analysing quantitative properties of software product line models with probabilistic aspects. For this purpose, we enrich the feature-oriented language FLan with action rates, which specify the likelihood of exhibiting particular behaviour or of installing features at a specific moment or in a specific order. The enriched language (called PFLan) allows us to specify models of software product lines with probabilistic configurations and behaviour, e.g. by considering a PFLan semantics based on discrete-time Markov chains. The Maude implementation of PFLan is combined with the distributed statistical model checker MultiVeStA to perform quantitative analyses of a simple product line case study. The presented analyses include the likelihood of certain behaviour of interest (e.g. product malfunctioning) and the expected average cost of products." @default.
- W2000714695 created "2016-06-24" @default.
- W2000714695 creator A5023123658 @default.
- W2000714695 creator A5030129842 @default.
- W2000714695 creator A5054527006 @default.
- W2000714695 creator A5064415269 @default.
- W2000714695 date "2015-04-12" @default.
- W2000714695 modified "2023-10-01" @default.
- W2000714695 title "Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking" @default.
- W2000714695 cites W1480909796 @default.
- W2000714695 cites W1570173564 @default.
- W2000714695 cites W157143398 @default.
- W2000714695 cites W1573313194 @default.
- W2000714695 cites W1631091010 @default.
- W2000714695 cites W1740986913 @default.
- W2000714695 cites W1963894531 @default.
- W2000714695 cites W1992287205 @default.
- W2000714695 cites W1994096594 @default.
- W2000714695 cites W2014907753 @default.
- W2000714695 cites W2016954568 @default.
- W2000714695 cites W2022615696 @default.
- W2000714695 cites W2023640584 @default.
- W2000714695 cites W2024358995 @default.
- W2000714695 cites W2031455705 @default.
- W2000714695 cites W2048064553 @default.
- W2000714695 cites W2048352523 @default.
- W2000714695 cites W2049676836 @default.
- W2000714695 cites W2071109087 @default.
- W2000714695 cites W2075636906 @default.
- W2000714695 cites W2091675414 @default.
- W2000714695 cites W2106265536 @default.
- W2000714695 cites W2110025251 @default.
- W2000714695 cites W2113201637 @default.
- W2000714695 cites W2114158268 @default.
- W2000714695 cites W2125853721 @default.
- W2000714695 cites W2154050677 @default.
- W2000714695 cites W2156194547 @default.
- W2000714695 cites W2164729113 @default.
- W2000714695 cites W2183677651 @default.
- W2000714695 cites W2211772532 @default.
- W2000714695 cites W2487111507 @default.
- W2000714695 cites W4213344305 @default.
- W2000714695 cites W4234315090 @default.
- W2000714695 cites W4246103079 @default.
- W2000714695 cites W4301885396 @default.
- W2000714695 cites W4362223624 @default.
- W2000714695 cites W811828797 @default.
- W2000714695 doi "https://doi.org/10.4204/eptcs.182.5" @default.
- W2000714695 hasPublicationYear "2015" @default.
- W2000714695 type Work @default.
- W2000714695 sameAs 2000714695 @default.
- W2000714695 citedByCount "11" @default.
- W2000714695 countsByYear W20007146952016 @default.
- W2000714695 countsByYear W20007146952017 @default.
- W2000714695 countsByYear W20007146952018 @default.
- W2000714695 countsByYear W20007146952019 @default.
- W2000714695 countsByYear W20007146952020 @default.
- W2000714695 countsByYear W20007146952021 @default.
- W2000714695 countsByYear W20007146952022 @default.
- W2000714695 crossrefType "journal-article" @default.
- W2000714695 hasAuthorship W2000714695A5023123658 @default.
- W2000714695 hasAuthorship W2000714695A5030129842 @default.
- W2000714695 hasAuthorship W2000714695A5054527006 @default.
- W2000714695 hasAuthorship W2000714695A5064415269 @default.
- W2000714695 hasBestOaLocation W20007146951 @default.
- W2000714695 hasConcept C101814296 @default.
- W2000714695 hasConcept C110251889 @default.
- W2000714695 hasConcept C114289077 @default.
- W2000714695 hasConcept C119857082 @default.
- W2000714695 hasConcept C154945302 @default.
- W2000714695 hasConcept C184337299 @default.
- W2000714695 hasConcept C199360897 @default.
- W2000714695 hasConcept C2524010 @default.
- W2000714695 hasConcept C2777904410 @default.
- W2000714695 hasConcept C2778177629 @default.
- W2000714695 hasConcept C33923547 @default.
- W2000714695 hasConcept C41008148 @default.
- W2000714695 hasConcept C49937458 @default.
- W2000714695 hasConcept C529173508 @default.
- W2000714695 hasConcept C90673727 @default.
- W2000714695 hasConcept C98763669 @default.
- W2000714695 hasConceptScore W2000714695C101814296 @default.
- W2000714695 hasConceptScore W2000714695C110251889 @default.
- W2000714695 hasConceptScore W2000714695C114289077 @default.
- W2000714695 hasConceptScore W2000714695C119857082 @default.
- W2000714695 hasConceptScore W2000714695C154945302 @default.
- W2000714695 hasConceptScore W2000714695C184337299 @default.
- W2000714695 hasConceptScore W2000714695C199360897 @default.
- W2000714695 hasConceptScore W2000714695C2524010 @default.
- W2000714695 hasConceptScore W2000714695C2777904410 @default.
- W2000714695 hasConceptScore W2000714695C2778177629 @default.
- W2000714695 hasConceptScore W2000714695C33923547 @default.
- W2000714695 hasConceptScore W2000714695C41008148 @default.
- W2000714695 hasConceptScore W2000714695C49937458 @default.
- W2000714695 hasConceptScore W2000714695C529173508 @default.
- W2000714695 hasConceptScore W2000714695C90673727 @default.
- W2000714695 hasConceptScore W2000714695C98763669 @default.
- W2000714695 hasLocation W20007146951 @default.