Time series processing-based malicious activity detection in SCADA systems. - Michael Zaslavski; Meir Kalech (Internet Things, 2024)

Box-Reachability in Vector Addition Systems. - Shaull Almagor; Itay Hasson; Michal Pilipczuk; Michael Zaslavski (CoRR, 2025)