Matches in SemOpenAlex for { <https://semopenalex.org/work/W2990529321> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2990529321 abstract "Dynamic evaluation of a computer program is done by analyzing the data generated by it during the execution. The program is considered correct and efficient if it meets a set of pre-specified temporal properties. Temporal properties define the order of occurrence and timing constraints on event occurrence. These properties become all the more important in the case of safety-critical real-time systems where a delayed response to a request may lead to a fault in the system. In the context of real-time systems, it is thus desirable to mine timing information and a set of dominant properties from system execution traces for testing, verification, anomaly detection, and debugging purposes.We propose a framework to automatically mine timing characteristics for properties that are in the form of timed regular expressions (TREs) from system traces. The framework estimates a set of dominant and most frequently occurring properties and their timing characteristics. The framework is evaluated on traces from industrial safety-critical real-time applications (a deployed autonomous hexacopter system) using traces with more than 1 Million entries." @default.
- W2990529321 created "2019-12-05" @default.
- W2990529321 creator A5000267964 @default.
- W2990529321 creator A5004216052 @default.
- W2990529321 date "2019-10-01" @default.
- W2990529321 modified "2023-09-23" @default.
- W2990529321 title "Mining Time for Timed Regular Specifications" @default.
- W2990529321 cites W1570229058 @default.
- W2990529321 cites W2016381774 @default.
- W2990529321 cites W2031058408 @default.
- W2990529321 cites W2035890032 @default.
- W2990529321 cites W2042454716 @default.
- W2990529321 cites W2048092465 @default.
- W2990529321 cites W2101508170 @default.
- W2990529321 cites W2110908283 @default.
- W2990529321 cites W2131954495 @default.
- W2990529321 cites W2142554897 @default.
- W2990529321 cites W2154550022 @default.
- W2990529321 cites W2156118771 @default.
- W2990529321 cites W2156247618 @default.
- W2990529321 cites W2242407529 @default.
- W2990529321 cites W2295399529 @default.
- W2990529321 cites W2517343942 @default.
- W2990529321 cites W3139990154 @default.
- W2990529321 cites W4255079701 @default.
- W2990529321 doi "https://doi.org/10.1109/smc.2019.8914490" @default.
- W2990529321 hasPublicationYear "2019" @default.
- W2990529321 type Work @default.
- W2990529321 sameAs 2990529321 @default.
- W2990529321 citedByCount "3" @default.
- W2990529321 countsByYear W29905293212020 @default.
- W2990529321 countsByYear W29905293212023 @default.
- W2990529321 crossrefType "proceedings-article" @default.
- W2990529321 hasAuthorship W2990529321A5000267964 @default.
- W2990529321 hasAuthorship W2990529321A5004216052 @default.
- W2990529321 hasConcept C149635348 @default.
- W2990529321 hasConcept C199360897 @default.
- W2990529321 hasConcept C41008148 @default.
- W2990529321 hasConcept C79403827 @default.
- W2990529321 hasConceptScore W2990529321C149635348 @default.
- W2990529321 hasConceptScore W2990529321C199360897 @default.
- W2990529321 hasConceptScore W2990529321C41008148 @default.
- W2990529321 hasConceptScore W2990529321C79403827 @default.
- W2990529321 hasLocation W29905293211 @default.
- W2990529321 hasOpenAccess W2990529321 @default.
- W2990529321 hasPrimaryLocation W29905293211 @default.
- W2990529321 hasRelatedWork W1527862632 @default.
- W2990529321 hasRelatedWork W2109507516 @default.
- W2990529321 hasRelatedWork W2112962394 @default.
- W2990529321 hasRelatedWork W2118300983 @default.
- W2990529321 hasRelatedWork W2135396778 @default.
- W2990529321 hasRelatedWork W2382501300 @default.
- W2990529321 hasRelatedWork W2740990710 @default.
- W2990529321 hasRelatedWork W3137189469 @default.
- W2990529321 hasRelatedWork W4235530921 @default.
- W2990529321 hasRelatedWork W4243252198 @default.
- W2990529321 isParatext "false" @default.
- W2990529321 isRetracted "false" @default.
- W2990529321 magId "2990529321" @default.
- W2990529321 workType "article" @default.