#runtimeverification

Volker Stolz

@fm-volker.mastodon.social.ap.brid.gy

5 hours ago

Fuji-san seen in the distance from Shonan

Norwegian participants to Shonan seminar 204: Shaukat Ali (Simula), Violet Ka I Pun (HVL), Volker Stolz (HVL)

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! […]

[Original post on mastodon.social]

@techlife-blog.bsky.social

4 days ago

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.

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

techlife.blog/posts/ai-cod...

#Antigravity #UnoPlatform #MCP #AICoding #CrossPlatform #RuntimeVerification #Google #AI #TechNews

GetNews.me

@getnews-me.bsky.social

5 months ago

Probabilistic Runtime Verification Improves Deep Learning Evaluation

Probabilistic runtime verification tested on five visual datasets reduced accuracy estimation errors to 0.01–0.1, improving handling of distributional shifts. getnews.me/probabilistic-runtime-ve... #runtimeverification #distributionalshifts

GetNews.me

@getnews-me.bsky.social

5 months ago

Efficient Online Monitoring of Metric Temporal Logic with Sequential Networks

Sequential networks from Metric Temporal Logic enable real‑time monitoring with scaling resources. First submitted 1 Jan 2019, latest update 20 Sep 2025. Read more: getnews.me/efficient-online-monitor... #metrictimelogic #runtimeverification

Volker Stolz

@fm-volker.mastodon.social.ap.brid.gy

7 months ago

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 […]

Luca 🤓

@lucadistefano.eu

8 months ago

📄 My tool paper "Execution and monitoring of HOA automata with HOAX" has been accepted to RV 2025! My first sole-author publication 🥹
🔗 And the tool is open source! github.com/lou1306/hoax
See you in Graz!
#compsci #compsky #automata #rv2025 #runtimeverification

Volker Stolz

@fm-volker.mastodon.social.ap.brid.gy

9 months ago

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