Matches in SemOpenAlex for { <https://semopenalex.org/work/W2201133670> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2201133670 endingPage "287" @default.
- W2201133670 startingPage "270" @default.
- W2201133670 abstract "In this paper we propose a framework of Assume / Guarantee contracts for schedulability analysis. Unlike previous work addressing compositional scheduling analysis, our objective is to provide support for the OEM / supplier subcontracting relation. The adaptation of Assume / Guarantee contracts to schedulability analysis requires some care, due to the handling of conflicts caused by shared resources. We illustrate our framework in the context of Autosar methodology now popular in the automotive industry sector." @default.
- W2201133670 created "2016-06-24" @default.
- W2201133670 creator A5032959984 @default.
- W2201133670 creator A5053665575 @default.
- W2201133670 creator A5075584449 @default.
- W2201133670 creator A5085824519 @default.
- W2201133670 date "2015-01-01" @default.
- W2201133670 modified "2023-10-05" @default.
- W2201133670 title "Contracts for Schedulability Analysis" @default.
- W2201133670 cites W1500726385 @default.
- W2201133670 cites W1535987901 @default.
- W2201133670 cites W1965553418 @default.
- W2201133670 cites W2002399871 @default.
- W2201133670 cites W2018383753 @default.
- W2201133670 cites W2085756908 @default.
- W2201133670 cites W2102391914 @default.
- W2201133670 cites W2114640428 @default.
- W2201133670 cites W2136608864 @default.
- W2201133670 cites W2162407032 @default.
- W2201133670 cites W2164642390 @default.
- W2201133670 cites W2168337142 @default.
- W2201133670 cites W2208697726 @default.
- W2201133670 cites W322446539 @default.
- W2201133670 cites W41104829 @default.
- W2201133670 cites W90303274 @default.
- W2201133670 doi "https://doi.org/10.1007/978-3-319-22975-1_18" @default.
- W2201133670 hasPublicationYear "2015" @default.
- W2201133670 type Work @default.
- W2201133670 sameAs 2201133670 @default.
- W2201133670 citedByCount "2" @default.
- W2201133670 countsByYear W22011336702017 @default.
- W2201133670 countsByYear W22011336702022 @default.
- W2201133670 crossrefType "book-chapter" @default.
- W2201133670 hasAuthorship W2201133670A5032959984 @default.
- W2201133670 hasAuthorship W2201133670A5053665575 @default.
- W2201133670 hasAuthorship W2201133670A5075584449 @default.
- W2201133670 hasAuthorship W2201133670A5085824519 @default.
- W2201133670 hasBestOaLocation W22011336702 @default.
- W2201133670 hasConcept C111919701 @default.
- W2201133670 hasConcept C120665830 @default.
- W2201133670 hasConcept C121332964 @default.
- W2201133670 hasConcept C127413603 @default.
- W2201133670 hasConcept C139807058 @default.
- W2201133670 hasConcept C144133560 @default.
- W2201133670 hasConcept C146978453 @default.
- W2201133670 hasConcept C151730666 @default.
- W2201133670 hasConcept C206729178 @default.
- W2201133670 hasConcept C21547014 @default.
- W2201133670 hasConcept C25343380 @default.
- W2201133670 hasConcept C2778602020 @default.
- W2201133670 hasConcept C2779343474 @default.
- W2201133670 hasConcept C41008148 @default.
- W2201133670 hasConcept C526921623 @default.
- W2201133670 hasConcept C68694590 @default.
- W2201133670 hasConcept C77088390 @default.
- W2201133670 hasConcept C86803240 @default.
- W2201133670 hasConceptScore W2201133670C111919701 @default.
- W2201133670 hasConceptScore W2201133670C120665830 @default.
- W2201133670 hasConceptScore W2201133670C121332964 @default.
- W2201133670 hasConceptScore W2201133670C127413603 @default.
- W2201133670 hasConceptScore W2201133670C139807058 @default.
- W2201133670 hasConceptScore W2201133670C144133560 @default.
- W2201133670 hasConceptScore W2201133670C146978453 @default.
- W2201133670 hasConceptScore W2201133670C151730666 @default.
- W2201133670 hasConceptScore W2201133670C206729178 @default.
- W2201133670 hasConceptScore W2201133670C21547014 @default.
- W2201133670 hasConceptScore W2201133670C25343380 @default.
- W2201133670 hasConceptScore W2201133670C2778602020 @default.
- W2201133670 hasConceptScore W2201133670C2779343474 @default.
- W2201133670 hasConceptScore W2201133670C41008148 @default.
- W2201133670 hasConceptScore W2201133670C526921623 @default.
- W2201133670 hasConceptScore W2201133670C68694590 @default.
- W2201133670 hasConceptScore W2201133670C77088390 @default.
- W2201133670 hasConceptScore W2201133670C86803240 @default.
- W2201133670 hasLocation W22011336701 @default.
- W2201133670 hasLocation W22011336702 @default.
- W2201133670 hasLocation W22011336703 @default.
- W2201133670 hasOpenAccess W2201133670 @default.
- W2201133670 hasPrimaryLocation W22011336701 @default.
- W2201133670 hasRelatedWork W1968548913 @default.
- W2201133670 hasRelatedWork W2003515326 @default.
- W2201133670 hasRelatedWork W2056205537 @default.
- W2201133670 hasRelatedWork W2090186079 @default.
- W2201133670 hasRelatedWork W2146806752 @default.
- W2201133670 hasRelatedWork W2157487179 @default.
- W2201133670 hasRelatedWork W3127604390 @default.
- W2201133670 hasRelatedWork W3193493757 @default.
- W2201133670 hasRelatedWork W3200976822 @default.
- W2201133670 hasRelatedWork W98008442 @default.
- W2201133670 isParatext "false" @default.
- W2201133670 isRetracted "false" @default.
- W2201133670 magId "2201133670" @default.
- W2201133670 workType "book-chapter" @default.