FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3092301589> ?p ?o ?g. }

• W3092301589 abstract "Abstract models of system-level behaviour have applications in design exploration, analysis, testing and verification. We describe a new algorithm for automatically extracting useful models, as automata, from execution traces of a HW/SW system driven by software exercising a use-case of interest. Our algorithm leverages modern program synthesis techniques to generate predicates on automaton edges, succinctly describing system behaviour. It employs trace segmentation to tackle complexity for long traces. We learn concise models capturing transaction-level, system-wide behaviour-experimentally demonstrating the approach using traces from a variety of sources, including the x86 QEMU virtual platform and the Real-Time Linux kernel." @default.
• W3092301589 created "2020-10-15" @default.
• W3092301589 creator A5000279949 @default.
• W3092301589 creator A5015518667 @default.
• W3092301589 creator A5085209877 @default.
• W3092301589 creator A5086206346 @default.
• W3092301589 date "2020-07-01" @default.
• W3092301589 modified "2023-09-30" @default.
• W3092301589 title "Learning Concise Models from Long Execution Traces" @default.
• W3092301589 cites W1559171143 @default.
• W3092301589 cites W1989445634 @default.
• W3092301589 cites W2017603160 @default.
• W3092301589 cites W2026252407 @default.
• W3092301589 cites W2076343783 @default.
• W3092301589 cites W2094878426 @default.
• W3092301589 cites W2098800875 @default.
• W3092301589 cites W2103318645 @default.
• W3092301589 cites W2103806799 @default.
• W3092301589 cites W2124081952 @default.
• W3092301589 cites W2129538349 @default.
• W3092301589 cites W2136656815 @default.
• W3092301589 cites W2408207366 @default.
• W3092301589 cites W2563530161 @default.
• W3092301589 cites W2579496518 @default.
• W3092301589 cites W2588494934 @default.
• W3092301589 cites W2600739374 @default.
• W3092301589 cites W2783552934 @default.
• W3092301589 cites W2884958048 @default.
• W3092301589 cites W2901502394 @default.
• W3092301589 cites W2972786937 @default.
• W3092301589 cites W2976890614 @default.
• W3092301589 doi "https://doi.org/10.1109/dac18072.2020.9218613" @default.
• W3092301589 hasPublicationYear "2020" @default.
• W3092301589 type Work @default.
• W3092301589 sameAs 3092301589 @default.
• W3092301589 citedByCount "11" @default.
• W3092301589 countsByYear W30923015892019 @default.
• W3092301589 countsByYear W30923015892021 @default.
• W3092301589 countsByYear W30923015892022 @default.
• W3092301589 countsByYear W30923015892023 @default.
• W3092301589 crossrefType "proceedings-article" @default.
• W3092301589 hasAuthorship W3092301589A5000279949 @default.
• W3092301589 hasAuthorship W3092301589A5015518667 @default.
• W3092301589 hasAuthorship W3092301589A5085209877 @default.
• W3092301589 hasAuthorship W3092301589A5086206346 @default.
• W3092301589 hasBestOaLocation W30923015892 @default.
• W3092301589 hasConcept C111919701 @default.
• W3092301589 hasConcept C112505250 @default.
• W3092301589 hasConcept C114614502 @default.
• W3092301589 hasConcept C136197465 @default.
• W3092301589 hasConcept C138885662 @default.
• W3092301589 hasConcept C154945302 @default.
• W3092301589 hasConcept C170723468 @default.
• W3092301589 hasConcept C199360897 @default.
• W3092301589 hasConcept C25344961 @default.
• W3092301589 hasConcept C2777904410 @default.
• W3092301589 hasConcept C33923547 @default.
• W3092301589 hasConcept C41008148 @default.
• W3092301589 hasConcept C41895202 @default.
• W3092301589 hasConcept C553261973 @default.
• W3092301589 hasConcept C74193536 @default.
• W3092301589 hasConcept C75291252 @default.
• W3092301589 hasConcept C75949130 @default.
• W3092301589 hasConcept C80444323 @default.
• W3092301589 hasConceptScore W3092301589C111919701 @default.
• W3092301589 hasConceptScore W3092301589C112505250 @default.
• W3092301589 hasConceptScore W3092301589C114614502 @default.
• W3092301589 hasConceptScore W3092301589C136197465 @default.
• W3092301589 hasConceptScore W3092301589C138885662 @default.
• W3092301589 hasConceptScore W3092301589C154945302 @default.
• W3092301589 hasConceptScore W3092301589C170723468 @default.
• W3092301589 hasConceptScore W3092301589C199360897 @default.
• W3092301589 hasConceptScore W3092301589C25344961 @default.
• W3092301589 hasConceptScore W3092301589C2777904410 @default.
• W3092301589 hasConceptScore W3092301589C33923547 @default.
• W3092301589 hasConceptScore W3092301589C41008148 @default.
• W3092301589 hasConceptScore W3092301589C41895202 @default.
• W3092301589 hasConceptScore W3092301589C553261973 @default.
• W3092301589 hasConceptScore W3092301589C74193536 @default.
• W3092301589 hasConceptScore W3092301589C75291252 @default.
• W3092301589 hasConceptScore W3092301589C75949130 @default.
• W3092301589 hasConceptScore W3092301589C80444323 @default.
• W3092301589 hasLocation W30923015891 @default.
• W3092301589 hasLocation W30923015892 @default.
• W3092301589 hasLocation W30923015893 @default.
• W3092301589 hasOpenAccess W3092301589 @default.
• W3092301589 hasPrimaryLocation W30923015891 @default.
• W3092301589 hasRelatedWork W1500808239 @default.
• W3092301589 hasRelatedWork W1996063432 @default.
• W3092301589 hasRelatedWork W2022309048 @default.
• W3092301589 hasRelatedWork W2055184282 @default.
• W3092301589 hasRelatedWork W2380325028 @default.
• W3092301589 hasRelatedWork W2888337026 @default.
• W3092301589 hasRelatedWork W3005079853 @default.
• W3092301589 hasRelatedWork W3152720500 @default.
• W3092301589 hasRelatedWork W3161317821 @default.
• W3092301589 hasRelatedWork W4254641500 @default.
• W3092301589 isParatext "false" @default.
• W3092301589 isRetracted "false" @default.
• W3092301589 magId "3092301589" @default.

• next