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 × 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 DBLP: Banerjee:Ansuman

Contributed to:

DATE 20122012
FSE 20102010
DAC 20062006
DAC 20022002

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.

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.