Matches in SemOpenAlex for { <https://semopenalex.org/work/W48981211> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W48981211 abstract "Embedded System Design is becoming a field of choice for Model-Driven Engineering techniques. On the engineering side, models bring an abstraction of the code that can then be generated (and regenerated) at will. On the semantic side, they bring a reasoning framework to guarantee or verify properties on the generated code. We focus here on the Clock Constraint Specification Language, initially defined as a companion language of the uml Profile for marte. More specifically, we propose a state-based data-structure inspired by lazy evaluation technique to represent the unbounded ccsl operators. Lazy evaluation allows for an intentional representation of infinite transition systems. We provide an algorithm to compute the synchronized product of such transition systems. Even though the transition systems are infinite, the result of the composition may become finite, in which case the (semi)algorithm terminates and exhaustive analysis becomes possible. We also study the time complexity and show that it is exponential in the number of clocks. We then explore several solutions where this worst-case estimation is not attained and where analyses have a much better complexity in practice." @default.
- W48981211 created "2016-06-24" @default.
- W48981211 creator A5005377632 @default.
- W48981211 creator A5018665207 @default.
- W48981211 date "2013-01-01" @default.
- W48981211 modified "2023-10-18" @default.
- W48981211 title "Improving the Efficiency of Synchronized Product with Infinite Transition Systems" @default.
- W48981211 cites W105975728 @default.
- W48981211 cites W1514904193 @default.
- W48981211 cites W1531248017 @default.
- W48981211 cites W1774309420 @default.
- W48981211 cites W1982535211 @default.
- W48981211 cites W1993883805 @default.
- W48981211 cites W2044856809 @default.
- W48981211 cites W2053137492 @default.
- W48981211 cites W2071457257 @default.
- W48981211 cites W2101508170 @default.
- W48981211 cites W2120431055 @default.
- W48981211 cites W2127335869 @default.
- W48981211 cites W2128110618 @default.
- W48981211 cites W2160258739 @default.
- W48981211 cites W2207342287 @default.
- W48981211 cites W4250418542 @default.
- W48981211 doi "https://doi.org/10.1007/978-3-319-03998-5_15" @default.
- W48981211 hasPublicationYear "2013" @default.
- W48981211 type Work @default.
- W48981211 sameAs 48981211 @default.
- W48981211 citedByCount "0" @default.
- W48981211 crossrefType "book-chapter" @default.
- W48981211 hasAuthorship W48981211A5005377632 @default.
- W48981211 hasAuthorship W48981211A5018665207 @default.
- W48981211 hasConcept C104317684 @default.
- W48981211 hasConcept C185592680 @default.
- W48981211 hasConcept C194232998 @default.
- W48981211 hasConcept C2524010 @default.
- W48981211 hasConcept C33923547 @default.
- W48981211 hasConcept C41008148 @default.
- W48981211 hasConcept C55493867 @default.
- W48981211 hasConcept C90673727 @default.
- W48981211 hasConceptScore W48981211C104317684 @default.
- W48981211 hasConceptScore W48981211C185592680 @default.
- W48981211 hasConceptScore W48981211C194232998 @default.
- W48981211 hasConceptScore W48981211C2524010 @default.
- W48981211 hasConceptScore W48981211C33923547 @default.
- W48981211 hasConceptScore W48981211C41008148 @default.
- W48981211 hasConceptScore W48981211C55493867 @default.
- W48981211 hasConceptScore W48981211C90673727 @default.
- W48981211 hasLocation W489812111 @default.
- W48981211 hasLocation W489812112 @default.
- W48981211 hasOpenAccess W48981211 @default.
- W48981211 hasPrimaryLocation W489812111 @default.
- W48981211 hasRelatedWork W2130043461 @default.
- W48981211 hasRelatedWork W2350741829 @default.
- W48981211 hasRelatedWork W2358668433 @default.
- W48981211 hasRelatedWork W2376932109 @default.
- W48981211 hasRelatedWork W2382290278 @default.
- W48981211 hasRelatedWork W2390279801 @default.
- W48981211 hasRelatedWork W2393186170 @default.
- W48981211 hasRelatedWork W2748952813 @default.
- W48981211 hasRelatedWork W2899084033 @default.
- W48981211 hasRelatedWork W2530322880 @default.
- W48981211 isParatext "false" @default.
- W48981211 isRetracted "false" @default.
- W48981211 magId "48981211" @default.
- W48981211 workType "book-chapter" @default.