A. K. Bhattacharjee

According to our database, A. K. Bhattacharjee authored at least 30 papers between 1999 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Analysis of Diagonal Constants for Extension of Salsa to 64 Bit.

Bhagwan N. Bathe, Bharti Hariramani, A. K. Bhattacharjee, S. V. Kulgod

J. Hardw. Syst. Secur., 2019

2017

Design and Analysis of a Modified Remote Attestation Protocol.

Monika Santra, Sateesh K. Peddoju, A. K. Bhattacharjee, Arindam Khan

Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017

Analysis of Diagonal Constants in Salsa.

Bhagwan N. Bathe, Bharti Hariramani, A. K. Bhattacharjee, S. V. Kulgod

Proceedings of the Security, Privacy, and Applied Cryptography Engineering, 2017

2015

Watermark Removal Attack Extended to Forgery Against Correlation-Based Watermarking Schemes.

Toshanlal Meenpal, A. K. Bhattacharjee

Proceedings of the Information Systems Security - 11th International Conference, 2015

2014

Real time jitters and cyber physical system.

Hemangi Gawand, A. K. Bhattacharjee, Kallol Roy

Proceedings of the 2014 International Conference on Advances in Computing, 2014

2013

Experience with testing and rigorous program analysis for qualification of RTOS.

Amol Wakankar, Arindam Khan, G. Aravamuthan, A. K. Bhattacharjee

Proceedings of the 6th India Software Engineering Conference, 2013

2012

Enhanced hybrid coordination function controlled channel access-based adaptive scheduler for delay sensitive traffic in ieee 802.11e networks.

Shaik Madhar Saheb, A. K. Bhattacharjee, Dharmasa Hemadrasa, Rajib Kar

IET Networks, 2012

RED: a tool for runtime error detection in C programs using abstract interpretation.

Anirban Roy Choudhury, A. K. Bhattacharjee

Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012

Development and performance analysis of HPC based framework for cryptanalytic attacks.

Deepika Dutta Mishra, C. S. R. C. Murthy, Kislay Bhatt, A. K. Bhattacharjee, R. S. Mundada

Proceedings of the CUBE International IT Conference & Exhibition, 2012

IDS alerts classification using knowledge-based evaluation.

Dheeraj Gupta, P. S. Joshi, A. K. Bhattacharjee, R. S. Mundada

Proceedings of the Fourth International Conference on Communication Systems and Networks, 2012

2011

Automatic Construction of Runtime Monitors for FPGA Based Designs.

Pratibha Sawhney, G. Ganesh, A. K. Bhattacharjee

Proceedings of the International Symposium on Electronic System Design, 2011

Classifying Host Anomalies: Using Ontology in Information Security Monitoring.

Suja Ramachandran, R. S. Mundada, A. K. Bhattacharjee, C. S. R. C. Murthy, R. Sharma

Proceedings of the Cyber Security, Cyber Crime and Cyber Forensics, 2011

2010

An Enhanced HCCA Based Adaptive Scheduler for Multimedia Traffic in IEEE 802.11e Wireless LAN.

Shaik Madhar Saheb, A. K. Bhattacharjee, Athinayaranan Vallavaraj

Proceedings of the 2010 International Conference on Wireless Networks, 2010

A Closed Form Slew Evaluation Approach Using Burr's Distribution Function for High Speed On-Chip RC Interconnects.

Rajib Kar, Vikas Maheshwari, Md. Maqbool, Ashish Kumar Mal, A. K. Bhattacharjee

Proceedings of the Information Processing and Management, 2010

2009

Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation.

A. K. Bhattacharjee, R. K. Shyamasundar

J. Object Technol., 2009

Design methodology for battery powered embedded systems - In safety critical application.

Joydeb Roy Chowdury, Sayantica Pattanayak, A. K. Bhattacharjee

Comput. Stand. Interfaces, 2009

Real Time State of Charge Prediction using Kalman Filter.

Joydeb Roychoudhury, Tribeni Prasad Banerjee, Hema Gurung, A. K. Bhattacharjee, Swagatam Das

Proceedings of the World Congress on Nature & Biologically Inspired Computing, 2009

Application of Bio-inspired Optimization Technique for Finding the Optimal Set of Concentric Circular Antenna Array.

Durbadal Mandal, A. K. Bhattacharjee, Sakti Prasad Ghoshal

Proceedings of the World Congress on Nature & Biologically Inspired Computing, 2009

Comparative Optimal Designs of Non-Uniformly Excited Concentric Circular Antenna Array Using Evolutionary Optimization Techniques.

Durbadal Mandal, A. K. Bhattacharjee, Sakti Prasad Ghoshal

Proceedings of the Second International Conference on Emerging Trends in Engineering & Technology, 2009

2008

Choreography = Orchestration with Scripts + Conversations.

A. K. Bhattacharjee, R. K. Shyamasundar

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Delay Estimation for On-Chip VLSI Interconnect using Weibull Distribution Function.

Rajib Kar, Anuran Chattaraj, Aniruddha Chandra, Ashis Kumar Mal, A. K. Bhattacharjee

Proceedings of the IEEE Reglon 10 Colloquium and Third International Conference on Industrial and Information Systems, 2008

ScriptOrc: A Specification Language for Web Service Choreography.

A. K. Bhattacharjee, R. K. Shyamasundar

Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008

2007

Detection of Runtime Errors in MISRA C Programs: A Deductive Approach.

Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh

Proceedings of the Computer Safety, 2007

2005

Validated Code Generation for Activity Diagrams.

A. K. Bhattacharjee, R. K. Shyamasundar

Proceedings of the Distributed Computing and Internet Technology, 2005

2003

Visual Modeling and Verification of Distributed Reactive Systems.

Asif Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh

Proceedings of the Computer Safety, 2003

2001

PERTS: an environment for specification and verification of reactive systems: [Reliability Engineering and System Safety, 71(3), 2001, 299-310].

A. K. Bhattacharjee, S. D. Dhodapkar, R. K. Shyamasundar

Reliab. Eng. Syst. Saf., 2001

PERTS: an environment for specification and verification of reactive systems.

A. K. Bhattacharjee, S. D. Dhodapkar, R. K. Shyamasundar

Reliab. Eng. Syst. Saf., 2001

2000

A System for Object Code Validation.

A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999

A Graphical Environment for the Specification and Verification of Reactive Systems.

A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar

Proceedings of the Computer Safety, 1999

A Translation of Statecharts to Esterel.

Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar

Proceedings of the FM'99 - Formal Methods, 1999