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

#DevOps #RuntimeVerification #Shonan

AI Coders Can Finally See What They're Building — Antigravity and Uno Platform Make It Happen

Google's Antigravity IDE teams up with Uno Platform's App MCP to give AI agents actual eyes on your running app — screenshots, visual tree inspection, and click simulation included.

TechLife

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

#RuntimeVerification #SoftwareEngineering #LLM

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 Mohamud Farah on “FMUs for runtime monitoring in RTLola”, and Jonas Lien Sampaio da Silva on “Towards Automated Language Server Synthesis”.

Software Engineering Research Group @ HVL

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.

https://rv25.isec.tugraz.at

#RuntimeVerification #rv2025 @tugraz.bsky.social

RV25 – 25th International Conference on Runtime Verification

"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

@selabhvl

#rv22 #runtimeVerification

RV'22: "Tainting in Smart Contracts: Combining Static and Runtime Verification" by Shaun Azzopardi with Joshua Ellul, Ryan Falzon, Gordon J. Pace

"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

Panopto

@selabhvl

RV'22: "A Barrier Certificate-Based Simplex Architecture with Application to Microgrids" by Scott Stoller with Amol Damare, Shouvik Roy, Scott A. Smolka

#rv22 #RuntimeVerification

https://hvl.cloud.panopto.eu/Panopto/Pages/Embed.aspx?id=14c3b45c-c163-4e2f-8890-af2700a2bbfe

RV'22: "A Barrier Certificate-Based Simplex Architecture with Application to Microgrids" by Scott Stoller with Amol Damare, Shouvik Roy, Scott A. Smolka

@selabhvl

“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

#rv22 #RuntimeVerification

RV'22: "Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables" by Jonathan Julián Huerta y Munive

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

Panopto

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

@selabhvl

#rv22 #RuntimeVerification

RV'22: "Learning by bootstrapping of latents", keynote by Michal Valko

"Learning by bootstrapping of latents", keynote by Michal Valko Conference link: https://rv22.gitlab.io

Panopto

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

^ @fm_volker #runtimeVerification #rv22 #formalMethods

Runtime Verification 2022 (RV’22) videos

Videos from the RV’22 Conference on Runtime Verification

Software Engineering Research Group @ HVL