A. K. Bhattacharjee

Publication Activity (10 Years)

Years Active: 1999-2019
Publications (10 Years): 3

Top Topics

Abstract Interpretation

Blind Watermarking

Personal Experiences

Error Detection

Top Venues

J. Hardw. Syst. Secur.

Publications

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