Items where Author is "Das, Sayantan"

Article

Das, Sayantan ; Dutta, Saurav ; Mangalam, Madhur ; Verma, Rakesh Kumar ; Rath, Subhani ; Kumara, Honnavalli N. ; Singh, Mewa (2011) Prioritizing remnant forests for the conservation of Mysore slender lorises (Loris lyddekerianus lyddekerianus) in Karnataka, India through estimation of population density International Journal of Primatology, 32 (5). pp. 1153-1160. ISSN 0164-0291

Sinha, Arnab ; Dasgupta, Pallab ; Pal, Bhaskar ; Das, Sayantan ; Basu, Prasenjit ; Chakrabarti, P. P. (2009) Design intent coverage revisited ACM Transactions on Design Automation of Electronic Systems, 14 (1). No pp. given. ISSN 1084-4309

Sinha, Arnab ; Dasgupta, Pallab ; Pal, Bhaskar ; Das, Sayantan ; Basu, Prasenjit ; Chakrabarti, P. P. (2009) Design intent coverage revisited ACM Transactions on Design Automation of Electronic Systems, 14 (1). pp. 1-32. ISSN 1084-4309

Das, Sayantan ; Basu, Prasenjit ; Dasgupta, Pallab ; Chakrabarti, P. P. (2006) What lies between design intent coverage and model checking? Design, Automation and Test in Europe Conference and Exhibition . pp. 1217-1222. ISSN 1530-1591

Basu, Prasenjit ; Das, Sayantan ; Dasgupta, Pallab ; Chakrabarti, P. P. (2006) Discovering the input assumptions in specification refinement coverage Asia and South Pacific Design Automation Conference . pp. 13-18.

Roy, Suchismita ; Das, Sayantan ; Basu, Prasenjit ; Dasgupta, Pallab ; Chakrabarti, P. P. (2005) SAT based solutions for consistency problems in formal property specifications for open systems International Conference on Computer Aided Design . pp. 885-888.

Conference or Workshop Item

Banerjee, Ansuman ; Pal, Bhaskar ; Das, Sayantan ; Kumar, Abhijeet ; Dasgupta, Pallab (2006) Test generation games from formal specifications In: 2006 43rd ACM/IEEE Design Automation Conference, 24-28 July 2006, San Francisco, CA.