BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Metta:Ravindra

Contributed to:

DATE 20152015
ICPC 20142014

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.