Matches in SemOpenAlex for { <https://semopenalex.org/work/W2962796379> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2962796379 startingPage "15" @default.
- W2962796379 abstract "The focus of this paper is the analysis of real-time systems with recursion, through the development of good theoretical techniques which are implementable. Time is modeled using clock variables, and recursion using stacks. Our technique consists of modeling the behaviours of the timed system as graphs, and interpreting these graphs on tree terms by showing a bound on their tree-width. We then build a tree automaton that accepts exactly those tree terms that describe realizable runs of the timed system. The emptiness of the timed system thus boils down to emptiness of a finite tree automaton that accepts these tree terms. This approach helps us in obtaining an optimal complexity, not just in theory (as done in earlier work e.g.[concur16]), but also in going towards an efficient implementation of our technique. To do this, we make several improvements in the theory and exploit these to build a first prototype tool that can analyze timed systems with recursion." @default.
- W2962796379 created "2019-07-30" @default.
- W2962796379 creator A5000337432 @default.
- W2962796379 creator A5063589100 @default.
- W2962796379 creator A5063753055 @default.
- W2962796379 creator A5064833291 @default.
- W2962796379 date "2017-07-08" @default.
- W2962796379 modified "2023-09-27" @default.
- W2962796379 title "Towards an Efficient Tree Automata based technique for Timed Systems" @default.
- W2962796379 doi "https://doi.org/10.4230/lipics.concur.2017.39" @default.
- W2962796379 hasPublicationYear "2017" @default.
- W2962796379 type Work @default.
- W2962796379 sameAs 2962796379 @default.
- W2962796379 citedByCount "4" @default.
- W2962796379 countsByYear W29627963792019 @default.
- W2962796379 countsByYear W29627963792021 @default.
- W2962796379 crossrefType "proceedings-article" @default.
- W2962796379 hasAuthorship W2962796379A5000337432 @default.
- W2962796379 hasAuthorship W2962796379A5063589100 @default.
- W2962796379 hasAuthorship W2962796379A5063753055 @default.
- W2962796379 hasAuthorship W2962796379A5064833291 @default.
- W2962796379 hasConcept C112505250 @default.
- W2962796379 hasConcept C113174947 @default.
- W2962796379 hasConcept C11413529 @default.
- W2962796379 hasConcept C120665830 @default.
- W2962796379 hasConcept C121332964 @default.
- W2962796379 hasConcept C134306372 @default.
- W2962796379 hasConcept C168773036 @default.
- W2962796379 hasConcept C192209626 @default.
- W2962796379 hasConcept C30788636 @default.
- W2962796379 hasConcept C33923547 @default.
- W2962796379 hasConcept C41008148 @default.
- W2962796379 hasConcept C80444323 @default.
- W2962796379 hasConceptScore W2962796379C112505250 @default.
- W2962796379 hasConceptScore W2962796379C113174947 @default.
- W2962796379 hasConceptScore W2962796379C11413529 @default.
- W2962796379 hasConceptScore W2962796379C120665830 @default.
- W2962796379 hasConceptScore W2962796379C121332964 @default.
- W2962796379 hasConceptScore W2962796379C134306372 @default.
- W2962796379 hasConceptScore W2962796379C168773036 @default.
- W2962796379 hasConceptScore W2962796379C192209626 @default.
- W2962796379 hasConceptScore W2962796379C30788636 @default.
- W2962796379 hasConceptScore W2962796379C33923547 @default.
- W2962796379 hasConceptScore W2962796379C41008148 @default.
- W2962796379 hasConceptScore W2962796379C80444323 @default.
- W2962796379 hasLocation W29627963791 @default.
- W2962796379 hasOpenAccess W2962796379 @default.
- W2962796379 hasPrimaryLocation W29627963791 @default.
- W2962796379 hasRelatedWork W147538022 @default.
- W2962796379 hasRelatedWork W1548579568 @default.
- W2962796379 hasRelatedWork W1551226127 @default.
- W2962796379 hasRelatedWork W1584007654 @default.
- W2962796379 hasRelatedWork W1669410935 @default.
- W2962796379 hasRelatedWork W167266966 @default.
- W2962796379 hasRelatedWork W186729026 @default.
- W2962796379 hasRelatedWork W20126484 @default.
- W2962796379 hasRelatedWork W2112661970 @default.
- W2962796379 hasRelatedWork W2133834130 @default.
- W2962796379 hasRelatedWork W2150447589 @default.
- W2962796379 hasRelatedWork W2151788193 @default.
- W2962796379 hasRelatedWork W2242966638 @default.
- W2962796379 hasRelatedWork W2244286642 @default.
- W2962796379 hasRelatedWork W2596358615 @default.
- W2962796379 hasRelatedWork W2757434222 @default.
- W2962796379 hasRelatedWork W2951943756 @default.
- W2962796379 hasRelatedWork W1886131381 @default.
- W2962796379 hasRelatedWork W2522346510 @default.
- W2962796379 hasRelatedWork W2584389337 @default.
- W2962796379 isParatext "false" @default.
- W2962796379 isRetracted "false" @default.
- W2962796379 magId "2962796379" @default.
- W2962796379 workType "article" @default.