Segui
Juliane Päßler
Juliane Päßler
PhD Student in Computer Science, University of Oslo
Email verificata su uio.no
Titolo
Citata da
Citata da
Anno
SUAVE: an exemplar for self-adaptive underwater vehicles
GR Silva, J Päßler, J Zwanepol, E Alberts, SLT Tarifa, I Gerostathopoulos, ...
2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self …, 2023
202023
Formal Modelling and Analysis of a Self-Adaptive Robotic System
J Päßler, MH ter Beek, F Damiani, SL Tapia Tarifa, EB Johnsen
International Conference on Integrated Formal Methods, 343-363, 2023
82023
A Formal Model of Metacontrol in Maude
J Päßler, E Aguado, GR Silva, SLT Tarifa, CH Corbato, EB Johnsen
International Symposium on Leveraging Applications of Formal Methods, 575-596, 2022
32022
A Configurable Software Model of a Self-Adaptive Robotic System
J Päßler, MH ter Beek, F Damiani, EB Johnsen, SLT Tarifa
Science of Computer Programming 240, 103221, 2025
22025
Template Decision Diagrams for Meta Control and Explainability
C Dubslaff, V Klös, J Päßler
World Conference on Explainable Artificial Intelligence, 219-242, 2024
12024
Analysing Self-Adaptive Systems as Software Product Lines
J Päßler, MH ter Beek, F Damiani, EB Johnsen, SLT Tarifa
Journal of Systems and Software 222, 112324, 2025
2025
Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System
J Päßler, MH ter Beek, F Damiani, C Dubslaff, EB Johnsen, ...
Formal Aspects of Computing, 2024
2024
Forking independence in the free group
J Päßler
2021
ISTI Technical Reports
J Päßler, MH ter Beek, IF Damiani, SLT Tarifa, EB Johnsen
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–9