Matches in SemOpenAlex for { <https://semopenalex.org/work/W418200074> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W418200074 endingPage "410" @default.
- W418200074 startingPage "396" @default.
- W418200074 abstract "Timed automata are a well known formalism for modeling real-time systems. Model checking of timed automata is important for ensuring that the systems satisfy certain properties. Safety is one of the most important properties for timed automata. In this paper we propose a method for the safety checking of timed automata, which is an adaptation of the general trace abstraction refinement framework to timed automata. The feature of our work is that we use zone-based LU-abstraction instead of interpolation techniques. This method performs zone computation only when necessary, and the abstraction on zones is coarser because only part of the control structure is considered when computing LU-bounds. We give an example to show when this method could perform more efficiently than the traditional zone-based search algorithm." @default.
- W418200074 created "2016-06-24" @default.
- W418200074 creator A5063922467 @default.
- W418200074 creator A5072823315 @default.
- W418200074 date "2014-01-01" @default.
- W418200074 modified "2023-09-23" @default.
- W418200074 title "Trace Abstraction Refinement for Timed Automata" @default.
- W418200074 cites W136284023 @default.
- W418200074 cites W1514172519 @default.
- W418200074 cites W1514904193 @default.
- W418200074 cites W1535937574 @default.
- W418200074 cites W1559321056 @default.
- W418200074 cites W1774309420 @default.
- W418200074 cites W1819818805 @default.
- W418200074 cites W1841626152 @default.
- W418200074 cites W2023499821 @default.
- W418200074 cites W2062787735 @default.
- W418200074 cites W2091971051 @default.
- W418200074 cites W2147297760 @default.
- W418200074 cites W2149907859 @default.
- W418200074 cites W2150220388 @default.
- W418200074 cites W2158395308 @default.
- W418200074 cites W2159841389 @default.
- W418200074 cites W2160883697 @default.
- W418200074 cites W3037838583 @default.
- W418200074 cites W37658565 @default.
- W418200074 cites W41277334 @default.
- W418200074 cites W4252150051 @default.
- W418200074 cites W59365162 @default.
- W418200074 doi "https://doi.org/10.1007/978-3-319-11936-6_28" @default.
- W418200074 hasPublicationYear "2014" @default.
- W418200074 type Work @default.
- W418200074 sameAs 418200074 @default.
- W418200074 citedByCount "5" @default.
- W418200074 countsByYear W4182000742017 @default.
- W418200074 countsByYear W4182000742019 @default.
- W418200074 countsByYear W4182000742020 @default.
- W418200074 countsByYear W4182000742023 @default.
- W418200074 crossrefType "book-chapter" @default.
- W418200074 hasAuthorship W418200074A5063922467 @default.
- W418200074 hasAuthorship W418200074A5072823315 @default.
- W418200074 hasConcept C110251889 @default.
- W418200074 hasConcept C111472728 @default.
- W418200074 hasConcept C112505250 @default.
- W418200074 hasConcept C11413529 @default.
- W418200074 hasConcept C124304363 @default.
- W418200074 hasConcept C138885662 @default.
- W418200074 hasConcept C142362112 @default.
- W418200074 hasConcept C153349607 @default.
- W418200074 hasConcept C199360897 @default.
- W418200074 hasConcept C30788636 @default.
- W418200074 hasConcept C30888246 @default.
- W418200074 hasConcept C41008148 @default.
- W418200074 hasConcept C41895202 @default.
- W418200074 hasConcept C45374587 @default.
- W418200074 hasConcept C558565934 @default.
- W418200074 hasConcept C73301696 @default.
- W418200074 hasConcept C75291252 @default.
- W418200074 hasConcept C80444323 @default.
- W418200074 hasConceptScore W418200074C110251889 @default.
- W418200074 hasConceptScore W418200074C111472728 @default.
- W418200074 hasConceptScore W418200074C112505250 @default.
- W418200074 hasConceptScore W418200074C11413529 @default.
- W418200074 hasConceptScore W418200074C124304363 @default.
- W418200074 hasConceptScore W418200074C138885662 @default.
- W418200074 hasConceptScore W418200074C142362112 @default.
- W418200074 hasConceptScore W418200074C153349607 @default.
- W418200074 hasConceptScore W418200074C199360897 @default.
- W418200074 hasConceptScore W418200074C30788636 @default.
- W418200074 hasConceptScore W418200074C30888246 @default.
- W418200074 hasConceptScore W418200074C41008148 @default.
- W418200074 hasConceptScore W418200074C41895202 @default.
- W418200074 hasConceptScore W418200074C45374587 @default.
- W418200074 hasConceptScore W418200074C558565934 @default.
- W418200074 hasConceptScore W418200074C73301696 @default.
- W418200074 hasConceptScore W418200074C75291252 @default.
- W418200074 hasConceptScore W418200074C80444323 @default.
- W418200074 hasLocation W4182000741 @default.
- W418200074 hasOpenAccess W418200074 @default.
- W418200074 hasPrimaryLocation W4182000741 @default.
- W418200074 hasRelatedWork W1514172519 @default.
- W418200074 hasRelatedWork W1749129787 @default.
- W418200074 hasRelatedWork W2003959877 @default.
- W418200074 hasRelatedWork W2008237330 @default.
- W418200074 hasRelatedWork W2010830882 @default.
- W418200074 hasRelatedWork W2105941113 @default.
- W418200074 hasRelatedWork W2118964795 @default.
- W418200074 hasRelatedWork W2121482121 @default.
- W418200074 hasRelatedWork W41277334 @default.
- W418200074 hasRelatedWork W2465612988 @default.
- W418200074 isParatext "false" @default.
- W418200074 isRetracted "false" @default.
- W418200074 magId "418200074" @default.
- W418200074 workType "book-chapter" @default.