FRINK Linked Data Fragments server

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

• W2964347059 endingPage "296" @default.
• W2964347059 startingPage "283" @default.
• W2964347059 abstract "Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been successfully deployed in practice, adopted in industrial standards, and have spawned a rich body of research in academia, focused primarily on static analysis. The present research bridges the gap between the theory and practice of artifact verification with VERIFAS, the first implementation of practical significance of an artifact verifier with full support for unbounded data. VERIFAS verifies within seconds linear-time temporal properties over real-world and synthetic workflows of complexity in the range recommended by software engineering practice. Compared to our previous implementation based on the widely-used Spin model checker, VERIFAS not only supports a model with richer data manipulations but also outperforms it by over an order of magnitude. VERIFAS' good performance is due to a novel symbolic representation approach and a family of specialized optimizations." @default.
• W2964347059 created "2019-07-30" @default.
• W2964347059 creator A5038619283 @default.
• W2964347059 creator A5049457012 @default.
• W2964347059 creator A5074134616 @default.
• W2964347059 date "2017-11-01" @default.
• W2964347059 modified "2023-09-27" @default.
• W2964347059 title "VERIFAS" @default.
• W2964347059 cites W1570743953 @default.
• W2964347059 cites W168941263 @default.
• W2964347059 cites W1976773489 @default.
• W2964347059 cites W1992428614 @default.
• W2964347059 cites W2001799694 @default.
• W2964347059 cites W2004188181 @default.
• W2964347059 cites W2014177337 @default.
• W2964347059 cites W2014267653 @default.
• W2964347059 cites W2015384282 @default.
• W2964347059 cites W2023808162 @default.
• W2964347059 cites W2026088163 @default.
• W2964347059 cites W2062569786 @default.
• W2964347059 cites W2075536383 @default.
• W2964347059 cites W2076996435 @default.
• W2964347059 cites W2086219721 @default.
• W2964347059 cites W2131064738 @default.
• W2964347059 cites W2136393500 @default.
• W2964347059 cites W2139725043 @default.
• W2964347059 cites W2151164148 @default.
• W2964347059 cites W2151665032 @default.
• W2964347059 cites W2155631901 @default.
• W2964347059 cites W2156825078 @default.
• W2964347059 cites W2163133050 @default.
• W2964347059 cites W2293867301 @default.
• W2964347059 cites W2420586850 @default.
• W2964347059 cites W2434820933 @default.
• W2964347059 cites W3102791501 @default.
• W2964347059 doi "https://doi.org/10.14778/3157794.3157798" @default.
• W2964347059 hasPublicationYear "2017" @default.
• W2964347059 type Work @default.
• W2964347059 sameAs 2964347059 @default.
• W2964347059 citedByCount "26" @default.
• W2964347059 countsByYear W29643470592018 @default.
• W2964347059 countsByYear W29643470592019 @default.
• W2964347059 countsByYear W29643470592020 @default.
• W2964347059 countsByYear W29643470592021 @default.
• W2964347059 countsByYear W29643470592022 @default.
• W2964347059 crossrefType "journal-article" @default.
• W2964347059 hasAuthorship W2964347059A5038619283 @default.
• W2964347059 hasAuthorship W2964347059A5049457012 @default.
• W2964347059 hasAuthorship W2964347059A5074134616 @default.
• W2964347059 hasConcept C115903868 @default.
• W2964347059 hasConcept C154945302 @default.
• W2964347059 hasConcept C159985019 @default.
• W2964347059 hasConcept C171250308 @default.
• W2964347059 hasConcept C177212765 @default.
• W2964347059 hasConcept C17744445 @default.
• W2964347059 hasConcept C192562407 @default.
• W2964347059 hasConcept C199360897 @default.
• W2964347059 hasConcept C199539241 @default.
• W2964347059 hasConcept C204323151 @default.
• W2964347059 hasConcept C2776359362 @default.
• W2964347059 hasConcept C2777904410 @default.
• W2964347059 hasConcept C2779010991 @default.
• W2964347059 hasConcept C41008148 @default.
• W2964347059 hasConcept C70388272 @default.
• W2964347059 hasConcept C77088390 @default.
• W2964347059 hasConcept C80444323 @default.
• W2964347059 hasConcept C94625758 @default.
• W2964347059 hasConceptScore W2964347059C115903868 @default.
• W2964347059 hasConceptScore W2964347059C154945302 @default.
• W2964347059 hasConceptScore W2964347059C159985019 @default.
• W2964347059 hasConceptScore W2964347059C171250308 @default.
• W2964347059 hasConceptScore W2964347059C177212765 @default.
• W2964347059 hasConceptScore W2964347059C17744445 @default.
• W2964347059 hasConceptScore W2964347059C192562407 @default.
• W2964347059 hasConceptScore W2964347059C199360897 @default.
• W2964347059 hasConceptScore W2964347059C199539241 @default.
• W2964347059 hasConceptScore W2964347059C204323151 @default.
• W2964347059 hasConceptScore W2964347059C2776359362 @default.
• W2964347059 hasConceptScore W2964347059C2777904410 @default.
• W2964347059 hasConceptScore W2964347059C2779010991 @default.
• W2964347059 hasConceptScore W2964347059C41008148 @default.
• W2964347059 hasConceptScore W2964347059C70388272 @default.
• W2964347059 hasConceptScore W2964347059C77088390 @default.
• W2964347059 hasConceptScore W2964347059C80444323 @default.
• W2964347059 hasConceptScore W2964347059C94625758 @default.
• W2964347059 hasIssue "3" @default.
• W2964347059 hasLocation W29643470591 @default.
• W2964347059 hasOpenAccess W2964347059 @default.
• W2964347059 hasPrimaryLocation W29643470591 @default.
• W2964347059 hasRelatedWork W2082129809 @default.
• W2964347059 hasRelatedWork W2142379111 @default.
• W2964347059 hasRelatedWork W2149815932 @default.
• W2964347059 hasRelatedWork W2371172322 @default.
• W2964347059 hasRelatedWork W3029578982 @default.
• W2964347059 hasRelatedWork W3038478272 @default.
• W2964347059 hasRelatedWork W4243252198 @default.
• W2964347059 hasRelatedWork W4289655826 @default.
• W2964347059 hasRelatedWork W768804450 @default.

• next