Professor

Adrian Rutle

Institutt for datateknologi, elektroteknologi og realfag

Arbeids- og kompetanseområde

Programvareutvikling Modelldrevet progamvareutvilling Programvareutviklingsteori Domenespesifikke språk Prosessmodellering Arbeidsflytmodellering Tingenes Internett Programvareutvkling for Robotikk Programvarearkitektur eHelse og helseprosesser Mobile applikasjoner

Publication track record at DBLP.

Underviser i

Modellbasert programvareutvikling og pålitelige datasystemer
Forskningsmetode for masterprosjekter innen programvareutvikling

ADA504, Forsking innan anvendt datateknologi og ingeniørvitskap, Vår 2027
DAT300, Masteroppgåve, Høst 2026
DAT300, Masteroppgåve, Vår 2027
DAT355, Modelldriven programvareutvikling og pålitelege programvaresystem, Vår 2027

Publikasjonar

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

Vis alle

Laster...

Adrian Rutle

Arbeids- og kompetanseområde

Publikasjonar

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