A. K. Bhattacharjee

30 papers A 1B 3C 1Misc 3Journal 6Unranked 15
YearRankTypeTitle / 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