Matches in SemOpenAlex for { <https://semopenalex.org/work/W1551390756> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1551390756 abstract "Notice of Violation of IEEE Publication Principles<br><br>Calculus-based Runtime Verification<br>by Benzhai Hai, Fangfang Li, Ruiyun Xie, Yanhao Chen<br>in the 2010 3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT), 2010, pp. 271 – 275<br><br>After careful and considered review of the content and authorship of this paper by a duly constituted expert committee, this paper has been found to be in violation of IEEE's Publication Principles.<br><br>This paper contains significant portions of original text from the paper cited below. The original text was copied with insufficient attribution (including appropriate references to the original author(s) and/or paper title) and without permission.<br><br>Due to the nature of this violation, reasonable effort should be made to remove all past references to this paper, and future references should be made to the following article:<br><br>Calculus-based Runtime Verification<br>by Xuan Qi and Changzhi Zhao<br>in the World Academy of Science, Engineering and Technology 58, 2009, pp. 278 – 282<br><br> <br/> A uniform calculus-based approach for synthesizing monitors checking correctness properties specified by a large variety of logics at runtime is provided, including future and past time logics, interval logics, state machine and parameterized temporal logics. Thus we can synthesize monitors from the logical specification in an uniform fashion to incrementally analysis the current execution traces during test and real run. The monitor detects both good and bad prefix of a particular kind, namely those that are informative for the property under investigation." @default.
- W1551390756 created "2016-06-24" @default.
- W1551390756 creator A5026237422 @default.
- W1551390756 creator A5043961013 @default.
- W1551390756 creator A5054012489 @default.
- W1551390756 creator A5091667127 @default.
- W1551390756 date "2010-07-01" @default.
- W1551390756 modified "2023-09-23" @default.
- W1551390756 title "Notice of Violation of IEEE Publication Principles - Calculus-based runtime verification" @default.
- W1551390756 cites W1493834706 @default.
- W1551390756 cites W1540883472 @default.
- W1551390756 cites W1740522204 @default.
- W1551390756 cites W1825341937 @default.
- W1551390756 cites W2023808162 @default.
- W1551390756 cites W2060944709 @default.
- W1551390756 cites W2080560821 @default.
- W1551390756 cites W2104717300 @default.
- W1551390756 cites W2114768982 @default.
- W1551390756 cites W2119965246 @default.
- W1551390756 doi "https://doi.org/10.1109/iccsit.2010.5563756" @default.
- W1551390756 hasPublicationYear "2010" @default.
- W1551390756 type Work @default.
- W1551390756 sameAs 1551390756 @default.
- W1551390756 citedByCount "0" @default.
- W1551390756 crossrefType "proceedings-article" @default.
- W1551390756 hasAuthorship W1551390756A5026237422 @default.
- W1551390756 hasAuthorship W1551390756A5043961013 @default.
- W1551390756 hasAuthorship W1551390756A5054012489 @default.
- W1551390756 hasAuthorship W1551390756A5091667127 @default.
- W1551390756 hasConcept C11413529 @default.
- W1551390756 hasConcept C17744445 @default.
- W1551390756 hasConcept C199343813 @default.
- W1551390756 hasConcept C199360897 @default.
- W1551390756 hasConcept C199539241 @default.
- W1551390756 hasConcept C2777686260 @default.
- W1551390756 hasConcept C2779089604 @default.
- W1551390756 hasConcept C2779913896 @default.
- W1551390756 hasConcept C41008148 @default.
- W1551390756 hasConcept C55439883 @default.
- W1551390756 hasConcept C71924100 @default.
- W1551390756 hasConcept C80444323 @default.
- W1551390756 hasConceptScore W1551390756C11413529 @default.
- W1551390756 hasConceptScore W1551390756C17744445 @default.
- W1551390756 hasConceptScore W1551390756C199343813 @default.
- W1551390756 hasConceptScore W1551390756C199360897 @default.
- W1551390756 hasConceptScore W1551390756C199539241 @default.
- W1551390756 hasConceptScore W1551390756C2777686260 @default.
- W1551390756 hasConceptScore W1551390756C2779089604 @default.
- W1551390756 hasConceptScore W1551390756C2779913896 @default.
- W1551390756 hasConceptScore W1551390756C41008148 @default.
- W1551390756 hasConceptScore W1551390756C55439883 @default.
- W1551390756 hasConceptScore W1551390756C71924100 @default.
- W1551390756 hasConceptScore W1551390756C80444323 @default.
- W1551390756 hasLocation W15513907561 @default.
- W1551390756 hasOpenAccess W1551390756 @default.
- W1551390756 hasPrimaryLocation W15513907561 @default.
- W1551390756 hasRelatedWork W1554976062 @default.
- W1551390756 hasRelatedWork W1595746898 @default.
- W1551390756 hasRelatedWork W1638471614 @default.
- W1551390756 hasRelatedWork W1892475202 @default.
- W1551390756 hasRelatedWork W2053902844 @default.
- W1551390756 hasRelatedWork W2559476009 @default.
- W1551390756 hasRelatedWork W2911369389 @default.
- W1551390756 hasRelatedWork W2992170625 @default.
- W1551390756 hasRelatedWork W4238823939 @default.
- W1551390756 hasRelatedWork W2789178056 @default.
- W1551390756 isParatext "false" @default.
- W1551390756 isRetracted "false" @default.
- W1551390756 magId "1551390756" @default.
- W1551390756 workType "article" @default.