Travelled to:1 × Australia
1 × France
1 × Germany
1 × India
1 × Luxembourg
2 × USA
Collaborated with:U.Shrotri G.M.Krishna S.Sukumaran A.Sreenivas P.Bhaduri P.Darke B.Chimdyalwar S.Kumar S.Agrawal N.Hirve T.Muske D.Kholkar R.Metta A.Yeolekar D.Unadkat V.Agarwal M.Afzal A.Asia A.Chauhan A.Datar
Talks about:specif (3) model (3) check (3) use (3) generat (2) visual (2) requir (2) test (2) structur (1) properti (1)
Person: R. Venkatesh
DBLP: Venkatesh:R=
Contributed to:
20152014
2013
2010
2006
20052003
2019Wrote 8 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-2014-VenkateshSKA #named #specification
- EDT: A specification notation for reactive systems (RV, US, GMK, SA), pp. 1–6.
- ICST-2013-YeolekarUAKV #generative #model checking #scalability #testing #using
- Scaling Model Checking for Test Generation Using Dynamic Inference (AY, DU, VA, SK, RV), pp. 184–191.
- SEKE-2010-HirveMSV
- Feature based Structuring and Composing of SDLC Artifacts (NH, TM, US, RV), pp. 583–586.
- SEFM-2006-SukumaranSV #approach #requirements #validation
- A Rigorous Approach to Requirements Validation (SS, AS, RV), pp. 236–245.
- SOFTVIS-2005-KholkarKSV #analysis #case study #specification #visual notation
- Visual specification and analysis of use cases (DK, GMK, US, RV), pp. 77–85.
- SEFM-2003-ShrotriBV #model checking #requirements #specification #visual notation
- Model Checking Visual Specification of Requirements (US, PB, RV), pp. 202–209.
- ASE-2019-AfzalACCDDKV #abstraction #generative #testing #verification
- VeriAbs : Verification by Abstraction and Test Generation (MA, AA, AC, BC, PD, AD, SK, RV), pp. 1138–1141.