Follow
Juliane Päßler
Juliane Päßler
PhD Student in Computer Science, University of Oslo
Verified email at uio.no
Title
Cited by
Cited by
Year
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
42023
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
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
2023
Forking independence in the free group
J Päßler
2021
ISTI Technical Reports
J Päßler, MH ter Beek
The system can't perform the operation now. Try again later.
Articles 1–5