Travelled to:
1 × Germany
3 × USA
Collaborated with:
P.Dasgupta S.Mitra A.Roychoudhury J.A.Harlie Z.Liang A.Chakrabarti P.P.Chakrabarti B.Pal S.Das A.Kumar A.Masrur D.Goswami S.Chakraborty J.Chen A.Annaswamy
Talks about:
formal (3) specif (2) time (2) counterexampl (1) implement (1) protocol (1) interfac (1) communic (1) softwar (1) generat (1)
Person: Ansuman Banerjee
DBLP: Banerjee:Ansuman
Contributed to:
Wrote 5 papers:
- DATE-2012-MasrurGCCAB #analysis #communication #cyber-physical #hybrid #protocol
- Timing analysis of cyber-physical applications for hybrid communication protocols (AM, DG, SC, JJC, AA, AB), pp. 1233–1238.
- DATE-2012-MitraBD #formal method #mining #ranking
- Formal methods for ranking counterexamples through assumption mining (SM, AB, PD), pp. 911–916.
- FSE-2010-BanerjeeRHL #debugging #implementation
- Golden implementation driven software debugging (AB, AR, JAH, ZL), pp. 177–186.
- DAC-2006-BanerjeePDKD #game studies #generative #specification #testing
- Test generation games from formal specifications (AB, BP, SD, AK, PD), pp. 827–832.
- DAC-2002-ChakrabartiDCB #interface #realtime #specification #verification
- Formal verification of module interfaces against real time specifications (AC, PD, PPC, AB), pp. 141–145.