Software and Systems Modeling

Papers
(The TQCC of Software and Systems Modeling is 4. 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-02-01 to 2025-02-01.)
ArticleCitations
An investigation of the relationship between joint visual attention and product quality in collaborative business process modeling: a dual eye-tracking study77
Adaptive caching for operation-based versioning of models76
Conflict management techniques for model merging: a systematic mapping review41
IAT/ML: a metamodel and modelling approach for discourse analysis29
Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries26
Predictions-on-chip: model-based training and automated deployment of machine learning models at runtime23
The wild-west of modeling (Revisited)23
Interactive log-delta analysis using multi-range filtering22
Suggesting model transformation repairs for rule-based languages using a contract-based testing approach22
Efficient model similarity estimation with robust hashing21
Flexmi: a generic and modular textual syntax for domain-specific modelling20
Understanding the need for assistance in software modeling: interviews with experts19
Generating repairs for inconsistent models19
Editorial to theme section on modeling in low-code development platforms18
Mutation testing for temporal alloy models (extended version)16
Supporting method engineering with a low-code approach: the LOMET  tool16
A manifesto for applicable formal methods16
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis16
Modeling and enforcing access control policies in conversational user interfaces16
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development15
Execution trace analysis for a precise understanding of latency violations15
On applying residual reasoning within neural network verification14
Practitioners’ experiences with model-driven engineering: a meta-review14
Formalizing the four-layer metamodeling stack with MetaMorph: potential and benefits14
Early timing analysis based on scenario requirements and platform models14
Guest editorial to the special section on PoEM’202214
OSTRICH: a rich template language for low-code development (extended version)13
Automated generation of consistent, diverse and structurally realistic graph models13
Modeling more software performance antipatterns in cyber-physical systems13
Spectra: a specification language for reactive systems13
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach12
SymboleoPC: checking properties of legal contracts12
GoRIM: a model-driven method for enhancing regulatory intelligence12
The uncertainty interaction problem in self-adaptive systems11
Accelerating similarity-based model matching using dual hashing11
An ontology-based approach to engineering ethicality requirements11
Redescription mining-based business process deviance analysis11
Improving repair of semantic ATL errors using a social diversity metric10
Completion of SysML state machines from Given–When–Then requirements10
On the application of process management and process mining to Industry 4.010
What makes life for process mining analysts difficult? A reflection of challenges10
Modeling and reasoning about uncertainty in goal models: a decision-theoretic approach9
CaRE: a refinement calculus for requirements engineering based on argumentation theory9
The sustainability assessment framework toolkit: a decade of modeling experience9
Modelling on mobile devices9
Automated generation of consistent models using qualitative abstractions and exploration strategies9
Towards a model-driven approach for multiexperience AI-based user interfaces9
Model-based ideal testing of hardware description language (HDL) programs9
MORGAN: a modeling recommender system based on graph kernel8
Location-aware business process modeling and execution8
Repository mining for changes in Simulink and Stateflow models8
Participatory modeling from a stakeholder perspective: On the influence of collaboration and revisions on psychological ownership and perceived model quality8
Scientific workflow execution in the cloud using a dynamic runtime model8
Reusing model validation methods for the continuous validation of digital twins of cyber-physical systems8
Exchanging information in cooperative software validation7
Automated testing of metamodels and code co-evolution7
Conceptual modelling of temporality and subjectivity as cross-cutting concerns7
From single-objective to multi-objective reinforcement learning-based model transformation7
Using reactive links to propagate changes across engineering models7
Safety behavior abstraction and model evolution in autonomous driving7
Evaluating the accessibility of a PoN-enabled misuse case notation by the red–green colorblind community7
Correction: iDOCEM7
iDOCEM: defining a common terminology for object-centric event logging and data-centric process modelling7
Using DSLs to manage consistency in long-lived enterprise language specifications7
Enhancing remaining time prediction in business processes by considering system-level and resource-level inter-case features6
Models: the fourth dimension of computer science6
Guest editorial to the special section on PoEM’20216
Model-based test case generation and prioritization: a systematic literature review6
CalcGraph: taming the high costs of deep learning using models6
Characteristics, potentials, and limitations of open-source Simulink projects for empirical research6
Multi-paradigm modelling for cyber–physical systems: a descriptive framework6
Editorial for FACS 2021 special section (SoSyM)6
The complexities of the satisfiability checking problems of feature diagram sublanguages6
PARMOREL: a framework for customizable model repair6
Integration of clinical and genomic data to enhance precision medicine: a case of study applied to the retina-macula6
Bridging the model-to-code abstraction gap with fuzzy logic in model-based regression test selection5
A theme section on the central role of modeling in designing and explaining data-driven systems and software5
Reflection on the differences between modeling and programming5
aCHAT-WF: Generating conversational agents for teaching business process models5
Bootstrapping MDE development from ROS manual code: Part 2—Model generation and leveraging models at runtime5
Visual notations in container orchestrations: an empirical study with Docker Compose5
Model-based code generation works: But how far does it go?—on the role of the generator5
Multi-level modeling: cornerstones of a rationale5
Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games5
Large language models as an “operating” system for software and systems modeling5
Guest editorial to the special section on PoEM’20205
Unified verification and monitoring of executable UML specifications5
Code generation for classical-quantum software systems modeled in UML5
Are models better read on paper or on screen? A comparative study5
Fabricatable axis: an approach for modelling customized fabrication machines5
Automaton-based comparison of Declare process models5
Reasoning over time into models with DataTime5
Formal reconfiguration model for cloud resources4
Measurement and classification of inter-actor dependencies in goal models4
Consistency management in industrial continuous model-based development settings: a reality check4
Human factors in model-driven engineering: future research goals and initiatives for MDE4
Ontology-based security modeling in ArchiMate4
Incremental execution of temporal graph queries over runtime models with history and its applications4
Verifying consistency of software product line architectures with product architectures4
Handling nonconforming individuals in search-based model-driven engineering: nine generic strategies for feature location in the modeling space of the meta-object facility4
Design of blockchain-based applications using model-driven engineering and low-code/no-code platforms: a structured literature review4
A reference architecture for the development of GLSP-based web modeling tools4
Model modularity for reuse, libraries and composition: symbol management is key4
Case model landscapes: toward an improved representation of knowledge-intensive processes using the fCM-language4
How are informal diagrams used in software engineering? An exploratory study of open-source and industrial practices4
A formal component model for UML based on CSP aiming at compositional verification4
Bridging MDE and AI: a systematic review of domain-specific languages and model-driven practices in AI software systems engineering4
A technique for evaluating and improving the semantic transparency of modeling language notations4
Improving active participation during enterprise operations modeling with an extended story-card-method and participative modeling software4
Integrating the analysis of multiple non-functional properties in model-driven engineering4
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time4
Analysing factors impacting BPMS performance: a case of a challenged technology adoption4
DEPS: a model- and property-based language for system synthesis problems4
An ontological metamodel for cyber-physical system safety, security, and resilience coengineering4
Unleashing textual descriptions of business processes4
Empirical analysis of the tool support for software product lines4
Automated, interactive, and traceable domain modelling empowered by artificial intelligence4
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty4
Probabilistic modelling and verification using RoboChart and PRISM4
0.10730600357056