Førsteamanuensis

Patrick Stünkel

Institutt for datateknologi, elektroteknologi og realfag
Patrick Stünkel
Tel: +47 55 58 71 81
Epost: Send epost
Bergen
KRONSTAD, E438
Last ned kontaktkort
Sjå forskarprofil i CRIStin
Underviser i
  • Undervisningsassistent i DAT107: Databasesystemer
  • Undervisningsassistent i DAT103: Operativsystemer
  • Undervisningsassistent i DAT100: Grunnleggende programmering
Forskar på
  • Model Driven Software Engineering
  • Graph Transformation
  • Bidirectional Transformations
  • Mathematical Foundations of Modeling

Publikasjonar

  • Runtime Verification of Timed Petri Nets

    Requeno Jarabo, Jose Ignacio, Gómez-Martínez, Elena, Kallwies, Hannes, Haustein, Melanie, Leucker, Martin, Stolz, Volker (2024)
    CEUR Workshop Proceedings 2024 ;Volum 3730. s. 122-130

  • Intelligent Tracing and Process Improvement of Pathology Workflows using Character Recognition

    Hatlem, Markus, Rabbi, Fazle, Stünkel, Patrick, Leh, Friedemann (2023)
    CEUR Workshop Proceedings 2023 ;Volum 3440.

  • Behavioral consistency in multi-modeling

    Kräuter, Tim Oliver, König, Harald, Rutle, Adrian, Lamo, Yngve, Stünkel, Patrick (2023)
    Journal of Object Technology 2023 ;Volum 22.(2) s. 1-15

  • Process Data Science for Workflow Optimization in Digital Pathology: A status report

    Stünkel, Patrick, Leh, Sabine, Leh, Friedemann (2022)
    CEUR Workshop Proceedings 2022 ;Volum 3264.

  • A framework for multi-model consistency management

    Stünkel, Patrick (2022)
    Høgskulen på Vestlandet. Isbn: 9788293677994
Vis alle