197 | -- | 225 | Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida. Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python |
226 | -- | 261 | Adrian Francalanza, Aldrin Seychell. Synthesising correct concurrent runtime monitors |
262 | -- | 285 | David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu. Monitoring of temporal first-order properties with aggregations |
286 | -- | 316 | Andreas Bauer 0002, Jan-Christoph Küster, Gil Vegliach. The ins and outs of first-order runtime verification |
317 | -- | 348 | Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister. Runtime verification with minimal intrusion through parallelism |