Sean Kauffman

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 21

Top Topics

Power Consumption

Abstraction Hierarchy

Top Venues

Sci. Comput. Program.

Publications

Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann
The Complexity of Data-Free Nfer. CoRR (2024)
Sean Kauffman, Carlos Moreno, Sebastian Fischmeister
Annotating Control-Flow Graphs for Formalized Test Coverage Criteria. CoRR (2024)
Sean Kauffman, Martin Zimmermann
The complexity of evaluating nfer. Sci. Comput. Program. 231 (2024)
Simon Dierl, Falk Maria Howar, Sean Kauffman, Martin Kristjansen, Kim Guldstrand Larsen, Florian Lorber, Malte Mauritz
Learning Symbolic Timed Models from Concrete Timed Data. NFM (2023)
Sean Kauffman
Log analysis and system monitoring with nfer. Sci. Comput. Program. 225 (2023)
Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann
Monitoring Timed Properties (Revisited). FORMATS (2022)
Dennis Dams, Klaus Havelund, Sean Kauffman
A Python Library for Trace Analysis. RV (2022)
Sean Kauffman, Martin Zimmermann
The Complexity of Evaluating nfer. CoRR (2022)
Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann
Monitoring Timed Properties (Revisited). CoRR (2022)
Sean Kauffman, Martin Zimmermann
The Complexity of Evaluating Nfer. TASE (2022)
Dennis Dams, Klaus Havelund, Sean Kauffman
Runtime Verification as Documentation. ISoLA (2) (2022)
Sean Kauffman
nfer - A Tool for Event Stream Abstraction. SEFM (2021)
Sean Kauffman, Murray Dunne, Giovani Gracioli, Waleed Khan, Nirmal Benann, Sebastian Fischmeister
Palisade: A framework for anomaly detection in embedded systems. J. Syst. Archit. 113 (2021)
Sean Kauffman, Klaus Havelund, Sebastian Fischmeister
What can we monitor over unreliable channels? Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Sean Kauffman, Sebastian Fischmeister
Event stream abstraction using nfer: demo abstract. ICCPS (2019)
Sean Kauffman, Klaus Havelund, Sebastian Fischmeister
Monitorability over Unreliable Channels. RV (2019)
Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister
Inferring event stream abstractions. Formal Methods Syst. Des. 53 (1) (2018)
Sean Kauffman, Carlos Moreno, Sebastian Fischmeister
Static Transformation of Power Consumption for Software Attestation. RTCSA (2016)
Sean Kauffman, Klaus Havelund, Rajeev Joshi
nfer - A Notation and System for Inferring Event Stream Abstractions. RV (2016)
Carlos Moreno, Sean Kauffman, Sebastian Fischmeister
Efficient program tracing and monitoring through power consumption - with a little help from the compiler. DATE (2016)
Sean Kauffman, Rajeev Joshi, Klaus Havelund
Towards a Logic for Inferring Properties of Event Streams. ISoLA (2) (2016)