Matches in SemOpenAlex for { <https://semopenalex.org/work/W2537996815> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2537996815 abstract "This paper explains how to construct automatically monitors for dynamic verification of PSL sequential extended regular expressions assertions. The construction method is based on our extension of Brzozowski's derivatives in the context of PSL SERE. Brzozowski's derivatives are an elegant and natural way for solving the problem of converting a Kleene's regular expression to a deterministic automaton. A software implementing these theoretical results has been developed: it takes as input a PSL SERE assertion and returns a VHDL description of a monitor checking this formula" @default.
- W2537996815 created "2016-10-28" @default.
- W2537996815 creator A5049310956 @default.
- W2537996815 date "2006-03-30" @default.
- W2537996815 modified "2023-09-27" @default.
- W2537996815 title "From Sequential Extended Regular Expressions to Determinstic Finite Automata" @default.
- W2537996815 cites W1545186619 @default.
- W2537996815 cites W1551896235 @default.
- W2537996815 cites W2081042767 @default.
- W2537996815 cites W2155155782 @default.
- W2537996815 cites W2156429182 @default.
- W2537996815 doi "https://doi.org/10.1109/itict.2005.1609621" @default.
- W2537996815 hasPublicationYear "2006" @default.
- W2537996815 type Work @default.
- W2537996815 sameAs 2537996815 @default.
- W2537996815 citedByCount "4" @default.
- W2537996815 countsByYear W25379968152012 @default.
- W2537996815 crossrefType "proceedings-article" @default.
- W2537996815 hasAuthorship W2537996815A5049310956 @default.
- W2537996815 hasConcept C104091681 @default.
- W2537996815 hasConcept C112505250 @default.
- W2537996815 hasConcept C11413529 @default.
- W2537996815 hasConcept C116248031 @default.
- W2537996815 hasConcept C121329065 @default.
- W2537996815 hasConcept C158008952 @default.
- W2537996815 hasConcept C167822520 @default.
- W2537996815 hasConcept C174327141 @default.
- W2537996815 hasConcept C199360897 @default.
- W2537996815 hasConcept C41008148 @default.
- W2537996815 hasConcept C65753522 @default.
- W2537996815 hasConcept C80444323 @default.
- W2537996815 hasConcept C92710233 @default.
- W2537996815 hasConceptScore W2537996815C104091681 @default.
- W2537996815 hasConceptScore W2537996815C112505250 @default.
- W2537996815 hasConceptScore W2537996815C11413529 @default.
- W2537996815 hasConceptScore W2537996815C116248031 @default.
- W2537996815 hasConceptScore W2537996815C121329065 @default.
- W2537996815 hasConceptScore W2537996815C158008952 @default.
- W2537996815 hasConceptScore W2537996815C167822520 @default.
- W2537996815 hasConceptScore W2537996815C174327141 @default.
- W2537996815 hasConceptScore W2537996815C199360897 @default.
- W2537996815 hasConceptScore W2537996815C41008148 @default.
- W2537996815 hasConceptScore W2537996815C65753522 @default.
- W2537996815 hasConceptScore W2537996815C80444323 @default.
- W2537996815 hasConceptScore W2537996815C92710233 @default.
- W2537996815 hasLocation W25379968151 @default.
- W2537996815 hasLocation W25379968152 @default.
- W2537996815 hasLocation W25379968153 @default.
- W2537996815 hasOpenAccess W2537996815 @default.
- W2537996815 hasPrimaryLocation W25379968151 @default.
- W2537996815 hasRelatedWork W1423874546 @default.
- W2537996815 hasRelatedWork W1490980615 @default.
- W2537996815 hasRelatedWork W1530258609 @default.
- W2537996815 hasRelatedWork W2024421699 @default.
- W2537996815 hasRelatedWork W2083002627 @default.
- W2537996815 hasRelatedWork W2111766876 @default.
- W2537996815 hasRelatedWork W2160879187 @default.
- W2537996815 hasRelatedWork W2482365960 @default.
- W2537996815 hasRelatedWork W3143588635 @default.
- W2537996815 hasRelatedWork W4308880995 @default.
- W2537996815 isParatext "false" @default.
- W2537996815 isRetracted "false" @default.
- W2537996815 magId "2537996815" @default.
- W2537996815 workType "article" @default.