A. K. Bhattacharjee

30 papers A 1B 3C 1Misc 3Journal 6Unranked 15

Year	Rank	Type	Title / Venue / Authors
2019	J	`jnl`	Analysis of Diagonal Constants for Extension of Salsa to 64 Bit. J. Hardw. Syst. Secur. Bhagwan N. Bathe, Bharti Hariramani, A. K. Bhattacharjee, S. V. Kulgod
2017	—	`conf`	Analysis of Diagonal Constants in Salsa. SPACE Bhagwan N. Bathe, Bharti Hariramani, A. K. Bhattacharjee, S. V. Kulgod
2017	—	`conf`	Design and Analysis of a Modified Remote Attestation Protocol. TrustCom/BigDataSE/ICESS Monika Santra, Sateesh Kumar Peddoju, A. K. Bhattacharjee, Arindam Khan
2015	Misc	`conf`	Watermark Removal Attack Extended to Forgery Against Correlation-Based Watermarking Schemes. ICISS Toshanlal Meenpal, A. K. Bhattacharjee
2014	—	`conf`	Real time jitters and cyber physical system. ICACCI Hemangi Gawand, A. K. Bhattacharjee, Kallol Roy
2013	—	`conf`	Experience with testing and rigorous program analysis for qualification of RTOS. ISEC Amol Wakankar, Arindam Khan, G. Aravamuthan, A. K. Bhattacharjee
2012	—	`conf`	Development and performance analysis of HPC based framework for cryptanalytic attacks. CUBE Deepika Dutta Mishra, C. S. R. C. Murthy, Kislay Bhatt, A. K. Bhattacharjee, R. S. Mundada
2012	J	`jnl`	Enhanced hybrid coordination function controlled channel access-based adaptive scheduler for delay sensitive traffic in ieee 802.11e networks. IET Networks Shaik Madhar Saheb, A. K. Bhattacharjee, Dharmasa Hemadrasa, Rajib Kar
2012	Misc	`conf`	IDS alerts classification using knowledge-based evaluation. COMSNETS Dheeraj Gupta, P. S. Joshi, A. K. Bhattacharjee, R. S. Mundada
2012	—	`conf`	RED: a tool for runtime error detection in C programs using abstract interpretation. ISEC Anirban Roy Choudhury, A. K. Bhattacharjee
2011	—	`conf`	Automatic Construction of Runtime Monitors for FPGA Based Designs. ISED Pratibha Sawhney, G. Ganesh, A. K. Bhattacharjee
2011	—	`ch.`	Classifying Host Anomalies: Using Ontology in Information Security Monitoring. Cyber Security, Cyber Crime and Cyber Forensics Suja Ramachandran, R. S. Mundada, A. K. Bhattacharjee, C. S. R. C. Murthy, R. Sharma
2010	—	`conf`	A Closed Form Slew Evaluation Approach Using Burr's Distribution Function for High Speed On-Chip RC Interconnects. BAIP Rajib Kar, Vikas Maheshwari, Md. Maqbool, Ashish Kumar Mal, A. K. Bhattacharjee
2010	—	`conf`	An Enhanced HCCA Based Adaptive Scheduler for Multimedia Traffic in IEEE 802.11e Wireless LAN. ICWN Shaik Madhar Saheb, A. K. Bhattacharjee, Athinayaranan Vallavaraj
2009	J	`jnl`	Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation. J. Object Technol. A. K. Bhattacharjee, R. K. Shyamasundar
2009	—	`conf`	Application of Bio-inspired Optimization Technique for Finding the Optimal Set of Concentric Circular Antenna Array. NaBIC Durbadal Mandal, A. K. Bhattacharjee, Sakti Prasad Ghoshal
2009	—	`conf`	Comparative Optimal Designs of Non-Uniformly Excited Concentric Circular Antenna Array Using Evolutionary Optimization Techniques. ICETET Durbadal Mandal, A. K. Bhattacharjee, Sakti Prasad Ghoshal
2009	J	`jnl`	Design methodology for battery powered embedded systems - In safety critical application. Comput. Stand. Interfaces Joydeb Roy Chowdury, Sayantica Pattanayak, A. K. Bhattacharjee
2009	—	`conf`	Real Time State of Charge Prediction using Kalman Filter. NaBIC Joydeb Roychoudhury, Tribeni Prasad Banerjee, Hema Gurung, A. K. Bhattacharjee, Swagatam Das
2008	A	`conf`	Choreography = Orchestration with Scripts + Conversations. ICWS A. K. Bhattacharjee, R. K. Shyamasundar
2008	—	`conf`	Delay Estimation for On-Chip VLSI Interconnect using Weibull Distribution Function. ICIIS Rajib Kar, Anuran Chattaraj, Aniruddha Chandra, Ashis Kumar Mal, A. K. Bhattacharjee
2008	C	`conf`	ScriptOrc: A Specification Language for Web Service Choreography. APSCC A. K. Bhattacharjee, R. K. Shyamasundar
2007	B	`conf`	Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. SAFECOMP Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh
2005	Misc	`conf`	Validated Code Generation for Activity Diagrams. ICDCIT A. K. Bhattacharjee, R. K. Shyamasundar
2003	B	`conf`	Visual Modeling and Verification of Distributed Reactive Systems. SAFECOMP Asif Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh
2001	J	`jnl`	PERTS: an environment for specification and verification of reactive systems. Reliab. Eng. Syst. Saf. A. K. Bhattacharjee, S. D. Dhodapkar, R. K. Shyamasundar
2001	J	`jnl`	PERTS: an environment for specification and verification of reactive systems: [Reliability Engineering and System Safety, 71(3), 2001, 299-310]. Reliab. Eng. Syst. Saf. A. K. Bhattacharjee, S. D. Dhodapkar, R. K. Shyamasundar
2000	—	`conf`	A System for Object Code Validation. FTRTFT A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar
1999	B	`conf`	A Graphical Environment for the Specification and Verification of Reactive Systems. SAFECOMP A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar
1999	—	`conf`	A Translation of Statecharts to Esterel. World Congress on Formal Methods Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar