A Formal Model of Metacontrol in Maude. - Juliane Päßler; Esther Aguado; Gustavo Rezende Silva; Silvia Lizeth Tapia Tarifa; Carlos Hernández Corbato; Einar Broch Johnsen (ISoLA (1), 2022)

Formal Modelling and Analysis of a Self-Adaptive Robotic System. - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (iFM, 2023)

SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. - Gustavo Rezende Silva; Juliane Päßler; Jeroen Zwanepol; Elvin Alberts; Silvia Lizeth Tapia Tarifa; Ilias Gerostathopoulos; Einar Broch Johnsen; Carlos Hernández Corbato (SEAMS, 2023)

Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (Zenodo, 2023)

Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (Zenodo, 2023)

Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (Zenodo, 2023)

Template Decision Diagrams for Meta Control and Explainability. - Clemens Dubslaff; Verena Klös; Juliane Päßler (xAI (2), 2024)

A Configurable Software Model of a Self-Adaptive Robotic System. - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Zenodo, 2024)

Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Clemens Dubslaff; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Zenodo, 2024)

Analysing Self-Adaptive Systems as Software Product Lines (Artifact). - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Zenodo, 2024)

Analysing Self-Adaptive Systems as Software Product Lines (Artifact). - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Zenodo, 2024)

ROSA: a knowledge-based solution for robot self-adaptation. - Gustavo Rezende Silva; Juliane Päßler; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen; Carlos Hernández Corbato (Frontiers Robotics AI, 2025)

Analysing Self-Adaptive Systems as Software Product Lines. - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (J. Syst. Softw., 2025)

A Configurable Software Model of a Self-Adaptive Robotic System. - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Sci. Comput. Program., 2025)