#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
#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!
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.
