Text

Publications - Scientific results

Here you can find the publication of the project AIDOaRt under different categories. This list will be updated as soon as new publications become available.

Journals

Title

Authors

link

Uncertainty management with extra-functional qualities in multi-artefact co-evolution

Francesco Basciani, Davide Di Ruscio, Ludovico Iovino, and Alfonso Pierantonio

Download Pdf, 3.1 MB.

User-driven diverse scenario exploration in model finders

Robert Clarisó, Jordi Cabot

Download Pdf, 651.2 kB, opens in new window.

Towards a model-driven approach for multi-experience AI-based user interfaces

Elena Planas, Gwendal Daniel, Marco Brambilla, Jordi Cabot

Download Pdf, 1.3 MB.

Fingerprinting and analysis of Bluetooth devices with automata learning

Andrea Pferscher, Bernhard K. Aichernig

Download Pdf, 1.6 MB, opens in new window.

AIDOaRt: AI-augmented Automation for DevOps, a model-based framework for continuous development in Cyber-Physical Systems

Hugo Bruneliere Vittoriano Muttillo, Romina Eramo, Luca Berardinelli, Abel Gomez, Alessandra Bagnato, Andrey Sadovykh, Antonio Cicchetti

Download Pdf, 2.7 MB.

MORGAN: An intelligent modeling assistant based on kernel similarity and graph neural networks

Claudio Di Sipio, Juri Di Rocco, Davide Di Ruscio, Phuong T. Nguyen

Download Pdf, 2.6 MB.

Software assistants in software engineering: A systematic mapping study

Maxime Savary-Leblanc, Lola Burgueño, Jordi Cabot, Xavier Le Pallec, Sébastien Gérard

Download Pdf, 3 MB, opens in new window.

Software test results exploration and visualization with continuous integration and nightly testing

Per Erik Strandberg, Wasif Afzal, Daniel Sundmark

Download Pdf, 2.1 MB, opens in new window.

Conference and Workshop Proceedings


Title

Authors

link


SBFT Tool Competition 2023 - Cyber-Physical Systems Track

Matteo Biagiola, Stefan Klikovits, Jarkko Peltomäki, Vincenzo Riccio

Download External link, opens in new window.


On the impact of Performance Antipatterns in multi-objective software model refactoring optimization

Vittorio Cortellessa, Daniele Di Pompeo, Vincenzo Stoico, Michele Tucci

Download Pdf, 374.9 kB, opens in new window.


Enabling Fast Exploration and Validation of Thermal Dissipation Requirements for Heterogeneous SoCs

Joel Ohrling, Dragos Truscan, Sebastien Lafond

Download Pdf, 2.2 MB.


Automated quality assessment of interrelated modelling artifacts

Francesco Basciani, Davide Di Ruscio, Ludovico Iovino and Alfonso Pierantonio

Download Pdf, 1.1 MB.


Online GANs for Automatic Performance Testing

Ivan Porres, Hergys Rexha, Sebastien Lafond

Download Pdf, 1.8 MB, opens in new window.


Applying Model-based Requirements Engineering in Three Large European Collaborative Projects: An Experience Report

Andrey Sadovykh, Dragos Truscan, Hugo Bruneliere

Download Pdf, 1.1 MB, opens in new window.


Evaluating System Identification Methods for Predicting Thermal Dissipation of Heterogeneous SoCs

Joel Öhrling, Sébastien Lafond and Dragos Truscan

Download Pdf, 829.1 kB, opens in new window.


Providing Upgrade Plans for Third-party Libraries: A Recommender System using Migration Graphs

Riccardo Rubei. Davide Di Ruscio, Claudio Di Sipio, Juri Di Rocco, Phuong T. Nguyen

Download Pdf, 4 MB, opens in new window.


(Not) Yet Another Metamodel For TraceabilityEdouard R. Batot, Jordi Cabot, Sebastien Gerard

Download Pdf, 829.1 kB, opens in new window.


Leveraging model-driven technologies for JSON artefacts : the shipyard case studyColantoni, Alessandro ; Garmendia, Antonio ; Berardinelli, Luca ; Wimmer, Manuel ; Bräuer, Johannes

Download Pdf, 1.6 MB, opens in new window.


Applying Model-based Requirements Engineering in Three Large European Collaborative Projects: An Experience Report

Andrey Sadovykh, Dragos Truscan, Hugo Bruneliere

Download Pdf, 1.1 MB, opens in new window.


Towards continuous consistency checking of DevOps artefacts

Colantoni, Alessandro ; Horváth, Benedek ; Horváth, Ákos ; Berardinelli, Luca; Wimmer, Manuel

Download Pdf, 152.1 kB.


Endowing third-party libraries recommender systems with explicit user feedback mechanisms

Riccardo Rubei, Claudio Di Sipio, Juri Di Rocco, Davide Di Ruscio and Phuong T. Nguyen

Download


Using NLP tools to detect ambiguities in system requirements - A comparison study

Aleksandar Bajceta

Download Pdf, 765 kB, opens in new window.


Application de l'Ingénierie des Exigences basée sur les Modèles dans Trois Grands Projets Collaboratifs Européens: Un Rapport d'Expérience

Andrey Sadovykh, Hugo Bruneliere, Dragos Truscan

Download Pdf, 233.5 kB, opens in new window.


Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits

Jarkko Peltomäki, Ivan Porres

Download Pdf, 508.7 kB, opens in new window.


WOGAN at the SBST 2022 CPS Tool Competition

Jarkko Peltomäki, Frankie Spencer, Ivan Porres

Download Pdf, 413 kB, opens in new window.


Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems

Jarkko Peltomäki, Frankie Spencer, Ivan Porres

Download Pdf, 508.7 kB, opens in new window.


Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning

Andrea Pferscher, Bernhard K. Aichernig

Download Pdf, 527.4 kB.


Towards AIDOaRt Objectives via Joint Model-based Architectural Effort

Bilal SAID, Andrey SADOVYKH , Etienne BROSSE and Alessandra BAGNATO

Download Pdf, 862.1 kB.


Enabling Content Management Systems as an Information Source in Model-Driven Projects

Joan Giner-Miguelez, Abel Gómez, Jordi Cabot

Download Pdf, 460.5 kB.


Industrial Requirements for Supporting AI-Enhanced Model-Driven Engineering

Johan Bergelin, Per Erik Strandberg

Download Pdf, 559.7 kB.


Towards continuous modelling to enable DevOps: a preliminary study with practitioners

Johan Bergelin, Antonio Cicchetti

Download Pdf, 744.1 kB, opens in new window.


Towards a DSL for AI Engineering Process Modeling

Sergio Morales, Robert Clarisó, Jordi Cabot

Download Pdf, 445.7 kB, opens in new window.


DescribeML: a tool for describing machine-learning datasets P28

Joan Giner, Abel Gómez, Jordi Cabot

Download


The Westermo test results data set

Per Erik Strandberg

Download Pdf, 1.4 MB.


Towards blended modeling and simulation of DevOps processes: the Keptn case study

Alessandro Colantoni, Luca Berardinelli, Antonio Garmendia, Johannes Bräuer

Download Pdf, 744.1 kB, opens in new window.


Requirement or not, that is the question: A case from the railway industry

Sarmad Bashir, Muhammad Abbas, Mehrdad Saadatmand, Eduard Paul Enoiu, Markus Bohlin, Pernilla Lindberg

Download Pdf, 18.9 MB, opens in new window.


Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project

Romina Eramo, Tiziana Fanni, Dario Guidotti, Laura Pandolfo, Luca Pulina, Katiuscia Zedda

Download Pdf, 1.2 MB, opens in new window.


Teaching and Training in Formalisation with B

Thierry Lecomte

Download Pdf, 6.3 MB, opens in new window.


AI-augmented Model-Based Capabilities in the AIDOaRt Project: Continuous Development of Cyber-Physical Systems

Alessandra Bagnato, Antonio Cicchetti, Luca Berardinelli, Hugo Bruneliere, Romina Eramo

Download


SBFT Tool Competition 2023 - Cyber-Physical Systems Track

Matteo Biagiola, Stefan Klikovits, Jarkko Peltomäki, Vincenzo Riccio

Download
 WOGAN at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track

Jesper Winsten, Ivan Porres

Download

Developing Cyber-Physical Systems: Challenges from Industry-Academia Collaboration

Johan Bergelin, Romina Eramo, Yittoriano Muttillo, and Per Erik Strandberg

Download

Making Sense of Failure Logs in an Industrial DevOps Environment

M Abbas, A Hamayouni, M H Moghadam, M Saadatmand & P E Strandberg

Download Pdf, 260.6 kB, opens in new window.