_id,doi,title
12407,10.15479/AT:ISTA:12407,VAMOS: Middleware for Best-Effort Third-Party Monitoring
12856,10.1007/978-3-031-30826-0_15,Vamos: Middleware for best-effort third-party monitoring
9281,10.48550/arXiv.2103.11389,Formal verification of Zagier's one-sentence proof
10108,10.1007/978-3-030-88494-9_12,Differential monitoring
10153,10.1145/3485504,Transitioning from structural to nominal code with efficient gradual typing
9946,10.15479/AT:ISTA:9946,Differential monitoring