Matches in SemOpenAlex for { <https://semopenalex.org/work/W2156027773> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2156027773 endingPage "232" @default.
- W2156027773 startingPage "218" @default.
- W2156027773 abstract "We present a framework for formal veri.cation of a realtime extension of UML statecharts. For clarity, we restrict ourselves to a reasonable subset of the rich UML statechart model and extend this with real-time constructs (clocks, timed guards, and invariants). We equip the obtained formalism, called hierarchical timed automata (HTA), with an operational semantics. We outline a translation of one HTA to a network of flat timed automata, that can serve as input to the real-time model checking tool Uppaal. This translation can be used to faithfully verify deadlock-freedom, safety, and unbounded response properties of the HTA model. We report on an XML-based implementation of this translation, use the well-known pacemaker example to illustrate our technique, and report run-time data for the formal verification part." @default.
- W2156027773 created "2016-06-24" @default.
- W2156027773 creator A5024475534 @default.
- W2156027773 creator A5056272923 @default.
- W2156027773 creator A5073142503 @default.
- W2156027773 date "2002-01-01" @default.
- W2156027773 modified "2023-09-23" @default.
- W2156027773 title "Formal Verification of UML Statecharts with Real-Time Extensions" @default.
- W2156027773 cites W1508821727 @default.
- W2156027773 cites W1601209671 @default.
- W2156027773 cites W2000947342 @default.
- W2156027773 cites W2115309705 @default.
- W2156027773 cites W2121163444 @default.
- W2156027773 cites W2130773092 @default.
- W2156027773 cites W2133740077 @default.
- W2156027773 cites W2139891885 @default.
- W2156027773 cites W2146445117 @default.
- W2156027773 cites W2163014247 @default.
- W2156027773 cites W2178662818 @default.
- W2156027773 cites W4206056772 @default.
- W2156027773 doi "https://doi.org/10.1007/3-540-45923-5_15" @default.
- W2156027773 hasPublicationYear "2002" @default.
- W2156027773 type Work @default.
- W2156027773 sameAs 2156027773 @default.
- W2156027773 citedByCount "85" @default.
- W2156027773 countsByYear W21560277732012 @default.
- W2156027773 countsByYear W21560277732013 @default.
- W2156027773 countsByYear W21560277732014 @default.
- W2156027773 countsByYear W21560277732015 @default.
- W2156027773 countsByYear W21560277732016 @default.
- W2156027773 countsByYear W21560277732017 @default.
- W2156027773 countsByYear W21560277732018 @default.
- W2156027773 countsByYear W21560277732019 @default.
- W2156027773 countsByYear W21560277732020 @default.
- W2156027773 countsByYear W21560277732022 @default.
- W2156027773 countsByYear W21560277732023 @default.
- W2156027773 crossrefType "book-chapter" @default.
- W2156027773 hasAuthorship W2156027773A5024475534 @default.
- W2156027773 hasAuthorship W2156027773A5056272923 @default.
- W2156027773 hasAuthorship W2156027773A5073142503 @default.
- W2156027773 hasBestOaLocation W21560277731 @default.
- W2156027773 hasConcept C110251889 @default.
- W2156027773 hasConcept C111498074 @default.
- W2156027773 hasConcept C112505250 @default.
- W2156027773 hasConcept C145644426 @default.
- W2156027773 hasConcept C159023740 @default.
- W2156027773 hasConcept C199360897 @default.
- W2156027773 hasConcept C2777904410 @default.
- W2156027773 hasConcept C41008148 @default.
- W2156027773 hasConcept C80444323 @default.
- W2156027773 hasConceptScore W2156027773C110251889 @default.
- W2156027773 hasConceptScore W2156027773C111498074 @default.
- W2156027773 hasConceptScore W2156027773C112505250 @default.
- W2156027773 hasConceptScore W2156027773C145644426 @default.
- W2156027773 hasConceptScore W2156027773C159023740 @default.
- W2156027773 hasConceptScore W2156027773C199360897 @default.
- W2156027773 hasConceptScore W2156027773C2777904410 @default.
- W2156027773 hasConceptScore W2156027773C41008148 @default.
- W2156027773 hasConceptScore W2156027773C80444323 @default.
- W2156027773 hasLocation W21560277731 @default.
- W2156027773 hasLocation W21560277732 @default.
- W2156027773 hasOpenAccess W2156027773 @default.
- W2156027773 hasPrimaryLocation W21560277731 @default.
- W2156027773 hasRelatedWork W1492159729 @default.
- W2156027773 hasRelatedWork W1505224671 @default.
- W2156027773 hasRelatedWork W1513749810 @default.
- W2156027773 hasRelatedWork W1518566078 @default.
- W2156027773 hasRelatedWork W1582517610 @default.
- W2156027773 hasRelatedWork W1688712575 @default.
- W2156027773 hasRelatedWork W1965965053 @default.
- W2156027773 hasRelatedWork W2137641996 @default.
- W2156027773 hasRelatedWork W2169586608 @default.
- W2156027773 hasRelatedWork W2604636945 @default.
- W2156027773 isParatext "false" @default.
- W2156027773 isRetracted "false" @default.
- W2156027773 magId "2156027773" @default.
- W2156027773 workType "book-chapter" @default.