Mar 25, 2026 • Volker Stolz HVL was inviting submissions for internal funding for excellent research environments, to the tune of 3 years with 2 mio. NOK per year, which basically comes out to a post-doc plus decent overhead. Surprisingly (…
Mar 15, 2026 • Volker Stolz Last year my colleague Violet and I had the chance to contribute to a chapter for the book “Roadmap for DevOps in Cyber-physical systems” (available from Springer) edited by Sebastiano Panichella, Paolo Arcaini,
As academics, we don’t only teach or do research, but we also organize national or international events. These events wouldn’t happen without sponsors, and one sponsor that over the past years has always contributed to our events is the Cit…
Dec 15, 2025 • Volker Stolz Dr. Muhammad Rizwan Ali (HVL) successfully defended his PhD thesis on “Formal Modelling and Analysis for Cross-organisational workflows”! Congratulations! This marks a high-light for our NFR-funded project “Crofl…
Oct 14, 2025 • Volker Stolz Q: What’s better than having to submit a camera-ready copy to the publisher? A: Having to submit two on the same day! Violet, Volker and Charaf had their submission at SBMF’25 accepted on “Resource Contracts for
Jul 17, 2025 • Volker Stolz Our journal-sized extension of the ICTAC’23 paper on “Modular Soundness Checking of Feature Model Evolution Plans” is finally out! In this version, we included all the nitty-gritty details, and Charaf and I porte…
Jul 16, 2025 • Volker Stolz Two of my MSc students at UIO finished this summer, Selleban Mohamud Farah on “FMUs for runtime monitoring in RTLola”, and Jonas Lien Sampaio da Silva on “Towards Automated Language Server Synthesis”. For both th…
Mar 30, 2025 • Volker Stolz I was still sitting on a batch of video-recordings from Runtime Verification 2022 that Thao Dang and myself were running in a then slightly more peaceful Georgia. Most of the authors got the open links to the vid…
Mar 28, 2025 • Volker Stolz By Ivan Spajić, Lars Michael Kristensen, Volker Stolz Ivan’s paper at ANT 2025 got accepted! He will be presenting our work not only on underwater sensors, mind you, shortly. Grab our open access preprint here or…
Nov 5, 2024 • Volker Stolz Our friends at the other side of the road, Magne Haveraaen and Mikhail Barash, put on a half-day workshop on Green Programming Languages. Abstracts on the web-page! Apart from Magne’s perspective on “Green computi…
Oct 15, 2024 • Volker Stolz My co-author Violet and I are almost on the way to the ISoLA-conference where I will present our work with our excellent MSc student Sebastian Kingston from UiO on “Automated Clone Elimination in Python Tests” in…
Aug 8, 2024 • Volker Stolz Our own Yngve Lamo will be at the national “Arendalsuka” in the debate on “Digital Health in Analog Municipalities” (Digital helse i analoge kommuner). Yngve has background (and opinions) on digital healthcare ser…