#runtimeverification — Public Fediverse posts

*sigh* sitting on a nice short conference paper that would either fit at RV (Ontario) or SEFM (Malta). Trying to find a justification for RV which is maybe slightly more relevant, but further away…Originally I wanted to submit two short papers, but the full data for the second didn’t materialise in time, *double sigh*.

#rv #RuntimeVerification #SEFM #FormalMethods

*sigh* sitting on a nice short conference paper that would either fit at RV (Ontario) or SEFM (Malta). Trying to find a justification for RV which is maybe slightly more relevant, but further away…Originally I wanted to submit two short papers, but the full data for the second didn’t materialise in time, *double sigh*.

#rv #RuntimeVerification #SEFM #FormalMethods

AI systems are no longer just models.

Models can propose.
Systems must verify.

New article: https://paolozaino.wordpress.com/2026/05/16/ai-ai-systems-are-no-longer-just-models-and-runtime-verification-is-becoming-the-new-security-boundary/

#AI #AISecurity #AIGovernance #AgenticAI #RuntimeVerification #AISecurity #CyberSecurity #SoftwareEngineering #MachineLearning #MLOps #LLMOps #RiskManagement

AI systems are no longer just models.

Models can propose.
Systems must verify.

New article: https://paolozaino.wordpress.com/2026/05/16/ai-ai-systems-are-no-longer-just-models-and-runtime-verification-is-becoming-the-new-security-boundary/

#AI #AISecurity #AIGovernance #AgenticAI #RuntimeVerification #AISecurity #CyberSecurity #SoftwareEngineering #MachineLearning #MLOps #LLMOps #RiskManagement

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

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

https://techlife.blog/posts/ai-coders-can-finally-see-what-theyre-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

#RuntimeVerification #SoftwareEngineering #LLM

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

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

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

"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

"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

@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

@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

@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

@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

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

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