| 2025 | CONCUR | Time for Timed Monitorability. | Thomas Mller Grosen, Sean Kauffman, Kim G. Larsen, Martin Zimmermann |
| 2024 | ICST | Annotating Control-Flow Graphs for Formalized Test Coverage Criteria. | Sean Kauffman, Carlos Moreno, Sebastian Fischmeister |
| 2024 | RV | The Complexity of Data-Free Nfer. | Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann |
| 2022 | ISoLA | Runtime Verification as Documentation. | Dennis Dams, Klaus Havelund, Sean Kauffman |
| 2022 | RV | A Python Library for Trace Analysis. | Dennis Dams, Klaus Havelund, Sean Kauffman |
| 2022 | TASE | The Complexity of Evaluating Nfer. | Sean Kauffman, Martin Zimmermann |
| 2021 | SEFM | nfer - A Tool for Event Stream Abstraction. | Sean Kauffman |
| 2019 | RV | Monitorability over Unreliable Channels. | Sean Kauffman, Klaus Havelund, Sebastian Fischmeister |
| 2016 | DATE | Efficient program tracing and monitoring through power consumption - with a little help from the compiler. | Carlos Moreno, Sean Kauffman, Sebastian Fischmeister |
| 2016 | ISoLA | Towards a Logic for Inferring Properties of Event Streams. | Sean Kauffman, Rajeev Joshi, Klaus Havelund |
| 2016 | RTCSA | Static Transformation of Power Consumption for Software Attestation. | Sean Kauffman, Carlos Moreno, Sebastian Fischmeister |
| 2016 | RV | nfer - A Notation and System for Inferring Event Stream Abstractions. | Sean Kauffman, Klaus Havelund, Rajeev Joshi |