activity
20002026
most citedModel-Based Debugging using Multiple Abstract Models

20 citations · 27 across the 6 of their papers we have counts for

collaborators

6 papers

cs.SE2026

Can LLMs Learn and Apply Multi-Level Modelling Semantics? A First Empirical Study

Yuhong Fu, Weixing Zhang, Bowen Jiang +3

Industry 5.0 emphasises human-centric industrial system design, placing additional demands on modelling tools. Multi-level modelling (MLM) can directly represent three or more abst…

cs.SE2026

Two-Level vs. Multi-Level Modelling: An Empirical Study of Cascading Maintenance Burden

Yuhong Fu, Weixing Zhang, Bowen Jiang +5

When a core definition changes, every dependent artefact must be updated, a cascading problem central to software maintenance. In Model-Driven Engineering (MDE), the dominant two-l…

cs.AI2024★ 1 cited

Iof-maint -- Modular maintenance ontology

Melinda Hodkiewicz, Caitlin Woods, Matt Selway +1

In this paper we present a publicly-available maintenance ontology (Iof-maint). Iof-maint is a modular ontology aligned with the Industrial Ontology Foundry Core (IOF Core) and con…

cs.CY2017★ 4 cited

An Architecture for Establishing Legal Semantic Workflows in the Context of Integrated Law Enforcement

Markus Stumptner, Wolfgang Mayer, Georg Grossmann +7

Traditionally the integration of data from multiple sources is done on an ad-hoc basis for each analysis scenario and application. This is a solution that is inflexible, incurs in…

cs.SE2003★ 20 cited

Model-Based Debugging using Multiple Abstract Models

Wolfgang Mayer, Markus Stumptner

This paper introduces an automatic debugging framework that relies on model-based reasoning techniques to locate faults in programs. In particular, model-based diagnosis, together…

cs.SE2000★ 2 cited

Extended Abstract - Model-Based Debugging of Java Programs

Cristinel Mateis, Markus Stumptner, Dominik Wieland +1

Model-based reasoning is a central concept in current research into intelligent diagnostic systems. It is based on the assumption that sources of incorrect behavior in technical de…