Matches in SemOpenAlex for { <https://semopenalex.org/work/W2137591753> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2137591753 endingPage "124" @default.
- W2137591753 startingPage "109" @default.
- W2137591753 abstract "We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked during program-execution by an automaton-based approach where transitions are triggered through aspects. No Java source code is necessary since AspectJ works on the bytecode level, thus even allowing instrumentation of third-party applications. As an example, we discuss safety properties and lock-order reversal." @default.
- W2137591753 created "2016-06-24" @default.
- W2137591753 creator A5076678278 @default.
- W2137591753 creator A5084401124 @default.
- W2137591753 date "2006-05-01" @default.
- W2137591753 modified "2023-10-17" @default.
- W2137591753 title "Temporal Assertions using AspectJ" @default.
- W2137591753 cites W1514171102 @default.
- W2137591753 cites W1972544179 @default.
- W2137591753 cites W2023808162 @default.
- W2137591753 cites W2028637393 @default.
- W2137591753 cites W2047276559 @default.
- W2137591753 cites W2048327004 @default.
- W2137591753 doi "https://doi.org/10.1016/j.entcs.2006.02.007" @default.
- W2137591753 hasPublicationYear "2006" @default.
- W2137591753 type Work @default.
- W2137591753 sameAs 2137591753 @default.
- W2137591753 citedByCount "136" @default.
- W2137591753 countsByYear W21375917532012 @default.
- W2137591753 countsByYear W21375917532013 @default.
- W2137591753 countsByYear W21375917532014 @default.
- W2137591753 countsByYear W21375917532015 @default.
- W2137591753 countsByYear W21375917532016 @default.
- W2137591753 countsByYear W21375917532017 @default.
- W2137591753 countsByYear W21375917532018 @default.
- W2137591753 countsByYear W21375917532019 @default.
- W2137591753 countsByYear W21375917532020 @default.
- W2137591753 countsByYear W21375917532021 @default.
- W2137591753 crossrefType "journal-article" @default.
- W2137591753 hasAuthorship W2137591753A5076678278 @default.
- W2137591753 hasAuthorship W2137591753A5084401124 @default.
- W2137591753 hasBestOaLocation W21375917531 @default.
- W2137591753 hasConcept C127413603 @default.
- W2137591753 hasConcept C174839445 @default.
- W2137591753 hasConcept C199360897 @default.
- W2137591753 hasConcept C2777904410 @default.
- W2137591753 hasConcept C2779818221 @default.
- W2137591753 hasConcept C2781009160 @default.
- W2137591753 hasConcept C41008148 @default.
- W2137591753 hasConcept C548217200 @default.
- W2137591753 hasConcept C60051680 @default.
- W2137591753 hasConcept C78519656 @default.
- W2137591753 hasConceptScore W2137591753C127413603 @default.
- W2137591753 hasConceptScore W2137591753C174839445 @default.
- W2137591753 hasConceptScore W2137591753C199360897 @default.
- W2137591753 hasConceptScore W2137591753C2777904410 @default.
- W2137591753 hasConceptScore W2137591753C2779818221 @default.
- W2137591753 hasConceptScore W2137591753C2781009160 @default.
- W2137591753 hasConceptScore W2137591753C41008148 @default.
- W2137591753 hasConceptScore W2137591753C548217200 @default.
- W2137591753 hasConceptScore W2137591753C60051680 @default.
- W2137591753 hasConceptScore W2137591753C78519656 @default.
- W2137591753 hasIssue "4" @default.
- W2137591753 hasLocation W21375917531 @default.
- W2137591753 hasLocation W21375917532 @default.
- W2137591753 hasOpenAccess W2137591753 @default.
- W2137591753 hasPrimaryLocation W21375917531 @default.
- W2137591753 hasRelatedWork W141338209 @default.
- W2137591753 hasRelatedWork W1526385399 @default.
- W2137591753 hasRelatedWork W1529395937 @default.
- W2137591753 hasRelatedWork W1537921975 @default.
- W2137591753 hasRelatedWork W2146740093 @default.
- W2137591753 hasRelatedWork W2523138543 @default.
- W2137591753 hasRelatedWork W4240435256 @default.
- W2137591753 hasRelatedWork W2070229111 @default.
- W2137591753 hasRelatedWork W2480195817 @default.
- W2137591753 hasRelatedWork W2528467228 @default.
- W2137591753 hasVolume "144" @default.
- W2137591753 isParatext "false" @default.
- W2137591753 isRetracted "false" @default.
- W2137591753 magId "2137591753" @default.
- W2137591753 workType "article" @default.