1. Towards a logic for inferring properties of event streams;Kauffman,2016
2. nfer–a notation and system for inferring event stream abstractions;Kauffman,2016
3. Inferring event stream abstractions;Kauffman;Form. Methods Syst. Des.,2018
4. System call logs with natural random faults: experimental design and application;Narayan,2017
5. Palisade: a framework for anomaly detection in embedded systems;Kauffman;J. Syst. Archit.,2021