Professor

Adrian Rutle

ADA504, Research in Applied Computer Science and Engineering, Spring 2027
DAT300, Master's Thesis, Fall 2026
DAT300, Master's Thesis, Spring 2027
DAT355, Model-driven Software Engineering and Reliable Software Systems, Spring 2027

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems

Tim Oliver Kräuter, Adrian Rutle, Harald König, Yngve Lamo (2024)

Logical Methods in Computer Science 2024 ;Volum 20.
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models

Tim Oliver Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo, Harald König (2024)

CEUR Workshop Proceedings 2024
The Visual Debugger: Past, Present, and Future

Tim Oliver Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo (2024)
Preface to the JOT issue on the 20th European Conference on Modelling Foundations and Applications (ECMFA 2024)

Judith Michael, Adrian Rutle (2024)

Journal of Object Technology 2024 ;Volum 23. s. 1-4
Formalization and Analysis of BPMN Using Graph Transformation Systems

Tim Oliver Kräuter, Adrian Rutle, Harald König, Yngve Lamo (2023)

Lecture Notes in Computer Science (LNCS) 2023 ;Volum 13961. s. 204-222

Laster...