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 × 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 DBLP: Shrotri:Ulka

Contributed to:

DATE 20152015
DATE 20142014
ESEC/FSE 20132013
SEKE 20102010
SOFTVIS 20052005
SEFM 20032003

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

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.