Travelled to:1 × France
1 × India
Collaborated with:A.Kulkarni P.Darke B.Chimdyalwar R.Venkatesh U.Shrotri K.Madhukar M.Srivas B.Wachter D.Kröning
Talks about:use (3) code (2) framework (1) synchron (1) properti (1) approxim (1) abstract (1) reactiv (1) verifi (1) system (1)
Person: Ravindra Metta
DBLP: Metta:Ravindra
Contributed to:
2015
2014Wrote 3 papers:
- DATE-2015-DarkeCVSM #approximate #bound #model checking #using
- Over-approximating loops to prove properties using bounded model checking (PD, BC, RV, US, RM), pp. 1407–1412.
- DATE-2015-MadhukarSWKM #abstraction #lazy evaluation #using #verification
- Verifying synchronous reactive systems using lazy abstraction (KM, MS, BW, DK, RM), pp. 1571–1574.
- ICPC-2014-KulkarniM #framework #obfuscation #using
- A code obfuscation framework using code clones (AK, RM), pp. 295–299.