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 2022-06-01 to 2026-06-01.)

Article	Citations
Guest editorial for the special section on the 26th international conference on model-driven engineering languages and systems (MODELS 2023)	176
Automated testing of metamodels and code co-evolution	48
The uncertainty interaction problem in self-adaptive systems	43
Modeling more software performance antipatterns in cyber-physical systems	34
The technological landscape of collaborative model-driven software engineering	34
An ontology-based approach to engineering ethicality requirements	33
Model-based code generation works: But how far does it go?—on the role of the generator	32
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time	32
A reference architecture for the development of GLSP-based web modeling tools	30
The complexities of the satisfiability checking problems of feature diagram sublanguages	29
Reflection on the differences between modeling and programming	29
Antonio Vallecillo	29
Incremental model transformations with triple graph grammars for multi-version models and multi-version pattern matching	28
Enhancing explainability in process variant analysis: a framework for detecting and interpreting control-flow changes	25
Correct-by-construction requirement decomposition	24
Bridging MDE and AI: a systematic review of domain-specific languages and model-driven practices in AI software systems engineering	22
Reasoning over time into models with DataTime	22
A model template for reachability-based containment checking of imprecise observations in timed automata	22
Adopting the concept of a function as an underlying semantic paradigm for modeling languages	20
Theme section on model-driven requirements engineering	20
Special Section of BPMDS’2024	18
Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness	18
Function-driven cyber-physical security in smart manufacturing	18
An architecture for coupled digital twins with semantic lifting	17
Reflections from a long career in software	17

Editorial to theme section on open environmental software systems modeling	16
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML	16
MUREQ: a multilayer framework for analyzing and operationalizing visualization requirements	15
On enterprise coherence governance with GEA: a 15-year co-evolution of practice and theory	14
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes	14
Can explainable artificial intelligence support software modelers in model comprehension?	14
Gamifying model-based engineering: the PapyGame experience	14
Multi-Robot system environmental constraint analysis by petri nets	14
What makes a good modeling research contribution?	14
Repeat, reorder, rephrase: data augmentation for process information extraction	14
Guest editorial for EMMSAD’2023 special section	13
Modeling for sustainability: Sustainable Development Goals (SDG) of the United Nations	13
Special section of BPMDS’2023	13
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties	12
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis	12
A language-parametric test amplification framework for executable domain-specific languages	12
A core ontology of organizational policies	12
Modeling should be an independent scientific discipline	11
Model checking of spacecraft operational designs: a scalability analysis	11
Report on the state and changes of the SoSyM journal (2025 summary)	11
Application and evaluation of interlinked approaches for modeling changing capabilities	11
SimIMA: a virtual Simulink intelligent modeling assistant	11
From process mining to augmented process execution	11
The cognitive science of modeling tools	11
Reviewing uses of regulatory compliance monitoring	10
Teaching conceptual modelling in the age of LLMs: shifting from model creation to model evaluation skills	10
Context-driven process discovery: enhancing process flow interpretability with contextualized activity hierarchies	10
IAT/ML: a metamodel and modelling approach for discourse analysis	10
A manifesto for applicable formal methods	10
AI simulation by digital twins: systematic survey, reference framework, and mapping to a standardized architecture	10
Exchanging information in cooperative software validation	10
Completion of SysML state machines from Given–When–Then requirements	10
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development	9
Enhancing automated network function onboarding through language extension and code refactoring	9
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games	9
Reusing model validation methods for the continuous validation of digital twins of cyber-physical systems	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
Automatic Model Transformation and Formal Verification for Function Block of IEC 61499	8
Accelerating similarity-based model matching using dual hashing	8
What makes life for process mining analysts difficult? A reflection of challenges	8
Using reactive links to propagate changes across engineering models	8
Flexmi: a generic and modular textual syntax for domain-specific modelling	8
Counterexample classification	7
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty	7
Exploring modeling methods for information systems analysis and design: a data-driven retrospective	7
Special Section of BPMDS 2022—reflections on interactions and responsibility in a digitized business processes ecosystem	7
Automated construction of predicate abstractions for smart contract validation	7
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities	7
Automatic security-flaw detection - towards a fair evaluation and comparison	7

Model-based digital twin engineering: insights, challenges, and future directions	6
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games	6
Correction: Automaton-based comparison of Declare process models	6
Guest editorial to the theme section on Trends in Enterprise Architecture Research	6
Span(Graph): a canonical feedback algebra of open transition systems	6
MBIPV: a model-based approach for identifying privacy violations from software requirements	6
Synthesizing verified components for cyber assured systems engineering	6
Ceaml: A novel modeling language for enabling cloud and edge continuum orchestration	6
Real-time collaborative multi-level modeling by conflict-free replicated data types	6
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
Developing configurations and solutions for logical puzzles with UML and OCL	5
Modeling ecosystems of reference frameworks for assurance: a case on privacy impact assessment regulation and guidelines	5
Uncertainty-aware environment simulation of medical devices digital twins	5
Deductively verifying functional scalable parallel programs with Why3	5
In memory of Heinrich Hussmann, long-time friend and SoSyM editor	5
Special section on uncertainty, modeling, CPSs and AI: honoring Prof. Antonio Vallecillo	5
Assessing the testing skills transfer of model-based testing on testing skill acquisition	5
How does your model represent the system? A note on model fidelity, underspecification, and uncertainty	5
Guest editorial to the special section on SEFM’22	5
A generic framework for representing and analyzing model concurrency	5
Reference architectures modelling and compliance checking	5
A refinement-based approach to safe smart contract deployment and evolution	5
Boosting bug localization in software models of video games with simulations and component-specific genetic operations	5