Best Paper Award

The paper METIS: Resource and Context Aware Monitoring of Finite State Properties has been chosen as the Best Paper in the conference Runtime Verification, 2018. Congratulations to the team: Garvita, Aritra, Ambreen, and Dr. Purandare.

Links to tools created by the group

Get in touch with us

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