Matches in SemOpenAlex for { <https://semopenalex.org/work/W3170911060> ?p ?o ?g. }
- W3170911060 endingPage "181" @default.
- W3170911060 startingPage "159" @default.
- W3170911060 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.
- W3170911060 created "2021-06-22" @default.
- W3170911060 creator A5013369801 @default.
- W3170911060 creator A5037726232 @default.
- W3170911060 date "2021-05-28" @default.
- W3170911060 modified "2023-10-18" @default.
- W3170911060 title "Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications" @default.
- W3170911060 cites W1497385253 @default.
- W3170911060 cites W1508046772 @default.
- W3170911060 cites W1516319412 @default.
- W3170911060 cites W1519460009 @default.
- W3170911060 cites W1556801288 @default.
- W3170911060 cites W1578211237 @default.
- W3170911060 cites W1605031929 @default.
- W3170911060 cites W1790612874 @default.
- W3170911060 cites W1974775743 @default.
- W3170911060 cites W1975880855 @default.
- W3170911060 cites W2006318999 @default.
- W3170911060 cites W2021569683 @default.
- W3170911060 cites W2023808162 @default.
- W3170911060 cites W2027769154 @default.
- W3170911060 cites W2028720147 @default.
- W3170911060 cites W2059732136 @default.
- W3170911060 cites W2062021873 @default.
- W3170911060 cites W2101623441 @default.
- W3170911060 cites W2113811400 @default.
- W3170911060 cites W2146489051 @default.
- W3170911060 cites W2166472401 @default.
- W3170911060 cites W2178542439 @default.
- W3170911060 cites W2296683979 @default.
- W3170911060 cites W2312684484 @default.
- W3170911060 cites W2320881770 @default.
- W3170911060 cites W2336727880 @default.
- W3170911060 cites W2374477971 @default.
- W3170911060 cites W2604968291 @default.
- W3170911060 cites W2610910070 @default.
- W3170911060 cites W2740714272 @default.
- W3170911060 cites W2746802658 @default.
- W3170911060 cites W2763767053 @default.
- W3170911060 cites W2765275233 @default.
- W3170911060 cites W2774124864 @default.
- W3170911060 cites W2785934803 @default.
- W3170911060 cites W2786819761 @default.
- W3170911060 cites W2798604098 @default.
- W3170911060 cites W2899781265 @default.
- W3170911060 cites W2900275969 @default.
- W3170911060 cites W2910269552 @default.
- W3170911060 cites W2963387914 @default.
- W3170911060 cites W2977986977 @default.
- W3170911060 cites W2996770247 @default.
- W3170911060 cites W4230569261 @default.
- W3170911060 cites W4248340187 @default.
- W3170911060 cites W2528584813 @default.
- W3170911060 doi "https://doi.org/10.1007/s10009-021-00614-2" @default.
- W3170911060 hasPublicationYear "2021" @default.
- W3170911060 type Work @default.
- W3170911060 sameAs 3170911060 @default.
- W3170911060 citedByCount "1" @default.
- W3170911060 countsByYear W31709110602023 @default.
- W3170911060 crossrefType "journal-article" @default.
- W3170911060 hasAuthorship W3170911060A5013369801 @default.
- W3170911060 hasAuthorship W3170911060A5037726232 @default.
- W3170911060 hasBestOaLocation W31709110602 @default.
- W3170911060 hasConcept C111498074 @default.
- W3170911060 hasConcept C115903868 @default.
- W3170911060 hasConcept C120314980 @default.
- W3170911060 hasConcept C127413603 @default.
- W3170911060 hasConcept C147176958 @default.
- W3170911060 hasConcept C151730666 @default.
- W3170911060 hasConcept C153083717 @default.
- W3170911060 hasConcept C154945302 @default.
- W3170911060 hasConcept C199360897 @default.
- W3170911060 hasConcept C202973057 @default.
- W3170911060 hasConcept C24858836 @default.
- W3170911060 hasConcept C2779265402 @default.
- W3170911060 hasConcept C2779343474 @default.
- W3170911060 hasConcept C2779478453 @default.
- W3170911060 hasConcept C41008148 @default.
- W3170911060 hasConcept C54355233 @default.
- W3170911060 hasConcept C55439883 @default.
- W3170911060 hasConcept C86803240 @default.
- W3170911060 hasConceptScore W3170911060C111498074 @default.
- W3170911060 hasConceptScore W3170911060C115903868 @default.
- W3170911060 hasConceptScore W3170911060C120314980 @default.
- W3170911060 hasConceptScore W3170911060C127413603 @default.
- W3170911060 hasConceptScore W3170911060C147176958 @default.
- W3170911060 hasConceptScore W3170911060C151730666 @default.
- W3170911060 hasConceptScore W3170911060C153083717 @default.
- W3170911060 hasConceptScore W3170911060C154945302 @default.
- W3170911060 hasConceptScore W3170911060C199360897 @default.
- W3170911060 hasConceptScore W3170911060C202973057 @default.
- W3170911060 hasConceptScore W3170911060C24858836 @default.
- W3170911060 hasConceptScore W3170911060C2779265402 @default.
- W3170911060 hasConceptScore W3170911060C2779343474 @default.
- W3170911060 hasConceptScore W3170911060C2779478453 @default.
- W3170911060 hasConceptScore W3170911060C41008148 @default.
- W3170911060 hasConceptScore W3170911060C54355233 @default.
- W3170911060 hasConceptScore W3170911060C55439883 @default.