Juliane Päßler

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 5

Top Topics

Control Parameters

Equational Theories

Formal Analysis

Unstructured Environments

Top Venues

Publications

Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. CoRR (2023)
Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. SEAMS (2023)
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Formal Modelling and Analysis of a Self-Adaptive Robotic System. CoRR (2023)
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Formal Modelling and Analysis of a Self-Adaptive Robotic System. iFM (2023)
Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernández Corbato, Einar Broch Johnsen
A Formal Model of Metacontrol in Maude. ISoLA (1) (2022)