OOIR: Observatory of International Research

Papers

(The TQCC of Software and Systems Modeling is 5. 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-06-01 to 2025-06-01.)

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

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

Flexmi: a generic and modular textual syntax for domain-specific modelling	8
Counterexample classification	7
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities	7
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty	7
Real-time collaborative multi-level modeling by conflict-free replicated data types	7
Special Section of BPMDS 2022—reflections on interactions and responsibility in a digitized business processes ecosystem	7
Correction to: Evaluation of a machine learning classifier for metamodels	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
PARMOREL: a framework for customizable model repair	7
Multi-level modeling: cornerstones of a rationale	7
Are models better read on paper or on screen? A comparative study	7
Measuring and achieving test coverage of attack simulations extended version	6
Ceaml: A novel modeling language for enabling cloud and edge continuum orchestration	6
Correction: Automaton-based comparison of Declare process models	6
Modeling in advanced systems engineering	6
Guest editorial to the theme section on Trends in Enterprise Architecture Research	6
A benchmark of incremental model transformation tools based on an industrial case study with AADL	6
Simulation and analysis of MultEcore multilevel models based on rewriting logic	6
Model-based resource analysis and synthesis of service-oriented automotive software architectures	6
Reference models: how can we leverage them?	6
Boosting bug localization in software models of video games with simulations and component-specific genetic operations	5
Synthesizing verified components for cyber assured systems engineering	5
Uncertainty-aware environment simulation of medical devices digital twins	5
Modeling ecosystems of reference frameworks for assurance: a case on privacy impact assessment regulation and guidelines	5
A refinement-based approach to safe smart contract deployment and evolution	5
Recommending metamodel concepts during modeling activities with pre-trained language models	5
Assessing the testing skills transfer of model-based testing on testing skill acquisition	5
A model-driven approach to machine learning and software modeling for the IoT	5
In memory of Heinrich Hussmann, long-time friend and SoSyM editor	5
Guiding the evolution of product-line configurations	5
Explicit versus implicit models: What are good languages for modeling?	5
Special section on uncertainty, modeling, CPSs and AI: honoring Prof. Antonio Vallecillo	5
Reference architectures modelling and compliance checking	5
MBIPV: a model-based approach for identifying privacy violations from software requirements	5
How does your model represent the system? A note on model fidelity, underspecification, and uncertainty	5
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification	5
Guest editorial to the special section on SEFM’22	5
Multilevel modeling of geographic information systems based on international standards	5
Developing configurations and solutions for logical puzzles with UML and OCL	5
A generic framework for representing and analyzing model concurrency	5