Publications

This page collects papers, posters, and case studies related to SyMon.

Paper on SyMon (features / core approach)

• Masaki Waga, Étienne André, Ichiro Hasuo. Symbolic Monitoring Against Specifications Parametric in Time and Data. In Computer Aided Verification (CAV 2019), Lecture Notes in Computer Science (LNCS), vol. 11561, pp. 520-539, Springer, Cham, 2019. Springer arXiv version

Presentations / Posters on SyMon

• Masaki Waga. SyMon − Symbolic Monitor for Parametric Spec. Poster presentation at RV 2025, Graz, Austria, 18 October 2025. Poster PDF

Case Study

• Shoma Ansai, Masaki Waga. A Case Study on Runtime Verification of a Continuous Deployment Process. arXiv preprint, 2026. Presented at the Runtime Verification Case-Studies Workshop 2025 (RVCase'25), with no formal proceedings. arXiv