Personal information

Emails & domains

Verified email domains

Websites & social links

Personal site
Queen's University profile page

Countries

Canada

Activities

Collapse all

Employment (1)

Queen's University: Kingston, Ontario, CA

2023-07-01 to present | Assistant Professor (Electrical and Computer Engineering)
Employment
Source: Self-asserted source
Sean Kauffman

Education and qualifications (3)

University of Waterloo Faculty of Engineering: Waterloo, ON, CA

2017-01 to 2021-04 | Doctor of Philosophy (Electrical and Computer Engineering)
Education
Source: Self-asserted source
Sean Kauffman

University of Waterloo Faculty of Mathematics: Waterloo, ON, CA

2014-08 to 2016-12 | Master of Mathematics (Computer Science)
Education
Source: Self-asserted source
Sean Kauffman

Goshen College: Goshen, IN, US

2001-08 to 2005-05 | Bachelor of Arts (Computer Science)
Education
Source: Self-asserted source
Sean Kauffman

Works (17)

The complexity of evaluating nfer

Science of Computer Programming
2024-01 | Journal article
DOI: 10.1016/j.scico.2023.103012
Contributors: Sean Kauffman; Martin Zimmermann
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Learning Symbolic Timed Models from Concrete Timed Data

2023 | Book chapter
DOI: 10.1007/978-3-031-33170-1_7
Contributors: Simon Dierl; Falk Maria Howar; Sean Kauffman; Martin Kristjansen; Kim Guldstrand Larsen; Florian Lorber; Malte Mauritz
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Log analysis and system monitoring with nfer

Science of Computer Programming
2023-01 | Journal article
DOI: 10.1016/j.scico.2022.102909
Contributors: Sean Kauffman
Source: check_circle
Crossref

Runtime Verification as Documentation

Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
2022-10 | Conference paper | Author
DOI: 10.1007/978-3-031-19756-7_9
SOURCE-WORK-ID:

4456443e-6146-43dd-b231-633d5563610f

EID:

2-s2.0-85142698382

Part of ISBN: 9783031197550
Contributors: Dennis Dams; Klaus Havelund; Sean Kauffman
Source: check_circle
Aalborg University

A Python Library for Trace Analysis

International Conference on Runtime Verification
2022-09 | Conference paper | Author
DOI: 10.1007/978-3-031-17196-3_15
SOURCE-WORK-ID:

3dfbdee7-0a76-49d5-bc1e-09c1e8ba3e21

EID:

2-s2.0-85140490085

Part of ISBN: 9783031171956
Contributors: Dennis Dams; Klaus Havelund; Sean Kauffman
Source: check_circle
Aalborg University

Monitoring Timed Properties (Revisited)

Formal Modeling and Analysis of Timed Systems
2022-08 | Conference paper | Author
DOI: 10.1007/978-3-031-15839-1_3
SOURCE-WORK-ID:

1570133d-4391-423c-b57c-315679d73b81

EID:

2-s2.0-85138007350

Part of ISBN: 978-3-031-15839-1
Part of ISBN: 978-3-031-15838-4
Contributors: Thomas Møller Grosen; Sean Kauffman; Kim Guldstrand Larsen; Martin Zimmermann
Source: check_circle
Aalborg University

The Complexity of Evaluating Nfer

Theoretical Aspects of Software Engineering, TASE 2022
2022-07 | Conference paper | Author
DOI: 10.1007/978-3-031-10363-6_26
SOURCE-WORK-ID:

42c1c267-4d66-4de0-be3b-6cb17c3f0515

EID:

2-s2.0-85135016675

Part of ISBN: 978-3-031-10363-6
Part of ISBN: 978-3-031-10362-9
Contributors: Sean Kauffman; Martin Zimmermann
Source: check_circle
Aalborg University

Palisade: A framework for anomaly detection in embedded systems

Journal of Systems Architecture
2021 | Journal article
DOI: 10.1016/j.sysarc.2020.101876
EID:

2-s2.0-85091229671

Part of ISSN: 13837621
Contributors: Kauffman, S.; Dunne, M.; Gracioli, G.; Khan, W.; Benann, N.; Fischmeister, S.
Source: Self-asserted source
Sean Kauffman via Scopus - Elsevier

nfer - A Tool for Event Stream Abstraction

Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings
2021-12-03 | Conference paper | Author
DOI: 10.1007/978-3-030-92124-8_6
SOURCE-WORK-ID:

e3d136da-045a-460c-b713-72741dbe7565

EID:

2-s2.0-85121921740

Part of ISBN: 978-3-030-92124-8
Part of ISBN: 978-3-030-92123-1
Contributors: Sean Kauffman
Source: check_circle
Aalborg University

Event stream abstraction using nfer

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems - ICCPS '19
2019 | Conference abstract
DOI: 10.1145/3302509.3313327
ISBN: 9781450362856
Contributors: Sean Kauffman
Source: Self-asserted source
Sean Kauffman
grade
Preferred source (of 2)‎

Monitorability over Unreliable Channels

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | Book
DOI: 10.1007/978-3-030-32079-9_15
EID:

2-s2.0-85075723772

Part of ISSN: 16113349 03029743
Contributors: Kauffman, S.; Havelund, K.; Fischmeister, S.
Source: Self-asserted source
Sean Kauffman via Scopus - Elsevier

Inferring event stream abstractions

Formal Methods in System Design
2018-08-27 | Journal article
DOI: 10.1007/s10703-018-0317-z
Contributors: Sean Kauffman; Klaus Havelund; Rajeev Joshi; Sebastian Fischmeister
Source: check_circle
Crossref

Mining temporal intervals from real-time system traces

2017 6th International Workshop on Software Mining (SoftwareMining)
2017-11 | Conference paper
DOI: 10.1109/softwaremining.2017.8100847
Part of ISBN: 9781538613894
Contributors: Sean Kauffman; Sebastian Fischmeister
Source: Self-asserted source
Sean Kauffman via Crossref Metadata Search

Efficient Program Tracing and Monitoring Through Power Consumption — With a Little Help from the Compiler

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE)
2016 | Conference paper
DOI: 10.3850/9783981537079_0829
Contributors: Carlos Moreno; Sean Kauffman; Sebastian Fischmeister
Source: Self-asserted source
Sean Kauffman via Crossref Metadata Search

nfer – A Notation and System for Inferring Event Stream Abstractions

Runtime Verification
2016 | Other
DOI: 10.1007/978-3-319-46982-9_15
Contributors: Sean Kauffman; Klaus Havelund; Rajeev Joshi
Source: Self-asserted source
Sean Kauffman via Crossref Metadata Search

Towards a Logic for Inferring Properties of Event Streams

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
2016 | Other
DOI: 10.1007/978-3-319-47169-3_31
Contributors: Sean Kauffman; Rajeev Joshi; Klaus Havelund
Source: Self-asserted source
Sean Kauffman via Crossref Metadata Search

Static Transformation of Power Consumption for Software Attestation

2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
2016-08 | Conference paper
DOI: 10.1109/rtcsa.2016.45
Contributors: Sean Kauffman; Carlos Moreno; Sebastian Fischmeister
Source: Self-asserted source
Sean Kauffman via Crossref Metadata Search
How many people are using ORCID?