Travelled to:1 × Australia
1 × France
1 × Germany
1 × Russia
2 × USA
Collaborated with:R.Venkatesh B.Chimdyalwar G.M.Krishna S.Kumar P.Bhaduri S.Agrawal N.Hirve T.Muske D.Kholkar P.Darke R.Metta
Talks about:specif (3) analysi (2) visual (2) model (2) check (2) use (2) structur (1) properti (1) industri (1) artifact (1)
Person: Ulka Shrotri
DBLP: Shrotri:Ulka
Contributed to:
20152014
2013
2010
2005
2003Wrote 6 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.
- ESEC-FSE-2013-KumarCS #analysis #industrial #precise #scalability
- Precise range analysis on large industry code (SK, BC, US), pp. 675–678.
- SEKE-2010-HirveMSV
- Feature based Structuring and Composing of SDLC Artifacts (NH, TM, US, RV), pp. 583–586.
- 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.