Professor
Adrian Rutle
- ADA504, Research in Applied Computer Science and Engineering, Spring 2025
- DAT160, Intelligent robots, Fall 2024
- DAT300, Master's thesis, Spring 2025
- DAT300, Master's thesis, Fall 2024
- DAT355, Model-driven Software Engineering and Reliable Software Systems, Spring 2025
- PCS900, PhD Dissertation in Computer Science: Software Engineering, Sensor Networks and Engineering Computing, Fall 2024
- PCS900, PhD Dissertation in Computer Science: Software Engineering, Sensor Networks and Engineering Computing, Spring 2025
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
-
Preface to the JOT issue on the 20th European Conference on Modelling Foundations and Applications (ECMFA 2024)
-
Formalization and Analysis of BPMN Using Graph Transformation Systems
Laster...