Software and Systems Modeling

Article	Citations
Formalizing the four-layer metamodeling stack with MetaMorph: potential and benefits	151
Automated testing of metamodels and code co-evolution	142
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 systems	52
The technological landscape of collaborative model-driven software engineering	46
An ontology-based approach to engineering ethicality requirements	38
The uncertainty interaction problem in self-adaptive systems	33
An investigation of the relationship between joint visual attention and product quality in collaborative business process modeling: a dual eye-tracking study	32
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time	31
Fabricatable axis: an approach for modelling customized fabrication machines	27
Reasoning over time into models with DataTime	27
Model-based code generation works: But how far does it go?—on the role of the generator	27
Measurement and classification of inter-actor dependencies in goal models	26
Reflection on the differences between modeling and programming	26
The complexities of the satisfiability checking problems of feature diagram sublanguages	25
Antonio Vallecillo	24
Incremental model transformations with triple graph grammars for multi-version models and multi-version pattern matching	23
Enhancing explainability in process variant analysis: a framework for detecting and interpreting control-flow changes	23
A reference architecture for the development of GLSP-based web modeling tools	21
Bridging MDE and AI: a systematic review of domain-specific languages and model-driven practices in AI software systems engineering	20
Correct-by-construction requirement decomposition	19
A model template for reachability-based containment checking of imprecise observations in timed automata	18
Deep specification and proof preservation for the CoqTL transformation language	18
Theme section on model-driven requirements engineering	18
Adopting the concept of a function as an underlying semantic paradigm for modeling languages	17

Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness	17
Reflections from a long career in software	16
Multi-dimensional multi-level modeling	16
An architecture for coupled digital twins with semantic lifting	14
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 UML	14
Special Section of BPMDS’2024	14
Editorial to theme section on open environmental software systems modeling	14
What makes a good modeling research contribution?	13
On enterprise coherence governance with GEA: a 15-year co-evolution of practice and theory	13
MUREQ: a multilayer framework for analyzing and operationalizing visualization requirements	13
Can explainable artificial intelligence support software modelers in model comprehension?	13
Repeat, reorder, rephrase: data augmentation for process information extraction	13
Gamifying model-based engineering: the PapyGame experience	12
Special section of BPMDS’2023	12
SimIMA: a virtual Simulink intelligent modeling assistant	12
Guest editorial for EMMSAD’2023 special section	12
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis	12
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes	12
Model checking of spacecraft operational designs: a scalability analysis	12
Modeling for sustainability: Sustainable Development Goals (SDG) of the United Nations	12
Guest editorial to the theme section on multi-level modeling	11
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties	11
Modeling should be an independent scientific discipline	11
Decision-making under uncertainty: be aware of your priorities	11
A language-parametric test amplification framework for executable domain-specific languages	11
Application and evaluation of interlinked approaches for modeling changing capabilities	11
From process mining to augmented process execution	11
Context-driven process discovery: enhancing process flow interpretability with contextualized activity hierarchies	10
Flexmi: a generic and modular textual syntax for domain-specific modelling	10
Reusing model validation methods for the continuous validation of digital twins of cyber-physical systems	10
Completion of SysML state machines from Given–When–Then requirements	10
Reviewing uses of regulatory compliance monitoring	10
Exchanging information in cooperative software validation	10
Accelerating similarity-based model matching using dual hashing	10
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games	10
AI simulation by digital twins: systematic survey, reference framework, and mapping to a standardized architecture	10
Automatic Model Transformation and Formal Verification for Function Block of IEC 61499	10
Exploring modeling methods for information systems analysis and design: a data-driven retrospective	10
Teaching conceptual modelling in the age of LLMs: shifting from model creation to model evaluation skills	9
IAT/ML: a metamodel and modelling approach for discourse analysis	9
Using reactive links to propagate changes across engineering models	9
A manifesto for applicable formal methods	9
iDOCEM: defining a common terminology for object-centric event logging and data-centric process modelling	9
Enhancing automated network function onboarding through language extension and code refactoring	9
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development	9
Conceptual modelling of temporality and subjectivity as cross-cutting concerns	9
PARMOREL: a framework for customizable model repair	8
Are models better read on paper or on screen? A comparative study	8
Multi-level modeling: cornerstones of a rationale	8

Automatic security-flaw detection - towards a fair evaluation and comparison	8
What makes life for process mining analysts difficult? A reflection of challenges	8
Consistency management in industrial continuous model-based development settings: a reality check	8
Automated construction of predicate abstractions for smart contract validation	8
Special Section of BPMDS 2022—reflections on interactions and responsibility in a digitized business processes ecosystem	7
Ceaml: A novel modeling language for enabling cloud and edge continuum orchestration	7
Span(Graph): a canonical feedback algebra of open transition systems	7
Guest editorial to the theme section on Trends in Enterprise Architecture Research	7
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty	7
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games	7
Real-time collaborative multi-level modeling by conflict-free replicated data types	7
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities	7
Counterexample classification	7
Correction: Automaton-based comparison of Declare process models	7
Modeling in advanced systems engineering	6
Boosting bug localization in software models of video games with simulations and component-specific genetic operations	6
Synthesizing verified components for cyber assured systems engineering	6
Explicit versus implicit models: What are good languages for modeling?	6
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification	6
A benchmark of incremental model transformation tools based on an industrial case study with AADL	6
How does your model represent the system? A note on model fidelity, underspecification, and uncertainty	6
Guest editorial to the special section on SEFM’22	6
Measuring and achieving test coverage of attack simulations extended version	6
MBIPV: a model-based approach for identifying privacy violations from software requirements	6
In memory of Heinrich Hussmann, long-time friend and SoSyM editor	6
A model-driven approach to machine learning and software modeling for the IoT	6
Modeling ecosystems of reference frameworks for assurance: a case on privacy impact assessment regulation and guidelines	5
Detecting cross-case associations in an event log: toward a pattern-based detection	5
A refinement-based approach to safe smart contract deployment and evolution	5
Developing configurations and solutions for logical puzzles with UML and OCL	5
Recommending metamodel concepts during modeling activities with pre-trained language models	5
Reference architectures modelling and compliance checking	5
Instant and global consistency checking during collaborative engineering	5
Uncertainty-aware environment simulation of medical devices digital twins	5
Assessing the testing skills transfer of model-based testing on testing skill acquisition	5
An exception handling framework for case management	5
A closer look at activity relationships to improve business process redesign	5
Enhancing process mining with visual resource analytics	5
A generic framework for representing and analyzing model concurrency	5
Special section on uncertainty, modeling, CPSs and AI: honoring Prof. Antonio Vallecillo	5
Simulation of system architectures using optimization and machine learning: the state of the art and research opportunities	4
Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view	4
Evaluating user acceptance of knowledge-intensive business process modeling languages	4
Modelling guidance in software engineering: a systematic literature review	4
A system-theoretic assurance framework for safety-driven systems engineering	4
On applying residual reasoning within neural network verification	4
Correction to: Low-code development and model-driven engineering: Two sides of the same coin?	4
Quantifying Privacy Risk with Gaussian Mixtures	4
ChatGPT in software modeling	4
Learning minimal automata with recurrent neural networks	4
Participatory modeling from a stakeholder perspective: On the influence of collaboration and revisions on psychological ownership and perceived model quality	3
A data-driven approach for constructing multilayer network-based service ecosystem models	3
Editorial to the theme section on model-driven engineering for digital twins	3
Empirical analysis of the tool support for software product lines	3
Human factors in model-driven engineering: future research goals and initiatives for MDE	3
Design of blockchain-based applications using model-driven engineering and low-code/no-code platforms: a structured literature review	3
Correction: Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities	3
SymboleoPC: checking properties of legal contracts	3
Mutation testing for temporal alloy models (extended version)	3
Practitioners’ experiences with model-driven engineering: a meta-review	3
Adding higher-level semantics to Functional Mock-up Units for easier, faster, and more robust co-simulation connections	3
Three decades of the OO-Method: fostering conceptual-model software engineering	3
On the use of domain knowledge for process model repair	3
Ontology-based security modeling in ArchiMate	3
From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component Model	3
Automated, interactive, and traceable domain modelling empowered by artificial intelligence	3
Guest editorial to the special section on PoEM’2020	3
The extended EA ModelSet—a FAIR dataset for researching and reasoning enterprise architecture modeling practices	3
Enhancing remaining time prediction in business processes by considering system-level and resource-level inter-case features	3
Code generation for classical-quantum software systems modeled in UML	3
Semi-automated metamodel/model co-evolution: a multi-level interactive approach	3
Circulise4LCE, a model-driven sustainability development framework for local circular economy engineering and simulation	3
Visual notations in container orchestrations: an empirical study with Docker Compose	3
Improving active participation during enterprise operations modeling with an extended story-card-method and participative modeling software	3
Verifying consistency of software product line architectures with product architectures	3
Editorial for FACS 2021 special section (SoSyM)	3
Generating repairs for inconsistent models	3
A formal component model for UML based on CSP aiming at compositional verification	3
From single-objective to multi-objective reinforcement learning-based model transformation	2
Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques	2

Redescription mining-based business process deviance analysis	2
Automated generation of smart contract code from legal contract specifications with Symboleo2SC	2
Automating the development of API-based generators using code idioms mining	2
Requirements specification using templates: a model-driven approach	2
A framework for conceptual characterization of ontologies and its application in the cybersecurity domain	2
Guest editorial for the special section on SEFM 2020 and 2021	2
A technique for discovering BPMN collaboration diagrams	2
Guest editorial for EMMSAD’2022 special section	2
Special section of BPMDS’2020 business process management meets data	2
Visual query languages to design complex queries: a systematic literature review	2
Guidelines to derive an $$e^{3}value$$ business model from a BPMN process model: an experiment on real-world scenarios	2
Using DSLs to manage consistency in long-lived enterprise language specifications	2
Introduction to the theme section on Agile model-driven engineering	2
Introduction to theme section on requirements formalisation	2
Quantitative modelling and analysis of BDI agents	2
Early timing analysis based on scenario requirements and platform models	2
The Role of Standardization for Simulation in Model-Based Systems Engineering: A Survey Study Supplemented with Industrial Experiences	2
Research software engineering and the importance of scientific models	2
Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling	2
Correction: Diagrammatic physical robot models	2
From network traffic data to business activities: a conceptualization and a recognition approach	2
Recommendations for visual feedback about problems within BPMN process models	2
Machine learning for enterprise modeling assistance: an investigation of the potential and proof of concept	2
Report on the state of the SoSyM journal (2023 summary)	2
How fair are we? From conceptualization to automated assessment of fairness definitions	2
Understanding the need for assistance in software modeling: interviews with experts	2
Business process modeling language selection for research modelers	2
Conflict management techniques for model merging: a systematic mapping review	2
Special section of BPMDS’2021 business process improvement	2
Flexible and sound: Synthesis Miner	2
An empirical study of manual abstraction between class diagrams and code of open-source systems	2
Safety behavior abstraction and model evolution in autonomous driving	2
Improving repair of semantic ATL errors using a social diversity metric	2
ATM: a Logic for Quantitative Security Properties on Attack Trees	2
Universal conceptual modeling: principles, benefits, and an agenda for conceptual modeling research	2
Generating domain models from natural language text using NLP: a benchmark dataset and experimental comparison of tools	2
Merlin - modEl-guided reinforcement learnINg for automated testing of endless runner games	2
A framework for evaluating tool support for co-evolution of modeling languages, tools and models	2
A lightweight approach to nontermination inference using Constrained Horn Clauses	2
Experimenting with modeling-specific word embeddings	2
On the relationship between models and ontologies	2
Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modeling	2