Matches in SemOpenAlex for { <https://semopenalex.org/work/W2945493357> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2945493357 abstract "In this paper, we focus on the design and verification of timed automata (TA). We introduce a new method for assisting construction and verification of TA models along with a tool implementing the proposed method, i.e., ATAC: Automated Timed Automata Construction. Our method provides two main functionalities, i.e., construction of TA models from descriptions and generation of temporal logic queries from specifications. Both description and specification sentences shall follow our well-defined structured natural language definition. TA models constructed from descriptions and temporal logic queries generated from specifications can be imported to UPPAAL, a verification tool for TA models. The goal is to accelerate the design phase for real-time systems by assisting the construction and verification of a formal model. We believe ATAC can be useful especially during the initial phases of the design process and help designers to avoid erroneous models." @default.
- W2945493357 created "2019-05-29" @default.
- W2945493357 creator A5029149821 @default.
- W2945493357 creator A5071670707 @default.
- W2945493357 date "2019-05-20" @default.
- W2945493357 modified "2023-09-27" @default.
- W2945493357 title "ATAC: A Tool for Automating Timed Automata Construction." @default.
- W2945493357 cites W1224547023 @default.
- W2945493357 cites W1532236270 @default.
- W2945493357 cites W1552249698 @default.
- W2945493357 cites W1589082502 @default.
- W2945493357 cites W1917164756 @default.
- W2945493357 cites W1981808971 @default.
- W2945493357 cites W2000947342 @default.
- W2945493357 cites W2098166444 @default.
- W2945493357 cites W2101508170 @default.
- W2945493357 cites W2109527175 @default.
- W2945493357 cites W2125617568 @default.
- W2945493357 cites W2141826787 @default.
- W2945493357 cites W2153268462 @default.
- W2945493357 cites W2159433799 @default.
- W2945493357 cites W2187041056 @default.
- W2945493357 cites W2911583164 @default.
- W2945493357 cites W2946016889 @default.
- W2945493357 cites W2954052712 @default.
- W2945493357 cites W3045494672 @default.
- W2945493357 hasPublicationYear "2019" @default.
- W2945493357 type Work @default.
- W2945493357 sameAs 2945493357 @default.
- W2945493357 citedByCount "0" @default.
- W2945493357 crossrefType "posted-content" @default.
- W2945493357 hasAuthorship W2945493357A5029149821 @default.
- W2945493357 hasAuthorship W2945493357A5071670707 @default.
- W2945493357 hasConcept C110251889 @default.
- W2945493357 hasConcept C111498074 @default.
- W2945493357 hasConcept C112505250 @default.
- W2945493357 hasConcept C115903868 @default.
- W2945493357 hasConcept C120665830 @default.
- W2945493357 hasConcept C121332964 @default.
- W2945493357 hasConcept C192209626 @default.
- W2945493357 hasConcept C199360897 @default.
- W2945493357 hasConcept C25016198 @default.
- W2945493357 hasConcept C41008148 @default.
- W2945493357 hasConcept C75606506 @default.
- W2945493357 hasConcept C80444323 @default.
- W2945493357 hasConcept C98045186 @default.
- W2945493357 hasConceptScore W2945493357C110251889 @default.
- W2945493357 hasConceptScore W2945493357C111498074 @default.
- W2945493357 hasConceptScore W2945493357C112505250 @default.
- W2945493357 hasConceptScore W2945493357C115903868 @default.
- W2945493357 hasConceptScore W2945493357C120665830 @default.
- W2945493357 hasConceptScore W2945493357C121332964 @default.
- W2945493357 hasConceptScore W2945493357C192209626 @default.
- W2945493357 hasConceptScore W2945493357C199360897 @default.
- W2945493357 hasConceptScore W2945493357C25016198 @default.
- W2945493357 hasConceptScore W2945493357C41008148 @default.
- W2945493357 hasConceptScore W2945493357C75606506 @default.
- W2945493357 hasConceptScore W2945493357C80444323 @default.
- W2945493357 hasConceptScore W2945493357C98045186 @default.
- W2945493357 hasLocation W29454933571 @default.
- W2945493357 hasOpenAccess W2945493357 @default.
- W2945493357 hasPrimaryLocation W29454933571 @default.
- W2945493357 hasRelatedWork W1491500510 @default.
- W2945493357 hasRelatedWork W1532185360 @default.
- W2945493357 hasRelatedWork W1564966319 @default.
- W2945493357 hasRelatedWork W1587285018 @default.
- W2945493357 hasRelatedWork W1588830055 @default.
- W2945493357 hasRelatedWork W1603300900 @default.
- W2945493357 hasRelatedWork W1667346276 @default.
- W2945493357 hasRelatedWork W1992657833 @default.
- W2945493357 hasRelatedWork W1997578844 @default.
- W2945493357 hasRelatedWork W2020801438 @default.
- W2945493357 hasRelatedWork W2068707390 @default.
- W2945493357 hasRelatedWork W2080707870 @default.
- W2945493357 hasRelatedWork W2101495408 @default.
- W2945493357 hasRelatedWork W2102096698 @default.
- W2945493357 hasRelatedWork W2111041346 @default.
- W2945493357 hasRelatedWork W2138133565 @default.
- W2945493357 hasRelatedWork W2161915338 @default.
- W2945493357 hasRelatedWork W235614775 @default.
- W2945493357 hasRelatedWork W2889529583 @default.
- W2945493357 hasRelatedWork W608054946 @default.
- W2945493357 isParatext "false" @default.
- W2945493357 isRetracted "false" @default.
- W2945493357 magId "2945493357" @default.
- W2945493357 workType "article" @default.