Matches in SemOpenAlex for { <https://semopenalex.org/work/W3205019307> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W3205019307 abstract "Twenty years have passed since the first workshop on runtime verification—the area has grown and evolved with hundreds of papers published and a sizeable number of mature tools developed. In a special occasion like this it is good to look back, but it is also good to look forward to the future. In this paper, we outline a very brief history of runtime verification, and propose a way of passing the knowledge down to future generations of academics and industry practitioners in the form of a roadmap for teaching runtime verification. The proposal, based on our experience, not only equips students with the fundamental theory underpinning runtime verification, but also ensures they have the required skills to engineer it into industrial systems. Our hope is that this would increase uptake and eventually give rise to the establishment of industry-grade tools." @default.
- W3205019307 created "2021-10-25" @default.
- W3205019307 creator A5051084250 @default.
- W3205019307 creator A5073668681 @default.
- W3205019307 creator A5083832418 @default.
- W3205019307 date "2021-01-01" @default.
- W3205019307 modified "2023-09-26" @default.
- W3205019307 title "Runtime Verification: Passing on the Baton" @default.
- W3205019307 cites W1506559138 @default.
- W3205019307 cites W1561114929 @default.
- W3205019307 cites W1577407625 @default.
- W3205019307 cites W1734269280 @default.
- W3205019307 cites W1740522204 @default.
- W3205019307 cites W1757929668 @default.
- W3205019307 cites W1790612874 @default.
- W3205019307 cites W1825341937 @default.
- W3205019307 cites W2023081687 @default.
- W3205019307 cites W2027769154 @default.
- W3205019307 cites W2029138738 @default.
- W3205019307 cites W2043996829 @default.
- W3205019307 cites W2057825397 @default.
- W3205019307 cites W2115051564 @default.
- W3205019307 cites W2115965729 @default.
- W3205019307 cites W2116306829 @default.
- W3205019307 cites W2119965246 @default.
- W3205019307 cites W2132281483 @default.
- W3205019307 cites W2154591112 @default.
- W3205019307 cites W2156429182 @default.
- W3205019307 cites W2164538023 @default.
- W3205019307 cites W2165414132 @default.
- W3205019307 cites W2165418237 @default.
- W3205019307 cites W2278421482 @default.
- W3205019307 cites W2440728268 @default.
- W3205019307 cites W2476167380 @default.
- W3205019307 cites W2517913729 @default.
- W3205019307 cites W2603022255 @default.
- W3205019307 cites W2604673637 @default.
- W3205019307 cites W2604968291 @default.
- W3205019307 cites W2747550562 @default.
- W3205019307 cites W2787211898 @default.
- W3205019307 cites W2809932340 @default.
- W3205019307 cites W2884582738 @default.
- W3205019307 cites W2885490371 @default.
- W3205019307 cites W2899328957 @default.
- W3205019307 cites W2899532715 @default.
- W3205019307 cites W2899818050 @default.
- W3205019307 cites W2900349237 @default.
- W3205019307 cites W2964335063 @default.
- W3205019307 cites W2967277443 @default.
- W3205019307 cites W2977364565 @default.
- W3205019307 cites W3104936023 @default.
- W3205019307 cites W3105053049 @default.
- W3205019307 cites W4206398538 @default.
- W3205019307 cites W64407196 @default.
- W3205019307 cites W88583664 @default.
- W3205019307 doi "https://doi.org/10.1007/978-3-030-87348-6_5" @default.
- W3205019307 hasPublicationYear "2021" @default.
- W3205019307 type Work @default.
- W3205019307 sameAs 3205019307 @default.
- W3205019307 citedByCount "0" @default.
- W3205019307 crossrefType "book-chapter" @default.
- W3205019307 hasAuthorship W3205019307A5051084250 @default.
- W3205019307 hasAuthorship W3205019307A5073668681 @default.
- W3205019307 hasAuthorship W3205019307A5083832418 @default.
- W3205019307 hasConcept C111498074 @default.
- W3205019307 hasConcept C115903868 @default.
- W3205019307 hasConcept C127413603 @default.
- W3205019307 hasConcept C147176958 @default.
- W3205019307 hasConcept C199360897 @default.
- W3205019307 hasConcept C202973057 @default.
- W3205019307 hasConcept C2780871342 @default.
- W3205019307 hasConcept C41008148 @default.
- W3205019307 hasConceptScore W3205019307C111498074 @default.
- W3205019307 hasConceptScore W3205019307C115903868 @default.
- W3205019307 hasConceptScore W3205019307C127413603 @default.
- W3205019307 hasConceptScore W3205019307C147176958 @default.
- W3205019307 hasConceptScore W3205019307C199360897 @default.
- W3205019307 hasConceptScore W3205019307C202973057 @default.
- W3205019307 hasConceptScore W3205019307C2780871342 @default.
- W3205019307 hasConceptScore W3205019307C41008148 @default.
- W3205019307 hasLocation W32050193071 @default.
- W3205019307 hasOpenAccess W3205019307 @default.
- W3205019307 hasPrimaryLocation W32050193071 @default.
- W3205019307 hasRelatedWork W10371176 @default.
- W3205019307 hasRelatedWork W10718265 @default.
- W3205019307 hasRelatedWork W11310550 @default.
- W3205019307 hasRelatedWork W2966141 @default.
- W3205019307 hasRelatedWork W3453007 @default.
- W3205019307 hasRelatedWork W4274063 @default.
- W3205019307 hasRelatedWork W598789 @default.
- W3205019307 hasRelatedWork W6618575 @default.
- W3205019307 hasRelatedWork W7039897 @default.
- W3205019307 hasRelatedWork W9942305 @default.
- W3205019307 isParatext "false" @default.
- W3205019307 isRetracted "false" @default.
- W3205019307 magId "3205019307" @default.
- W3205019307 workType "book-chapter" @default.