Department of Computing, Mathematics, and Physics
Research field: Software engineering
Publications: Publications in Cristin
The research of Rutle focus on the application of theoretical results from the field of model-driven software engineering. This work has recently focused on safety critical systems in the healthcare domain such as patient workflows and their verification, hospital resource management, as well as modelling and simulation of interleaving business processes incorporated with decision-making assistance. His main expertise is the development of formal modelling frameworks for domain-specific modelling languages, graph-based logic for reasoning about static and dynamic properties of models in multi-level settings, and the use of model transformations for the definition of semantics of modelling languages.