#runtimeverification — Public Fediverse posts

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

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

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

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

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

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

"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

“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