Billede af Sean Kauffman

Vis Scopus-profil

Sean Kauffman

 https://orcid.org/0000-0001-6341-3898

  • Selma Lagerløfs Vej 300, 1-2-01

    9220 Aalborg Ø

    Danmark

20212024

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Fingerprint

Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
  • 1 Lignende profiler
Vis fuldt fingerprint

Samarbejde i de sidste fem år

Klik på punkterne for at se detaljerne.
Udforsk netværk yderligere
  • 6 Konferenceartikel i proceeding
  • 1 Tidsskriftartikel

  • The complexity of evaluating nfer

    Kauffman, S. & Zimmermann, M., jan. 2024, I: Science of Computer Programming. 231, 103012.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

    Åben adgang

  • Learning Symbolic Timed Models from Concrete Timed Data

    Dierl, S., Howar, F. M., Kauffman, S., Kristjansen, M., Guldstrand Larsen, K., Lorber, F. & Mauritz, M., 16 maj 2023, NASA Formal Methods - 15th International Symposium, NFM 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (red.). Springer Science+Business Media, s. 104-121 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13903 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • A Python Library for Trace Analysis

    Dams, D., Havelund, K. & Kauffman, S., sep. 2022, International Conference on Runtime Verification. Dang, T. & Stolz, V. (red.). Springer, Bind 13498. s. 264-273 10 s. (Lecture Notes in Computer Science, Bind 13498).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • Monitoring Timed Properties (Revisited)

    Grosen, T. M., Kauffman, S., Larsen, K. G. & Zimmermann, M., aug. 2022, Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings. Bogomolov, S. & Parker, D. (red.). Springer, s. 43-62 20 s. (Lecture Notes in Computer Science, Bind 13465).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Runtime Verification as Documentation

    Dams, D., Havelund, K. & Kauffman, S., okt. 2022, Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022. Margaria, T. & Steffen, B. (red.). Springer, s. 157-173 17 s. (Lecture Notes in Computer Science, Bind 13702).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (Scopus)
Se alle 7 publikationer