Andreas Metzger, Christian Reinartz, Klaus Pohl. Incremental Verification of Complex Event Processing Applications for System Monitoring. In Tomás Bures, Lefteris Angelis, editors, 44th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2018, Prague, Czech Republic, August 29-31, 2018. pages 293-297, IEEE Computer Society, 2018. [doi]