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 × USA
2 × Germany
Collaborated with:
P.Dasgupta A.Banerjee A.Lahiri A.Basu M.Choudhury A.Hazra A.Pal D.Bagchi K.Guha
Talks about:
formal (2) counterexampl (1) architectur (1) leverag (1) extract (1) batteri (1) assumpt (1) system (1) speech (1) partit (1)

Person: Srobona Mitra

DBLP DBLP: Mitra:Srobona

Contributed to:

DATE 20122012
DAC 20102010
DATE 20062006

Wrote 3 papers:

DATE-2012-MitraBD #formal method #mining #ranking
Formal methods for ranking counterexamples through assumption mining (SM, AB, PD), pp. 911–916.
DAC-2010-HazraMDPBG #architecture #modelling #verification
Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent (AH, SM, PD, AP, DB, KG), pp. 773–776.
DATE-2006-LahiriBCM #clustering #speech
Battery-aware code partitioning for a text to speech system (AL, AB, MC, SM), pp. 672–677.

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.