pith. sign in

Adrian Rutle

Identifiers

  • name variant Adrian Rutle 0.60 · backfill

Papers (9)

  1. Towards the Coordination and Verification of Heterogeneous Systems with Data and Time cs.SE · 2025 · author #2
  2. BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models cs.SE · 2024 · author #3
  3. Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models cs.SE · 2024 · author #3
  4. The Visual Debugger Tool cs.SE · 2024 · author #3
  5. The Visual Debugger: Past, Present, and Future cs.SE · 2024 · author #3
  6. A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems cs.SE · 2023 · author #2
  7. Multilevel Typed Graph Transformations cs.SE · 2020 · author #3
  8. Empowering Multilevel DSMLs with Integrated Runtime Verification cs.SE · 2020 · author #2
  9. Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour cs.SE · 2019 · author #3

Mentions

  • 2508.12325 #2 · arxiv_oai · confidence 0.70 Adrian Rutle
  • 2311.05243 #2 · arxiv_oai · confidence 0.70 Adrian Rutle
  • 2408.06028 #3 · arxiv_oai · confidence 0.70 Adrian Rutle
  • 2407.03965 #3 · arxiv_oai · confidence 0.70 Adrian Rutle
  • 2404.12932 #3 · arxiv_oai · confidence 0.70 Adrian Rutle
  • 2403.03683 #3 · arxiv_oai · confidence 0.70 Adrian Rutle
  • 2006.14612 #3 · arxiv_oai · confidence 0.70 Adrian Rutle
  • 2005.11366 #2 · arxiv_oai · confidence 0.70 Adrian Rutle
  • 1901.05754 #3 · arxiv_oai · confidence 0.70 Adrian Rutle

Frequent Coauthors