• Sign in
  • Sign up
conf.researchr.org / Sean Kauffman
  • CASCON 2025 profile
  • ICSE 2025 profile
  • ICSE 2026 profile
  • ICST 2024 profile
  • NASA Formal Methods 2023 profile
Sean Kauffman

Registered user since Fri 31 Mar 2023

Name:Sean Kauffman
Country:Canada
Affiliation:Queen's University, Canada
Personal website: https://seanmk.com
Research interests:Runtime Verification, Anomaly Detection, Real-time Software, Functional Safety, Specification Mining

Contributions

2026

Mining Software Repositories

  • PC Member in Data and Tool Showcase Track - Program Committee within the Data and Tool Showcase Track-track

2025

CASCON

  • Committee Member in Program Committee within the 74 Technical Papers-track

Mining Software Repositories

  • Committee Member in Data and Tool Showcase Track - Program Committee within the Data and Tool Showcase Track-track

2024

A-MOST

  • Author of Annotating Control-Flow Graphs for Formalized Test Coverage Criteria within the A-MOST 2024-track

2023

NFM

  • Author of Learning Symbolic Timed Models from Concrete Timed Data within the NFM 2023-track
Share
xMon 27 Oct 19:22
using conf.researchr.org (v1.72.1)
Support page
Sign Up