CUFinder

Sean Kauffman

About Sean Kauffman

Sean Kauffman, With an exceptional h-index of 7 and a recent h-index of 6 (since 2020), a distinguished researcher at Aalborg Universitet, specializes in the field of Runtime Verification, Real-Time Software, Trace Comprehension, Anomaly Detection.

His recent articles reflect a diverse array of research interests and contributions to the field:

The complexity of evaluating nfer

Learning symbolic timed models from concrete timed data

Log analysis and system monitoring with nfer

Runtime verification as documentation

A Python library for trace analysis

Monitoring Timed Properties (Revisited)

What can we monitor over unreliable channels?

Runtime monitoring for uncertain times

Sean Kauffman Information

University

Position

Postdoc Researcher

Citations(all)

122

Citations(since 2020)

101

Cited By

51

hIndex(all)

7

hIndex(since 2020)

6

i10Index(all)

3

i10Index(since 2020)

3

Email

University Profile Page

Google Scholar

Sean Kauffman Skills & Research Interests

Runtime Verification

Real-Time Software

Trace Comprehension

Anomaly Detection

Top articles of Sean Kauffman

The complexity of evaluating nfer

Science of Computer Programming

2024/1/1

Sean Kauffman
Sean Kauffman

H-Index: 4

Martin Zimmermann
Martin Zimmermann

H-Index: 11

Learning symbolic timed models from concrete timed data

2023/5/16

Sean Kauffman
Sean Kauffman

H-Index: 4

Martin Kristjansen
Martin Kristjansen

H-Index: 1

Florian Lorber
Florian Lorber

H-Index: 9

Malte Mauritz
Malte Mauritz

H-Index: 3

Log analysis and system monitoring with nfer

Science of Computer Programming

2023/1/1

Sean Kauffman
Sean Kauffman

H-Index: 4

Runtime verification as documentation

2022/10/17

Sean Kauffman
Sean Kauffman

H-Index: 4

A Python library for trace analysis

2022/9/23

Sean Kauffman
Sean Kauffman

H-Index: 4

Monitoring Timed Properties (Revisited)

2022/8/29

Sean Kauffman
Sean Kauffman

H-Index: 4

Martin Zimmermann
Martin Zimmermann

H-Index: 11

What can we monitor over unreliable channels?

International Journal on Software Tools for Technology Transfer

2021/8

Sean Kauffman
Sean Kauffman

H-Index: 4

Runtime monitoring for uncertain times

2021/3/19

Sean Kauffman
Sean Kauffman

H-Index: 4

Palisade: A framework for anomaly detection in embedded systems

Journal of Systems Architecture

2021/2/1

Sean Kauffman
Sean Kauffman

H-Index: 4

Nirmal Benann
Nirmal Benann

H-Index: 2

nfer – A Tool for Event Stream Abstraction

2021

Sean Kauffman
Sean Kauffman

H-Index: 4

See List of Professors in Sean Kauffman University(Aalborg Universitet)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine