Software and Systems Modeling

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 2022-01-01 to 2026-01-01.)
ArticleCitations
Formalizing the four-layer metamodeling stack with MetaMorph: potential and benefits151
Automated testing of metamodels and code co-evolution142
Guest editorial for the special section on the 26th international conference on model-driven engineering languages and systems (MODELS 2023)58
Modeling more software performance antipatterns in cyber-physical systems52
The technological landscape of collaborative model-driven software engineering46
An ontology-based approach to engineering ethicality requirements38
The uncertainty interaction problem in self-adaptive systems33
An investigation of the relationship between joint visual attention and product quality in collaborative business process modeling: a dual eye-tracking study32
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time31
Reasoning over time into models with DataTime27
Model-based code generation works: But how far does it go?—on the role of the generator27
Fabricatable axis: an approach for modelling customized fabrication machines27
Reflection on the differences between modeling and programming26
Measurement and classification of inter-actor dependencies in goal models26
The complexities of the satisfiability checking problems of feature diagram sublanguages25
Antonio Vallecillo24
Incremental model transformations with triple graph grammars for multi-version models and multi-version pattern matching23
Enhancing explainability in process variant analysis: a framework for detecting and interpreting control-flow changes23
A reference architecture for the development of GLSP-based web modeling tools21
Bridging MDE and AI: a systematic review of domain-specific languages and model-driven practices in AI software systems engineering20
Correct-by-construction requirement decomposition19
Deep specification and proof preservation for the CoqTL transformation language18
Theme section on model-driven requirements engineering18
A model template for reachability-based containment checking of imprecise observations in timed automata18
Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness17
Adopting the concept of a function as an underlying semantic paradigm for modeling languages17
Multi-dimensional multi-level modeling16
Reflections from a long career in software16
Low-code development and model-driven engineering: Two sides of the same coin?14
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML14
Special Section of BPMDS’202414
Editorial to theme section on open environmental software systems modeling14
An architecture for coupled digital twins with semantic lifting14
What makes a good modeling research contribution?13
On enterprise coherence governance with GEA: a 15-year co-evolution of practice and theory13
MUREQ: a multilayer framework for analyzing and operationalizing visualization requirements13
Can explainable artificial intelligence support software modelers in model comprehension?13
Repeat, reorder, rephrase: data augmentation for process information extraction13
SimIMA: a virtual Simulink intelligent modeling assistant12
Guest editorial for EMMSAD’2023 special section12
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis12
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes12
Model checking of spacecraft operational designs: a scalability analysis12
Modeling for sustainability: Sustainable Development Goals (SDG) of the United Nations12
Gamifying model-based engineering: the PapyGame experience12
Special section of BPMDS’202312
Modeling should be an independent scientific discipline11
Decision-making under uncertainty: be aware of your priorities11
A language-parametric test amplification framework for executable domain-specific languages11
Application and evaluation of interlinked approaches for modeling changing capabilities11
From process mining to augmented process execution11
Guest editorial to the theme section on multi-level modeling11
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties11
Reviewing uses of regulatory compliance monitoring10
Exchanging information in cooperative software validation10
Accelerating similarity-based model matching using dual hashing10
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games10
AI simulation by digital twins: systematic survey, reference framework, and mapping to a standardized architecture10
Automatic Model Transformation and Formal Verification for Function Block of IEC 6149910
Exploring modeling methods for information systems analysis and design: a data-driven retrospective10
Context-driven process discovery: enhancing process flow interpretability with contextualized activity hierarchies10
Flexmi: a generic and modular textual syntax for domain-specific modelling10
Reusing model validation methods for the continuous validation of digital twins of cyber-physical systems10
Completion of SysML state machines from Given–When–Then requirements10
Teaching conceptual modelling in the age of LLMs: shifting from model creation to model evaluation skills9
IAT/ML: a metamodel and modelling approach for discourse analysis9
Using reactive links to propagate changes across engineering models9
A manifesto for applicable formal methods9
iDOCEM: defining a common terminology for object-centric event logging and data-centric process modelling9
Enhancing automated network function onboarding through language extension and code refactoring9
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development9
Conceptual modelling of temporality and subjectivity as cross-cutting concerns9
Multi-level modeling: cornerstones of a rationale8
Automatic security-flaw detection - towards a fair evaluation and comparison8
What makes life for process mining analysts difficult? A reflection of challenges8
Consistency management in industrial continuous model-based development settings: a reality check8
Automated construction of predicate abstractions for smart contract validation8
PARMOREL: a framework for customizable model repair8
Are models better read on paper or on screen? A comparative study8
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty7
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games7
Real-time collaborative multi-level modeling by conflict-free replicated data types7
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities7
Counterexample classification7
Correction: Automaton-based comparison of Declare process models7
Special Section of BPMDS 2022—reflections on interactions and responsibility in a digitized business processes ecosystem7
Ceaml: A novel modeling language for enabling cloud and edge continuum orchestration7
Guest editorial to the theme section on Trends in Enterprise Architecture Research7
Span(Graph): a canonical feedback algebra of open transition systems7
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification6
A benchmark of incremental model transformation tools based on an industrial case study with AADL6
How does your model represent the system? A note on model fidelity, underspecification, and uncertainty6
Guest editorial to the special section on SEFM’226
Measuring and achieving test coverage of attack simulations extended version6
MBIPV: a model-based approach for identifying privacy violations from software requirements6
In memory of Heinrich Hussmann, long-time friend and SoSyM editor6
A model-driven approach to machine learning and software modeling for the IoT6
Modeling in advanced systems engineering6
Boosting bug localization in software models of video games with simulations and component-specific genetic operations6
Synthesizing verified components for cyber assured systems engineering6
Explicit versus implicit models: What are good languages for modeling?6
0.087260007858276