FRINK Linked Data Fragments server

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

• W2004605637 abstract "Early efforts in runtime verification show that parametric regular and temporal logic specifications can be monitored efficiently. These approaches, however, have limited expressiveness: their specifications always reduce to monitors with finite state. More recent developments showed that parametric context-free properties can be efficiently monitored with overheads generally lower than 12-15%. While context-free grammars are more expressive than finite-state languages, they still do not allow every computable safety property. This paper presents a monitor synthesis algorithm for string rewriting systems (SRS). SRSs are well known to be Turing complete, allowing for the formal specification of any computable safety property. Earlier attempts at Turing complete monitoring have been relatively inefficient. This paper demonstrates that monitoring parametric SRSs is practical. The presented algorithm uses a modified version of Aho-Corasick string searching for quick pattern matching with an incremental rewriting approach that avoids reexamining parts of the string known to contain no redexes." @default.
• W2004605637 created "2016-06-24" @default.
• W2004605637 creator A5049185168 @default.
• W2004605637 creator A5053878331 @default.
• W2004605637 date "2013-11-01" @default.
• W2004605637 modified "2023-10-16" @default.
• W2004605637 title "Efficient parametric runtime verification with deterministic string rewriting" @default.
• W2004605637 cites W12570917 @default.
• W2004605637 cites W1561877636 @default.
• W2004605637 cites W1610570299 @default.
• W2004605637 cites W2005062077 @default.
• W2004605637 cites W2021875003 @default.
• W2004605637 cites W2036910349 @default.
• W2004605637 cites W2044590882 @default.
• W2004605637 cites W2047276559 @default.
• W2004605637 cites W2088655521 @default.
• W2004605637 cites W2099964107 @default.
• W2004605637 cites W2107412422 @default.
• W2004605637 cites W2111141292 @default.
• W2004605637 cites W2111894887 @default.
• W2004605637 cites W2114987070 @default.
• W2004605637 cites W2134429122 @default.
• W2004605637 cites W2150593762 @default.
• W2004605637 cites W2162126440 @default.
• W2004605637 cites W2166091242 @default.
• W2004605637 cites W2168130140 @default.
• W2004605637 cites W4206398538 @default.
• W2004605637 cites W4232806030 @default.
• W2004605637 cites W4302964898 @default.
• W2004605637 doi "https://doi.org/10.1109/ase.2013.6693067" @default.
• W2004605637 hasPublicationYear "2013" @default.
• W2004605637 type Work @default.
• W2004605637 sameAs 2004605637 @default.
• W2004605637 citedByCount "10" @default.
• W2004605637 countsByYear W20046056372014 @default.
• W2004605637 countsByYear W20046056372015 @default.
• W2004605637 countsByYear W20046056372016 @default.
• W2004605637 countsByYear W20046056372019 @default.
• W2004605637 countsByYear W20046056372020 @default.
• W2004605637 countsByYear W20046056372021 @default.
• W2004605637 countsByYear W20046056372022 @default.
• W2004605637 crossrefType "proceedings-article" @default.
• W2004605637 hasAuthorship W2004605637A5049185168 @default.
• W2004605637 hasAuthorship W2004605637A5053878331 @default.
• W2004605637 hasBestOaLocation W20046056372 @default.
• W2004605637 hasConcept C105795698 @default.
• W2004605637 hasConcept C111472728 @default.
• W2004605637 hasConcept C111498074 @default.
• W2004605637 hasConcept C11413529 @default.
• W2004605637 hasConcept C117251300 @default.
• W2004605637 hasConcept C138885662 @default.
• W2004605637 hasConcept C151730666 @default.
• W2004605637 hasConcept C154690210 @default.
• W2004605637 hasConcept C157486923 @default.
• W2004605637 hasConcept C167822520 @default.
• W2004605637 hasConcept C189950617 @default.
• W2004605637 hasConcept C199360897 @default.
• W2004605637 hasConcept C202973057 @default.
• W2004605637 hasConcept C2779343474 @default.
• W2004605637 hasConcept C33923547 @default.
• W2004605637 hasConcept C37914503 @default.
• W2004605637 hasConcept C41008148 @default.
• W2004605637 hasConcept C48103436 @default.
• W2004605637 hasConcept C68859911 @default.
• W2004605637 hasConcept C7757238 @default.
• W2004605637 hasConcept C80444323 @default.
• W2004605637 hasConcept C86803240 @default.
• W2004605637 hasConceptScore W2004605637C105795698 @default.
• W2004605637 hasConceptScore W2004605637C111472728 @default.
• W2004605637 hasConceptScore W2004605637C111498074 @default.
• W2004605637 hasConceptScore W2004605637C11413529 @default.
• W2004605637 hasConceptScore W2004605637C117251300 @default.
• W2004605637 hasConceptScore W2004605637C138885662 @default.
• W2004605637 hasConceptScore W2004605637C151730666 @default.
• W2004605637 hasConceptScore W2004605637C154690210 @default.
• W2004605637 hasConceptScore W2004605637C157486923 @default.
• W2004605637 hasConceptScore W2004605637C167822520 @default.
• W2004605637 hasConceptScore W2004605637C189950617 @default.
• W2004605637 hasConceptScore W2004605637C199360897 @default.
• W2004605637 hasConceptScore W2004605637C202973057 @default.
• W2004605637 hasConceptScore W2004605637C2779343474 @default.
• W2004605637 hasConceptScore W2004605637C33923547 @default.
• W2004605637 hasConceptScore W2004605637C37914503 @default.
• W2004605637 hasConceptScore W2004605637C41008148 @default.
• W2004605637 hasConceptScore W2004605637C48103436 @default.
• W2004605637 hasConceptScore W2004605637C68859911 @default.
• W2004605637 hasConceptScore W2004605637C7757238 @default.
• W2004605637 hasConceptScore W2004605637C80444323 @default.
• W2004605637 hasConceptScore W2004605637C86803240 @default.
• W2004605637 hasLocation W20046056371 @default.
• W2004605637 hasLocation W20046056372 @default.
• W2004605637 hasOpenAccess W2004605637 @default.
• W2004605637 hasPrimaryLocation W20046056371 @default.
• W2004605637 hasRelatedWork W153766502 @default.
• W2004605637 hasRelatedWork W1537740041 @default.
• W2004605637 hasRelatedWork W2004605637 @default.
• W2004605637 hasRelatedWork W2092822581 @default.
• W2004605637 hasRelatedWork W2099964107 @default.
• W2004605637 hasRelatedWork W2337851152 @default.
• W2004605637 hasRelatedWork W2359478580 @default.

• next