Matches in SemOpenAlex for { <https://semopenalex.org/work/W2972638093> ?p ?o ?g. }
- W2972638093 abstract "We use runtime verification (RV) to check various specifications in a smart apartment. The specifications can be broken down into three types: behavioral correctness of the apartment sensors, detection of specific user activities (known as activities of daily living), and composition of specifications of the previous types. The context of the smart apartment provides us with a complex system with a large number of components with two different hierarchies to group specifications and sensors: geographically within the same room, floor or globally in the apartment, and logically following the different types of specifications. We leverage a recent approach to decentralized RV of decentralized specifications, where monitors have their own specifications and communicate together to verify more general specifications. We leverage the hierarchies, modularity and re-use afforded by decentralized specifications to: (1) scale beyond existing centralized RV techniques, and (2) greatly reduce computation and communication costs." @default.
- W2972638093 created "2019-09-19" @default.
- W2972638093 creator A5013369801 @default.
- W2972638093 creator A5037726232 @default.
- W2972638093 date "2018-08-16" @default.
- W2972638093 modified "2023-09-25" @default.
- W2972638093 title "Bringing Runtime Verification Home -- A Case Study on the Hierarchical Monitoring of Smart Homes using Decentralized Specifications" @default.
- W2972638093 cites W1497385253 @default.
- W2972638093 cites W1516319412 @default.
- W2972638093 cites W1556801288 @default.
- W2972638093 cites W1558971024 @default.
- W2972638093 cites W1584489325 @default.
- W2972638093 cites W1605031929 @default.
- W2972638093 cites W1790612874 @default.
- W2972638093 cites W1974775743 @default.
- W2972638093 cites W1975880855 @default.
- W2972638093 cites W2006318999 @default.
- W2972638093 cites W2021569683 @default.
- W2972638093 cites W2023808162 @default.
- W2972638093 cites W2027769154 @default.
- W2972638093 cites W2028720147 @default.
- W2972638093 cites W2059732136 @default.
- W2972638093 cites W2062021873 @default.
- W2972638093 cites W2101623441 @default.
- W2972638093 cites W2113012730 @default.
- W2972638093 cites W2113811400 @default.
- W2972638093 cites W2146489051 @default.
- W2972638093 cites W2166472401 @default.
- W2972638093 cites W2178542439 @default.
- W2972638093 cites W2293637521 @default.
- W2972638093 cites W2296683979 @default.
- W2972638093 cites W2312684484 @default.
- W2972638093 cites W2374477971 @default.
- W2972638093 cites W2407790672 @default.
- W2972638093 cites W2572086656 @default.
- W2972638093 cites W2604968291 @default.
- W2972638093 cites W2610910070 @default.
- W2972638093 cites W2735820172 @default.
- W2972638093 cites W2740714272 @default.
- W2972638093 cites W2746802658 @default.
- W2972638093 cites W2763767053 @default.
- W2972638093 cites W2765275233 @default.
- W2972638093 cites W2774124864 @default.
- W2972638093 cites W2785934803 @default.
- W2972638093 cites W2786819761 @default.
- W2972638093 cites W2798604098 @default.
- W2972638093 cites W2892453557 @default.
- W2972638093 cites W2963387914 @default.
- W2972638093 cites W2996770247 @default.
- W2972638093 cites W2528584813 @default.
- W2972638093 hasPublicationYear "2018" @default.
- W2972638093 type Work @default.
- W2972638093 sameAs 2972638093 @default.
- W2972638093 citedByCount "0" @default.
- W2972638093 crossrefType "posted-content" @default.
- W2972638093 hasAuthorship W2972638093A5013369801 @default.
- W2972638093 hasAuthorship W2972638093A5037726232 @default.
- W2972638093 hasConcept C111498074 @default.
- W2972638093 hasConcept C111919701 @default.
- W2972638093 hasConcept C120314980 @default.
- W2972638093 hasConcept C127413603 @default.
- W2972638093 hasConcept C147176958 @default.
- W2972638093 hasConcept C149635348 @default.
- W2972638093 hasConcept C151730666 @default.
- W2972638093 hasConcept C153083717 @default.
- W2972638093 hasConcept C154945302 @default.
- W2972638093 hasConcept C199360897 @default.
- W2972638093 hasConcept C202973057 @default.
- W2972638093 hasConcept C2779265402 @default.
- W2972638093 hasConcept C2779343474 @default.
- W2972638093 hasConcept C2779478453 @default.
- W2972638093 hasConcept C41008148 @default.
- W2972638093 hasConcept C507571656 @default.
- W2972638093 hasConcept C54355233 @default.
- W2972638093 hasConcept C55439883 @default.
- W2972638093 hasConcept C86803240 @default.
- W2972638093 hasConceptScore W2972638093C111498074 @default.
- W2972638093 hasConceptScore W2972638093C111919701 @default.
- W2972638093 hasConceptScore W2972638093C120314980 @default.
- W2972638093 hasConceptScore W2972638093C127413603 @default.
- W2972638093 hasConceptScore W2972638093C147176958 @default.
- W2972638093 hasConceptScore W2972638093C149635348 @default.
- W2972638093 hasConceptScore W2972638093C151730666 @default.
- W2972638093 hasConceptScore W2972638093C153083717 @default.
- W2972638093 hasConceptScore W2972638093C154945302 @default.
- W2972638093 hasConceptScore W2972638093C199360897 @default.
- W2972638093 hasConceptScore W2972638093C202973057 @default.
- W2972638093 hasConceptScore W2972638093C2779265402 @default.
- W2972638093 hasConceptScore W2972638093C2779343474 @default.
- W2972638093 hasConceptScore W2972638093C2779478453 @default.
- W2972638093 hasConceptScore W2972638093C41008148 @default.
- W2972638093 hasConceptScore W2972638093C507571656 @default.
- W2972638093 hasConceptScore W2972638093C54355233 @default.
- W2972638093 hasConceptScore W2972638093C55439883 @default.
- W2972638093 hasConceptScore W2972638093C86803240 @default.
- W2972638093 hasOpenAccess W2972638093 @default.
- W2972638093 hasRelatedWork W2021071996 @default.
- W2972638093 hasRelatedWork W2025623007 @default.
- W2972638093 hasRelatedWork W2121789509 @default.
- W2972638093 hasRelatedWork W2155756758 @default.