Matches in SemOpenAlex for { <https://semopenalex.org/work/W2736199201> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2736199201 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), 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.
- W2736199201 created "2017-07-21" @default.
- W2736199201 creator A5000337432 @default.
- W2736199201 creator A5063589100 @default.
- W2736199201 creator A5063753055 @default.
- W2736199201 creator A5064833291 @default.
- W2736199201 date "2017-07-08" @default.
- W2736199201 modified "2023-09-27" @default.
- W2736199201 title "Towards an Efficient Tree Automata based technique for Timed Systems" @default.
- W2736199201 cites W1524026935 @default.
- W2736199201 cites W1880663844 @default.
- W2736199201 cites W1882239865 @default.
- W2736199201 cites W1962072139 @default.
- W2736199201 cites W1976426006 @default.
- W2736199201 cites W2101508170 @default.
- W2736199201 cites W2133514269 @default.
- W2736199201 cites W2267998239 @default.
- W2736199201 cites W2963919909 @default.
- W2736199201 hasPublicationYear "2017" @default.
- W2736199201 type Work @default.
- W2736199201 sameAs 2736199201 @default.
- W2736199201 citedByCount "0" @default.
- W2736199201 crossrefType "posted-content" @default.
- W2736199201 hasAuthorship W2736199201A5000337432 @default.
- W2736199201 hasAuthorship W2736199201A5063589100 @default.
- W2736199201 hasAuthorship W2736199201A5063753055 @default.
- W2736199201 hasAuthorship W2736199201A5064833291 @default.
- W2736199201 hasConcept C112505250 @default.
- W2736199201 hasConcept C113174947 @default.
- W2736199201 hasConcept C11413529 @default.
- W2736199201 hasConcept C120665830 @default.
- W2736199201 hasConcept C121332964 @default.
- W2736199201 hasConcept C134306372 @default.
- W2736199201 hasConcept C168773036 @default.
- W2736199201 hasConcept C192209626 @default.
- W2736199201 hasConcept C30788636 @default.
- W2736199201 hasConcept C33923547 @default.
- W2736199201 hasConcept C41008148 @default.
- W2736199201 hasConcept C80444323 @default.
- W2736199201 hasConceptScore W2736199201C112505250 @default.
- W2736199201 hasConceptScore W2736199201C113174947 @default.
- W2736199201 hasConceptScore W2736199201C11413529 @default.
- W2736199201 hasConceptScore W2736199201C120665830 @default.
- W2736199201 hasConceptScore W2736199201C121332964 @default.
- W2736199201 hasConceptScore W2736199201C134306372 @default.
- W2736199201 hasConceptScore W2736199201C168773036 @default.
- W2736199201 hasConceptScore W2736199201C192209626 @default.
- W2736199201 hasConceptScore W2736199201C30788636 @default.
- W2736199201 hasConceptScore W2736199201C33923547 @default.
- W2736199201 hasConceptScore W2736199201C41008148 @default.
- W2736199201 hasConceptScore W2736199201C80444323 @default.
- W2736199201 hasLocation W27361992011 @default.
- W2736199201 hasOpenAccess W2736199201 @default.
- W2736199201 hasPrimaryLocation W27361992011 @default.
- W2736199201 hasRelatedWork W11326594 @default.
- W2736199201 hasRelatedWork W1522183038 @default.
- W2736199201 hasRelatedWork W1685060813 @default.
- W2736199201 hasRelatedWork W173662904 @default.
- W2736199201 hasRelatedWork W1971607922 @default.
- W2736199201 hasRelatedWork W1974086470 @default.
- W2736199201 hasRelatedWork W1997450827 @default.
- W2736199201 hasRelatedWork W2017321164 @default.
- W2736199201 hasRelatedWork W2107085277 @default.
- W2736199201 hasRelatedWork W2111299652 @default.
- W2736199201 hasRelatedWork W2142413136 @default.
- W2736199201 hasRelatedWork W2332707467 @default.
- W2736199201 hasRelatedWork W2588946677 @default.
- W2736199201 hasRelatedWork W2743975529 @default.
- W2736199201 hasRelatedWork W2767047126 @default.
- W2736199201 hasRelatedWork W2767050889 @default.
- W2736199201 hasRelatedWork W2767098878 @default.
- W2736199201 hasRelatedWork W2804291498 @default.
- W2736199201 hasRelatedWork W2959401911 @default.
- W2736199201 hasRelatedWork W3006574674 @default.
- W2736199201 isParatext "false" @default.
- W2736199201 isRetracted "false" @default.
- W2736199201 magId "2736199201" @default.
- W2736199201 workType "article" @default.