_id,doi,title
15035,10.5281/ZENODO.8191723,Monitoring hyperproperties with prefix transducers
14076,10.1007/978-3-031-44267-4_9,Monitoring hyperproperties with prefix transducers
12407,10.15479/AT:ISTA:12407,VAMOS: Middleware for Best-Effort Third-Party Monitoring
12854,10.1007/978-3-031-30820-8_32,Bubaak: Runtime monitoring of program verifiers
12856,10.1007/978-3-031-30826-0_15,Vamos: Middleware for best-effort third-party monitoring