Matches in SemOpenAlex for { <https://semopenalex.org/work/W3005477963> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3005477963 abstract "We present TarTar, an automatic repair analysis tool that, given a timed diagnostic trace (TDT) obtained during the model checking of a timed automaton model, suggests possible syntactic repairs of the analyzed model. The suggested repairs include modified values for clock bounds in location invariants and transition guards, adding or removing clock resets, etc. The proposed repairs are guaranteed to eliminate executability of the given TDT, while preserving the overall functional behavior of the system. We give insights into the design and architecture of TarTar, and show that it can successfully repair 69% of the seeded errors in system models taken from a diverse suite of case studies." @default.
- W3005477963 created "2020-02-14" @default.
- W3005477963 creator A5003819403 @default.
- W3005477963 creator A5029338012 @default.
- W3005477963 creator A5045470371 @default.
- W3005477963 date "2020-01-29" @default.
- W3005477963 modified "2023-09-27" @default.
- W3005477963 title "TarTar: A Timed Automata Repair Tool" @default.
- W3005477963 cites W2016027000 @default.
- W3005477963 cites W2101508170 @default.
- W3005477963 cites W2135841285 @default.
- W3005477963 cites W2150220388 @default.
- W3005477963 cites W2740646481 @default.
- W3005477963 cites W2803623806 @default.
- W3005477963 cites W2961481235 @default.
- W3005477963 cites W941301462 @default.
- W3005477963 hasPublicationYear "2020" @default.
- W3005477963 type Work @default.
- W3005477963 sameAs 3005477963 @default.
- W3005477963 citedByCount "0" @default.
- W3005477963 crossrefType "posted-content" @default.
- W3005477963 hasAuthorship W3005477963A5003819403 @default.
- W3005477963 hasAuthorship W3005477963A5029338012 @default.
- W3005477963 hasAuthorship W3005477963A5045470371 @default.
- W3005477963 hasConcept C110251889 @default.
- W3005477963 hasConcept C112505250 @default.
- W3005477963 hasConcept C11413529 @default.
- W3005477963 hasConcept C123657996 @default.
- W3005477963 hasConcept C138885662 @default.
- W3005477963 hasConcept C142362112 @default.
- W3005477963 hasConcept C153349607 @default.
- W3005477963 hasConcept C166957645 @default.
- W3005477963 hasConcept C199360897 @default.
- W3005477963 hasConcept C41008148 @default.
- W3005477963 hasConcept C41895202 @default.
- W3005477963 hasConcept C48103436 @default.
- W3005477963 hasConcept C75291252 @default.
- W3005477963 hasConcept C79581498 @default.
- W3005477963 hasConcept C80444323 @default.
- W3005477963 hasConcept C95457728 @default.
- W3005477963 hasConceptScore W3005477963C110251889 @default.
- W3005477963 hasConceptScore W3005477963C112505250 @default.
- W3005477963 hasConceptScore W3005477963C11413529 @default.
- W3005477963 hasConceptScore W3005477963C123657996 @default.
- W3005477963 hasConceptScore W3005477963C138885662 @default.
- W3005477963 hasConceptScore W3005477963C142362112 @default.
- W3005477963 hasConceptScore W3005477963C153349607 @default.
- W3005477963 hasConceptScore W3005477963C166957645 @default.
- W3005477963 hasConceptScore W3005477963C199360897 @default.
- W3005477963 hasConceptScore W3005477963C41008148 @default.
- W3005477963 hasConceptScore W3005477963C41895202 @default.
- W3005477963 hasConceptScore W3005477963C48103436 @default.
- W3005477963 hasConceptScore W3005477963C75291252 @default.
- W3005477963 hasConceptScore W3005477963C79581498 @default.
- W3005477963 hasConceptScore W3005477963C80444323 @default.
- W3005477963 hasConceptScore W3005477963C95457728 @default.
- W3005477963 hasLocation W30054779631 @default.
- W3005477963 hasOpenAccess W3005477963 @default.
- W3005477963 hasPrimaryLocation W30054779631 @default.
- W3005477963 hasRelatedWork W1485850862 @default.
- W3005477963 hasRelatedWork W1487652347 @default.
- W3005477963 hasRelatedWork W1522276539 @default.
- W3005477963 hasRelatedWork W1601091540 @default.
- W3005477963 hasRelatedWork W1643848536 @default.
- W3005477963 hasRelatedWork W1894019848 @default.
- W3005477963 hasRelatedWork W1994647920 @default.
- W3005477963 hasRelatedWork W2035000455 @default.
- W3005477963 hasRelatedWork W2082762653 @default.
- W3005477963 hasRelatedWork W2086632956 @default.
- W3005477963 hasRelatedWork W2133170941 @default.
- W3005477963 hasRelatedWork W2242084152 @default.
- W3005477963 hasRelatedWork W2373389320 @default.
- W3005477963 hasRelatedWork W2698891358 @default.
- W3005477963 hasRelatedWork W2900094146 @default.
- W3005477963 hasRelatedWork W2961481235 @default.
- W3005477963 hasRelatedWork W3046404672 @default.
- W3005477963 hasRelatedWork W3046603090 @default.
- W3005477963 hasRelatedWork W3105296526 @default.
- W3005477963 hasRelatedWork W3145509516 @default.
- W3005477963 isParatext "false" @default.
- W3005477963 isRetracted "false" @default.
- W3005477963 magId "3005477963" @default.
- W3005477963 workType "article" @default.