Matches in SemOpenAlex for { <https://semopenalex.org/work/W2114987070> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2114987070 abstract "Parametric properties provide an effective and natural means to describe object-oriented system behaviors, where the parameters are typed by classes and bound to object instances at runtime. Efficient monitoring of parametric properties, in spite of increasingly growing interest due to applications such as testing and security, imposes a highly non-trivial challenge on monitoring approaches due to the potentially huge number of parameter instances. Existing solutions usually compromise their expressiveness for performance or vice versa. In this paper, we propose a generic, in terms of specification formalism, yet efficient, solution to monitoring parametric specifications. Our approach is based on a general algorithm for slicing parametric traces and makes use of static knowledge about the desired property to optimize monitoring. The needed knowledge is not specific to the underlying formalism and can be easily computed when generating monitoring code from the property. Our approach works with any specification formalism, providing better and extensible expressiveness. Also, a thorough evaluation shows that our technique outperforms other state-of-art techniques optimized for particular logics or properties." @default.
- W2114987070 created "2016-06-24" @default.
- W2114987070 creator A5021979312 @default.
- W2114987070 creator A5049185168 @default.
- W2114987070 creator A5053878331 @default.
- W2114987070 creator A5055779612 @default.
- W2114987070 date "2009-11-01" @default.
- W2114987070 modified "2023-10-16" @default.
- W2114987070 title "Efficient Formalism-Independent Monitoring of Parametric Properties" @default.
- W2114987070 cites W1825341937 @default.
- W2114987070 cites W2021875003 @default.
- W2114987070 cites W2088655521 @default.
- W2114987070 cites W2111141292 @default.
- W2114987070 cites W2150593762 @default.
- W2114987070 cites W2162126440 @default.
- W2114987070 cites W2165418237 @default.
- W2114987070 cites W2166091242 @default.
- W2114987070 cites W2168130140 @default.
- W2114987070 cites W3148712241 @default.
- W2114987070 doi "https://doi.org/10.1109/ase.2009.50" @default.
- W2114987070 hasPublicationYear "2009" @default.
- W2114987070 type Work @default.
- W2114987070 sameAs 2114987070 @default.
- W2114987070 citedByCount "34" @default.
- W2114987070 countsByYear W21149870702012 @default.
- W2114987070 countsByYear W21149870702013 @default.
- W2114987070 countsByYear W21149870702014 @default.
- W2114987070 countsByYear W21149870702016 @default.
- W2114987070 countsByYear W21149870702017 @default.
- W2114987070 countsByYear W21149870702021 @default.
- W2114987070 countsByYear W21149870702022 @default.
- W2114987070 countsByYear W21149870702023 @default.
- W2114987070 crossrefType "proceedings-article" @default.
- W2114987070 hasAuthorship W2114987070A5021979312 @default.
- W2114987070 hasAuthorship W2114987070A5049185168 @default.
- W2114987070 hasAuthorship W2114987070A5053878331 @default.
- W2114987070 hasAuthorship W2114987070A5055779612 @default.
- W2114987070 hasBestOaLocation W21149870702 @default.
- W2114987070 hasConcept C105795698 @default.
- W2114987070 hasConcept C11413529 @default.
- W2114987070 hasConcept C117251300 @default.
- W2114987070 hasConcept C136764020 @default.
- W2114987070 hasConcept C142362112 @default.
- W2114987070 hasConcept C153349607 @default.
- W2114987070 hasConcept C199360897 @default.
- W2114987070 hasConcept C2776190703 @default.
- W2114987070 hasConcept C32833848 @default.
- W2114987070 hasConcept C33923547 @default.
- W2114987070 hasConcept C41008148 @default.
- W2114987070 hasConcept C558565934 @default.
- W2114987070 hasConcept C73301696 @default.
- W2114987070 hasConcept C80444323 @default.
- W2114987070 hasConceptScore W2114987070C105795698 @default.
- W2114987070 hasConceptScore W2114987070C11413529 @default.
- W2114987070 hasConceptScore W2114987070C117251300 @default.
- W2114987070 hasConceptScore W2114987070C136764020 @default.
- W2114987070 hasConceptScore W2114987070C142362112 @default.
- W2114987070 hasConceptScore W2114987070C153349607 @default.
- W2114987070 hasConceptScore W2114987070C199360897 @default.
- W2114987070 hasConceptScore W2114987070C2776190703 @default.
- W2114987070 hasConceptScore W2114987070C32833848 @default.
- W2114987070 hasConceptScore W2114987070C33923547 @default.
- W2114987070 hasConceptScore W2114987070C41008148 @default.
- W2114987070 hasConceptScore W2114987070C558565934 @default.
- W2114987070 hasConceptScore W2114987070C73301696 @default.
- W2114987070 hasConceptScore W2114987070C80444323 @default.
- W2114987070 hasLocation W21149870701 @default.
- W2114987070 hasLocation W21149870702 @default.
- W2114987070 hasLocation W21149870703 @default.
- W2114987070 hasLocation W21149870704 @default.
- W2114987070 hasOpenAccess W2114987070 @default.
- W2114987070 hasPrimaryLocation W21149870701 @default.
- W2114987070 hasRelatedWork W1984116007 @default.
- W2114987070 hasRelatedWork W2036340253 @default.
- W2114987070 hasRelatedWork W2354354754 @default.
- W2114987070 hasRelatedWork W2364420803 @default.
- W2114987070 hasRelatedWork W2368425793 @default.
- W2114987070 hasRelatedWork W2372886617 @default.
- W2114987070 hasRelatedWork W2401862472 @default.
- W2114987070 hasRelatedWork W3047780056 @default.
- W2114987070 hasRelatedWork W3206494224 @default.
- W2114987070 hasRelatedWork W4253241429 @default.
- W2114987070 isParatext "false" @default.
- W2114987070 isRetracted "false" @default.
- W2114987070 magId "2114987070" @default.
- W2114987070 workType "article" @default.