FRINK Linked Data Fragments server

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

• W2028720147 endingPage "262" @default.
• W2028720147 startingPage "223" @default.
• W2028720147 abstract "Runtime enforcement is a powerful technique to ensure that a program will respect a given set of properties. We extend previous work on this topic in several directions. Firstly, we propose a generic notion of enforcement monitors based on a memory device and finite sets of control states and enforcement operations. Moreover, we specify their enforcement abilities w.r.t. the general Safety-Progress classification of properties. Furthermore, we propose a systematic technique to produce a monitor from the automaton recognizing a given safety, guarantee, obligation or response property. Finally, we show that this notion of enforcement monitors is more amenable to implementation and encompasses previous runtime enforcement mechanisms." @default.
• W2028720147 created "2016-06-24" @default.
• W2028720147 creator A5009535536 @default.
• W2028720147 creator A5026735986 @default.
• W2028720147 creator A5037726232 @default.
• W2028720147 creator A5069318042 @default.
• W2028720147 date "2011-03-11" @default.
• W2028720147 modified "2023-09-29" @default.
• W2028720147 title "Runtime enforcement monitors: composition, synthesis, and enforcement abilities" @default.
• W2028720147 cites W1574561446 @default.
• W2028720147 cites W1577761978 @default.
• W2028720147 cites W1734269280 @default.
• W2028720147 cites W1804029911 @default.
• W2028720147 cites W1985929316 @default.
• W2028720147 cites W2021711161 @default.
• W2028720147 cites W2028824503 @default.
• W2028720147 cites W2036910349 @default.
• W2028720147 cites W2041755664 @default.
• W2028720147 cites W2082036629 @default.
• W2028720147 cites W2101623441 @default.
• W2028720147 cites W2109387928 @default.
• W2028720147 cites W2132334337 @default.
• W2028720147 cites W2140724281 @default.
• W2028720147 cites W2156456150 @default.
• W2028720147 cites W2914206182 @default.
• W2028720147 cites W4239035626 @default.
• W2028720147 cites W4254691308 @default.
• W2028720147 cites W979433832 @default.
• W2028720147 cites W2122947988 @default.
• W2028720147 doi "https://doi.org/10.1007/s10703-011-0114-4" @default.
• W2028720147 hasPublicationYear "2011" @default.
• W2028720147 type Work @default.
• W2028720147 sameAs 2028720147 @default.
• W2028720147 citedByCount "103" @default.
• W2028720147 countsByYear W20287201472012 @default.
• W2028720147 countsByYear W20287201472013 @default.
• W2028720147 countsByYear W20287201472014 @default.
• W2028720147 countsByYear W20287201472015 @default.
• W2028720147 countsByYear W20287201472016 @default.
• W2028720147 countsByYear W20287201472017 @default.
• W2028720147 countsByYear W20287201472018 @default.
• W2028720147 countsByYear W20287201472019 @default.
• W2028720147 countsByYear W20287201472020 @default.
• W2028720147 countsByYear W20287201472021 @default.
• W2028720147 countsByYear W20287201472022 @default.
• W2028720147 countsByYear W20287201472023 @default.
• W2028720147 crossrefType "journal-article" @default.
• W2028720147 hasAuthorship W2028720147A5009535536 @default.
• W2028720147 hasAuthorship W2028720147A5026735986 @default.
• W2028720147 hasAuthorship W2028720147A5037726232 @default.
• W2028720147 hasAuthorship W2028720147A5069318042 @default.
• W2028720147 hasBestOaLocation W20287201472 @default.
• W2028720147 hasConcept C111472728 @default.
• W2028720147 hasConcept C112505250 @default.
• W2028720147 hasConcept C120314980 @default.
• W2028720147 hasConcept C138885662 @default.
• W2028720147 hasConcept C177264268 @default.
• W2028720147 hasConcept C17744445 @default.
• W2028720147 hasConcept C189950617 @default.
• W2028720147 hasConcept C199360897 @default.
• W2028720147 hasConcept C199539241 @default.
• W2028720147 hasConcept C2779777834 @default.
• W2028720147 hasConcept C38652104 @default.
• W2028720147 hasConcept C41008148 @default.
• W2028720147 hasConcept C80444323 @default.
• W2028720147 hasConceptScore W2028720147C111472728 @default.
• W2028720147 hasConceptScore W2028720147C112505250 @default.
• W2028720147 hasConceptScore W2028720147C120314980 @default.
• W2028720147 hasConceptScore W2028720147C138885662 @default.
• W2028720147 hasConceptScore W2028720147C177264268 @default.
• W2028720147 hasConceptScore W2028720147C17744445 @default.
• W2028720147 hasConceptScore W2028720147C189950617 @default.
• W2028720147 hasConceptScore W2028720147C199360897 @default.
• W2028720147 hasConceptScore W2028720147C199539241 @default.
• W2028720147 hasConceptScore W2028720147C2779777834 @default.
• W2028720147 hasConceptScore W2028720147C38652104 @default.
• W2028720147 hasConceptScore W2028720147C41008148 @default.
• W2028720147 hasConceptScore W2028720147C80444323 @default.
• W2028720147 hasIssue "3" @default.
• W2028720147 hasLocation W20287201471 @default.
• W2028720147 hasLocation W20287201472 @default.
• W2028720147 hasLocation W20287201473 @default.
• W2028720147 hasLocation W20287201474 @default.
• W2028720147 hasLocation W20287201475 @default.
• W2028720147 hasOpenAccess W2028720147 @default.
• W2028720147 hasPrimaryLocation W20287201471 @default.
• W2028720147 hasRelatedWork W1485627940 @default.
• W2028720147 hasRelatedWork W153904579 @default.
• W2028720147 hasRelatedWork W1596201972 @default.
• W2028720147 hasRelatedWork W1598943142 @default.
• W2028720147 hasRelatedWork W1986253068 @default.
• W2028720147 hasRelatedWork W2152433827 @default.
• W2028720147 hasRelatedWork W2160425906 @default.
• W2028720147 hasRelatedWork W2368796975 @default.
• W2028720147 hasRelatedWork W2385146268 @default.
• W2028720147 hasRelatedWork W4313054100 @default.
• W2028720147 hasVolume "38" @default.
• W2028720147 isParatext "false" @default.

• next