Software and Systems Modeling

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-08-01 to 2026-08-01.)
ArticleCitations
Guest editorial for the special section on the 26th international conference on model-driven engineering languages and systems (MODELS 2023)192
The uncertainty interaction problem in self-adaptive systems56
Automated testing of metamodels and code co-evolution56
The technological landscape of collaborative model-driven software engineering38
Modeling more software performance antipatterns in cyber-physical systems36
An ontology-based approach to engineering ethicality requirements35
Enabling concurrency issue detection for ROS 2 using Timed Petri nets33
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time32
Model-based code generation works: But how far does it go?—on the role of the generator31
A reference architecture for the development of GLSP-based web modeling tools30
Reflection on the differences between modeling and programming29
Antonio Vallecillo25
The complexities of the satisfiability checking problems of feature diagram sublanguages25
Incremental model transformations with triple graph grammars for multi-version models and multi-version pattern matching24
Reasoning over time into models with DataTime24
Enhancing explainability in process variant analysis: a framework for detecting and interpreting control-flow changes23
Correct-by-construction requirement decomposition22
Bridging MDE and AI: a systematic review of domain-specific languages and model-driven practices in AI software systems engineering21
A model template for reachability-based containment checking of imprecise observations in timed automata20
Theme section on model-driven requirements engineering19
Adopting the concept of a function as an underlying semantic paradigm for modeling languages18
Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness18
Special Section of BPMDS’202418
Reflections from a long career in software17
Function-driven cyber-physical security in smart manufacturing17
An architecture for coupled digital twins with semantic lifting16
Engineering a cognition-based specification method16
Editorial to theme section on open environmental software systems modeling16
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML16
MUREQ: a multilayer framework for analyzing and operationalizing visualization requirements15
On enterprise coherence governance with GEA: a 15-year co-evolution of practice and theory15
Guest editorial to the special section on PoEM’202414
Repeat, reorder, rephrase: data augmentation for process information extraction14
Multi-Robot system environmental constraint analysis by petri nets14
Can explainable artificial intelligence support software modelers in model comprehension?14
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes13
Gamifying model-based engineering: the PapyGame experience13
What makes a good modeling research contribution?13
A core ontology of organizational policies12
Report on the state and changes of the SoSyM journal (2025 summary)12
Special section of BPMDS’202312
Modeling for sustainability: Sustainable Development Goals (SDG) of the United Nations12
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis12
The cognitive science of modeling tools12
Guest editorial for EMMSAD’2023 special section11
A language-parametric test amplification framework for executable domain-specific languages11
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties11
Model checking of spacecraft operational designs: a scalability analysis11
From process mining to augmented process execution11
SimIMA: a virtual Simulink intelligent modeling assistant11
Context-driven process discovery: enhancing process flow interpretability with contextualized activity hierarchies10
Reviewing uses of regulatory compliance monitoring10
Modeling should be an independent scientific discipline10
Application and evaluation of interlinked approaches for modeling changing capabilities10
Consistency management in model-driven engineering for cyber-physical systems: towards agile design methods10
A conceptual framework and city metaphor for investigating the interaction of developers with software artifacts10
Flexmi: a generic and modular textual syntax for domain-specific modelling9
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games9
IAT/ML: a metamodel and modelling approach for discourse analysis9
Exchanging information in cooperative software validation9
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development9
AI simulation by digital twins: systematic survey, reference framework, and mapping to a standardized architecture9
Accelerating similarity-based model matching using dual hashing8
Conceptual modelling of temporality and subjectivity as cross-cutting concerns8
Teaching conceptual modelling in the age of LLMs: shifting from model creation to model evaluation skills8
iDOCEM: defining a common terminology for object-centric event logging and data-centric process modelling8
Exploring modeling methods for information systems analysis and design: a data-driven retrospective8
What makes life for process mining analysts difficult? A reflection of challenges8
Reusing model validation methods for the continuous validation of digital twins of cyber-physical systems7
Enhancing automated network function onboarding through language extension and code refactoring7
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty7
A manifesto for applicable formal methods7
Automatic Model Transformation and Formal Verification for Function Block of IEC 614997
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities7
Completion of SysML state machines from Given–When–Then requirements7
Using reactive links to propagate changes across engineering models7
Automated construction of predicate abstractions for smart contract validation7
Automatic security-flaw detection - towards a fair evaluation and comparison7
Span(Graph): a canonical feedback algebra of open transition systems6
Bridging conceptual models and numerical domains: a semantic integration approach for federated co-simulation in MBSE6
Real-time collaborative multi-level modeling by conflict-free replicated data types6
Ceaml: A novel modeling language for enabling cloud and edge continuum orchestration6
Measuring and achieving test coverage of attack simulations extended version6
A theory of composable modeling language components6
Evaluation of modeling methods for systems analysis and development (EMMSAD): past, present, and artificial intelligence eras6
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games6
Special Section of BPMDS 2022—reflections on interactions and responsibility in a digitized business processes ecosystem6
2500 years of going meta: from Aristotle to SysML v26
MBIPV: a model-based approach for identifying privacy violations from software requirements6
On the consistency of state machines, use cases and block diagrams using dependency graphs and Large Language Models6
Counterexample classification6
Guest editorial to the theme section on Trends in Enterprise Architecture Research6
Model-based digital twin engineering: insights, challenges, and future directions6
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification6
How does your model represent the system? A note on model fidelity, underspecification, and uncertainty5
Guest editorial to the special section on SEFM’225
Uncertainty-aware environment simulation of medical devices digital twins5
Correction: Automaton-based comparison of Declare process models5
Synthesizing verified components for cyber assured systems engineering5
Developing configurations and solutions for logical puzzles with UML and OCL5
Boosting bug localization in software models of video games with simulations and component-specific genetic operations5
In memory of Heinrich Hussmann, long-time friend and SoSyM editor5
Special section on uncertainty, modeling, CPSs and AI: honoring Prof. Antonio Vallecillo5
0.16352891921997