PhD Candidate
Tim Oliver Kräuter
Field of work
I am working as a Ph.D. research fellow in multi-model-driven software engineering. I focus on coordinating multiple heterogeneous behavioral
models describing different aspects of one system. This can be used for model-checking or simulation of the composite system.
Previously, I worked as a software developer on high-performance back-end systems and app/web development in Hannover, Germany. Consequently, I have acquired excellent skills in agile software development, UML, Java, HTML/CSS, JavaScript/Typescript, Rust, and SVN/Git.
You can find more information on my website.
Courses taught
- DAT153: Mobile and Distributed Applications (Lecturer and teaching assistant)
-
DAT250: Advanced Software Technologies (Lecturer and teaching assistant)
Research areas
- Model Driven Software Engineering
- Behavioral Modelling
- Model-weaving
- Model checking
- Business process modeling
Publications
-
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
-
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models
-
The Visual Debugger: Past, Present, and Future
-
Structural Operational Semantics for Heterogeneously Typed Coalgebras
-
Structural Operational Semantics for Heterogeneously Typed Coalgebras
Laster...