FRINK Linked Data Fragments server

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

• W2049676836 abstract "Software product line engineering (SPLE) enables systematic reuse in development of a family of related software systems by explicitly defining commonalities and variabilities among the individual products in the family. Nowadays, SPLE is used in a variety of complex domains such as avionics and automotive. As such domains include safety critical systems which exhibit probabilistic behavior, there is a major need for modeling and verification approaches dealing with probabilistic aspects of systems in the presence of variabilities. In this paper, we introduce a mathematical model, Discrete Time Markov Chain Family (DTMCF), which compactly represents the probabilistic behavior of all the products in the product line. We also provide a probabilistic model checking method to verify DTMCFs against Probabilistic Computation Tree Logic (PCTL) properties. This way, instead of verifying each product individually, the whole family is model checked at once, resulting in the set of products satisfying the desired property. This reduces the required cost for model checking by eliminating redundant processing caused by the commonalities among the products." @default.
• W2049676836 created "2016-06-24" @default.
• W2049676836 creator A5036805687 @default.
• W2049676836 creator A5079537045 @default.
• W2049676836 date "2013-08-26" @default.
• W2049676836 modified "2023-09-26" @default.
• W2049676836 title "Discrete time Markov chain families" @default.
• W2049676836 cites W1809182522 @default.
• W2049676836 cites W1898469110 @default.
• W2049676836 cites W1991396026 @default.
• W2049676836 cites W2038190459 @default.
• W2049676836 cites W2068847249 @default.
• W2049676836 cites W2080267935 @default.
• W2049676836 cites W2110025251 @default.
• W2049676836 cites W2112710730 @default.
• W2049676836 cites W2113201637 @default.
• W2049676836 cites W2123481254 @default.
• W2049676836 cites W2128967738 @default.
• W2049676836 cites W2130195901 @default.
• W2049676836 cites W2143934828 @default.
• W2049676836 cites W2162786003 @default.
• W2049676836 cites W2167672803 @default.
• W2049676836 cites W2000981275 @default.
• W2049676836 doi "https://doi.org/10.1145/2499777.2500725" @default.
• W2049676836 hasPublicationYear "2013" @default.
• W2049676836 type Work @default.
• W2049676836 sameAs 2049676836 @default.
• W2049676836 citedByCount "17" @default.
• W2049676836 countsByYear W20496768362014 @default.
• W2049676836 countsByYear W20496768362015 @default.
• W2049676836 countsByYear W20496768362016 @default.
• W2049676836 countsByYear W20496768362017 @default.
• W2049676836 countsByYear W20496768362019 @default.
• W2049676836 countsByYear W20496768362020 @default.
• W2049676836 countsByYear W20496768362021 @default.
• W2049676836 crossrefType "proceedings-article" @default.
• W2049676836 hasAuthorship W2049676836A5036805687 @default.
• W2049676836 hasAuthorship W2049676836A5079537045 @default.
• W2049676836 hasConcept C105795698 @default.
• W2049676836 hasConcept C110251889 @default.
• W2049676836 hasConcept C111472728 @default.
• W2049676836 hasConcept C119857082 @default.
• W2049676836 hasConcept C127413603 @default.
• W2049676836 hasConcept C138885662 @default.
• W2049676836 hasConcept C146978453 @default.
• W2049676836 hasConcept C154945302 @default.
• W2049676836 hasConcept C15792166 @default.
• W2049676836 hasConcept C159886148 @default.
• W2049676836 hasConcept C189950617 @default.
• W2049676836 hasConcept C198008173 @default.
• W2049676836 hasConcept C199360897 @default.
• W2049676836 hasConcept C206588197 @default.
• W2049676836 hasConcept C24404364 @default.
• W2049676836 hasConcept C2524010 @default.
• W2049676836 hasConcept C2777904410 @default.
• W2049676836 hasConcept C2778177629 @default.
• W2049676836 hasConcept C33923547 @default.
• W2049676836 hasConcept C41008148 @default.
• W2049676836 hasConcept C49937458 @default.
• W2049676836 hasConcept C52063229 @default.
• W2049676836 hasConcept C529173508 @default.
• W2049676836 hasConcept C548081761 @default.
• W2049676836 hasConcept C80444323 @default.
• W2049676836 hasConcept C90673727 @default.
• W2049676836 hasConcept C98763669 @default.
• W2049676836 hasConceptScore W2049676836C105795698 @default.
• W2049676836 hasConceptScore W2049676836C110251889 @default.
• W2049676836 hasConceptScore W2049676836C111472728 @default.
• W2049676836 hasConceptScore W2049676836C119857082 @default.
• W2049676836 hasConceptScore W2049676836C127413603 @default.
• W2049676836 hasConceptScore W2049676836C138885662 @default.
• W2049676836 hasConceptScore W2049676836C146978453 @default.
• W2049676836 hasConceptScore W2049676836C154945302 @default.
• W2049676836 hasConceptScore W2049676836C15792166 @default.
• W2049676836 hasConceptScore W2049676836C159886148 @default.
• W2049676836 hasConceptScore W2049676836C189950617 @default.
• W2049676836 hasConceptScore W2049676836C198008173 @default.
• W2049676836 hasConceptScore W2049676836C199360897 @default.
• W2049676836 hasConceptScore W2049676836C206588197 @default.
• W2049676836 hasConceptScore W2049676836C24404364 @default.
• W2049676836 hasConceptScore W2049676836C2524010 @default.
• W2049676836 hasConceptScore W2049676836C2777904410 @default.
• W2049676836 hasConceptScore W2049676836C2778177629 @default.
• W2049676836 hasConceptScore W2049676836C33923547 @default.
• W2049676836 hasConceptScore W2049676836C41008148 @default.
• W2049676836 hasConceptScore W2049676836C49937458 @default.
• W2049676836 hasConceptScore W2049676836C52063229 @default.
• W2049676836 hasConceptScore W2049676836C529173508 @default.
• W2049676836 hasConceptScore W2049676836C548081761 @default.
• W2049676836 hasConceptScore W2049676836C80444323 @default.
• W2049676836 hasConceptScore W2049676836C90673727 @default.
• W2049676836 hasConceptScore W2049676836C98763669 @default.
• W2049676836 hasLocation W20496768361 @default.
• W2049676836 hasOpenAccess W2049676836 @default.
• W2049676836 hasPrimaryLocation W20496768361 @default.
• W2049676836 hasRelatedWork W1497573972 @default.
• W2049676836 hasRelatedWork W2087152645 @default.
• W2049676836 hasRelatedWork W2395749546 @default.
• W2049676836 hasRelatedWork W2481947210 @default.
• W2049676836 hasRelatedWork W2610458644 @default.

• next