29:43[ICFP'23] Trustworthy Runtime Verification via Bisimulation (Experience Report)ACM SIGPLAN146 viewsView & Download
50:28Foundations on runtime verification (Martin Leucker, University of Luebeck, Germany)Yliès Falcone850 viewsView & Download
0:54AI Execution Control — Runtime Verification Before AI Execution | CREAIMCREAIM AI29 viewsView & Download
18:49OSDI '20 - Aragog: Scalable Runtime Verification of Distributed MiddleboxesUSENIX302 viewsView & Download
46:57Runtime Verification with Patrick MacKay and Everett HildenbrandtChampaign Blockchain118 viewsView & Download
11:22Session 4: Runtime Verification on FPGAs with LTLf SpecificationsFMCAD 2020134 viewsView & Download
19:11Runtime verification monitors for real-time - Nam Cao (Linutronix)Linux Plumbers Conference208 viewsView & Download
39:20Enforce Data Residency Across Cloud Regions Using a Zero Trust Kubernetes FrameworkMirantis33 viewsView & Download
1:46:19An Intro to Runtime Verification and Monitorability (Adrian Francalenza, Univ. of Malta, Malta)Yliès Falcone1.0K viewsView & Download
1:19:44Industrial Experiences with Runtime Verification (Christian Colombo, Univ. of Malta, Malta)Yliès Falcone161 viewsView & Download
9:06Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-ILaboratory for Temporal Logic69 viewsView & Download
27:02TruffleCon 2020 - Everett Hildenbrandt - CTO - Runtime VerificationTruffle Suite464 viewsView & Download
47:17Proofcast by rv 105 - Learn Formal Verification in 45 minutes with KontrolRuntime Verification4.5K viewsView & Download
16:49Runtime Verification provides software testing and verification servicesgaper_io21 viewsView & Download