FRINK Linked Data Fragments server

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

• W2809618173 abstract "This article introduces the extended versions of selected papers from the refereed proceedings of the 16th International Conference on Runtime Verification (RV 2016) held in Madrid, Spain, in September 2016. Runtime verification encompasses all aspects of monitoring and analysis of hardware, software, and system executions in general. Runtime verification techniques are lightweight dynamic techniques to assess and enforce correctness, reliability, and robustness during system execution. These techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification (at the price of incomplete coverage)." @default.
• W2809618173 created "2018-06-29" @default.
• W2809618173 creator A5015623381 @default.
• W2809618173 creator A5037726232 @default.
• W2809618173 date "2018-06-21" @default.
• W2809618173 modified "2023-09-25" @default.
• W2809618173 title "Introduction to the special issue on runtime verification" @default.
• W2809618173 cites W1584489325 @default.
• W2809618173 cites W2068935225 @default.
• W2809618173 cites W2101623441 @default.
• W2809618173 cites W2130605344 @default.
• W2809618173 cites W2160767434 @default.
• W2809618173 cites W2754637624 @default.
• W2809618173 cites W2766982626 @default.
• W2809618173 cites W2785700716 @default.
• W2809618173 cites W2785852717 @default.
• W2809618173 cites W2785934803 @default.
• W2809618173 cites W2786550303 @default.
• W2809618173 cites W2786819761 @default.
• W2809618173 cites W2787211898 @default.
• W2809618173 cites W2791546773 @default.
• W2809618173 cites W2795231670 @default.
• W2809618173 cites W2901540136 @default.
• W2809618173 cites W4206398538 @default.
• W2809618173 cites W4230569261 @default.
• W2809618173 cites W4236606692 @default.
• W2809618173 cites W4237398903 @default.
• W2809618173 doi "https://doi.org/10.1007/s10703-018-0320-4" @default.
• W2809618173 hasPublicationYear "2018" @default.
• W2809618173 type Work @default.
• W2809618173 sameAs 2809618173 @default.
• W2809618173 citedByCount "1" @default.
• W2809618173 countsByYear W28096181732018 @default.
• W2809618173 crossrefType "journal-article" @default.
• W2809618173 hasAuthorship W2809618173A5015623381 @default.
• W2809618173 hasAuthorship W2809618173A5037726232 @default.
• W2809618173 hasBestOaLocation W28096181731 @default.
• W2809618173 hasConcept C104317684 @default.
• W2809618173 hasConcept C110251889 @default.
• W2809618173 hasConcept C111498074 @default.
• W2809618173 hasConcept C115903868 @default.
• W2809618173 hasConcept C142284323 @default.
• W2809618173 hasConcept C149091818 @default.
• W2809618173 hasConcept C149635348 @default.
• W2809618173 hasConcept C185592680 @default.
• W2809618173 hasConcept C186846655 @default.
• W2809618173 hasConcept C187250869 @default.
• W2809618173 hasConcept C199360897 @default.
• W2809618173 hasConcept C202973057 @default.
• W2809618173 hasConcept C2777904410 @default.
• W2809618173 hasConcept C33054407 @default.
• W2809618173 hasConcept C3406870 @default.
• W2809618173 hasConcept C41008148 @default.
• W2809618173 hasConcept C55439883 @default.
• W2809618173 hasConcept C55493867 @default.
• W2809618173 hasConcept C62460635 @default.
• W2809618173 hasConcept C63479239 @default.
• W2809618173 hasConcept C75606506 @default.
• W2809618173 hasConceptScore W2809618173C104317684 @default.
• W2809618173 hasConceptScore W2809618173C110251889 @default.
• W2809618173 hasConceptScore W2809618173C111498074 @default.
• W2809618173 hasConceptScore W2809618173C115903868 @default.
• W2809618173 hasConceptScore W2809618173C142284323 @default.
• W2809618173 hasConceptScore W2809618173C149091818 @default.
• W2809618173 hasConceptScore W2809618173C149635348 @default.
• W2809618173 hasConceptScore W2809618173C185592680 @default.
• W2809618173 hasConceptScore W2809618173C186846655 @default.
• W2809618173 hasConceptScore W2809618173C187250869 @default.
• W2809618173 hasConceptScore W2809618173C199360897 @default.
• W2809618173 hasConceptScore W2809618173C202973057 @default.
• W2809618173 hasConceptScore W2809618173C2777904410 @default.
• W2809618173 hasConceptScore W2809618173C33054407 @default.
• W2809618173 hasConceptScore W2809618173C3406870 @default.
• W2809618173 hasConceptScore W2809618173C41008148 @default.
• W2809618173 hasConceptScore W2809618173C55439883 @default.
• W2809618173 hasConceptScore W2809618173C55493867 @default.
• W2809618173 hasConceptScore W2809618173C62460635 @default.
• W2809618173 hasConceptScore W2809618173C63479239 @default.
• W2809618173 hasConceptScore W2809618173C75606506 @default.
• W2809618173 hasFunder F4320320366 @default.
• W2809618173 hasLocation W28096181731 @default.
• W2809618173 hasOpenAccess W2809618173 @default.
• W2809618173 hasPrimaryLocation W28096181731 @default.
• W2809618173 hasRelatedWork W1507699160 @default.
• W2809618173 hasRelatedWork W1536174448 @default.
• W2809618173 hasRelatedWork W1556428868 @default.
• W2809618173 hasRelatedWork W1591453689 @default.
• W2809618173 hasRelatedWork W1603216416 @default.
• W2809618173 hasRelatedWork W1945267015 @default.
• W2809618173 hasRelatedWork W2073685962 @default.
• W2809618173 hasRelatedWork W2115142504 @default.
• W2809618173 hasRelatedWork W2166007657 @default.
• W2809618173 hasRelatedWork W2389907042 @default.
• W2809618173 hasRelatedWork W2497162265 @default.
• W2809618173 hasRelatedWork W2528549777 @default.
• W2809618173 hasRelatedWork W2549863208 @default.
• W2809618173 hasRelatedWork W2737007303 @default.
• W2809618173 hasRelatedWork W2912054625 @default.
• W2809618173 hasRelatedWork W2925863576 @default.
• W2809618173 hasRelatedWork W2963377607 @default.

• next