Matches in SemOpenAlex for { <https://semopenalex.org/work/W2010316954> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2010316954 endingPage "60" @default.
- W2010316954 startingPage "47" @default.
- W2010316954 abstract "We present a rewriting logic semantics in Maude of the ABEL hardware description language. Based on this semantics, and on Maude's underlying LTL model checker, we propose a scalable formal analysis framework and tool for hardware/software co-design. The analysis method is based on trace checking of finite system behaviors against LTL temporal logic formulas. The formal properties of the hardware, the embedded software, and the interactions between both can all be analyzed this way. We present two case studies illustrating our method and tool." @default.
- W2010316954 created "2016-06-24" @default.
- W2010316954 creator A5007839082 @default.
- W2010316954 creator A5057957550 @default.
- W2010316954 date "2007-07-01" @default.
- W2010316954 modified "2023-09-26" @default.
- W2010316954 title "A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis" @default.
- W2010316954 cites W136905915 @default.
- W2010316954 cites W145608659 @default.
- W2010316954 cites W1484942078 @default.
- W2010316954 cites W1494164631 @default.
- W2010316954 cites W1503206383 @default.
- W2010316954 cites W1539608978 @default.
- W2010316954 cites W1602612484 @default.
- W2010316954 cites W1921633840 @default.
- W2010316954 cites W2001487918 @default.
- W2010316954 cites W2010321110 @default.
- W2010316954 cites W2011886298 @default.
- W2010316954 cites W2092218351 @default.
- W2010316954 cites W2104717300 @default.
- W2010316954 cites W2106265536 @default.
- W2010316954 cites W2123613958 @default.
- W2010316954 cites W2139760036 @default.
- W2010316954 cites W2154001469 @default.
- W2010316954 cites W2165418237 @default.
- W2010316954 cites W2166720067 @default.
- W2010316954 cites W2168497347 @default.
- W2010316954 cites W2169687938 @default.
- W2010316954 doi "https://doi.org/10.1016/j.entcs.2007.06.007" @default.
- W2010316954 hasPublicationYear "2007" @default.
- W2010316954 type Work @default.
- W2010316954 sameAs 2010316954 @default.
- W2010316954 citedByCount "12" @default.
- W2010316954 countsByYear W20103169542012 @default.
- W2010316954 countsByYear W20103169542013 @default.
- W2010316954 crossrefType "journal-article" @default.
- W2010316954 hasAuthorship W2010316954A5007839082 @default.
- W2010316954 hasAuthorship W2010316954A5057957550 @default.
- W2010316954 hasBestOaLocation W20103169541 @default.
- W2010316954 hasConcept C110251889 @default.
- W2010316954 hasConcept C138885662 @default.
- W2010316954 hasConcept C146499914 @default.
- W2010316954 hasConcept C154690210 @default.
- W2010316954 hasConcept C184337299 @default.
- W2010316954 hasConcept C199360897 @default.
- W2010316954 hasConcept C25016198 @default.
- W2010316954 hasConcept C2777904410 @default.
- W2010316954 hasConcept C41008148 @default.
- W2010316954 hasConcept C41895202 @default.
- W2010316954 hasConcept C4777664 @default.
- W2010316954 hasConcept C75291252 @default.
- W2010316954 hasConcept C75606506 @default.
- W2010316954 hasConcept C80444323 @default.
- W2010316954 hasConceptScore W2010316954C110251889 @default.
- W2010316954 hasConceptScore W2010316954C138885662 @default.
- W2010316954 hasConceptScore W2010316954C146499914 @default.
- W2010316954 hasConceptScore W2010316954C154690210 @default.
- W2010316954 hasConceptScore W2010316954C184337299 @default.
- W2010316954 hasConceptScore W2010316954C199360897 @default.
- W2010316954 hasConceptScore W2010316954C25016198 @default.
- W2010316954 hasConceptScore W2010316954C2777904410 @default.
- W2010316954 hasConceptScore W2010316954C41008148 @default.
- W2010316954 hasConceptScore W2010316954C41895202 @default.
- W2010316954 hasConceptScore W2010316954C4777664 @default.
- W2010316954 hasConceptScore W2010316954C75291252 @default.
- W2010316954 hasConceptScore W2010316954C75606506 @default.
- W2010316954 hasConceptScore W2010316954C80444323 @default.
- W2010316954 hasIssue "4" @default.
- W2010316954 hasLocation W20103169541 @default.
- W2010316954 hasOpenAccess W2010316954 @default.
- W2010316954 hasPrimaryLocation W20103169541 @default.
- W2010316954 hasRelatedWork W1515452107 @default.
- W2010316954 hasRelatedWork W1551042955 @default.
- W2010316954 hasRelatedWork W1584851803 @default.
- W2010316954 hasRelatedWork W1864036814 @default.
- W2010316954 hasRelatedWork W1997984753 @default.
- W2010316954 hasRelatedWork W2010316954 @default.
- W2010316954 hasRelatedWork W2081369054 @default.
- W2010316954 hasRelatedWork W2256753787 @default.
- W2010316954 hasRelatedWork W2364697302 @default.
- W2010316954 hasRelatedWork W27605384 @default.
- W2010316954 hasVolume "176" @default.
- W2010316954 isParatext "false" @default.
- W2010316954 isRetracted "false" @default.
- W2010316954 magId "2010316954" @default.
- W2010316954 workType "article" @default.