Matches in SemOpenAlex for { <https://semopenalex.org/work/W2991618286> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2991618286 abstract "To BMC of timed automata network, we present a novel time stamp semantics model for timed automata network with synchronization and shared variables, which allows not only mutually independent transitions but also dependent transitions to be compressed together between two states in succession. A key ingredient of our BMC encoding is the use of time stamp variables for shared variable accesses, which are overlooked in previous approaches. The proposed semantics represents the timed automata network in a significantly more compact way than previous step semantics, which allows maximally compressed steps of transitions and therefore is in this sense optimal. A preliminary experimental evaluation shows a significant performance improvement in the number of unrolling of BMC steps and run times as well." @default.
- W2991618286 created "2019-12-05" @default.
- W2991618286 creator A5029158711 @default.
- W2991618286 creator A5049454570 @default.
- W2991618286 creator A5079307729 @default.
- W2991618286 date "2019-07-01" @default.
- W2991618286 modified "2023-09-25" @default.
- W2991618286 title "Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata" @default.
- W2991618286 cites W1495026145 @default.
- W2991618286 cites W1522276539 @default.
- W2991618286 cites W1536181004 @default.
- W2991618286 cites W1546526613 @default.
- W2991618286 cites W1550626198 @default.
- W2991618286 cites W1560730347 @default.
- W2991618286 cites W1571054242 @default.
- W2991618286 cites W1819209966 @default.
- W2991618286 cites W1989746243 @default.
- W2991618286 cites W2036670017 @default.
- W2991618286 cites W2039784168 @default.
- W2991618286 cites W2101508170 @default.
- W2991618286 cites W2101602798 @default.
- W2991618286 doi "https://doi.org/10.1109/tase.2019.00-14" @default.
- W2991618286 hasPublicationYear "2019" @default.
- W2991618286 type Work @default.
- W2991618286 sameAs 2991618286 @default.
- W2991618286 citedByCount "0" @default.
- W2991618286 crossrefType "proceedings-article" @default.
- W2991618286 hasAuthorship W2991618286A5029158711 @default.
- W2991618286 hasAuthorship W2991618286A5049454570 @default.
- W2991618286 hasAuthorship W2991618286A5079307729 @default.
- W2991618286 hasConcept C110251889 @default.
- W2991618286 hasConcept C112505250 @default.
- W2991618286 hasConcept C11413529 @default.
- W2991618286 hasConcept C125411270 @default.
- W2991618286 hasConcept C127162648 @default.
- W2991618286 hasConcept C134306372 @default.
- W2991618286 hasConcept C154945302 @default.
- W2991618286 hasConcept C184337299 @default.
- W2991618286 hasConcept C199360897 @default.
- W2991618286 hasConcept C26517878 @default.
- W2991618286 hasConcept C2778562939 @default.
- W2991618286 hasConcept C31258907 @default.
- W2991618286 hasConcept C33923547 @default.
- W2991618286 hasConcept C34388435 @default.
- W2991618286 hasConcept C38652104 @default.
- W2991618286 hasConcept C41008148 @default.
- W2991618286 hasConcept C80444323 @default.
- W2991618286 hasConceptScore W2991618286C110251889 @default.
- W2991618286 hasConceptScore W2991618286C112505250 @default.
- W2991618286 hasConceptScore W2991618286C11413529 @default.
- W2991618286 hasConceptScore W2991618286C125411270 @default.
- W2991618286 hasConceptScore W2991618286C127162648 @default.
- W2991618286 hasConceptScore W2991618286C134306372 @default.
- W2991618286 hasConceptScore W2991618286C154945302 @default.
- W2991618286 hasConceptScore W2991618286C184337299 @default.
- W2991618286 hasConceptScore W2991618286C199360897 @default.
- W2991618286 hasConceptScore W2991618286C26517878 @default.
- W2991618286 hasConceptScore W2991618286C2778562939 @default.
- W2991618286 hasConceptScore W2991618286C31258907 @default.
- W2991618286 hasConceptScore W2991618286C33923547 @default.
- W2991618286 hasConceptScore W2991618286C34388435 @default.
- W2991618286 hasConceptScore W2991618286C38652104 @default.
- W2991618286 hasConceptScore W2991618286C41008148 @default.
- W2991618286 hasConceptScore W2991618286C80444323 @default.
- W2991618286 hasLocation W29916182861 @default.
- W2991618286 hasOpenAccess W2991618286 @default.
- W2991618286 hasPrimaryLocation W29916182861 @default.
- W2991618286 hasRelatedWork W110211537 @default.
- W2991618286 hasRelatedWork W135663677 @default.
- W2991618286 hasRelatedWork W1487652347 @default.
- W2991618286 hasRelatedWork W1507081797 @default.
- W2991618286 hasRelatedWork W1522276539 @default.
- W2991618286 hasRelatedWork W1526491740 @default.
- W2991618286 hasRelatedWork W1582195294 @default.
- W2991618286 hasRelatedWork W1601091540 @default.
- W2991618286 hasRelatedWork W1601209671 @default.
- W2991618286 hasRelatedWork W1605803016 @default.
- W2991618286 hasRelatedWork W1643848536 @default.
- W2991618286 hasRelatedWork W1880663844 @default.
- W2991618286 hasRelatedWork W2064167447 @default.
- W2991618286 hasRelatedWork W2130702347 @default.
- W2991618286 hasRelatedWork W2242084152 @default.
- W2991618286 hasRelatedWork W2251374851 @default.
- W2991618286 hasRelatedWork W2344990015 @default.
- W2991618286 hasRelatedWork W2353323643 @default.
- W2991618286 hasRelatedWork W2507577800 @default.
- W2991618286 hasRelatedWork W2950940436 @default.
- W2991618286 isParatext "false" @default.
- W2991618286 isRetracted "false" @default.
- W2991618286 magId "2991618286" @default.
- W2991618286 workType "article" @default.