Matches in SemOpenAlex for { <https://semopenalex.org/work/W2290624752> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2290624752 abstract "Symbolic BDD-based verification techniques successfully tackle combinatorial explosion in many cases. However, the models to be verified become increasingly larger and more complex, including - for instance - additional features like quantitative requirements and/or a very high number of components. The need to improve performances for verification tools thus remains a challenge. In this work, we extend the framework of Instantiable Transition Systems in order to (i) take into account time constraints in a model and (ii) capture the symmetry of instances which share a common structure, thus significantly increasing the power of our tool. For point (i), we implement timed models with discrete time semantics and for (ii), we introduce scalar sets as a special form of composition. We also report on experiments including comparisons with other tools. The results show a good scale up for our approach." @default.
- W2290624752 created "2016-06-24" @default.
- W2290624752 creator A5008504744 @default.
- W2290624752 creator A5012250079 @default.
- W2290624752 creator A5033313993 @default.
- W2290624752 creator A5039526664 @default.
- W2290624752 creator A5045071943 @default.
- W2290624752 date "2011-06-01" @default.
- W2290624752 modified "2023-10-17" @default.
- W2290624752 title "{Compositional Analysis of Discrete Time Petri nets}" @default.
- W2290624752 cites W1482233117 @default.
- W2290624752 cites W1486272257 @default.
- W2290624752 cites W1486382412 @default.
- W2290624752 cites W1511538751 @default.
- W2290624752 cites W1518788150 @default.
- W2290624752 cites W1529601677 @default.
- W2290624752 cites W1543164169 @default.
- W2290624752 cites W1558869278 @default.
- W2290624752 cites W1572590947 @default.
- W2290624752 cites W1572777470 @default.
- W2290624752 cites W1593414957 @default.
- W2290624752 cites W1595528047 @default.
- W2290624752 cites W1607269396 @default.
- W2290624752 cites W1643991583 @default.
- W2290624752 cites W1796268701 @default.
- W2290624752 cites W1841167015 @default.
- W2290624752 cites W1972065960 @default.
- W2290624752 cites W1993883805 @default.
- W2290624752 cites W2000947342 @default.
- W2290624752 cites W2023499821 @default.
- W2290624752 cites W2062787735 @default.
- W2290624752 cites W2070996046 @default.
- W2290624752 cites W2101508170 @default.
- W2290624752 cites W2165812267 @default.
- W2290624752 cites W2623592904 @default.
- W2290624752 hasPublicationYear "2011" @default.
- W2290624752 type Work @default.
- W2290624752 sameAs 2290624752 @default.
- W2290624752 citedByCount "1" @default.
- W2290624752 countsByYear W22906247522012 @default.
- W2290624752 crossrefType "proceedings-article" @default.
- W2290624752 hasAuthorship W2290624752A5008504744 @default.
- W2290624752 hasAuthorship W2290624752A5012250079 @default.
- W2290624752 hasAuthorship W2290624752A5033313993 @default.
- W2290624752 hasAuthorship W2290624752A5039526664 @default.
- W2290624752 hasAuthorship W2290624752A5045071943 @default.
- W2290624752 hasConcept C136155141 @default.
- W2290624752 hasConcept C197551870 @default.
- W2290624752 hasConcept C199360897 @default.
- W2290624752 hasConcept C38677869 @default.
- W2290624752 hasConcept C41008148 @default.
- W2290624752 hasConceptScore W2290624752C136155141 @default.
- W2290624752 hasConceptScore W2290624752C197551870 @default.
- W2290624752 hasConceptScore W2290624752C199360897 @default.
- W2290624752 hasConceptScore W2290624752C38677869 @default.
- W2290624752 hasConceptScore W2290624752C41008148 @default.
- W2290624752 hasLocation W22906247521 @default.
- W2290624752 hasOpenAccess W2290624752 @default.
- W2290624752 hasPrimaryLocation W22906247521 @default.
- W2290624752 hasRelatedWork W1543378523 @default.
- W2290624752 hasRelatedWork W1557425998 @default.
- W2290624752 hasRelatedWork W1847176793 @default.
- W2290624752 hasRelatedWork W2016850136 @default.
- W2290624752 hasRelatedWork W2064254377 @default.
- W2290624752 hasRelatedWork W2148229336 @default.
- W2290624752 hasRelatedWork W2159539963 @default.
- W2290624752 hasRelatedWork W2257573499 @default.
- W2290624752 hasRelatedWork W2381491984 @default.
- W2290624752 hasRelatedWork W2901841247 @default.
- W2290624752 isParatext "false" @default.
- W2290624752 isRetracted "false" @default.
- W2290624752 magId "2290624752" @default.
- W2290624752 workType "article" @default.