FRINK Linked Data Fragments server

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

• W1647152385 abstract "We revisit our case study on the NASA's Voyager space mission to automatically discover its behaviour by means of model transformation and automata learning. We investigate the conformance of three structurally different types of specification of the case study: (1) a formal specification given in ASSL, (2) a derived implementation in Java, and (3) two behavioral models, one derived from the ASSL specification and one learned from the Java implementation. This way we show that Behavioural Mining, that extracts directly analyzable behavioural models from other artifacts (specifications or code) is a practicable and very simple way to obtain a process-oriented description of third-party systems. As the learning technique can be tailored to different abstraction levels according what behavioural primitives we decide to observe, we show and discuss different alternative learned models. This process oriented description is directly amenable to formal verification, as we show here by means of model checking." @default.
• W1647152385 created "2016-06-24" @default.
• W1647152385 creator A5037058130 @default.
• W1647152385 creator A5070470420 @default.
• W1647152385 creator A5074727685 @default.
• W1647152385 date "2013-01-01" @default.
• W1647152385 modified "2023-09-23" @default.
• W1647152385 title "Simplifying Translation Validation via Model Extrapolation" @default.
• W1647152385 cites W1481109946 @default.
• W1647152385 cites W1493899432 @default.
• W1647152385 cites W1493916325 @default.
• W1647152385 cites W1529010373 @default.
• W1647152385 cites W1577972941 @default.
• W1647152385 cites W1802580057 @default.
• W1647152385 cites W1835164937 @default.
• W1647152385 cites W186035943 @default.
• W1647152385 cites W1989445634 @default.
• W1647152385 cites W2014087257 @default.
• W1647152385 cites W2080001594 @default.
• W1647152385 cites W2092622056 @default.
• W1647152385 cites W2096848858 @default.
• W1647152385 cites W2112561088 @default.
• W1647152385 cites W2114488280 @default.
• W1647152385 cites W2133385231 @default.
• W1647152385 cites W2139027220 @default.
• W1647152385 cites W2140606869 @default.
• W1647152385 cites W2146766856 @default.
• W1647152385 cites W2163086589 @default.
• W1647152385 cites W2166230870 @default.
• W1647152385 cites W2291420014 @default.
• W1647152385 cites W78076847 @default.
• W1647152385 doi "https://doi.org/10.3233/jid-2013-0022" @default.
• W1647152385 hasPublicationYear "2013" @default.
• W1647152385 type Work @default.
• W1647152385 sameAs 1647152385 @default.
• W1647152385 citedByCount "4" @default.
• W1647152385 countsByYear W16471523852013 @default.
• W1647152385 countsByYear W16471523852018 @default.
• W1647152385 countsByYear W16471523852021 @default.
• W1647152385 crossrefType "journal-article" @default.
• W1647152385 hasAuthorship W1647152385A5037058130 @default.
• W1647152385 hasAuthorship W1647152385A5070470420 @default.
• W1647152385 hasAuthorship W1647152385A5074727685 @default.
• W1647152385 hasConcept C104317684 @default.
• W1647152385 hasConcept C105580179 @default.
• W1647152385 hasConcept C110251889 @default.
• W1647152385 hasConcept C111472728 @default.
• W1647152385 hasConcept C111498074 @default.
• W1647152385 hasConcept C112505250 @default.
• W1647152385 hasConcept C115903868 @default.
• W1647152385 hasConcept C116253237 @default.
• W1647152385 hasConcept C124304363 @default.
• W1647152385 hasConcept C138885662 @default.
• W1647152385 hasConcept C149364088 @default.
• W1647152385 hasConcept C154945302 @default.
• W1647152385 hasConcept C177264268 @default.
• W1647152385 hasConcept C185592680 @default.
• W1647152385 hasConcept C199360897 @default.
• W1647152385 hasConcept C2776760102 @default.
• W1647152385 hasConcept C41008148 @default.
• W1647152385 hasConcept C548217200 @default.
• W1647152385 hasConcept C55493867 @default.
• W1647152385 hasConcept C75606506 @default.
• W1647152385 hasConcept C80444323 @default.
• W1647152385 hasConcept C98045186 @default.
• W1647152385 hasConceptScore W1647152385C104317684 @default.
• W1647152385 hasConceptScore W1647152385C105580179 @default.
• W1647152385 hasConceptScore W1647152385C110251889 @default.
• W1647152385 hasConceptScore W1647152385C111472728 @default.
• W1647152385 hasConceptScore W1647152385C111498074 @default.
• W1647152385 hasConceptScore W1647152385C112505250 @default.
• W1647152385 hasConceptScore W1647152385C115903868 @default.
• W1647152385 hasConceptScore W1647152385C116253237 @default.
• W1647152385 hasConceptScore W1647152385C124304363 @default.
• W1647152385 hasConceptScore W1647152385C138885662 @default.
• W1647152385 hasConceptScore W1647152385C149364088 @default.
• W1647152385 hasConceptScore W1647152385C154945302 @default.
• W1647152385 hasConceptScore W1647152385C177264268 @default.
• W1647152385 hasConceptScore W1647152385C185592680 @default.
• W1647152385 hasConceptScore W1647152385C199360897 @default.
• W1647152385 hasConceptScore W1647152385C2776760102 @default.
• W1647152385 hasConceptScore W1647152385C41008148 @default.
• W1647152385 hasConceptScore W1647152385C548217200 @default.
• W1647152385 hasConceptScore W1647152385C55493867 @default.
• W1647152385 hasConceptScore W1647152385C75606506 @default.
• W1647152385 hasConceptScore W1647152385C80444323 @default.
• W1647152385 hasConceptScore W1647152385C98045186 @default.
• W1647152385 hasLocation W16471523851 @default.
• W1647152385 hasOpenAccess W1647152385 @default.
• W1647152385 hasPrimaryLocation W16471523851 @default.
• W1647152385 hasRelatedWork W129279706 @default.
• W1647152385 hasRelatedWork W1502300593 @default.
• W1647152385 hasRelatedWork W1580066367 @default.
• W1647152385 hasRelatedWork W1902285533 @default.
• W1647152385 hasRelatedWork W1950355173 @default.
• W1647152385 hasRelatedWork W1960279208 @default.
• W1647152385 hasRelatedWork W1967812359 @default.
• W1647152385 hasRelatedWork W2050950347 @default.
• W1647152385 hasRelatedWork W2116379961 @default.
• W1647152385 hasRelatedWork W2124789887 @default.

• next