#runtimeverification — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #runtimeverification, aggregated by home.social.
-
AI systems are no longer just models.
Models can propose.
Systems must verify.#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
-
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
-
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
-
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
-
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
-
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