FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2120853715> ?p ?o ?g. }

• W2120853715 endingPage "132" @default.
• W2120853715 startingPage "107" @default.
• W2120853715 abstract "We define and study a new approach to the implementability of timed automata, where the semantics is perturbed by imprecisions and finite frequency of the hardware. In order to circumvent these effects, we introduce parametric shrinking of clock constraints, which corresponds to tightening these. We propose symbolic procedures to decide the existence of (and then compute) parameters under which the shrunk version of a given timed automaton is non-blocking and can time-abstract simulate the exact semantics. We then define an implementation semantics for timed automata with a digital clock and positive reaction times, and show that for shrinkable timed automata, non-blockingness and time-abstract simulation are preserved in implementation." @default.
• W2120853715 created "2016-06-24" @default.
• W2120853715 creator A5041884792 @default.
• W2120853715 creator A5059019724 @default.
• W2120853715 creator A5084605938 @default.
• W2120853715 date "2014-02-01" @default.
• W2120853715 modified "2023-09-25" @default.
• W2120853715 title "Shrinking timed automata" @default.
• W2120853715 cites W1482233117 @default.
• W2120853715 cites W1484364085 @default.
• W2120853715 cites W1485850862 @default.
• W2120853715 cites W1505030820 @default.
• W2120853715 cites W1519685353 @default.
• W2120853715 cites W1533230613 @default.
• W2120853715 cites W1546222822 @default.
• W2120853715 cites W1555222326 @default.
• W2120853715 cites W1584555738 @default.
• W2120853715 cites W1586502670 @default.
• W2120853715 cites W1601091540 @default.
• W2120853715 cites W1603502270 @default.
• W2120853715 cites W1785651314 @default.
• W2120853715 cites W1826754619 @default.
• W2120853715 cites W1829884141 @default.
• W2120853715 cites W1878074184 @default.
• W2120853715 cites W1914485921 @default.
• W2120853715 cites W1991466857 @default.
• W2120853715 cites W1992626344 @default.
• W2120853715 cites W2046213250 @default.
• W2120853715 cites W2082762653 @default.
• W2120853715 cites W2087107052 @default.
• W2120853715 cites W2098436411 @default.
• W2120853715 cites W2098817244 @default.
• W2120853715 cites W2101508170 @default.
• W2120853715 cites W2109069777 @default.
• W2120853715 cites W2120338947 @default.
• W2120853715 cites W2132676597 @default.
• W2120853715 cites W2133170941 @default.
• W2120853715 cites W2142718416 @default.
• W2120853715 cites W2172175633 @default.
• W2120853715 cites W2196692106 @default.
• W2120853715 cites W2295930593 @default.
• W2120853715 cites W2694136767 @default.
• W2120853715 cites W3023258080 @default.
• W2120853715 cites W64121912 @default.
• W2120853715 cites W73986762 @default.
• W2120853715 cites W2746280673 @default.
• W2120853715 cites W3023485956 @default.
• W2120853715 doi "https://doi.org/10.1016/j.ic.2014.01.002" @default.
• W2120853715 hasPublicationYear "2014" @default.
• W2120853715 type Work @default.
• W2120853715 sameAs 2120853715 @default.
• W2120853715 citedByCount "3" @default.
• W2120853715 countsByYear W21208537152013 @default.
• W2120853715 countsByYear W21208537152014 @default.
• W2120853715 countsByYear W21208537152019 @default.
• W2120853715 crossrefType "journal-article" @default.
• W2120853715 hasAuthorship W2120853715A5041884792 @default.
• W2120853715 hasAuthorship W2120853715A5059019724 @default.
• W2120853715 hasAuthorship W2120853715A5084605938 @default.
• W2120853715 hasBestOaLocation W21208537152 @default.
• W2120853715 hasConcept C105795698 @default.
• W2120853715 hasConcept C112505250 @default.
• W2120853715 hasConcept C11413529 @default.
• W2120853715 hasConcept C117251300 @default.
• W2120853715 hasConcept C184337299 @default.
• W2120853715 hasConcept C199360897 @default.
• W2120853715 hasConcept C30788636 @default.
• W2120853715 hasConcept C33923547 @default.
• W2120853715 hasConcept C41008148 @default.
• W2120853715 hasConcept C80444323 @default.
• W2120853715 hasConceptScore W2120853715C105795698 @default.
• W2120853715 hasConceptScore W2120853715C112505250 @default.
• W2120853715 hasConceptScore W2120853715C11413529 @default.
• W2120853715 hasConceptScore W2120853715C117251300 @default.
• W2120853715 hasConceptScore W2120853715C184337299 @default.
• W2120853715 hasConceptScore W2120853715C199360897 @default.
• W2120853715 hasConceptScore W2120853715C30788636 @default.
• W2120853715 hasConceptScore W2120853715C33923547 @default.
• W2120853715 hasConceptScore W2120853715C41008148 @default.
• W2120853715 hasConceptScore W2120853715C80444323 @default.
• W2120853715 hasLocation W21208537151 @default.
• W2120853715 hasLocation W21208537152 @default.
• W2120853715 hasLocation W21208537153 @default.
• W2120853715 hasOpenAccess W2120853715 @default.
• W2120853715 hasPrimaryLocation W21208537151 @default.
• W2120853715 hasRelatedWork W1487652347 @default.
• W2120853715 hasRelatedWork W1555222326 @default.
• W2120853715 hasRelatedWork W1886894358 @default.
• W2120853715 hasRelatedWork W2123384876 @default.
• W2120853715 hasRelatedWork W27605384 @default.
• W2120853715 hasRelatedWork W2952315117 @default.
• W2120853715 hasRelatedWork W3131923419 @default.
• W2120853715 hasRelatedWork W4287882710 @default.
• W2120853715 hasRelatedWork W4300107655 @default.
• W2120853715 hasRelatedWork W2464885066 @default.
• W2120853715 hasVolume "234" @default.
• W2120853715 isParatext "false" @default.
• W2120853715 isRetracted "false" @default.

• next