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-05-01 to 2025-05-01.)

Article	Citations
Suggesting model transformation repairs for rule-based languages using a contract-based testing approach	106
Formalizing the four-layer metamodeling stack with MetaMorph: potential and benefits	97
GoRIM: a model-driven method for enhancing regulatory intelligence	88
The technological landscape of collaborative model-driven software engineering	45
Modeling more software performance antipatterns in cyber-physical systems	36
The uncertainty interaction problem in self-adaptive systems	32
An ontology-based approach to engineering ethicality requirements	30
An investigation of the relationship between joint visual attention and product quality in collaborative business process modeling: a dual eye-tracking study	29
Integrating the analysis of multiple non-functional properties in model-driven engineering	28
Automated testing of metamodels and code co-evolution	28
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time	27
Probabilistic modelling and verification using RoboChart and PRISM	25
Fabricatable axis: an approach for modelling customized fabrication machines	23
Measurement and classification of inter-actor dependencies in goal models	23
Reflection on the differences between modeling and programming	22
Models: the fourth dimension of computer science	22
Incremental execution of temporal graph queries over runtime models with history and its applications	22
The complexities of the satisfiability checking problems of feature diagram sublanguages	21
Incremental model transformations with triple graph grammars for multi-version models and multi-version pattern matching	20
Reasoning over time into models with DataTime	20
Model-based code generation works: But how far does it go?—on the role of the generator	20
Bridging MDE and AI: a systematic review of domain-specific languages and model-driven practices in AI software systems engineering	19
A reference architecture for the development of GLSP-based web modeling tools	19
Theme section on model-driven requirements engineering	19
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML	18

An architecture for coupled digital twins with semantic lifting	17
Adopting the concept of a function as an underlying semantic paradigm for modeling languages	16
Multi-dimensional multi-level modeling	16
Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness	16
Deep specification and proof preservation for the CoqTL transformation language	16
Low-code development and model-driven engineering: Two sides of the same coin?	15
Editorial to theme section on open environmental software systems modeling	15
A model template for reachability-based containment checking of imprecise observations in timed automata	15
MUREQ: a multilayer framework for analyzing and operationalizing visualization requirements	13
What makes a good modeling research contribution?	13
SOCAM: a service-oriented computing architecture modeling method	13
Can explainable artificial intelligence support software modelers in model comprehension?	13
On enterprise coherence governance with GEA: a 15-year co-evolution of practice and theory	13
Automated conceptual model clustering: a relator-centric approach	12
Gamifying model-based engineering: the PapyGame experience	12
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis	11
Guest editorial for EMMSAD’2023 special section	11
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes	11
Enhancing software model encoding for feature location approaches based on machine learning techniques	11
Decision-making under uncertainty: be aware of your priorities	10
Playground for multi-level modeling constructs	10
Modeling for sustainability: Sustainable Development Goals (SDG) of the United Nations	10
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties	10
Evaluation of a machine learning classifier for metamodels	10
Model-driven engineering for mobile robotic systems: a systematic mapping study	9
CaRE: a refinement calculus for requirements engineering based on argumentation theory	9
Special section of BPMDS’2023	9
SimIMA: a virtual Simulink intelligent modeling assistant	9
Application and evaluation of interlinked approaches for modeling changing capabilities	9
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development	9
From process mining to augmented process execution	9
Guest editorial to the theme section on multi-level modeling	9
Modeling should be an independent scientific discipline	9
DEVS-based formalism for the modeling of routing processes	9
Modeling data protection and privacy: application and experience with GDPR	9
Model checking of spacecraft operational designs: a scalability analysis	9
Using reactive links to propagate changes across engineering models	8
iDOCEM: defining a common terminology for object-centric event logging and data-centric process modelling	8
Completion of SysML state machines from Given–When–Then requirements	8
Reusing model validation methods for the continuous validation of digital twins of cyber-physical systems	8
Conceptual modelling of temporality and subjectivity as cross-cutting concerns	8
Accelerating similarity-based model matching using dual hashing	8
What makes life for process mining analysts difficult? A reflection of challenges	8
IAT/ML: a metamodel and modelling approach for discourse analysis	8
Flexmi: a generic and modular textual syntax for domain-specific modelling	8
Exchanging information in cooperative software validation	8
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games	8
A manifesto for applicable formal methods	8
PARMOREL: a framework for customizable model repair	7
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities	7

Guest editorial to the theme section on Trends in Enterprise Architecture Research	7
Counterexample classification	7
Multi-level modeling: cornerstones of a rationale	7
Correction to: Evaluation of a machine learning classifier for metamodels	7
Real-time collaborative multi-level modeling by conflict-free replicated data types	7
Are models better read on paper or on screen? A comparative study	7
Analysing factors impacting BPMS performance: a case of a challenged technology adoption	7
Consistency management in industrial continuous model-based development settings: a reality check	7
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty	7
Span(Graph): a canonical feedback algebra of open transition systems	7
Ceaml: A novel modeling language for enabling cloud and edge continuum orchestration	6
How does your model represent the system? A note on model fidelity, underspecification, and uncertainty	6
Model-based resource analysis and synthesis of service-oriented automotive software architectures	6
Simulation and analysis of MultEcore multilevel models based on rewriting logic	6
Reference models: how can we leverage them?	6
Correction: Automaton-based comparison of Declare process models	6
Synthesizing verified components for cyber assured systems engineering	6
Measuring and achieving test coverage of attack simulations extended version	6
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification	6
Special Section of BPMDS 2022—reflections on interactions and responsibility in a digitized business processes ecosystem	6
Boosting bug localization in software models of video games with simulations and component-specific genetic operations	6
A benchmark of incremental model transformation tools based on an industrial case study with AADL	6
Modeling in advanced systems engineering	6
MBIPV: a model-based approach for identifying privacy violations from software requirements	6