Conference: RV 2022 (Runtime Verification 2022)

Conference: RV 2022 (Runtime Verification 2022)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Abstract Monitors for Quantitative Specifications

Abstract Monitors for Quantitative Specifications

Thomas A. Henzinger, Nicolas Mazzocchi and N. Ege Saraç

Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks

Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks

Muhammad Usman, Divya Gopinath, Youcheng Sun and Corina S. Pasareanu

Presentations in this collection: 2