OOIR: Observatory of International Research

Papers

(The TQCC of Software and Systems Modeling is 6. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-12-01 to 2025-12-01.)

Article	Citations
Formalizing the four-layer metamodeling stack with MetaMorph: potential and benefits	147
Automated testing of metamodels and code co-evolution	135
Modeling more software performance antipatterns in cyber-physical systems	58
The technological landscape of collaborative model-driven software engineering	49
Guest editorial for the special section on the 26th international conference on model-driven engineering languages and systems (MODELS 2023)	43
An investigation of the relationship between joint visual attention and product quality in collaborative business process modeling: a dual eye-tracking study	36
An ontology-based approach to engineering ethicality requirements	32
The uncertainty interaction problem in self-adaptive systems	31
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time	30
Reasoning over time into models with DataTime	27
Fabricatable axis: an approach for modelling customized fabrication machines	26
Correct-by-construction requirement decomposition	26
Model-based code generation works: But how far does it go?—on the role of the generator	26
Reflection on the differences between modeling and programming	25
Measurement and classification of inter-actor dependencies in goal models	25
The complexities of the satisfiability checking problems of feature diagram sublanguages	23
Models: the fourth dimension of computer science	22
Antonio Vallecillo	21
Enhancing explainability in process variant analysis: a framework for detecting and interpreting control-flow changes	20
Incremental execution of temporal graph queries over runtime models with history and its applications	19
Incremental model transformations with triple graph grammars for multi-version models and multi-version pattern matching	18
A reference architecture for the development of GLSP-based web modeling tools	18
Bridging MDE and AI: a systematic review of domain-specific languages and model-driven practices in AI software systems engineering	18
A model template for reachability-based containment checking of imprecise observations in timed automata	17
Theme section on model-driven requirements engineering	17

Adopting the concept of a function as an underlying semantic paradigm for modeling languages	16
Deep specification and proof preservation for the CoqTL transformation language	16
Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness	16
Low-code development and model-driven engineering: Two sides of the same coin?	15
Multi-dimensional multi-level modeling	14
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML	14
Gamifying model-based engineering: the PapyGame experience	13
Editorial to theme section on open environmental software systems modeling	13
MUREQ: a multilayer framework for analyzing and operationalizing visualization requirements	13
An architecture for coupled digital twins with semantic lifting	13
Repeat, reorder, rephrase: data augmentation for process information extraction	13
What makes a good modeling research contribution?	12
Guest editorial for EMMSAD’2023 special section	12
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes	12
Special section of BPMDS’2023	12
Can explainable artificial intelligence support software modelers in model comprehension?	12
On enterprise coherence governance with GEA: a 15-year co-evolution of practice and theory	12
Modeling for sustainability: Sustainable Development Goals (SDG) of the United Nations	12
Application and evaluation of interlinked approaches for modeling changing capabilities	11
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis	11
Decision-making under uncertainty: be aware of your priorities	11
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties	11
Model checking of spacecraft operational designs: a scalability analysis	11
From process mining to augmented process execution	11
Guest editorial to the theme section on multi-level modeling	11
SimIMA: a virtual Simulink intelligent modeling assistant	11
A language-parametric test amplification framework for executable domain-specific languages	11
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games	10
Context-driven process discovery: enhancing process flow interpretability with contextualized activity hierarchies	10
Exchanging information in cooperative software validation	10
Automatic Model Transformation and Formal Verification for Function Block of IEC 61499	10
Completion of SysML state machines from Given–When–Then requirements	10
Modeling should be an independent scientific discipline	10
AI simulation by digital twins: systematic survey, reference framework, and mapping to a standardized architecture	10
Accelerating similarity-based model matching using dual hashing	10
Exploring modeling methods for information systems analysis and design: a data-driven retrospective	10
Reviewing uses of regulatory compliance monitoring	10
Flexmi: a generic and modular textual syntax for domain-specific modelling	10
Reusing model validation methods for the continuous validation of digital twins of cyber-physical systems	10
Enhancing automated network function onboarding through language extension and code refactoring	10
IAT/ML: a metamodel and modelling approach for discourse analysis	9
iDOCEM: defining a common terminology for object-centric event logging and data-centric process modelling	9
Conceptual modelling of temporality and subjectivity as cross-cutting concerns	9
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development	9
What makes life for process mining analysts difficult? A reflection of challenges	8
Using reactive links to propagate changes across engineering models	8
Automated construction of predicate abstractions for smart contract validation	8
Teaching conceptual modelling in the age of LLMs: shifting from model creation to model evaluation skills	8
Are models better read on paper or on screen? A comparative study	8
Multi-level modeling: cornerstones of a rationale	8

A manifesto for applicable formal methods	8
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty	8
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities	8
Guest editorial to the theme section on Trends in Enterprise Architecture Research	7
Consistency management in industrial continuous model-based development settings: a reality check	7
Span(Graph): a canonical feedback algebra of open transition systems	7
Real-time collaborative multi-level modeling by conflict-free replicated data types	7
Ceaml: A novel modeling language for enabling cloud and edge continuum orchestration	7
PARMOREL: a framework for customizable model repair	7
Special Section of BPMDS 2022—reflections on interactions and responsibility in a digitized business processes ecosystem	7
Counterexample classification	7
Correction: Automaton-based comparison of Declare process models	7
Automatic security-flaw detection - towards a fair evaluation and comparison	7
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games	7
Modeling in advanced systems engineering	7
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification	6
Measuring and achieving test coverage of attack simulations extended version	6
MBIPV: a model-based approach for identifying privacy violations from software requirements	6
Boosting bug localization in software models of video games with simulations and component-specific genetic operations	6
How does your model represent the system? A note on model fidelity, underspecification, and uncertainty	6
In memory of Heinrich Hussmann, long-time friend and SoSyM editor	6
Synthesizing verified components for cyber assured systems engineering	6
A benchmark of incremental model transformation tools based on an industrial case study with AADL	6
A model-driven approach to machine learning and software modeling for the IoT	6