Sean Kauffman

According to our database, Sean Kauffman authored at least 21 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

The complexity of evaluating nfer.

Sean Kauffman, Martin Zimmermann

Sci. Comput. Program., January, 2024

The Complexity of Data-Free Nfer.

Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann

Proceedings of the Runtime Verification - 24th International Conference, 2024

Annotating Control-Flow Graphs for Formalized Test Coverage Criteria.

Sean Kauffman, Carlos Moreno, Sebastian Fischmeister

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024

2023

Log analysis and system monitoring with nfer.

Sean Kauffman

Sci. Comput. Program., 2023

Learning Symbolic Timed Models from Concrete Timed Data.

Simon Dierl, Falk Maria Howar, Sean Kauffman, Martin Kristjansen, Kim Guldstrand Larsen, Florian Lorber, Malte Mauritz

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

A Python Library for Trace Analysis.

Dennis Dams, Klaus Havelund, Sean Kauffman

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Runtime Verification as Documentation.

Dennis Dams, Klaus Havelund, Sean Kauffman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Monitoring Timed Properties (Revisited).

Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

2021

Runtime Monitoring for Uncertain Times.

Sean Kauffman

PhD thesis, 2021

What can we monitor over unreliable channels?

Sean Kauffman, Klaus Havelund, Sebastian Fischmeister

Int. J. Softw. Tools Technol. Transf., 2021

Palisade: A framework for anomaly detection in embedded systems.

Sean Kauffman, Murray Dunne, Giovani Gracioli, Waleed Khan, Nirmal Benann, Sebastian Fischmeister

J. Syst. Archit., 2021

nfer - A Tool for Event Stream Abstraction.

Sean Kauffman

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

2020

Palisade: A Framework for Anomaly Detection in Embedded Systems Dataset.

Sean Kauffman, Murray Dunne, Giovani Gracioli, Waleed Khan, Nirmal Benann, Sebastian Fischmeister

Dataset, June, 2020

2019

The Effects of Toolchain Configuration on the WCET of SCADE Generated Software: Dataset.

Sean Kauffman, Sebastian Fischmeister

Dataset, August, 2019

Monitorability over Unreliable Channels.

Sean Kauffman, Klaus Havelund, Sebastian Fischmeister

Proceedings of the Runtime Verification - 19th International Conference, 2019

Event stream abstraction using nfer: demo abstract.

Sean Kauffman, Sebastian Fischmeister

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

2018

Inferring event stream abstractions.

Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister

Formal Methods Syst. Des., 2018

2016

nfer - A Notation and System for Inferring Event Stream Abstractions.

Sean Kauffman, Klaus Havelund, Rajeev Joshi

Proceedings of the Runtime Verification - 16th International Conference, 2016

Static Transformation of Power Consumption for Software Attestation.

Sean Kauffman, Carlos Moreno, Sebastian Fischmeister

Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

Towards a Logic for Inferring Properties of Event Streams.

Sean Kauffman, Rajeev Joshi, Klaus Havelund

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Efficient program tracing and monitoring through power consumption - with a little help from the compiler.

Carlos Moreno, Sean Kauffman, Sebastian Fischmeister

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016