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 2021-08-01 to 2025-08-01.)
ArticleCitations
Formalizing the four-layer metamodeling stack with MetaMorph: potential and benefits119
The technological landscape of collaborative model-driven software engineering111
Modeling more software performance antipatterns in cyber-physical systems52
An ontology-based approach to engineering ethicality requirements43
Automated testing of metamodels and code co-evolution35
GoRIM: a model-driven method for enhancing regulatory intelligence32
The uncertainty interaction problem in self-adaptive systems31
An investigation of the relationship between joint visual attention and product quality in collaborative business process modeling: a dual eye-tracking study30
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time28
Antonio Vallecillo25
Probabilistic modelling and verification using RoboChart and PRISM24
Fabricatable axis: an approach for modelling customized fabrication machines23
Measurement and classification of inter-actor dependencies in goal models23
Reflection on the differences between modeling and programming23
Models: the fourth dimension of computer science23
The complexities of the satisfiability checking problems of feature diagram sublanguages22
Reasoning over time into models with DataTime21
A reference architecture for the development of GLSP-based web modeling tools21
Model-based code generation works: But how far does it go?—on the role of the generator21
Correct-by-construction requirement decomposition20
Incremental execution of temporal graph queries over runtime models with history and its applications20
Integrating the analysis of multiple non-functional properties in model-driven engineering19
Bridging MDE and AI: a systematic review of domain-specific languages and model-driven practices in AI software systems engineering18
Theme section on model-driven requirements engineering17
Incremental model transformations with triple graph grammars for multi-version models and multi-version pattern matching17
Adopting the concept of a function as an underlying semantic paradigm for modeling languages16
Deep specification and proof preservation for the CoqTL transformation language16
A model template for reachability-based containment checking of imprecise observations in timed automata16
Low-code development and model-driven engineering: Two sides of the same coin?15
Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness15
Multi-dimensional multi-level modeling15
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML15
An architecture for coupled digital twins with semantic lifting15
What makes a good modeling research contribution?14
Editorial to theme section on open environmental software systems modeling14
On enterprise coherence governance with GEA: a 15-year co-evolution of practice and theory14
MUREQ: a multilayer framework for analyzing and operationalizing visualization requirements13
SOCAM: a service-oriented computing architecture modeling method13
Repeat, reorder, rephrase: data augmentation for process information extraction12
Gamifying model-based engineering: the PapyGame experience12
Can explainable artificial intelligence support software modelers in model comprehension?12
Playground for multi-level modeling constructs11
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes11
Enhancing software model encoding for feature location approaches based on machine learning techniques11
Automated conceptual model clustering: a relator-centric approach11
Modeling for sustainability: Sustainable Development Goals (SDG) of the United Nations11
Guest editorial for EMMSAD’2023 special section11
A language-parametric test amplification framework for executable domain-specific languages10
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties10
Modeling data protection and privacy: application and experience with GDPR10
SimIMA: a virtual Simulink intelligent modeling assistant10
Evaluation of a machine learning classifier for metamodels10
Model checking of spacecraft operational designs: a scalability analysis10
Decision-making under uncertainty: be aware of your priorities10
From process mining to augmented process execution10
Special section of BPMDS’202310
Model-driven engineering for mobile robotic systems: a systematic mapping study10
CaRE: a refinement calculus for requirements engineering based on argumentation theory9
DEVS-based formalism for the modeling of routing processes9
IAT/ML: a metamodel and modelling approach for discourse analysis9
iDOCEM: defining a common terminology for object-centric event logging and data-centric process modelling9
Completion of SysML state machines from Given–When–Then requirements9
Guest editorial to the theme section on multi-level modeling9
Modeling should be an independent scientific discipline9
Exploring modeling methods for information systems analysis and design: a data-driven retrospective9
Exchanging information in cooperative software validation9
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis9
Application and evaluation of interlinked approaches for modeling changing capabilities9
Flexmi: a generic and modular textual syntax for domain-specific modelling9
Reusing model validation methods for the continuous validation of digital twins of cyber-physical systems9
Multi-level modeling: cornerstones of a rationale8
A manifesto for applicable formal methods8
What makes life for process mining analysts difficult? A reflection of challenges8
Correction to: Evaluation of a machine learning classifier for metamodels8
Conceptual modelling of temporality and subjectivity as cross-cutting concerns8
Accelerating similarity-based model matching using dual hashing8
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development8
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games8
Teaching conceptual modelling in the age of LLMs: shifting from model creation to model evaluation skills8
Using reactive links to propagate changes across engineering models8
Analysing factors impacting BPMS performance: a case of a challenged technology adoption7
Consistency management in industrial continuous model-based development settings: a reality check7
Counterexample classification7
Are models better read on paper or on screen? A comparative study7
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty7
Automatic security-flaw detection - towards a fair evaluation and comparison7
PARMOREL: a framework for customizable model repair7
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities7
Span(Graph): a canonical feedback algebra of open transition systems7
Special Section of BPMDS 2022—reflections on interactions and responsibility in a digitized business processes ecosystem6
Guest editorial to the theme section on Trends in Enterprise Architecture Research6
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification6
Boosting bug localization in software models of video games with simulations and component-specific genetic operations6
Measuring and achieving test coverage of attack simulations extended version6
Reference models: how can we leverage them?6
Real-time collaborative multi-level modeling by conflict-free replicated data types6
Modeling in advanced systems engineering6
A benchmark of incremental model transformation tools based on an industrial case study with AADL6
Correction: Automaton-based comparison of Declare process models6
Ceaml: A novel modeling language for enabling cloud and edge continuum orchestration6
Model-based resource analysis and synthesis of service-oriented automotive software architectures6
Simulation and analysis of MultEcore multilevel models based on rewriting logic6
A model-driven approach to machine learning and software modeling for the IoT6
0.043938875198364