"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

RV'22: "Tainting in Smart Contracts: Combining Static and Runtime Verification" by Shaun Azzopardi with Joshua Ellul, Ryan Falzon, Gordon J. Pace

"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. Conference link: https://rv22.gitlab.io Article: https://doi.org/10.1007/978-3-031-17196-3_8

Panopto

@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

RV'22: "A Barrier Certificate-Based Simplex Architecture with Application to Microgrids" by Scott Stoller with Amol Damare, Shouvik Roy, Scott A. Smolka

@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

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

RV'22: "Learning by bootstrapping of latents", keynote by Michal Valko

"Learning by bootstrapping of latents", keynote by Michal Valko Conference link: https://rv22.gitlab.io

Panopto

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
#Lillestrøm #RV22 #Tuen UP har hatt laserkontroll i skiltet 80-sone på stedet. Resultat: 30 forenklede forelegg for fart. Høyeste målte hastighet var 112km/t
#Trømborg #Rv22 UP hatt trafikkontroll på Trømborgveien, resultatet ble 28 FF for hastighet, høyeste målt til 84 km/t i 60-sone.
#Sarpsborg #Rv22 #Ise ca kl 1145 - kl 1315; UP avholdt en hastighetskontroll i 80 sonen. 3 forenkla forelegg utstedt.
R to @Politietost: #Båstad #Rv22 vil bli stengt en periode nå ifm. utbedring av stolpen som ble knekt.