Fields- 5th International Conference on Runtime Verification

  1. Title:
    Runtime Monitoring and Enforcement of Security Policies 1
    Speaker:
    David Basin

    Link:
    https://video-archive.fields.utoronto.ca/view/2973

  2. Title:
    Runtime Monitoring and Enforcement of Security Policies 2
    Speaker:
    David Basin

    Link:
    https://video-archive.fields.utoronto.ca/view/2974

  3. Title:
    A Lattice-Theoretic Approach to Monitoring Distributed Computations 1
    Speaker:
    Vijay Garg

    Link:
    https://video-archive.fields.utoronto.ca/view/2975

  4. Title:
    A Lattice-Theoretic Approach to Monitoring Distributed Computations 2
    Speaker:
    Vijay Garg

    Link:
    https://video-archive.fields.utoronto.ca/view/2976

  5. Title:
    Formal Methods: An Industrial Perspective
    Speaker:
    Jeannette Wing

    Link:
    https://video-archive.fields.utoronto.ca/view/2977

  6. Title:
    Murphy Strikes Again
    Speaker:
    Kevin Driscoll

    Link:
    https://video-archive.fields.utoronto.ca/view/2978

  7. Title:
    Monitoring Big, Distributed, Streaming Data
    Speaker:
    Assaf Schuster

    Link:
    https://video-archive.fields.utoronto.ca/view/2979