COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.
Wolfgang AhrendtCyrille ArthoChristian ColomboYliès FalconeSrdan KrsticMartin LeuckerFlorian LorberJoão M. LourençoLeonardo MarianiCésar SánchezGerardo SchneiderVolker StolzPublished in: CoRR (2019)