Matches in SemOpenAlex for { <https://semopenalex.org/work/W2169334908> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2169334908 abstract "This article presents slicing for the model checking tool UPPAAL [1]. Slicing is a technique based on static analysis used to reduce the syntactic size of models or applications. In this article, we show that slicing may be used to construct reachability preserving reductions of UPPAAL models, possibly improving the performance of the tool. We present experiments further validating our claims." @default.
- W2169334908 created "2016-06-24" @default.
- W2169334908 creator A5011162269 @default.
- W2169334908 creator A5084687271 @default.
- W2169334908 date "2008-02-01" @default.
- W2169334908 modified "2023-09-23" @default.
- W2169334908 title "Slicing for uppaal" @default.
- W2169334908 cites W1482233117 @default.
- W2169334908 cites W1503973138 @default.
- W2169334908 cites W1512310098 @default.
- W2169334908 cites W1535237014 @default.
- W2169334908 cites W1539432158 @default.
- W2169334908 cites W1544206522 @default.
- W2169334908 cites W1590185363 @default.
- W2169334908 cites W1590429520 @default.
- W2169334908 cites W1593428110 @default.
- W2169334908 cites W1599489402 @default.
- W2169334908 cites W1650440775 @default.
- W2169334908 cites W1771502350 @default.
- W2169334908 cites W1874725288 @default.
- W2169334908 cites W1962072139 @default.
- W2169334908 cites W1981808971 @default.
- W2169334908 cites W1982205631 @default.
- W2169334908 cites W2000947342 @default.
- W2169334908 cites W2001026449 @default.
- W2169334908 cites W2008838944 @default.
- W2169334908 cites W2028806953 @default.
- W2169334908 cites W2040060046 @default.
- W2169334908 cites W2048355938 @default.
- W2169334908 cites W2080573945 @default.
- W2169334908 cites W2088140535 @default.
- W2169334908 cites W2100271265 @default.
- W2169334908 cites W2101508170 @default.
- W2169334908 cites W2110425399 @default.
- W2169334908 cites W2117189826 @default.
- W2169334908 cites W2118564793 @default.
- W2169334908 cites W2128111779 @default.
- W2169334908 cites W2130773092 @default.
- W2169334908 cites W2142718416 @default.
- W2169334908 cites W2153439859 @default.
- W2169334908 cites W2341171179 @default.
- W2169334908 cites W2912003593 @default.
- W2169334908 cites W2992293693 @default.
- W2169334908 cites W303139982 @default.
- W2169334908 cites W3144368627 @default.
- W2169334908 cites W36240330 @default.
- W2169334908 cites W41277334 @default.
- W2169334908 cites W53653091 @default.
- W2169334908 cites W3023485956 @default.
- W2169334908 doi "https://doi.org/10.1109/aispc.2008.4460546" @default.
- W2169334908 hasPublicationYear "2008" @default.
- W2169334908 type Work @default.
- W2169334908 sameAs 2169334908 @default.
- W2169334908 citedByCount "7" @default.
- W2169334908 countsByYear W21693349082015 @default.
- W2169334908 crossrefType "proceedings-article" @default.
- W2169334908 hasAuthorship W2169334908A5011162269 @default.
- W2169334908 hasAuthorship W2169334908A5084687271 @default.
- W2169334908 hasConcept C110251889 @default.
- W2169334908 hasConcept C115903868 @default.
- W2169334908 hasConcept C136643341 @default.
- W2169334908 hasConcept C136764020 @default.
- W2169334908 hasConcept C199360897 @default.
- W2169334908 hasConcept C2776190703 @default.
- W2169334908 hasConcept C2780801425 @default.
- W2169334908 hasConcept C41008148 @default.
- W2169334908 hasConcept C80444323 @default.
- W2169334908 hasConcept C91071405 @default.
- W2169334908 hasConcept C97686452 @default.
- W2169334908 hasConceptScore W2169334908C110251889 @default.
- W2169334908 hasConceptScore W2169334908C115903868 @default.
- W2169334908 hasConceptScore W2169334908C136643341 @default.
- W2169334908 hasConceptScore W2169334908C136764020 @default.
- W2169334908 hasConceptScore W2169334908C199360897 @default.
- W2169334908 hasConceptScore W2169334908C2776190703 @default.
- W2169334908 hasConceptScore W2169334908C2780801425 @default.
- W2169334908 hasConceptScore W2169334908C41008148 @default.
- W2169334908 hasConceptScore W2169334908C80444323 @default.
- W2169334908 hasConceptScore W2169334908C91071405 @default.
- W2169334908 hasConceptScore W2169334908C97686452 @default.
- W2169334908 hasLocation W21693349081 @default.
- W2169334908 hasOpenAccess W2169334908 @default.
- W2169334908 hasPrimaryLocation W21693349081 @default.
- W2169334908 hasRelatedWork W117886902 @default.
- W2169334908 hasRelatedWork W122935248 @default.
- W2169334908 hasRelatedWork W136900201 @default.
- W2169334908 hasRelatedWork W1536968357 @default.
- W2169334908 hasRelatedWork W1571608885 @default.
- W2169334908 hasRelatedWork W1967421850 @default.
- W2169334908 hasRelatedWork W2041629734 @default.
- W2169334908 hasRelatedWork W2096647720 @default.
- W2169334908 hasRelatedWork W2169334908 @default.
- W2169334908 hasRelatedWork W2556634892 @default.
- W2169334908 isParatext "false" @default.
- W2169334908 isRetracted "false" @default.
- W2169334908 magId "2169334908" @default.
- W2169334908 workType "article" @default.