I am a PhD student working in the European Training Network REMARO (Reliable AI for Marine Robotics). In my project I aim to develop analysis techniques to verify self-adaptive systems.
Juliane Linda Pässler
Doctoral Research Fellow
-
Reliable Systems
Norwegian version of this page
Email
julipas@ifi.uio.no
Username
Visiting address
Gaustadalléen 23B
0373 Oslo
Postal address
Postboks 1080 Blindern
0316 Oslo
Publications
-
Pässler, Juliane Linda; ter Beek, Maurice H.; Damiani, Ferruccio; Tapia Tarifa, Silvia Lizeth & Johnsen, Einar Broch (2023). Formal Modelling and Analysis of a Self-Adaptive Robotic System. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 14300, p. 343–363. doi: 10.1007/978-3-031-47705-8_18. Full text in Research Archive
-
Rezende Silva, Gustavo; Pässler, Juliane Linda; Zwanepol, Jeroen; Alberts, Elvin; Tapia Tarifa, Silvia Lizeth & Gerostathopoulos, Ilias [Show all 8 contributors for this article] (2023). SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. In Nunes Rodrigues, Genaína & Pérez, Diego (Ed.), SEAMS '23: Proceedings of the 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems. IEEE (Institute of Electrical and Electronics Engineers). ISSN 978-1-4503-9305-8. p. 181–187. doi: 10.1109/SEAMS59076.2023.00031. Full text in Research Archive
-
Päßler, Juliane; Aguado, Esther; Rezende Silva, Gustavo; Tapia Tarifa, Silvia Lizeth; Hernández Corbato, Carlos & Johnsen, Einar Broch (2022). A Formal Model of Metacontrol in Maude. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13701, p. 575–596. doi: 10.1007/978-3-031-19849-6_32. Full text in Research Archive
Published
Sep. 24, 2021 12:36 PM
- Last modified
Nov. 16, 2022 9:28 AM