75 citations · 384 across the 39 of their papers we have counts for
32 papers · 1 filter
CIAO - Code In Architecture Out - Automated Software Architecture Documentation with Large Language Models
Marco De Luca, Tiziano Santilli, Domenico Amalfitano +2
Software architecture documentation is essential for system comprehension, yet it is often unavailable or incomplete. While recent LLM-based techniques can generate documentation f…
Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis
Gianluca Filippone, Sara Pettinari, Patrizio Pelliccione
Robots are increasingly deployed across diverse domains and designed for multi-purpose operation. As robotic systems grow in complexity and operate in dynamic environments, the nee…
The Runtime Dimension of Ethics in Self-Adaptive Systems
Marco Autili, Gianluca Filippone, Mashal Afzal Memon +1
Self-adaptive systems increasingly operate in close interaction with humans, often sharing the same physical or virtual environments and making decisions with ethical implications…
Once Upon a Team: Investigating Bias in LLM-Driven Software Team Composition and Task Allocation
Alessandra Parziale, Gianmario Voria, Valeria Pontillo +4
LLMs are increasingly used to boost productivity and support software engineering tasks. However, when applied to socially sensitive decisions such as team composition and task all…
A Research Roadmap for Augmenting Software Engineering Processes and Software Products with Generative AI
Domenico Amalfitano, Andreas Metzger, Marco Autili +8
Generative AI (GenAI) is rapidly transforming software engineering (SE) practices, influencing how SE processes are executed, as well as how software systems are developed, operate…
TwinArch: A Digital Twin Reference Architecture
Alessandra Somma, Domenico Amalfitano, Alessandra De Benedictis +1
Background. Digital Twins (DTs) are dynamic virtual representations of physical systems, enabled by seamless, bidirectional communication between the physical and digital realms. A…
An Adaptive Testing Approach Based on Field Data
Samira Silva, Ricardo Caldas, Patrizio Pelliccione +1
The growing need to test systems post-release has led to extending testing activities into production environments, where uncertainty and dynamic conditions pose significant challe…
Engineering Digital Systems for Humanity: a Research Roadmap
Marco Autili, Martina De Sanctis, Paola Inverardi +1
As testified by new regulations like the European AI Act, worries about the human and societal impact of (autonomous) software technologies are becoming of public concern. Human, s…
A data-flow oriented software architecture for heterogeneous marine data streams
Keila Lima, Ngoc-Thanh Nguyen, Rogardt Heldal +4
Marine in-situ data is collected by sensors mounted on fixed or mobile systems deployed into the ocean. This type of data is crucial both for the ocean industries and public author…
Search-based Trace Diagnostic for Cyber-Physical Systems
Gabriel Araujo, Ricardo Caldas, Federico Formica +3
Cyber-physical systems (CPS) development requires verifying whether system behaviors violate their requirements. This analysis often considers system behaviors expressed by executi…
Engineering Digital Systems for Humanity: Challenges and Opportunities
Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione
As testified by new regulations like the European AI act, the worries about the societal impact of (autonomous) software technologies are becoming of public concern. Social and hum…
Runtime Verification and Field-based Testing for ROS-based Robotic Systems
Ricardo Caldas, Juan Antonio Pinera Garcia, Matei Schiopu +3
Robotic systems are becoming pervasive and adopted in increasingly many domains, such as manufacturing, healthcare, and space exploration. To this end, engineering software has eme…
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
Piergiuseppe Mallozzi, Pierluigi Nuzzo, Nir Piterman +2
Effectively specifying and implementing robotic missions poses a set of challenges to software engineering for robotic systems. These challenges stem from the need to formalize and…
A Compositional Approach to Creating Architecture Frameworks with an Application to Distributed AI Systems
Hans-Martin Heyn, Eric Knauss, Patrizio Pelliccione
Artificial intelligence (AI) in its various forms finds more and more its way into complex distributed systems. For instance, it is used locally, as part of a sensor system, on the…
Self-Adaptation in Industry: A Survey
Danny Weyns, Ilias Gerostathopoulos, Nadeem Abbas +13
Computing systems form the backbone of many areas in our society, from manufacturing to traffic control, healthcare, and financial systems. When software plays a vital role in the…
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation
Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova +16
Artifacts support evaluating new research results and help comparing them with the state of the art in a field of interest. Over the past years, several artifacts have been introdu…
Preliminary Results of a Survey on the Use of Self-Adaptation in Industry
Danny Weyns, Ilias Gerostathopoulos, Nadeem Abbas +9
Self-adaptation equips a software system with a feedback loop that automates tasks that otherwise need to be performed by operators. Such feedback loops have found their way to a v…
Agile Beyond Teams and Feedback Beyond Software in Automotive Systems
S. Magnus Ågren, Rogardt Heldal, Eric Knauss +1
In order to increase the ability to build complex, software-intensive systems, as well as to decrease time-to-market for new functionality, automotive companies aim to scale agile…
Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns
Ricardo Caldas, Razan Ghzouli, Alessandro V. Papadopoulos +3
A traditional approach to realize self-adaptation in software engineering (SE) is by means of feedback loops. The goals of the system can be specified as formal properties that are…
Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain
Eric Bernd Gil, Ricardo Caldas, Arthur Rodrigues +3
Recent worldwide events shed light on the need of human-centered systems engineering in the healthcare domain. These systems must be prepared to evolve quickly but safely, accordin…
Robotics Software Engineering: A Perspective from the Service Robotics Domain
Sergio García, Daniel Strüber, Davide Brugali +2
Robots that support humans by performing useful tasks (a.k.a., service robots) are booming worldwide. In contrast to industrial robots, the development of service robots comes with…
Why and How Your Traceability Should Evolve: Insights from an Automotive Supplier
Rebekka Wohlrab, Patrizio Pelliccione, Ali Shahrokni +1
Traceability is a key enabler of various activities in automotive software and systems engineering and required by several standards. However, most existing traceability management…
A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems
Ricardo Diniz Caldas, Arthur Rodrigues, Eric Bernd Gil +3
Control theoretical techniques have been successfully adopted as methods for self-adaptive systems design to provide formal guarantees about the effectiveness and robustness of ada…
Why and How to Balance Alignment and Diversity of Requirements Engineering Practices in Automotive
Rebekka Wohlrab, Eric Knauss, Patrizio Pelliccione
In large-scale automotive companies, various requirements engineering (RE) practices are used across teams. RE practices manifest in Requirements Information Models (RIM) that defi…