Matches in SemOpenAlex for { <https://semopenalex.org/work/W2750367645> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2750367645 endingPage "58" @default.
- W2750367645 startingPage "42" @default.
- W2750367645 abstract "Real-time programs are made of instructions that can perform assignments to discrete and real-valued variables. They are general enough to capture interesting classes of timed systems such as timed automata, stopwatch automata, time(d) Petri nets and hybrid automata. We propose a semi-algorithm using refinement of trace abstractions to solve both the reachability verification problem and the parameter synthesis problem for real-time programs. We report on the implementation of our algorithm and we show that our new method provides solutions to problems which are unsolvable by the current state-of-the-art tools." @default.
- W2750367645 created "2017-08-31" @default.
- W2750367645 creator A5000548831 @default.
- W2750367645 creator A5028307375 @default.
- W2750367645 creator A5069362159 @default.
- W2750367645 date "2017-01-01" @default.
- W2750367645 modified "2023-09-27" @default.
- W2750367645 title "Refinement of Trace Abstraction for Real-Time Programs" @default.
- W2750367645 cites W1480909796 @default.
- W2750367645 cites W1514172519 @default.
- W2750367645 cites W1522694098 @default.
- W2750367645 cites W1561807072 @default.
- W2750367645 cites W1841626152 @default.
- W2750367645 cites W1917164756 @default.
- W2750367645 cites W1994070444 @default.
- W2750367645 cites W2000518871 @default.
- W2750367645 cites W2006988532 @default.
- W2750367645 cites W2085838366 @default.
- W2750367645 cites W2099924351 @default.
- W2750367645 cites W2101508170 @default.
- W2750367645 cites W2117618670 @default.
- W2750367645 cites W2149907859 @default.
- W2750367645 cites W2150377894 @default.
- W2750367645 cites W2158395308 @default.
- W2750367645 cites W2176215692 @default.
- W2750367645 cites W2602639380 @default.
- W2750367645 cites W418200074 @default.
- W2750367645 cites W808936343 @default.
- W2750367645 cites W95161029 @default.
- W2750367645 doi "https://doi.org/10.1007/978-3-319-67089-8_4" @default.
- W2750367645 hasPublicationYear "2017" @default.
- W2750367645 type Work @default.
- W2750367645 sameAs 2750367645 @default.
- W2750367645 citedByCount "10" @default.
- W2750367645 countsByYear W27503676452018 @default.
- W2750367645 countsByYear W27503676452019 @default.
- W2750367645 countsByYear W27503676452020 @default.
- W2750367645 countsByYear W27503676452021 @default.
- W2750367645 countsByYear W27503676452022 @default.
- W2750367645 crossrefType "book-chapter" @default.
- W2750367645 hasAuthorship W2750367645A5000548831 @default.
- W2750367645 hasAuthorship W2750367645A5028307375 @default.
- W2750367645 hasAuthorship W2750367645A5069362159 @default.
- W2750367645 hasConcept C111472728 @default.
- W2750367645 hasConcept C124304363 @default.
- W2750367645 hasConcept C138885662 @default.
- W2750367645 hasConcept C199360897 @default.
- W2750367645 hasConcept C41008148 @default.
- W2750367645 hasConcept C41895202 @default.
- W2750367645 hasConcept C75291252 @default.
- W2750367645 hasConceptScore W2750367645C111472728 @default.
- W2750367645 hasConceptScore W2750367645C124304363 @default.
- W2750367645 hasConceptScore W2750367645C138885662 @default.
- W2750367645 hasConceptScore W2750367645C199360897 @default.
- W2750367645 hasConceptScore W2750367645C41008148 @default.
- W2750367645 hasConceptScore W2750367645C41895202 @default.
- W2750367645 hasConceptScore W2750367645C75291252 @default.
- W2750367645 hasLocation W27503676451 @default.
- W2750367645 hasOpenAccess W2750367645 @default.
- W2750367645 hasPrimaryLocation W27503676451 @default.
- W2750367645 hasRelatedWork W137976737 @default.
- W2750367645 hasRelatedWork W1504651774 @default.
- W2750367645 hasRelatedWork W1565263828 @default.
- W2750367645 hasRelatedWork W1575330229 @default.
- W2750367645 hasRelatedWork W1999473061 @default.
- W2750367645 hasRelatedWork W2052803392 @default.
- W2750367645 hasRelatedWork W2115737686 @default.
- W2750367645 hasRelatedWork W2271865972 @default.
- W2750367645 hasRelatedWork W3160136729 @default.
- W2750367645 hasRelatedWork W2611182424 @default.
- W2750367645 isParatext "false" @default.
- W2750367645 isRetracted "false" @default.
- W2750367645 magId "2750367645" @default.
- W2750367645 workType "book-chapter" @default.