Matches in SemOpenAlex for { <https://semopenalex.org/work/W2160593815> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2160593815 endingPage "30" @default.
- W2160593815 startingPage "19" @default.
- W2160593815 abstract "To combat the state-explosion problem in automatic verification, we present a method for scaling up the real-time verification tool Uppaal by complementing it with methods for abstraction and compositionality. We identify a notion of timed ready simulation which we show is a sound condition for preservation of safety properties between real- time systems, and in addition is a precongruence with respect to parallel composition. Thus, it supports both abstraction and compositionality. We furthermore present a method for automatically testing for the existence of a timed ready simulation between real-time systems using the Uppaal tool." @default.
- W2160593815 created "2016-06-24" @default.
- W2160593815 creator A5054592990 @default.
- W2160593815 creator A5069362159 @default.
- W2160593815 creator A5075538542 @default.
- W2160593815 date "2000-01-01" @default.
- W2160593815 modified "2023-10-18" @default.
- W2160593815 title "Scaling up Uppaal" @default.
- W2160593815 cites W1500286044 @default.
- W2160593815 cites W1569249843 @default.
- W2160593815 cites W1596365597 @default.
- W2160593815 cites W1848324794 @default.
- W2160593815 cites W1903000972 @default.
- W2160593815 cites W1975155342 @default.
- W2160593815 cites W1987073197 @default.
- W2160593815 cites W2000947342 @default.
- W2160593815 cites W2070698276 @default.
- W2160593815 cites W2101508170 @default.
- W2160593815 cites W2124778357 @default.
- W2160593815 cites W2153439859 @default.
- W2160593815 cites W2476310211 @default.
- W2160593815 doi "https://doi.org/10.1007/3-540-45352-0_4" @default.
- W2160593815 hasPublicationYear "2000" @default.
- W2160593815 type Work @default.
- W2160593815 sameAs 2160593815 @default.
- W2160593815 citedByCount "31" @default.
- W2160593815 countsByYear W21605938152012 @default.
- W2160593815 countsByYear W21605938152013 @default.
- W2160593815 countsByYear W21605938152014 @default.
- W2160593815 countsByYear W21605938152015 @default.
- W2160593815 countsByYear W21605938152018 @default.
- W2160593815 countsByYear W21605938152019 @default.
- W2160593815 countsByYear W21605938152022 @default.
- W2160593815 crossrefType "book-chapter" @default.
- W2160593815 hasAuthorship W2160593815A5054592990 @default.
- W2160593815 hasAuthorship W2160593815A5069362159 @default.
- W2160593815 hasAuthorship W2160593815A5075538542 @default.
- W2160593815 hasConcept C110251889 @default.
- W2160593815 hasConcept C111472728 @default.
- W2160593815 hasConcept C121375916 @default.
- W2160593815 hasConcept C124304363 @default.
- W2160593815 hasConcept C138885662 @default.
- W2160593815 hasConcept C154945302 @default.
- W2160593815 hasConcept C199360897 @default.
- W2160593815 hasConcept C2524010 @default.
- W2160593815 hasConcept C33923547 @default.
- W2160593815 hasConcept C41008148 @default.
- W2160593815 hasConcept C48103436 @default.
- W2160593815 hasConcept C99844830 @default.
- W2160593815 hasConceptScore W2160593815C110251889 @default.
- W2160593815 hasConceptScore W2160593815C111472728 @default.
- W2160593815 hasConceptScore W2160593815C121375916 @default.
- W2160593815 hasConceptScore W2160593815C124304363 @default.
- W2160593815 hasConceptScore W2160593815C138885662 @default.
- W2160593815 hasConceptScore W2160593815C154945302 @default.
- W2160593815 hasConceptScore W2160593815C199360897 @default.
- W2160593815 hasConceptScore W2160593815C2524010 @default.
- W2160593815 hasConceptScore W2160593815C33923547 @default.
- W2160593815 hasConceptScore W2160593815C41008148 @default.
- W2160593815 hasConceptScore W2160593815C48103436 @default.
- W2160593815 hasConceptScore W2160593815C99844830 @default.
- W2160593815 hasLocation W21605938151 @default.
- W2160593815 hasOpenAccess W2160593815 @default.
- W2160593815 hasPrimaryLocation W21605938151 @default.
- W2160593815 hasRelatedWork W1550685300 @default.
- W2160593815 hasRelatedWork W1582913783 @default.
- W2160593815 hasRelatedWork W1647411879 @default.
- W2160593815 hasRelatedWork W1860481808 @default.
- W2160593815 hasRelatedWork W1991474412 @default.
- W2160593815 hasRelatedWork W2100295925 @default.
- W2160593815 hasRelatedWork W2177212599 @default.
- W2160593815 hasRelatedWork W278680301 @default.
- W2160593815 hasRelatedWork W3160136729 @default.
- W2160593815 hasRelatedWork W4231425278 @default.
- W2160593815 isParatext "false" @default.
- W2160593815 isRetracted "false" @default.
- W2160593815 magId "2160593815" @default.
- W2160593815 workType "book-chapter" @default.