Matches in SemOpenAlex for { <https://semopenalex.org/work/W4378473413> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W4378473413 endingPage "105058" @default.
- W4378473413 startingPage "105058" @default.
- W4378473413 abstract "Event stream processing (ESP) is the application of a computation to a set of input sequences of arbitrary data objects, called “events”, in order to produce other sequences of data objects. In recent years, a large number of ESP systems have been developed; however, none of them is easily amenable to a formal verification of properties on their execution. In this paper, we show how stream processing pipelines built with an existing ESP library called BeepBeep 3 can be exported as a Kripke structure for the NuXmv model checker. This makes it possible to formally verify properties on these pipelines, and opens the way to the use of such pipelines directly within a model checker as an extension of its specification language." @default.
- W4378473413 created "2023-05-27" @default.
- W4378473413 creator A5022249773 @default.
- W4378473413 creator A5070453147 @default.
- W4378473413 date "2023-08-01" @default.
- W4378473413 modified "2023-10-16" @default.
- W4378473413 title "Formal verification for event stream processing: Model checking of BeepBeep stream processing pipelines" @default.
- W4378473413 cites W1587179761 @default.
- W4378473413 cites W1973026225 @default.
- W4378473413 cites W2001289891 @default.
- W4378473413 cites W2023036777 @default.
- W4378473413 cites W2039429010 @default.
- W4378473413 cites W2065086898 @default.
- W4378473413 cites W2087492381 @default.
- W4378473413 cites W2097948904 @default.
- W4378473413 cites W2121810937 @default.
- W4378473413 cites W2123160677 @default.
- W4378473413 cites W2151250735 @default.
- W4378473413 cites W2171480813 @default.
- W4378473413 cites W2279052052 @default.
- W4378473413 cites W2593244908 @default.
- W4378473413 cites W2899323951 @default.
- W4378473413 cites W2914528364 @default.
- W4378473413 cites W2957228350 @default.
- W4378473413 cites W4211181233 @default.
- W4378473413 doi "https://doi.org/10.1016/j.ic.2023.105058" @default.
- W4378473413 hasPublicationYear "2023" @default.
- W4378473413 type Work @default.
- W4378473413 citedByCount "0" @default.
- W4378473413 crossrefType "journal-article" @default.
- W4378473413 hasAuthorship W4378473413A5022249773 @default.
- W4378473413 hasAuthorship W4378473413A5070453147 @default.
- W4378473413 hasBestOaLocation W43784734131 @default.
- W4378473413 hasConcept C107027933 @default.
- W4378473413 hasConcept C110251889 @default.
- W4378473413 hasConcept C120314980 @default.
- W4378473413 hasConcept C121332964 @default.
- W4378473413 hasConcept C123606473 @default.
- W4378473413 hasConcept C127413603 @default.
- W4378473413 hasConcept C175309249 @default.
- W4378473413 hasConcept C177264268 @default.
- W4378473413 hasConcept C199360897 @default.
- W4378473413 hasConcept C2778029271 @default.
- W4378473413 hasConcept C2779662365 @default.
- W4378473413 hasConcept C41008148 @default.
- W4378473413 hasConcept C45374587 @default.
- W4378473413 hasConcept C62520636 @default.
- W4378473413 hasConcept C87717796 @default.
- W4378473413 hasConcept C98045186 @default.
- W4378473413 hasConceptScore W4378473413C107027933 @default.
- W4378473413 hasConceptScore W4378473413C110251889 @default.
- W4378473413 hasConceptScore W4378473413C120314980 @default.
- W4378473413 hasConceptScore W4378473413C121332964 @default.
- W4378473413 hasConceptScore W4378473413C123606473 @default.
- W4378473413 hasConceptScore W4378473413C127413603 @default.
- W4378473413 hasConceptScore W4378473413C175309249 @default.
- W4378473413 hasConceptScore W4378473413C177264268 @default.
- W4378473413 hasConceptScore W4378473413C199360897 @default.
- W4378473413 hasConceptScore W4378473413C2778029271 @default.
- W4378473413 hasConceptScore W4378473413C2779662365 @default.
- W4378473413 hasConceptScore W4378473413C41008148 @default.
- W4378473413 hasConceptScore W4378473413C45374587 @default.
- W4378473413 hasConceptScore W4378473413C62520636 @default.
- W4378473413 hasConceptScore W4378473413C87717796 @default.
- W4378473413 hasConceptScore W4378473413C98045186 @default.
- W4378473413 hasLocation W43784734131 @default.
- W4378473413 hasOpenAccess W4378473413 @default.
- W4378473413 hasPrimaryLocation W43784734131 @default.
- W4378473413 hasRelatedWork W2151898527 @default.
- W4378473413 hasRelatedWork W2169461572 @default.
- W4378473413 hasRelatedWork W2357545310 @default.
- W4378473413 hasRelatedWork W2375382787 @default.
- W4378473413 hasRelatedWork W2419489257 @default.
- W4378473413 hasRelatedWork W2620931916 @default.
- W4378473413 hasRelatedWork W2998594312 @default.
- W4378473413 hasRelatedWork W4241955046 @default.
- W4378473413 hasRelatedWork W4250918063 @default.
- W4378473413 hasRelatedWork W70655528 @default.
- W4378473413 hasVolume "293" @default.
- W4378473413 isParatext "false" @default.
- W4378473413 isRetracted "false" @default.
- W4378473413 workType "article" @default.