2016

REVERT: Runtime Verification for Real-Time Systems

Sangeeth Kochanthara, Geoffrey Nelissen, David Pereira and Rahul Purandare. REVERT: Runtime Verification for Real-Time Systems. 2016. IEEE Real-Time Systems Symposium (RTSS'16), Porto. 365-365.

KIRKE: Re-engineering of Web Applications to Mobile Apps

Rohit Mehra, Vinayak Naik, Rahul Purandare, and Kapish Malik. 2016. KIRKE: Re-engineering of Web Applications to Mobile Apps. In Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MOBIQUITOUS 2016). ACM, New York, NY, USA, 135-142.

POLLUX: Safely Upgrading Dependent Application Libraries

Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, and Rahul Purandare. 2016. POLLUX: safely upgrading dependent application libraries. In Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2016). ACM, New York, NY, USA, 290-300.

Pages

Links to tools created by the group

Get in touch with us

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