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: Mitra:Srobona
Contributed to:
2012
20102006Wrote 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.