Declarative Lifecycle Management for Self-Adaptive Systems - Software and Systems Modeling Self-adaptive systems can be realised as layered systems with a feedback loop: a managing system monitors a managed system, updates an internal model, and adjusts the managed system by means of contro...

#OnlineFirst
Declarative Lifecycle Management for Self-Adaptive Systems
Eduard Kamburjan, Nelly Bencomo, Einar Broch Johnsen & Silvia Lizeth Tapia Tarifa
doi.org/10.1007/s102...

Loes Kruger, Paul Kobialka, Andrea Pferscher, Einar Broch Johnsen, Sebastian Junges, Jurriaan Rot: Incremental Fingerprinting in an Open World https://arxiv.org/abs/2601.21680 https://arxiv.org/pdf/2601.21680 https://arxiv.org/html/2601.21680

Lars Willas Dreyer, Andrea Pferscher, Riccardo Sieve, Jean Rabault, Atle Jensen, Einar Broch Johnsen, Gaute Hope: OLB: An Open Lora Buoy for Coastal Water Measurements https://arxiv.org/abs/2601.05615 https://arxiv.org/pdf/2601.05615 https://arxiv.org/html/2601.05615

Riccardo Sieve, Paul Kobialka, Laura Slaughter, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa: BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins https://arxiv.org/abs/2505.06287 https://arxiv.org/pdf/2505.06287 https://arxiv.org/html/2505.06287

Eduard Kamburjan, Vidar Norstein Klungre, Yuanwei Qu, Rudolf Schlatte, Egor V. Kostylev, Martin Giese, Einar Broch Johnsen
Semantically Reflected Programs
https://arxiv.org/abs/2509.03318

FM 2026 - Tutorials - FM 2026 FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…

#FM2026 will feature a Tutorial track, for work that is broadly accessibly and can spread useful ideas in #FormalMethods more widely. Papers may be driven by academic interests or needs from specific domains.

Papers can be upto 25 pages long (LNCS)
Details: conf.researchr.org/track/fm-202...

Student vs supervisor, drinking vs thinking

Happy to contribute to the PhD defence of Tabea Bordis in Karlsruhe yesterday! Congrats also to supervisor Ina Schaefer.

Finally, science unveils the inner workings of the Roman Empire !

Counterfactual strategies for MDPs. Lots of fun working on this with Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika Abraham and Lizeth Tapia. To be presented at IJCAI over summer

We have started combining formal methods with data streams for twinning hospital wards. #bedreflyt

Then I can recommend The Raisin King, about Gustav Eisen

There is a very nice book by the author Fredrik Sjöberg called The Raisin King, about an amazing Swedish scientist who, among an unbelievable amount of activities, also corresponded with Darwin on the topic of earthworms.

Testing self-made sensors for the Oslofjord digital twin today, in an underwater sugar kelp garden!

FM 2026 - FM 2026 FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…

The 27th Symposium on Formal Methods CfP

If your work develops or applies #FormalMethods then #FM2026 is probably interested!

Dates (AoE)
* Papers 2nd Dec 2025
* Conference 20th–22nd May 2026

Gold open access proceedings

Details:

Lots of fun in Västerås today, celebrating Marjan Sirjani

It is time to revisit Morgenstern’s account of Gödel’s naturalization process for US citizen albert.ias.edu/entities/arc...

Alexandra: if you ever start doubting your own awesomeness, I can reconfirm it for you at any time!

A letter to Columbia's interim president expressing disgust and sorrow at their cowardly decision to appease our lawless government.

I just sent this letter to Columbia's interim president. I suspect she'll never see it, but you will.