Heterogeneous megamodel management using collection operators

JOURNAL ARTICLE published January 2020 in Software and Systems Modeling

Authors: Rick Salay | Sahar Kokaly | Alessio Di Sandro | Nick L. S. Fung | Marsha Chechik

Opportunities in intelligent modeling assistance

JOURNAL ARTICLE published September 2020 in Software and Systems Modeling

Authors: Gunter Mussbacher | Benoit Combemale | Jörg Kienzle | Silvia Abrahão | Hyacinth Ali | Nelly Bencomo | Márton Búr | Loli Burgueño | Gregor Engels | Pierre Jeanjean | Jean-Marc Jézéquel | Thomas Kühn | Sébastien Mosser | Houari Sahraoui | Eugene Syriani | Dániel Varró | Martin Weyssow

Modeling foundations for executable model-based testing of self-healing cyber-physical systems

JOURNAL ARTICLE published October 2019 in Software & Systems Modeling

Research funded by H2020 European Institute of Innovation and Technology (645463) | Norges Forskningsr?d (239063,240013/O70,240024/F20)

Authors: Tao Ma | Shaukat Ali | Tao Yue

Adapting transformations to metamodel changes via external transformation composition

JOURNAL ARTICLE published May 2014 in Software & Systems Modeling

Authors: Kelly Garcés | Juan M. Vara | Frédéric Jouault | Esperanza Marcos

A novel model-based testing approach for software product lines

JOURNAL ARTICLE published October 2017 in Software & Systems Modeling

Research funded by European Commission (644298) | German-Israeli Foundation for Scientific Research and Development (1131-9.6/2011)

Authors: Ferruccio Damiani | David Faitelson | Christoph Gladisch | Shmuel Tyszberowicz

Specification and automated validation of staged reconfiguration processes for dynamic software product lines

JOURNAL ARTICLE published February 2017 in Software & Systems Modeling

Authors: Malte Lochau | Johannes Bürdek | Stefan Hölzle | Andy Schürr

Early-stage analysis of cyber-physical production systems through collaborative modelling

JOURNAL ARTICLE published May 2020 in Software and Systems Modeling

Research funded by Lucian Blaga University of Sibiu research grants (LBUS-IRG-2018-04) | DiFiCIL project (contract no. 69/08.09.2016,ID P_37_771) | iPP4CPPS project (Horizon2020,grant no.644400,16-UK-GERS-01)

Authors: Mihai Neghina | Constantin-Bala Zamfirescu | Ken Pierce

Guest editorial to the special section on SEFM’22

JOURNAL ARTICLE published 16 April 2024 in Software and Systems Modeling

Authors: Bernd-Holger Schlingloff | Ming Chai

Models for the digital transformation

JOURNAL ARTICLE published May 2017 in Software & Systems Modeling

Authors: Jeff Gray | Bernhard Rumpe

A lightweight approach to nontermination inference using Constrained Horn Clauses

JOURNAL ARTICLE published April 2024 in Software and Systems Modeling

Authors: Bishoksan Kafle | Graeme Gange | Peter Schachte | Harald Søndergaard | Peter J. Stuckey

P-stable abstractions of hybrid systems

JOURNAL ARTICLE published April 2024 in Software and Systems Modeling

Research funded by Provincia Autonoma di Trento (AI@TN) | NextGenerationEU (FAIR - Future AI Research (PE00000013))

Authors: Anna Becchi | Alessandro Cimatti | Enea Zaffanella

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

JOURNAL ARTICLE published August 2023 in Software and Systems Modeling

Research funded by Deutsche Forschungsgemeinschaft (TA 294/18-1)

Authors: Stefan John | Jens Kosiol | Leen Lambers | Gabriele Taentzer

A fundamental approach to model versioning based on graph modifications: from theory to implementation

JOURNAL ARTICLE published February 2014 in Software & Systems Modeling

Authors: Gabriele Taentzer | Claudia Ermel | Philip Langer | Manuel Wimmer

Extracting finite state representation of Java programs

JOURNAL ARTICLE published May 2016 in Software & Systems Modeling

Authors: Tamal Sen | Rajib Mall

Evaluation of a machine learning classifier for metamodels

JOURNAL ARTICLE published December 2021 in Software and Systems Modeling

Research funded by H2020 LEIT Information and Communication Technologies (732223)

Authors: Phuong T. Nguyen | Juri Di Rocco | Ludovico Iovino | Davide Di Ruscio | Alfonso Pierantonio

A comparative study of students and professionals in syntactical model comprehension experiments

JOURNAL ARTICLE published December 2019 in Software and Systems Modeling

Authors: Mohamed El-Attar

A framework for qualitative assessment of domain-specific languages

JOURNAL ARTICLE published October 2015 in Software & Systems Modeling

Authors: Gökhan Kahraman | Semih Bilgen

Requirements document relations

JOURNAL ARTICLE published December 2022 in Software and Systems Modeling

Research funded by European Space Agency (NPI No. 4000118174/16/NL/MH/GM.)

Authors: Katharina Großer | Volker Riediger | Jan Jürjens

UML formal semantics: lessons learned

JOURNAL ARTICLE published October 2011 in Software & Systems Modeling

Authors: Manfred Broy | María Victoria Cengarle

The RALph miner for automated discovery and verification of resource-aware process models

JOURNAL ARTICLE published November 2020 in Software and Systems Modeling

Research funded by Austrian Science Fund (V 569-N31) | Ministerio de Ciencia e Innovación (RTI2018-100763-J-100)

Authors: Cristina Cabanillas | Lars Ackermann | Stefan Schönig | Christian Sturm | Jan Mendling