REVERT: Runtime Verification for Real-Time Systems

S Kochanthara, G Nelissen, D Pereira, R Purandare. REVERT: Runtime Verification for Real-Time Systems, RTSS work-in-progress track 2016.

KIRKE: Re-engineering of Web Applications to Mobile Apps

R Mehra, V Naik, R Purandare and K Malik. KIRKE: Re-engineering of Web Applications to Mobile Apps, MobiQuitous 2016.

POLLUX: Safely Upgrading Dependent Application Libraries

S. Kalra, A. Goel, D. Khanna, M. Dhawan, S. Sharma and R. Purandare. "POLLUX: Safely Upgrading Dependent Application Libraries", FSE 2016.


Links to tools created by the group

Get in touch with us

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