Matches in SemOpenAlex for { <https://semopenalex.org/work/W1525962559> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1525962559 endingPage "152" @default.
- W1525962559 startingPage "136" @default.
- W1525962559 abstract "The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring Oriented Programming system developed at the University of Illinois [6,7,9,21,5], while the Predictive Analysis capability is a vastly expanded version of the jPredictor System also developed at the University of Illinois [11,14]. With the RV system, runtime monitoring is supported and encouraged as a fundamental principle for building reliable software: monitors are automatically synthesized from specified properties and integrated into the original system to check its dynamic behaviors. When certain conditions of interest occur, such as a violation of a specification, user-defined actions will be triggered, which can be any code from information logging to runtime recovery. The RV system supports the monitoring of parametric properties that may specify a relationship between objects. Properties may be defined using one of several logical formalisms, such as: extended regular languages, context-free patterns, deterministic finite state machines, linear temporal logic, and past time linear temporal logic. The system is designed in such a way that adding new logical formalisms is a relatively simple task. The predictive capabilities allow any of these monitoring specifications to be extended to checking not just the actual runtime traces of program execution, but any trace that may be inferred from a constructed casual model. The Predictive Analysis also features built in algorithms for race detection and atomicity violations, that are both highly useful in concurrent system design and difficult to specify in terms of formal specification languages." @default.
- W1525962559 created "2016-06-24" @default.
- W1525962559 creator A5049185168 @default.
- W1525962559 creator A5053878331 @default.
- W1525962559 date "2010-01-01" @default.
- W1525962559 modified "2023-10-16" @default.
- W1525962559 title "Runtime Verification with the RV System" @default.
- W1525962559 cites W1512223106 @default.
- W1525962559 cites W1566035021 @default.
- W1525962559 cites W1579452275 @default.
- W1525962559 cites W1825341937 @default.
- W1525962559 cites W1861203031 @default.
- W1525962559 cites W1863629953 @default.
- W1525962559 cites W1972544179 @default.
- W1525962559 cites W2002179840 @default.
- W1525962559 cites W2082766667 @default.
- W1525962559 cites W2088655521 @default.
- W1525962559 cites W2122898375 @default.
- W1525962559 cites W2127989655 @default.
- W1525962559 cites W2157154136 @default.
- W1525962559 cites W2165418237 @default.
- W1525962559 cites W2171076136 @default.
- W1525962559 cites W3137220996 @default.
- W1525962559 doi "https://doi.org/10.1007/978-3-642-16612-9_12" @default.
- W1525962559 hasPublicationYear "2010" @default.
- W1525962559 type Work @default.
- W1525962559 sameAs 1525962559 @default.
- W1525962559 citedByCount "18" @default.
- W1525962559 countsByYear W15259625592012 @default.
- W1525962559 countsByYear W15259625592013 @default.
- W1525962559 countsByYear W15259625592014 @default.
- W1525962559 countsByYear W15259625592015 @default.
- W1525962559 countsByYear W15259625592016 @default.
- W1525962559 countsByYear W15259625592017 @default.
- W1525962559 crossrefType "book-chapter" @default.
- W1525962559 hasAuthorship W1525962559A5049185168 @default.
- W1525962559 hasAuthorship W1525962559A5053878331 @default.
- W1525962559 hasConcept C111498074 @default.
- W1525962559 hasConcept C120314980 @default.
- W1525962559 hasConcept C138885662 @default.
- W1525962559 hasConcept C171018156 @default.
- W1525962559 hasConcept C188045909 @default.
- W1525962559 hasConcept C199360897 @default.
- W1525962559 hasConcept C202973057 @default.
- W1525962559 hasConcept C25016198 @default.
- W1525962559 hasConcept C2524010 @default.
- W1525962559 hasConcept C33923547 @default.
- W1525962559 hasConcept C41008148 @default.
- W1525962559 hasConcept C41895202 @default.
- W1525962559 hasConcept C4777664 @default.
- W1525962559 hasConcept C75291252 @default.
- W1525962559 hasConcept C75949130 @default.
- W1525962559 hasConcept C79403827 @default.
- W1525962559 hasConceptScore W1525962559C111498074 @default.
- W1525962559 hasConceptScore W1525962559C120314980 @default.
- W1525962559 hasConceptScore W1525962559C138885662 @default.
- W1525962559 hasConceptScore W1525962559C171018156 @default.
- W1525962559 hasConceptScore W1525962559C188045909 @default.
- W1525962559 hasConceptScore W1525962559C199360897 @default.
- W1525962559 hasConceptScore W1525962559C202973057 @default.
- W1525962559 hasConceptScore W1525962559C25016198 @default.
- W1525962559 hasConceptScore W1525962559C2524010 @default.
- W1525962559 hasConceptScore W1525962559C33923547 @default.
- W1525962559 hasConceptScore W1525962559C41008148 @default.
- W1525962559 hasConceptScore W1525962559C41895202 @default.
- W1525962559 hasConceptScore W1525962559C4777664 @default.
- W1525962559 hasConceptScore W1525962559C75291252 @default.
- W1525962559 hasConceptScore W1525962559C75949130 @default.
- W1525962559 hasConceptScore W1525962559C79403827 @default.
- W1525962559 hasLocation W15259625591 @default.
- W1525962559 hasOpenAccess W1525962559 @default.
- W1525962559 hasPrimaryLocation W15259625591 @default.
- W1525962559 hasRelatedWork W1825341937 @default.
- W1525962559 hasRelatedWork W2171356742 @default.
- W1525962559 hasRelatedWork W2256753787 @default.
- W1525962559 hasRelatedWork W2281584718 @default.
- W1525962559 hasRelatedWork W2346373674 @default.
- W1525962559 hasRelatedWork W2801746908 @default.
- W1525962559 hasRelatedWork W2883565738 @default.
- W1525962559 hasRelatedWork W2950238009 @default.
- W1525962559 hasRelatedWork W2951152044 @default.
- W1525962559 hasRelatedWork W4289665805 @default.
- W1525962559 isParatext "false" @default.
- W1525962559 isRetracted "false" @default.
- W1525962559 magId "1525962559" @default.
- W1525962559 workType "book-chapter" @default.