Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912762625> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2912762625 endingPage "83" @default.
- W2912762625 startingPage "67" @default.
- W2912762625 abstract "When analyzing concurrent software applications, symmetry reduction techniques dramatically narrow the size of the state space search by identifying computations that, because of symmetries in the system, are redundant. While analysis algorithms exploiting symmetry reduction are well developed, little has been done in discovering the nature of the symmetries of a system. What is even less researched is discovering symmetries that are particular to a temporal property. This paper proposes a general framework for discovering symmetries in systems that exhibit absolute or relative symmetries depending on the property of interest. Our work extends previous symmetry reduction techniques by making advances in automating generalized model automorphism discovery. Generalized model automorphisms capture exact abstractions and therefore preserve both the validity and the violation of any property of the analyzed system while achieving dramatic state space reduction." @default.
- W2912762625 created "2019-02-21" @default.
- W2912762625 creator A5089858094 @default.
- W2912762625 date "2007-01-01" @default.
- W2912762625 modified "2023-09-23" @default.
- W2912762625 title "Discovering Symmetries" @default.
- W2912762625 cites W1497571013 @default.
- W2912762625 cites W1499167474 @default.
- W2912762625 cites W1536783297 @default.
- W2912762625 cites W1544872225 @default.
- W2912762625 cites W1728798265 @default.
- W2912762625 cites W1961217896 @default.
- W2912762625 cites W2005836640 @default.
- W2912762625 cites W2108408848 @default.
- W2912762625 cites W2149706659 @default.
- W2912762625 cites W4249974020 @default.
- W2912762625 doi "https://doi.org/10.1007/978-3-540-70952-7_5" @default.
- W2912762625 hasPublicationYear "2007" @default.
- W2912762625 type Work @default.
- W2912762625 sameAs 2912762625 @default.
- W2912762625 citedByCount "1" @default.
- W2912762625 crossrefType "book-chapter" @default.
- W2912762625 hasAuthorship W2912762625A5089858094 @default.
- W2912762625 hasConcept C105795698 @default.
- W2912762625 hasConcept C111335779 @default.
- W2912762625 hasConcept C111472728 @default.
- W2912762625 hasConcept C111919701 @default.
- W2912762625 hasConcept C11413529 @default.
- W2912762625 hasConcept C118615104 @default.
- W2912762625 hasConcept C118712358 @default.
- W2912762625 hasConcept C138885662 @default.
- W2912762625 hasConcept C189950617 @default.
- W2912762625 hasConcept C2524010 @default.
- W2912762625 hasConcept C2778572836 @default.
- W2912762625 hasConcept C2779886137 @default.
- W2912762625 hasConcept C33923547 @default.
- W2912762625 hasConcept C41008148 @default.
- W2912762625 hasConcept C45374587 @default.
- W2912762625 hasConcept C48103436 @default.
- W2912762625 hasConcept C72434380 @default.
- W2912762625 hasConcept C80444323 @default.
- W2912762625 hasConcept C96469262 @default.
- W2912762625 hasConceptScore W2912762625C105795698 @default.
- W2912762625 hasConceptScore W2912762625C111335779 @default.
- W2912762625 hasConceptScore W2912762625C111472728 @default.
- W2912762625 hasConceptScore W2912762625C111919701 @default.
- W2912762625 hasConceptScore W2912762625C11413529 @default.
- W2912762625 hasConceptScore W2912762625C118615104 @default.
- W2912762625 hasConceptScore W2912762625C118712358 @default.
- W2912762625 hasConceptScore W2912762625C138885662 @default.
- W2912762625 hasConceptScore W2912762625C189950617 @default.
- W2912762625 hasConceptScore W2912762625C2524010 @default.
- W2912762625 hasConceptScore W2912762625C2778572836 @default.
- W2912762625 hasConceptScore W2912762625C2779886137 @default.
- W2912762625 hasConceptScore W2912762625C33923547 @default.
- W2912762625 hasConceptScore W2912762625C41008148 @default.
- W2912762625 hasConceptScore W2912762625C45374587 @default.
- W2912762625 hasConceptScore W2912762625C48103436 @default.
- W2912762625 hasConceptScore W2912762625C72434380 @default.
- W2912762625 hasConceptScore W2912762625C80444323 @default.
- W2912762625 hasConceptScore W2912762625C96469262 @default.
- W2912762625 hasLocation W29127626251 @default.
- W2912762625 hasOpenAccess W2912762625 @default.
- W2912762625 hasPrimaryLocation W29127626251 @default.
- W2912762625 hasRelatedWork W1596801655 @default.
- W2912762625 hasRelatedWork W1972437902 @default.
- W2912762625 hasRelatedWork W2246967737 @default.
- W2912762625 hasRelatedWork W2358668433 @default.
- W2912762625 hasRelatedWork W2373011076 @default.
- W2912762625 hasRelatedWork W2376932109 @default.
- W2912762625 hasRelatedWork W2387147530 @default.
- W2912762625 hasRelatedWork W2390279801 @default.
- W2912762625 hasRelatedWork W2748952813 @default.
- W2912762625 hasRelatedWork W2899084033 @default.
- W2912762625 isParatext "false" @default.
- W2912762625 isRetracted "false" @default.
- W2912762625 magId "2912762625" @default.
- W2912762625 workType "book-chapter" @default.