| 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 | 25 | 2016 |
| Inferring event stream abstractions S Kauffman, K Havelund, R Joshi, S Fischmeister Formal methods in system design 53 (1), 54-82, 2018 | 17 | 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 | 15 | 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 | 9 | 2021 |
| Mining temporal intervals from real-time system traces S Kauffman, S Fischmeister 2017 6th International Workshop on Software Mining (SoftwareMining), 1-8, 2017 | 9 | 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 | 9 | 2016 |
| Monitorability over unreliable channels S Kauffman, K Havelund, S Fischmeister International Conference on Runtime Verification, 256-272, 2019 | 7 | 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 | 7 | 2016 |
| A Python library for trace analysis D Dams, K Havelund, S Kauffman International Conference on Runtime Verification, 264-273, 2022 | 5 | 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 | 5 | 2017 |
| Log analysis and system monitoring with nfer S Kauffman Science of Computer Programming 225, 102909, 2023 | 4 | 2023 |
| nfer – A Tool for Event Stream Abstraction S Kauffman Software Engineering and Formal Methods: 19th International Conference, SEFM …, 2021 | 4 | 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 | 3 | 2016 |
| The complexity of evaluating nfer S Kauffman, M Zimmermann Science of Computer Programming 231, 103012, 2024 | 2 | 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 | 2 | 2023 |
| Runtime verification as documentation D Dams, K Havelund, S Kauffman International Symposium on Leveraging Applications of Formal Methods, 157-173, 2022 | 2 | 2022 |
| Event stream abstraction using nfer: demo abstract S Kauffman, S Fischmeister Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical …, 2019 | 2 | 2019 |
| Runtime monitoring for uncertain times S Kauffman University Of Waterloo, 2021 | 1 | 2021 |
| 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 | | 2022 |
| Context dependent data management and display D Stephen, S Kauffman, M Landau US Patent 10,417,685, 2019 | | 2019 |
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryEmail verificata su jpl.nasa.gov
