Sean Kauffman
Cited by
Cited by
nfer – A Notation and System for Inferring Event Stream Abstractions
S Kauffman, K Havelund, R Joshi
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016
Inferring event stream abstractions
S Kauffman, K Havelund, R Joshi, S Fischmeister
Formal methods in system design 53 (1), 54-82, 2018
Palisade: A framework for anomaly detection in embedded systems
S Kauffman, M Dunne, G Gracioli, W Khan, N Benann, S Fischmeister
Journal of Systems Architecture 113, 101876, 2021
What can we monitor over unreliable channels?
S Kauffman, K Havelund, S Fischmeister
International Journal on Software Tools for Technology Transfer 23 (4), 579-600, 2021
Mining temporal intervals from real-time system traces
S Kauffman, S Fischmeister
2017 6th International Workshop on Software Mining (SoftwareMining), 1-8, 2017
Efficient program tracing and monitoring through power consumption-with a little help from the compiler
C Moreno, S Kauffman, S Fischmeister
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2016
Monitorability over unreliable channels
S Kauffman, K Havelund, S Fischmeister
International Conference on Runtime Verification, 256-272, 2019
Towards a logic for inferring properties of event streams
S Kauffman, R Joshi, K Havelund
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
A Python library for trace analysis
D Dams, K Havelund, S Kauffman
International Conference on Runtime Verification, 264-273, 2022
System call logs with natural random faults: Experimental design and application
A Narayan, S Kauffman, J Morgan, GM Tchamgoue, Y Joshi, C Hobbs, ...
International Workshop on Silicon Errors in Logic–System Effects (SELSE’17 …, 2017
Log analysis and system monitoring with nfer
S Kauffman
Science of Computer Programming 225, 102909, 2023
nfer – A Tool for Event Stream Abstraction
S Kauffman
Software Engineering and Formal Methods: 19th International Conference, SEFM …, 2021
Static transformation of power consumption for software attestation
S Kauffman, C Moreno, S Fischmeister
2016 IEEE 22nd International Conference on Embedded and Real-Time Computing …, 2016
The complexity of evaluating nfer
S Kauffman, M Zimmermann
Science of Computer Programming 231, 103012, 2024
Learning symbolic timed models from concrete timed data
S Dierl, FM Howar, S Kauffman, M Kristjansen, K Guldstrand Larsen, ...
NASA Formal Methods Symposium, 104-121, 2023
Runtime verification as documentation
D Dams, K Havelund, S Kauffman
International Symposium on Leveraging Applications of Formal Methods, 157-173, 2022
Event stream abstraction using nfer: demo abstract
S Kauffman, S Fischmeister
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical …, 2019
Monitoring Timed Properties (Revisited)
TM Grosen, S Kauffman, KG Larsen, M Zimmermann
International Conference on Formal Modeling and Analysis of Timed Systems, 43-62, 2022
Runtime monitoring for uncertain times
S Kauffman
University Of Waterloo, 2021
Context dependent data management and display
D Stephen, S Kauffman, M Landau
US Patent 10,417,685, 2019
The system can't perform the operation now. Try again later.
Articles 1–20