Matches in SemOpenAlex for { <https://semopenalex.org/work/W4380136655> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4380136655 abstract "This paper investigates the observational capabilities of monitors that can observe a system over multiple runs. We study how the augmented monitoring setup affect the class of properties that can be verified at runtime, focussing on branching-time properties expressed in the modal mu-calculus. Our results show that the setup can be used to systematically extend previously established monitorability limits. We also prove bounds that capture the correspondence between the syntactic structure of a branching-time property and the number of system runs required to conduct the verification." @default.
- W4380136655 created "2023-06-10" @default.
- W4380136655 creator A5066986721 @default.
- W4380136655 creator A5068411148 @default.
- W4380136655 creator A5077349456 @default.
- W4380136655 date "2023-06-08" @default.
- W4380136655 modified "2023-09-24" @default.
- W4380136655 title "If At First You Don't Succeed: Extended Monitorability through Multiple Executions" @default.
- W4380136655 doi "https://doi.org/10.48550/arxiv.2306.05229" @default.
- W4380136655 hasPublicationYear "2023" @default.
- W4380136655 type Work @default.
- W4380136655 citedByCount "0" @default.
- W4380136655 crossrefType "posted-content" @default.
- W4380136655 hasAuthorship W4380136655A5066986721 @default.
- W4380136655 hasAuthorship W4380136655A5068411148 @default.
- W4380136655 hasAuthorship W4380136655A5077349456 @default.
- W4380136655 hasBestOaLocation W43801366551 @default.
- W4380136655 hasConcept C111472728 @default.
- W4380136655 hasConcept C11413529 @default.
- W4380136655 hasConcept C118615104 @default.
- W4380136655 hasConcept C138885662 @default.
- W4380136655 hasConcept C154945302 @default.
- W4380136655 hasConcept C159985019 @default.
- W4380136655 hasConcept C185592680 @default.
- W4380136655 hasConcept C188027245 @default.
- W4380136655 hasConcept C189950617 @default.
- W4380136655 hasConcept C192562407 @default.
- W4380136655 hasConcept C206175624 @default.
- W4380136655 hasConcept C2777212361 @default.
- W4380136655 hasConcept C33923547 @default.
- W4380136655 hasConcept C41008148 @default.
- W4380136655 hasConcept C71139939 @default.
- W4380136655 hasConcept C80444323 @default.
- W4380136655 hasConceptScore W4380136655C111472728 @default.
- W4380136655 hasConceptScore W4380136655C11413529 @default.
- W4380136655 hasConceptScore W4380136655C118615104 @default.
- W4380136655 hasConceptScore W4380136655C138885662 @default.
- W4380136655 hasConceptScore W4380136655C154945302 @default.
- W4380136655 hasConceptScore W4380136655C159985019 @default.
- W4380136655 hasConceptScore W4380136655C185592680 @default.
- W4380136655 hasConceptScore W4380136655C188027245 @default.
- W4380136655 hasConceptScore W4380136655C189950617 @default.
- W4380136655 hasConceptScore W4380136655C192562407 @default.
- W4380136655 hasConceptScore W4380136655C206175624 @default.
- W4380136655 hasConceptScore W4380136655C2777212361 @default.
- W4380136655 hasConceptScore W4380136655C33923547 @default.
- W4380136655 hasConceptScore W4380136655C41008148 @default.
- W4380136655 hasConceptScore W4380136655C71139939 @default.
- W4380136655 hasConceptScore W4380136655C80444323 @default.
- W4380136655 hasLocation W43801366551 @default.
- W4380136655 hasOpenAccess W4380136655 @default.
- W4380136655 hasPrimaryLocation W43801366551 @default.
- W4380136655 hasRelatedWork W1484474929 @default.
- W4380136655 hasRelatedWork W2018091338 @default.
- W4380136655 hasRelatedWork W2030443680 @default.
- W4380136655 hasRelatedWork W2112997772 @default.
- W4380136655 hasRelatedWork W2349313979 @default.
- W4380136655 hasRelatedWork W2351491280 @default.
- W4380136655 hasRelatedWork W2372895414 @default.
- W4380136655 hasRelatedWork W2386767533 @default.
- W4380136655 hasRelatedWork W303980170 @default.
- W4380136655 hasRelatedWork W3193445231 @default.
- W4380136655 isParatext "false" @default.
- W4380136655 isRetracted "false" @default.
- W4380136655 workType "article" @default.