Matches in SemOpenAlex for { <https://semopenalex.org/work/W3036683553> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W3036683553 abstract "We explore the application of graph database technology to spatio-temporal model checking of cooperating cyber-physical systems-of- systems such as vehicle platoons. We present a translation of spatio-temporal automata (STA) and the spatio-temporal logic STAL to semantically equivalent property graphs and graph queries respectively. We prove a sound reduction of the spatio-temporal verification problem to graph database query solving. The practicability and efficiency of this approach is evaluated by introducing NeoMC, a prototype implementation of our explicit model checking approach based on Neo4j. To evaluate NeoMC we consider case studies of verifying vehicle platooning models. Our evaluation demonstrates the effectiveness of our approach in terms of execution time and counterexample detection." @default.
- W3036683553 created "2020-06-25" @default.
- W3036683553 creator A5082190944 @default.
- W3036683553 creator A5084522176 @default.
- W3036683553 creator A5091101431 @default.
- W3036683553 date "2020-01-01" @default.
- W3036683553 modified "2023-10-16" @default.
- W3036683553 title "Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries" @default.
- W3036683553 cites W1564605495 @default.
- W3036683553 cites W1592285529 @default.
- W3036683553 cites W1601069755 @default.
- W3036683553 cites W182269909 @default.
- W3036683553 cites W1864649459 @default.
- W3036683553 cites W1874387408 @default.
- W3036683553 cites W1974775743 @default.
- W3036683553 cites W2052569240 @default.
- W3036683553 cites W2060408509 @default.
- W3036683553 cites W2086440639 @default.
- W3036683553 cites W2101189407 @default.
- W3036683553 cites W2101508170 @default.
- W3036683553 cites W2114507260 @default.
- W3036683553 cites W2163811819 @default.
- W3036683553 cites W2167467151 @default.
- W3036683553 cites W2234073770 @default.
- W3036683553 cites W233122475 @default.
- W3036683553 cites W2668736619 @default.
- W3036683553 cites W2743322462 @default.
- W3036683553 cites W2785192168 @default.
- W3036683553 cites W2795822186 @default.
- W3036683553 cites W2888483524 @default.
- W3036683553 cites W2912640545 @default.
- W3036683553 cites W2914206182 @default.
- W3036683553 cites W4243873698 @default.
- W3036683553 cites W4256369226 @default.
- W3036683553 cites W2963226893 @default.
- W3036683553 doi "https://doi.org/10.1007/978-3-030-50995-8_4" @default.
- W3036683553 hasPublicationYear "2020" @default.
- W3036683553 type Work @default.
- W3036683553 sameAs 3036683553 @default.
- W3036683553 citedByCount "0" @default.
- W3036683553 crossrefType "book-chapter" @default.
- W3036683553 hasAuthorship W3036683553A5082190944 @default.
- W3036683553 hasAuthorship W3036683553A5084522176 @default.
- W3036683553 hasAuthorship W3036683553A5091101431 @default.
- W3036683553 hasConcept C110251889 @default.
- W3036683553 hasConcept C111919701 @default.
- W3036683553 hasConcept C112505250 @default.
- W3036683553 hasConcept C118615104 @default.
- W3036683553 hasConcept C132525143 @default.
- W3036683553 hasConcept C162838799 @default.
- W3036683553 hasConcept C176225458 @default.
- W3036683553 hasConcept C179768478 @default.
- W3036683553 hasConcept C25016198 @default.
- W3036683553 hasConcept C33923547 @default.
- W3036683553 hasConcept C41008148 @default.
- W3036683553 hasConcept C80444323 @default.
- W3036683553 hasConceptScore W3036683553C110251889 @default.
- W3036683553 hasConceptScore W3036683553C111919701 @default.
- W3036683553 hasConceptScore W3036683553C112505250 @default.
- W3036683553 hasConceptScore W3036683553C118615104 @default.
- W3036683553 hasConceptScore W3036683553C132525143 @default.
- W3036683553 hasConceptScore W3036683553C162838799 @default.
- W3036683553 hasConceptScore W3036683553C176225458 @default.
- W3036683553 hasConceptScore W3036683553C179768478 @default.
- W3036683553 hasConceptScore W3036683553C25016198 @default.
- W3036683553 hasConceptScore W3036683553C33923547 @default.
- W3036683553 hasConceptScore W3036683553C41008148 @default.
- W3036683553 hasConceptScore W3036683553C80444323 @default.
- W3036683553 hasLocation W30366835531 @default.
- W3036683553 hasOpenAccess W3036683553 @default.
- W3036683553 hasPrimaryLocation W30366835531 @default.
- W3036683553 hasRelatedWork W11326594 @default.
- W3036683553 hasRelatedWork W14017695 @default.
- W3036683553 hasRelatedWork W14027142 @default.
- W3036683553 hasRelatedWork W14834933 @default.
- W3036683553 hasRelatedWork W1688939 @default.
- W3036683553 hasRelatedWork W3947704 @default.
- W3036683553 hasRelatedWork W4057178 @default.
- W3036683553 hasRelatedWork W5867707 @default.
- W3036683553 hasRelatedWork W8797685 @default.
- W3036683553 hasRelatedWork W9733037 @default.
- W3036683553 isParatext "false" @default.
- W3036683553 isRetracted "false" @default.
- W3036683553 magId "3036683553" @default.
- W3036683553 workType "book-chapter" @default.