Arbeids- og kompetanseområde
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
- ADA502, Cloud computing og programvaresystem, Vår 2025
- DAT191, Bacheloroppgåve, Vår 2025
- DAT250, Avanserte programvareteknologiar, Høst 2024
- DAT300, Masteroppgåve, Høst 2024
- DAT300, Masteroppgåve, Vår 2025
- ING301, Datateknologi og vidaregåande programmering for ingeniørar, Vår 2025
- PCS900, PhD disputas i datateknologi:programvareutvikling, berekningsorientert ingeniørvitskap og sensornettverk, Vår 2025
Publikasjonar
-
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models
-
The Visual Debugger: Past, Present, and Future
-
Runtime Verification of Timed Petri Nets
-
Intelligent Tracing and Process Improvement of Pathology Workflows using Character Recognition
-
Behavioral consistency in multi-modeling
-
Process Data Science for Workflow Optimization in Digital Pathology: A status report
-
A framework for multi-model consistency management
-
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management
-
Single pushout rewriting in comprehensive systems of graph-like structures
-
Multi-Model Evolution through Model Repair
-
Towards multiple model synchronization with comprehensive systems: Extended version
-
GraphQL Federation: A Model-Based Approach
-
Single Pushout Rewriting in Comprehensive Systems
-
Towards multiple model synchronization with comprehensive systems
-
A Roadmap for Multi-Model Consistency Management
-
Multimodel Correspondence through Inter-model Constraints
-
Multimodel Correspondence through Inter-model Constraints