activity
20182026
most citedImpact of Log Parsing on Deep Learning-Based Anomaly Detection

43 citations · 87 across the 9 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.SE2018

A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)

César Sánchez, Gerardo Schneider, Wolfgang Ahrendt +13

Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime…