Matches in SemOpenAlex for { <https://semopenalex.org/work/W2152514708> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2152514708 abstract "This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The scheduling subset of our techniques has been used to find a previously unknown subtle bug in a state-of-the-art scheduling algorithm. This paper also shows how our general techniques can be instantiated to model and analyze the well known priority inheritance protocol." @default.
- W2152514708 created "2016-06-24" @default.
- W2152514708 creator A5033684035 @default.
- W2152514708 creator A5068080537 @default.
- W2152514708 creator A5078403066 @default.
- W2152514708 date "2008-04-01" @default.
- W2152514708 modified "2023-09-30" @default.
- W2152514708 title "Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude" @default.
- W2152514708 cites W1526442179 @default.
- W2152514708 cites W1962072139 @default.
- W2152514708 cites W1979754763 @default.
- W2152514708 cites W2006340882 @default.
- W2152514708 cites W2098979034 @default.
- W2152514708 cites W2127200569 @default.
- W2152514708 cites W2127820743 @default.
- W2152514708 cites W2135439762 @default.
- W2152514708 cites W2153203280 @default.
- W2152514708 cites W2160293203 @default.
- W2152514708 cites W2187686559 @default.
- W2152514708 doi "https://doi.org/10.1109/ipdps.2008.4536574" @default.
- W2152514708 hasPublicationYear "2008" @default.
- W2152514708 type Work @default.
- W2152514708 sameAs 2152514708 @default.
- W2152514708 citedByCount "3" @default.
- W2152514708 countsByYear W21525147082012 @default.
- W2152514708 countsByYear W21525147082014 @default.
- W2152514708 crossrefType "proceedings-article" @default.
- W2152514708 hasAuthorship W2152514708A5033684035 @default.
- W2152514708 hasAuthorship W2152514708A5068080537 @default.
- W2152514708 hasAuthorship W2152514708A5078403066 @default.
- W2152514708 hasConcept C110251889 @default.
- W2152514708 hasConcept C111919701 @default.
- W2152514708 hasConcept C120314980 @default.
- W2152514708 hasConcept C126255220 @default.
- W2152514708 hasConcept C206729178 @default.
- W2152514708 hasConcept C33923547 @default.
- W2152514708 hasConcept C41008148 @default.
- W2152514708 hasConcept C51332947 @default.
- W2152514708 hasConcept C80444323 @default.
- W2152514708 hasConceptScore W2152514708C110251889 @default.
- W2152514708 hasConceptScore W2152514708C111919701 @default.
- W2152514708 hasConceptScore W2152514708C120314980 @default.
- W2152514708 hasConceptScore W2152514708C126255220 @default.
- W2152514708 hasConceptScore W2152514708C206729178 @default.
- W2152514708 hasConceptScore W2152514708C33923547 @default.
- W2152514708 hasConceptScore W2152514708C41008148 @default.
- W2152514708 hasConceptScore W2152514708C51332947 @default.
- W2152514708 hasConceptScore W2152514708C80444323 @default.
- W2152514708 hasLocation W21525147081 @default.
- W2152514708 hasOpenAccess W2152514708 @default.
- W2152514708 hasPrimaryLocation W21525147081 @default.
- W2152514708 hasRelatedWork W1485627940 @default.
- W2152514708 hasRelatedWork W1572108542 @default.
- W2152514708 hasRelatedWork W1882733036 @default.
- W2152514708 hasRelatedWork W2019385245 @default.
- W2152514708 hasRelatedWork W2109998134 @default.
- W2152514708 hasRelatedWork W2125095596 @default.
- W2152514708 hasRelatedWork W2160425906 @default.
- W2152514708 hasRelatedWork W2389719923 @default.
- W2152514708 hasRelatedWork W2546696010 @default.
- W2152514708 hasRelatedWork W2997367849 @default.
- W2152514708 isParatext "false" @default.
- W2152514708 isRetracted "false" @default.
- W2152514708 magId "2152514708" @default.
- W2152514708 workType "article" @default.