How to evaluate solutions in Pareto-based search-based software engineering: A critical review and methodological guidance

M Li, T Chen, X Yao - IEEE Transactions on Software …, 2020 - ieeexplore.ieee.org
With modern requirements, there is an increasing tendency of considering multiple
objectives/criteria simultaneously in many Software Engineering (SE) scenarios. Such a …

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

D Varró, G Bergmann, Á Hegedüs, Á Horváth… - Software & Systems …, 2016 - Springer
The current release of VIATRA provides open-source tool support for an event-driven,
reactive model transformation engine built on top of highly scalable incremental graph …

Design automation for smart building systems

R Jia, B Jin, M Jin, Y Zhou… - Proceedings of the …, 2018 - ieeexplore.ieee.org
Smart buildings today are aimed at providing safe, healthy, comfortable, affordable, and
beautiful spaces in a carbon and energy-efficient way. They are emerging as complex cyber …

A survey on search-based model-driven engineering

I Boussaïd, P Siarry, M Ahmed-Nacer - Automated Software Engineering, 2017 - Springer
Abstract Model-driven engineering (MDE) and search-based software engineering (SBSE)
are both relevant approaches to software engineering. MDE aims to raise the level of …

Model transformation modularization as a many-objective optimization problem

M Fleck, J Troya, M Kessentini… - IEEE Transactions …, 2017 - ieeexplore.ieee.org
Model transformation programs are iteratively refined, restructured, and evolved due to
many reasons such as fixing bugs and adapting existing transformation rules to new …

Viatra 3: A Reactive Model Transformation Platform

G Bergmann, I Dávid, Á Hegedüs, Á Horváth… - … as Part of STAF 2015, L' …, 2015 - Springer
Abstract Model-driven tools frequently rely on advanced technologies to support model
queries, view maintenance, design rule validation, model transformations or design space …

Digital twins for cyber-biophysical systems: challenges and lessons learned

I David, P Archambault, Q Wolak, CV Vu… - 2023 ACM/IEEE 26th …, 2023 - ieeexplore.ieee.org
Digital twinning is gaining popularity in domains outside of traditional engineered systems,
including cyber-physical systems (CPS) with biological modalities, or cyber-biophysical …

Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering

A Burdusel, S Zschaler, S John - Software and Systems Modeling, 2021 - Springer
Recently, there has been increased interest in combining model-driven engineering and
search-based software engineering. Such approaches use meta-heuristic search guided by …

Overview of the optimal design of the electrically excited doubly salient variable reluctance machine

Y Zhao, C Lu, D Li, X Zhao, F Yang - Energies, 2021 - mdpi.com
The Electrically Excited Doubly Salient Variable Reluctance Machine (EEDSVRM) is a new
type of brushless machine designed according to the principle of air gap reluctance change …

A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties

S John, J Kosiol, L Lambers, G Taentzer - Software and Systems Modeling, 2023 - Springer
Optimization problems in software engineering typically deal with structures as they occur in
the design and maintenance of software systems. In model-driven optimization (MDO) …