Matches in SemOpenAlex for { <https://semopenalex.org/work/W1874996599> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1874996599 endingPage "353" @default.
- W1874996599 startingPage "341" @default.
- W1874996599 abstract "One of the major problems in applying automatic verification tools to industrial-size systems is the excessive amount of memory required during the state-space exploration of a model. In the setting of real-time, this problem of state-explosion requires extra attention as information must be kept not only on the discrete control structure but also on the values of continuous clock variables. In this paper, we exploit Clock Difference Diagrams, CDD’s, a BDD-like data-structure for representing and effectively manipulating certain non- convex subsets of the Euclidean space, notably those encountered during verification of timed automata. A version of the real-time verification tool Uppaal using CDD’s as a compact data-structure for storing explored symbolic states has been implemented. Our experimental results demonstrate significant spacesavings: for eight industrial examples, the savings are in average 42% with moderate increase in runtime. We further report on how the symbolic state-space exploration itself may be carried out using CDD’s." @default.
- W1874996599 created "2016-06-24" @default.
- W1874996599 creator A5027900537 @default.
- W1874996599 creator A5060845780 @default.
- W1874996599 creator A5064871060 @default.
- W1874996599 creator A5069362159 @default.
- W1874996599 creator A5073142503 @default.
- W1874996599 date "1999-01-01" @default.
- W1874996599 modified "2023-09-28" @default.
- W1874996599 title "Efficient Timed Reachability Analysis Using Clock Difference Diagrams" @default.
- W1874996599 cites W1490546070 @default.
- W1874996599 cites W1508821727 @default.
- W1874996599 cites W1535937574 @default.
- W1874996599 cites W1581441967 @default.
- W1874996599 cites W1751719170 @default.
- W1874996599 cites W1796268701 @default.
- W1874996599 cites W1863150103 @default.
- W1874996599 cites W2036546797 @default.
- W1874996599 cites W2130773092 @default.
- W1874996599 cites W2136545402 @default.
- W1874996599 cites W2180475648 @default.
- W1874996599 cites W2263917381 @default.
- W1874996599 cites W3170246213 @default.
- W1874996599 doi "https://doi.org/10.1007/3-540-48683-6_30" @default.
- W1874996599 hasPublicationYear "1999" @default.
- W1874996599 type Work @default.
- W1874996599 sameAs 1874996599 @default.
- W1874996599 citedByCount "127" @default.
- W1874996599 countsByYear W18749965992012 @default.
- W1874996599 countsByYear W18749965992013 @default.
- W1874996599 countsByYear W18749965992014 @default.
- W1874996599 countsByYear W18749965992015 @default.
- W1874996599 countsByYear W18749965992016 @default.
- W1874996599 countsByYear W18749965992017 @default.
- W1874996599 countsByYear W18749965992018 @default.
- W1874996599 countsByYear W18749965992020 @default.
- W1874996599 countsByYear W18749965992023 @default.
- W1874996599 crossrefType "book-chapter" @default.
- W1874996599 hasAuthorship W1874996599A5027900537 @default.
- W1874996599 hasAuthorship W1874996599A5060845780 @default.
- W1874996599 hasAuthorship W1874996599A5064871060 @default.
- W1874996599 hasAuthorship W1874996599A5069362159 @default.
- W1874996599 hasAuthorship W1874996599A5073142503 @default.
- W1874996599 hasBestOaLocation W18749965991 @default.
- W1874996599 hasConcept C105795698 @default.
- W1874996599 hasConcept C110251889 @default.
- W1874996599 hasConcept C111498074 @default.
- W1874996599 hasConcept C112505250 @default.
- W1874996599 hasConcept C11413529 @default.
- W1874996599 hasConcept C136643341 @default.
- W1874996599 hasConcept C162319229 @default.
- W1874996599 hasConcept C165696696 @default.
- W1874996599 hasConcept C199360897 @default.
- W1874996599 hasConcept C30788636 @default.
- W1874996599 hasConcept C33923547 @default.
- W1874996599 hasConcept C38652104 @default.
- W1874996599 hasConcept C41008148 @default.
- W1874996599 hasConcept C48103436 @default.
- W1874996599 hasConcept C65620979 @default.
- W1874996599 hasConcept C72434380 @default.
- W1874996599 hasConcept C80444323 @default.
- W1874996599 hasConceptScore W1874996599C105795698 @default.
- W1874996599 hasConceptScore W1874996599C110251889 @default.
- W1874996599 hasConceptScore W1874996599C111498074 @default.
- W1874996599 hasConceptScore W1874996599C112505250 @default.
- W1874996599 hasConceptScore W1874996599C11413529 @default.
- W1874996599 hasConceptScore W1874996599C136643341 @default.
- W1874996599 hasConceptScore W1874996599C162319229 @default.
- W1874996599 hasConceptScore W1874996599C165696696 @default.
- W1874996599 hasConceptScore W1874996599C199360897 @default.
- W1874996599 hasConceptScore W1874996599C30788636 @default.
- W1874996599 hasConceptScore W1874996599C33923547 @default.
- W1874996599 hasConceptScore W1874996599C38652104 @default.
- W1874996599 hasConceptScore W1874996599C41008148 @default.
- W1874996599 hasConceptScore W1874996599C48103436 @default.
- W1874996599 hasConceptScore W1874996599C65620979 @default.
- W1874996599 hasConceptScore W1874996599C72434380 @default.
- W1874996599 hasConceptScore W1874996599C80444323 @default.
- W1874996599 hasLocation W18749965991 @default.
- W1874996599 hasOpenAccess W1874996599 @default.
- W1874996599 hasPrimaryLocation W18749965991 @default.
- W1874996599 hasRelatedWork W1482244861 @default.
- W1874996599 hasRelatedWork W1518566078 @default.
- W1874996599 hasRelatedWork W1525435179 @default.
- W1874996599 hasRelatedWork W2139989305 @default.
- W1874996599 hasRelatedWork W2145000217 @default.
- W1874996599 hasRelatedWork W2169586608 @default.
- W1874996599 hasRelatedWork W2202657245 @default.
- W1874996599 hasRelatedWork W2390771667 @default.
- W1874996599 hasRelatedWork W2750011273 @default.
- W1874996599 hasRelatedWork W2808006917 @default.
- W1874996599 isParatext "false" @default.
- W1874996599 isRetracted "false" @default.
- W1874996599 magId "1874996599" @default.
- W1874996599 workType "book-chapter" @default.