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.

Click here

Kochanthara16.pdf

2016

Lastest News

Paper titled "POLLUX: Safely Upgrading Dependent Application Libraries" accepted in FSE2016

9 June 2016

Sukrit Kalra, Ayush Goel, Dhriti Khanna under the guidance of Dr. Mohan Dhawan (IBM-IRL), Dr. Subodh Sharma (IIT-D), and Dr. Rahul Purandare co-...

Yogesh Kumari defends her M.Tech Thesis

1 May 2016

Abstract: Providing feedback to all the students individually, for a programming assignment is a very tedious and error-prone task and can take a...

Links to tools created by the group

Course Particular

Program Analysis
Practice of Programming
Program Synthesis

Interesting External Links

Get in touch with us

pagadmin@iiitd.ac.in

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

Search form