Matches in SemOpenAlex for { <https://semopenalex.org/work/W1515378123> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1515378123 endingPage "632" @default.
- W1515378123 startingPage "616" @default.
- W1515378123 abstract "In this paper we introduce a new formal model, called finite state machines with time (FSMT), to represent real-time systems. We present a model checking algorithm for FSMTs, which works on fully symbolic state sets containing both the clock values and the state variables. In order to verify timed automata (TAs) with our model checking algorithm, we present two different methods to convert TAs to FSMTs. In addition to pure interleaving semantics we can convert TAs to FSMTs having a parallelized interleaving behavior which allows parallelism of transitions causing no conflicts. This can dramatically reduce the number of steps during verification. Our experimental results show that our prototype implementation outperforms the state-of-the-art model checkers UPPAAL and RED." @default.
- W1515378123 created "2016-06-24" @default.
- W1515378123 creator A5002292119 @default.
- W1515378123 creator A5058108746 @default.
- W1515378123 creator A5078653422 @default.
- W1515378123 date "2011-01-01" @default.
- W1515378123 modified "2023-09-25" @default.
- W1515378123 title "Fully Symbolic Model Checking for Timed Automata" @default.
- W1515378123 cites W1528441743 @default.
- W1515378123 cites W1536783297 @default.
- W1515378123 cites W1558869278 @default.
- W1515378123 cites W1607269396 @default.
- W1515378123 cites W1705394006 @default.
- W1515378123 cites W1751719170 @default.
- W1515378123 cites W1962072139 @default.
- W1515378123 cites W1984957636 @default.
- W1515378123 cites W2000947342 @default.
- W1515378123 cites W2010609147 @default.
- W1515378123 cites W2013702670 @default.
- W1515378123 cites W2100271265 @default.
- W1515378123 cites W2101508170 @default.
- W1515378123 cites W2121909093 @default.
- W1515378123 cites W2125967324 @default.
- W1515378123 cites W2147222082 @default.
- W1515378123 cites W2147297760 @default.
- W1515378123 cites W2158995961 @default.
- W1515378123 cites W2170622387 @default.
- W1515378123 cites W4253563042 @default.
- W1515378123 doi "https://doi.org/10.1007/978-3-642-22110-1_50" @default.
- W1515378123 hasPublicationYear "2011" @default.
- W1515378123 type Work @default.
- W1515378123 sameAs 1515378123 @default.
- W1515378123 citedByCount "24" @default.
- W1515378123 countsByYear W15153781232012 @default.
- W1515378123 countsByYear W15153781232013 @default.
- W1515378123 countsByYear W15153781232014 @default.
- W1515378123 countsByYear W15153781232015 @default.
- W1515378123 countsByYear W15153781232016 @default.
- W1515378123 countsByYear W15153781232018 @default.
- W1515378123 countsByYear W15153781232020 @default.
- W1515378123 crossrefType "book-chapter" @default.
- W1515378123 hasAuthorship W1515378123A5002292119 @default.
- W1515378123 hasAuthorship W1515378123A5058108746 @default.
- W1515378123 hasAuthorship W1515378123A5078653422 @default.
- W1515378123 hasBestOaLocation W15153781231 @default.
- W1515378123 hasConcept C110251889 @default.
- W1515378123 hasConcept C111919701 @default.
- W1515378123 hasConcept C112505250 @default.
- W1515378123 hasConcept C11413529 @default.
- W1515378123 hasConcept C159023740 @default.
- W1515378123 hasConcept C167822520 @default.
- W1515378123 hasConcept C173608175 @default.
- W1515378123 hasConcept C184337299 @default.
- W1515378123 hasConcept C199360897 @default.
- W1515378123 hasConcept C23123167 @default.
- W1515378123 hasConcept C2779167558 @default.
- W1515378123 hasConcept C2781172179 @default.
- W1515378123 hasConcept C28034677 @default.
- W1515378123 hasConcept C41008148 @default.
- W1515378123 hasConcept C48103436 @default.
- W1515378123 hasConcept C80444323 @default.
- W1515378123 hasConceptScore W1515378123C110251889 @default.
- W1515378123 hasConceptScore W1515378123C111919701 @default.
- W1515378123 hasConceptScore W1515378123C112505250 @default.
- W1515378123 hasConceptScore W1515378123C11413529 @default.
- W1515378123 hasConceptScore W1515378123C159023740 @default.
- W1515378123 hasConceptScore W1515378123C167822520 @default.
- W1515378123 hasConceptScore W1515378123C173608175 @default.
- W1515378123 hasConceptScore W1515378123C184337299 @default.
- W1515378123 hasConceptScore W1515378123C199360897 @default.
- W1515378123 hasConceptScore W1515378123C23123167 @default.
- W1515378123 hasConceptScore W1515378123C2779167558 @default.
- W1515378123 hasConceptScore W1515378123C2781172179 @default.
- W1515378123 hasConceptScore W1515378123C28034677 @default.
- W1515378123 hasConceptScore W1515378123C41008148 @default.
- W1515378123 hasConceptScore W1515378123C48103436 @default.
- W1515378123 hasConceptScore W1515378123C80444323 @default.
- W1515378123 hasLocation W15153781231 @default.
- W1515378123 hasLocation W15153781232 @default.
- W1515378123 hasOpenAccess W1515378123 @default.
- W1515378123 hasPrimaryLocation W15153781231 @default.
- W1515378123 hasRelatedWork W1515378123 @default.
- W1515378123 hasRelatedWork W1517416010 @default.
- W1515378123 hasRelatedWork W155581612 @default.
- W1515378123 hasRelatedWork W2021684122 @default.
- W1515378123 hasRelatedWork W2107012191 @default.
- W1515378123 hasRelatedWork W2139796094 @default.
- W1515378123 hasRelatedWork W2571762577 @default.
- W1515378123 hasRelatedWork W2612831843 @default.
- W1515378123 hasRelatedWork W4289829144 @default.
- W1515378123 hasRelatedWork W51650568 @default.
- W1515378123 isParatext "false" @default.
- W1515378123 isRetracted "false" @default.
- W1515378123 magId "1515378123" @default.
- W1515378123 workType "book-chapter" @default.