SELab@HVLMar 30, 2025

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
Show threadVolker Stolz

@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
Mar 31, 2025 at 7:09amIceCubesApp