Sean Kauffman

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