home.social

#rv22 — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #rv22, aggregated by home.social.

  1. Volker Stolz @[email protected] ·

    "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.

    hvl.cloud.panopto.eu/Panopto/P

    @selabhvl

    #rv22 #runtimeVerification

    #rv22 #runtimeverification
  2. Volker Stolz @[email protected] ·

    @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

    hvl.cloud.panopto.eu/Panopto/P

    #rv22 #runtimeverification
  3. Volker Stolz @[email protected] ·

    @selabhvl

    “Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables” by Jonathan Julián Huerta y Munive

    hvl.cloud.panopto.eu/Panopto/P

    #rv22 #RuntimeVerification

    #rv22 #runtimeverification
  4. Volker Stolz @[email protected] ·

    Let's start with our keynote by Michal Valko on "Learning by bootstrapping of latents"

    hvl.cloud.panopto.eu/Panopto/P

    @selabhvl

    #rv22 #RuntimeVerification

    #rv22 #runtimeverification