Matches in SemOpenAlex for { <https://semopenalex.org/work/W1994070444> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1994070444 endingPage "28" @default.
- W1994070444 startingPage "3" @default.
- W1994070444 abstract "Abstract We present a framework for TCTL-preserving translations between time-dependent modeling formalisms. The framework guarantees that once the original and the translated system are in one-by-many correspondence relation (a notion of behavioral equivalence between timed transition systems) then TCTL properties of the original system can be transformed too while preserving the verification answers. We demonstrate the usability of the technique on two reductions from bounded timed-arc Petri nets to networks for timed automata, providing unified proofs of the translations implemented in the verification tool TAPAAL. We evaluate the efficiency of the approach on a number of experiments: alternating bit protocol, Fischer's protocol, Lynch–Shavit protocol, MPEG-2 encoder, engine workshop and medical workflow. The results are encouraging and confirm the practical applicability of the approach." @default.
- W1994070444 created "2016-06-24" @default.
- W1994070444 creator A5009728620 @default.
- W1994070444 creator A5013723288 @default.
- W1994070444 creator A5033606028 @default.
- W1994070444 creator A5034993023 @default.
- W1994070444 creator A5048419946 @default.
- W1994070444 creator A5086149051 @default.
- W1994070444 date "2014-06-01" @default.
- W1994070444 modified "2023-10-18" @default.
- W1994070444 title "TCTL-preserving translations from timed-arc Petri nets to networks of timed automata" @default.
- W1994070444 cites W1570073259 @default.
- W1994070444 cites W1978358700 @default.
- W1994070444 cites W1981861428 @default.
- W1994070444 cites W2000518871 @default.
- W1994070444 cites W2042801853 @default.
- W1994070444 cites W2070996046 @default.
- W1994070444 cites W2101508170 @default.
- W1994070444 cites W2103882301 @default.
- W1994070444 cites W2105389929 @default.
- W1994070444 cites W2144814330 @default.
- W1994070444 cites W2166071597 @default.
- W1994070444 doi "https://doi.org/10.1016/j.tcs.2013.07.011" @default.
- W1994070444 hasPublicationYear "2014" @default.
- W1994070444 type Work @default.
- W1994070444 sameAs 1994070444 @default.
- W1994070444 citedByCount "5" @default.
- W1994070444 countsByYear W19940704442014 @default.
- W1994070444 countsByYear W19940704442016 @default.
- W1994070444 countsByYear W19940704442017 @default.
- W1994070444 countsByYear W19940704442018 @default.
- W1994070444 countsByYear W19940704442021 @default.
- W1994070444 crossrefType "journal-article" @default.
- W1994070444 hasAuthorship W1994070444A5009728620 @default.
- W1994070444 hasAuthorship W1994070444A5013723288 @default.
- W1994070444 hasAuthorship W1994070444A5033606028 @default.
- W1994070444 hasAuthorship W1994070444A5034993023 @default.
- W1994070444 hasAuthorship W1994070444A5048419946 @default.
- W1994070444 hasAuthorship W1994070444A5086149051 @default.
- W1994070444 hasBestOaLocation W19940704441 @default.
- W1994070444 hasConcept C112505250 @default.
- W1994070444 hasConcept C11413529 @default.
- W1994070444 hasConcept C146763376 @default.
- W1994070444 hasConcept C197551870 @default.
- W1994070444 hasConcept C199360897 @default.
- W1994070444 hasConcept C2524010 @default.
- W1994070444 hasConcept C30788636 @default.
- W1994070444 hasConcept C33923547 @default.
- W1994070444 hasConcept C38677869 @default.
- W1994070444 hasConcept C41008148 @default.
- W1994070444 hasConcept C54355233 @default.
- W1994070444 hasConcept C80444323 @default.
- W1994070444 hasConcept C83415579 @default.
- W1994070444 hasConcept C86803240 @default.
- W1994070444 hasConceptScore W1994070444C112505250 @default.
- W1994070444 hasConceptScore W1994070444C11413529 @default.
- W1994070444 hasConceptScore W1994070444C146763376 @default.
- W1994070444 hasConceptScore W1994070444C197551870 @default.
- W1994070444 hasConceptScore W1994070444C199360897 @default.
- W1994070444 hasConceptScore W1994070444C2524010 @default.
- W1994070444 hasConceptScore W1994070444C30788636 @default.
- W1994070444 hasConceptScore W1994070444C33923547 @default.
- W1994070444 hasConceptScore W1994070444C38677869 @default.
- W1994070444 hasConceptScore W1994070444C41008148 @default.
- W1994070444 hasConceptScore W1994070444C54355233 @default.
- W1994070444 hasConceptScore W1994070444C80444323 @default.
- W1994070444 hasConceptScore W1994070444C83415579 @default.
- W1994070444 hasConceptScore W1994070444C86803240 @default.
- W1994070444 hasLocation W19940704441 @default.
- W1994070444 hasOpenAccess W1994070444 @default.
- W1994070444 hasPrimaryLocation W19940704441 @default.
- W1994070444 hasRelatedWork W1546362643 @default.
- W1994070444 hasRelatedWork W1981948698 @default.
- W1994070444 hasRelatedWork W1994070444 @default.
- W1994070444 hasRelatedWork W2005783020 @default.
- W1994070444 hasRelatedWork W2125946389 @default.
- W1994070444 hasRelatedWork W2146235009 @default.
- W1994070444 hasRelatedWork W2170115973 @default.
- W1994070444 hasRelatedWork W2182369299 @default.
- W1994070444 hasRelatedWork W2597449020 @default.
- W1994070444 hasRelatedWork W3028549140 @default.
- W1994070444 hasVolume "537" @default.
- W1994070444 isParatext "false" @default.
- W1994070444 isRetracted "false" @default.
- W1994070444 magId "1994070444" @default.
- W1994070444 workType "article" @default.