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 |
---|---|---|
Experiences and Challenges from Developing Cyber-Physical Systems in Industry-Academia Collaboration | Johan Cederbladh, Romina Eramo, Vittoriano Mutillo, Per Erik Strandberg | |
Early Validation and Verification of System Behaviour in Model-Based Systems Engineering: A Systematic Literature Review | Johan Cederbladh, Antonio Cicchetti, Jagadish Suryadevara | |
An Iterative Approach for Model-based Requirements Engineering in Large Collaborative Projects: A Detailed Experience Report | Andrey Sadovykh, Bilal Said, Dragos Truscan, Hugo Bruneliere | |
Uncertainty management with extra-functional qualities in multi-artefact co-evolution | Francesco Basciani, Davide Di Ruscio, Ludovico Iovino, and Alfonso Pierantonio | |
User-driven diverse scenario exploration in model finders | Robert Clarisó, Jordi Cabot | |
Towards a model-driven approach for multi-experience AI-based user interfaces | Elena Planas, Gwendal Daniel, Marco Brambilla, Jordi Cabot | |
Fingerprinting and analysis of Bluetooth devices with automata learning | Andrea Pferscher, Bernhard K. Aichernig | |
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 | |
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 | |
Software assistants in software engineering: A systematic mapping study | Maxime Savary-Leblanc, Lola Burgueño, Jordi Cabot, Xavier Le Pallec, Sébastien Gérard | |
Software test results exploration and visualization with continuous integration and nightly testing | Per Erik Strandberg, Wasif Afzal, Daniel Sundmark |
Conference and Workshop Proceedings
Title | Authors | link | |
---|---|---|---|
DescribeML: A dataset description tool for machine learning | Joan Giner-Miguelez, Abel Gómez, Jordi Cabot | ||
DataDoc Analyzer: A Tool for Analyzing the Documentation of Scientific Datasets | Joan Giner-Miguelez, Abel Gómez, Jordi Cabot | ||
ARCH-COMP23 Category Report: Falsification | Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga and Zhenya Zhang | ||
Dynamic Test Case Prioritization in Industrial Test Result Datasets | Alina Torbunova, Per Strandberg, Ivan Porres | ||
Towards Automating Model-Based Systems Engineering in Industry - An Experience Report | Johan Cederbladh, Luca Berardinelli , Damir Bilic, Hugo Bruneliere , Antonio Cicchetti, MohammedHadi Dehghani , Claudio Di Sipio , James Miranda , Abbas Rahimi , Riccardo Rubei | ||
Towards the Integration Support for Machine Learning of Inter-Model Relations in Model Views | James Pontes Miranda, Hugo Bruneliere, Massimo Tisi, Gerson Sunyé | ||
Resource Constrained Test Case Prioritization with Simulated Annealing in an Industrial Context | Eric Felding, Per Erik Strandberg, Nils-Hassan Quttineh, and Wasif Afzal | ||
Automating Bias Testing of LLMs | Sergio Morales, Robert Clarisó, Jordi Cabot | ||
SBFT Tool Competition 2023 - Cyber-Physical Systems Track | Matteo Biagiola, Stefan Klikovits, Jarkko Peltomäki, Vincenzo Riccio | ||
On the impact of Performance Antipatterns in multi-objective software model refactoring optimization | Vittorio Cortellessa, Daniele Di Pompeo, Vincenzo Stoico, Michele Tucci | ||
Enabling Fast Exploration and Validation of Thermal Dissipation Requirements for Heterogeneous SoCs | Joel Ohrling, Dragos Truscan, Sebastien Lafond | ||
Automated quality assessment of interrelated modelling artifacts | Francesco Basciani, Davide Di Ruscio, Ludovico Iovino and Alfonso Pierantonio | ||
Online GANs for Automatic Performance Testing | Ivan Porres, Hergys Rexha, Sebastien Lafond | ||
Applying Model-based Requirements Engineering in Three Large European Collaborative Projects: An Experience Report | Andrey Sadovykh, Dragos Truscan, Hugo Bruneliere | ||
Evaluating System Identification Methods for Predicting Thermal Dissipation of Heterogeneous SoCs | Joel Öhrling, Sébastien Lafond and Dragos Truscan | ||
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 | ||
(Not) Yet Another Metamodel For Traceability | Edouard R. Batot, Jordi Cabot, Sebastien Gerard | ||
Leveraging model-driven technologies for JSON artefacts : the shipyard case study | Colantoni, Alessandro ; Garmendia, Antonio ; Berardinelli, Luca ; Wimmer, Manuel ; Bräuer, Johannes | ||
Applying Model-based Requirements Engineering in Three Large European Collaborative Projects: An Experience Report | Andrey Sadovykh, Dragos Truscan, Hugo Bruneliere | ||
Towards continuous consistency checking of DevOps artefacts | Colantoni, Alessandro ; Horváth, Benedek ; Horváth, Ákos ; Berardinelli, Luca; Wimmer, Manuel | ||
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 | ||
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 | ||
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits | Jarkko Peltomäki, Ivan Porres | ||
WOGAN at the SBST 2022 CPS Tool Competition | Jarkko Peltomäki, Frankie Spencer, Ivan Porres | ||
Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems | Jarkko Peltomäki, Frankie Spencer, Ivan Porres | ||
Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning | Andrea Pferscher, Bernhard K. Aichernig | ||
Towards AIDOaRt Objectives via Joint Model-based Architectural Effort | Bilal SAID, Andrey SADOVYKH , Etienne BROSSE and Alessandra BAGNATO | ||
Enabling Content Management Systems as an Information Source in Model-Driven Projects | Joan Giner-Miguelez, Abel Gómez, Jordi Cabot | ||
Industrial Requirements for Supporting AI-Enhanced Model-Driven Engineering | Johan Bergelin, Per Erik Strandberg | ||
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 Pdf, 454.9 kB, opens in new window. | |
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. |