In Shonan 2023, with a handful of usual suspects (Shaukat Ali, Domenico Bianculli, Antonio Cicchetti, Robbert Jongeling & Catia Trubiani), we brain-stormed a bit on uncertainty & RV in the context of DevOps. The resulting book chapter/book is now available!
Blog-post: https://selabhvl.github.io/update/2026/03/15/DevOps-CPS-Shonan.html
AI Coders Can Finally See What They're Building — Antigravity and Uno Platform Make It Happen
#Antigravity #UnoPlatform #MCP #AICoding #CrossPlatform #RuntimeVerification #Google #AI #TechNews
New blog post: MSc theses on connecting RTLola via FMUs and a bit of a null-result on using LLMs for code generation
Two of my MSc students at #UIO finished this summer, Selleban M. Farah on “FMUs for runtime monitoring in RTLola”, and Jonas da Silva on “Towards Automated Language Server Synthesis”.
Click on through for more details!
https://selabhvl.github.io/science,/llms,/runtime/verification/2025/07/16/uiothesis.html
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”.
There's still time to submit your papers/abstracts to Runtime Verification 2025! Ezio Bartocci will be organising the conference at TU Graz in September.
#RuntimeVerification #rv2025 @tugraz.bsky.social
"Tainting in Smart Contracts: Combining Static and Runtime Verification" by Shaun Azzopardi with Joshua Ellul, Ryan Falzon, Gordon J. Pace
Unfortunately we missed a bit in the beginning of this video.
https://hvl.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=af161260-cbf6-44de-aa69-af2700a4a3be
"Tainting in Smart Contracts: Combining Static and Runtime Verification" by Shaun Azzopardi with Joshua Ellul, Ryan Falzon, Gordon J. Pace Unfortunately we missed a bit in the beginning of this video. Conference link: https://rv22.gitlab.io Article: https://doi.org/10.1007/978-3-031-17196-3_8
RV'22: "A Barrier Certificate-Based Simplex Architecture with Application to Microgrids" by Scott Stoller with Amol Damare, Shouvik Roy, Scott A. Smolka
https://hvl.cloud.panopto.eu/Panopto/Pages/Embed.aspx?id=14c3b45c-c163-4e2f-8890-af2700a2bbfe
“Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables” by Jonathan Julián Huerta y Munive
https://hvl.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=411d6531-4884-4ff1-b431-af2700a2bfa5
RV'22: "Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables" by Jonathan Julián Huerta y Munive Conference link: https://rv22.gitlab.io Article: https://doi.org/10.1007/978-3-031-17196-3_3
Let's start with our keynote by Michal Valko on "Learning by bootstrapping of latents"
https://hvl.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=3c820997-95e1-484e-84eb-af27012eff82
"Learning by bootstrapping of latents", keynote by Michal Valko Conference link: https://rv22.gitlab.io
Videos from the RV’22 Conference on Runtime Verification
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 videos in our CMS at HVL, but I never got around to “officially” posting them somewhere. They are now also available on the conference web-site.
https://selabhvl.github.io/science/2025/03/30/rv22-videos.html
Volker Stolz
TechLİfe
SELab@HVL