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