A. K. Bhattacharjee

	2012
17		Dheeraj Gupta, P. S. Joshi, A. K. Bhattacharjee, R. S. Mundada: IDS alerts classification using knowledge-based evaluation. COMSNETS 2012: 1-8
16		Anirban Roy Choudhury, A. K. Bhattacharjee: RED: a tool for runtime error detection in C programs using abstract interpretation. ISEC 2012: 37-40
	2010
15		Rajib Kar, Vikas Maheshwari, Md. Maqbool, A. K. Mal, A. K. Bhattacharjee: A Closed Form Slew Evaluation Approach Using Burr's Distribution Function for High Speed On-Chip RC Interconnects. BAIP 2010: 71-75
14		Shaik Madhar Saheb, A. K. Bhattacharjee, Athinayaranan Vallavaraj: An Enhanced HCCA Based Adaptive Scheduler for Multimedia Traffic in IEEE 802.11e Wireless LAN. ICWN 2010: 446-453
	2009
13		D. Mandal, A. K. Bhattacharjee, S. P. Ghoshal: Comparative Optimal Designs of Non-Uniformly Excited Concentric Circular Antenna Array Using Evolutionary Optimization Techniques. ICETET 2009: 619-624
12		Joydeb Roychoudhury, Tribeni Prasad Banerjee, Hema Gurung, A. K. Bhattacharjee, Swagatam Das: Real Time State of Charge Prediction using Kalman Filter. NaBIC 2009: 1190-1194
11		D. Mandal, A. K. Bhattacharjee, S. P. Ghoshal: Application of Bio-inspired Optimization Technique for Finding the Optimal Set of Concentric Circular Antenna Array. NaBIC 2009: 1247-1252
10		Joydeb Roy Chowdury, Sayantica Pattanayak, A. K. Bhattacharjee: Design methodology for battery powered embedded systems - In safety critical application. Computer Standards & Interfaces 31(2): 499-503 (2009)
9		A. K. Bhattacharjee, R. K. Shyamasundar: Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation. Journal of Object Technology 8(1): 189-220 (2009)
	2008
8		A. K. Bhattacharjee, R. K. Shyamasundar: ScriptOrc: A Specification Language for Web Service Choreography. APSCC 2008: 1089-1096
7		A. K. Bhattacharjee, R. K. Shyamasundar: Choreography = Orchestration with Scripts + Conversations. ICWS 2008: 824-827
	2007
6		Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh: Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. SAFECOMP 2007: 491-504
	2005
5		A. K. Bhattacharjee, R. K. Shyamasundar: Validated Code Generation for Activity Diagrams. ICDCIT 2005: 508-521
	2003
4		Asif Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh: Visual Modeling and Verification of Distributed Reactive Systems. SAFECOMP 2003: 22-34
	2000
3		A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar: A System for Object Code Validation. FTRTFT 2000: 152-169
	1999
2		A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar: A Graphical Environment for the Specification and Verification of Reactive Systems. SAFECOMP 1999: 431-444
1		Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar: A Translation of Statecharts to Esterel. World Congress on Formal Methods 1999: 983-1007

Coauthor Index

1	Tribeni Prasad Banerjee	[12]
2	Anirban Roy Choudhury	[16]
3	Joydeb Roy Chowdury	[10]
4	Swagatam Das	[12]
5	S. D. Dhodapkar	[1] [2] [3] [4] [6]
6	S. P. Ghoshal	[11] [13]
7	Dheeraj Gupta	[17]
8	Hema Gurung	[12]
9	Asif Iqbal	[4]
10	Ajith K. John	[6]
11	P. S. Joshi	[17]
12	Rajib Kar	[15]
13	Kundapur Karunakar	[3]
14	Vikas Maheshwari	[15]
15	A. K. Mal	[15]
16	D. Mandal	[11] [13]
17	Md. Maqbool	[15]
18	R. S. Mundada	[17]
19	Sayantica Pattanayak	[10]
20	Basant Rajan	[3]
21	S. Ramesh (Sethu Ramesh)	[4] [6]
22	Joydeb Roychoudhury (Joydeb Roy Choudhury)	[12]
23	Shaik Madhar Saheb	[14]
24	Gopa Sen	[3]
25	Sanjit A. Seshia	[1] [2]
26	Babita Sharma	[6]
27	R. K. Shyamasundar (Rudrapatna K. Shyamasundar)	[1] [2] [3] [5] [7] [8] [9]
28	Athinayaranan Vallavaraj	[14]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page