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
Stipendiat
-
Pålitelige systemer
English version of this page
E-post
julipas@ifi.uio.no
Brukernavn
Besøksadresse
Gaustadalléen 23B
0373 Oslo
Postadresse
Postboks 1080 Blindern
0316 Oslo
Publikasjoner
-
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, s. 343–363. doi: 10.1007/978-3-031-47705-8_18. Fulltekst i vitenarkiv
-
Rezende Silva, Gustavo; Pässler, Juliane Linda; Zwanepol, Jeroen; Alberts, Elvin; Tapia Tarifa, Silvia Lizeth & Gerostathopoulos, Ilias [Vis alle 8 forfattere av denne artikkelen] (2023). SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. I Nunes Rodrigues, Genaína & Pérez, Diego (Red.), 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. s. 181–187. doi: 10.1109/SEAMS59076.2023.00031. Fulltekst i vitenarkiv
-
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, s. 575–596. doi: 10.1007/978-3-031-19849-6_32. Fulltekst i vitenarkiv
Publisert
24. sep. 2021 12:36
- Sist endret
16. nov. 2022 09:26