Paper accepted at RV 2022

Paper titled "Optimal Finite-State Monitoring of Partial Traces", co-authored by Peeyush Kushwaha, Rahul Purandare, and Matthew Dwyer, has been accepted for publication in the 22nd International Conference on Runtime Verification (RV'22). Congratulations to the team!

Links to tools created by the group

Get in touch with us

Education - This is a contributing Drupal Theme
Design by WeebPal.