I agree that this site is using cookies. You can find further informations here.
X
Kauffman, Sean
48  results:
Search for persons X
?
1

The complexity of evaluating nfer:

Kauffman, Sean ; Zimmermann, Martin
Science of Computer Programming.  231 (2024)  - p. 103012 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Learning Symbolic Timed Models from Concrete Timed Data:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Dierl, Simon ; Howar, Falk Maria ; Kauffman, Sean... - p. 104-121 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Log analysis and system monitoring with nfer:

Kauffman, Sean
Science of Computer Programming.  225 (2023)  - p. 102909 , 2023
Link: https://doi.org/10.1016/..
 
?
4

Runtime Verification as Documentation:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science,
Dams, Dennis ; Havelund, Klaus ; Kauffman, Sean - p. 157-173 , 2022
Link: https://doi.org/10.1007/..
 
?
5

The Complexity of Evaluating Nfer:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,
Kauffman, Sean ; Zimmermann, Martin - p. 388-405 , 2022
Link: https://doi.org/10.1007/..
 
?
6

A Python Library for Trace Analysis:

, In: Runtime Verification; Lecture Notes in Computer Science,
Dams, Dennis ; Havelund, Klaus ; Kauffman, Sean - p. 264-273 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Monitoring Timed Properties (Revisited):

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,
Grosen, Thomas Møller ; Kauffman, Sean ; Larsen, Kim Guldstrand. - p. 43-62 , 2022
Link: https://doi.org/10.1007/..
 
?
8

What can we monitor over unreliable channels?:

Kauffman, Sean ; Havelund, Klaus ; Fischmeister, Sebastian
International Journal on Software Tools for Technology Transfer.  23 (2021)  4 - p. 579-600 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Palisade: A framework for anomaly detection in embedded sys..:

Kauffman, Sean ; Dunne, Murray ; Gracioli, Giovani...
Journal of Systems Architecture.  113 (2021)  - p. 101876 , 2021
Link: https://doi.org/10.1016/..
 
?
10

nfer – A Tool for Event Stream Abstraction:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
Kauffman, Sean - p. 103-109 , 2021
Link: https://doi.org/10.1007/..
 
?
11

Event stream abstraction using nfer : demo abstract:

, In: Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems,
Kauffman, Sean ; Fischmeister, Sebastian - p. 332-333 , 2019
Link: https://dl.acm.org/doi/1..
 
?
12

Monitorability over Unreliable Channels:

, In: Runtime Verification; Lecture Notes in Computer Science,
Kauffman, Sean ; Havelund, Klaus ; Fischmeister, Sebastian - p. 256-272 , 2019
Link: https://doi.org/10.1007/..
 
?
13

Inferring event stream abstractions:

Kauffman, Sean ; Havelund, Klaus ; Joshi, Rajeev.
Formal Methods in System Design.  53 (2018)  1 - p. 54-82 , 2018
Link: https://doi.org/10.1007/..
 
?
14

The complexity of evaluating nfer:

Kauffman, Sean ; Zimmermann, Martin
https://vbn.aau.dk/da/publications/cb4b741f-8f80-45f5-b7b6-6cbc3b4b8a4d.  , 2024
Link: https://vbn.aau.dk/da/pu..
 
?
15

Learning Symbolic Timed Models from Concrete Timed Data – D..:

Dierl, Simon ; Howar, Falk Maria ; Kauffman, Sean...
doi:10.5281/zenodo.7766788.  , 2023
Link: https://zenodo.org/recor..
 
1-15