A. K. Bhattacharjee - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 30 from 30

2019

Analysis of Diagonal Constants for Extension of Salsa to 64 BitBhagwan N. Bathe, Bharti Hariramani, A. K. Bhattacharjee, S. V. Kulgod. jhss, 3(1):94-102, 2019. [doi]

2017

Analysis of Diagonal Constants in SalsaBhagwan N. Bathe, Bharti Hariramani, A. K. Bhattacharjee, S. V. Kulgod. space 2017: 93-110 [doi]

Design and Analysis of a Modified Remote Attestation ProtocolMonika Santra, Sateesh K. Peddoju, A. K. Bhattacharjee, Arindam Khan 0002. trustcom 2017: 578-585 [doi]

2015

Watermark Removal Attack Extended to Forgery Against Correlation-Based Watermarking SchemesToshanlal Meenpal, A. K. Bhattacharjee. iciss 2015: 463-479 [doi]

2014

Real time jitters and cyber physical systemHemangi Gawand, A. K. Bhattacharjee, Kallol Roy. icacci 2014: 2004-2008 [doi]

2013

Experience with testing and rigorous program analysis for qualification of RTOSA. Wakankar, Arindam Khan, G. Aravamuthan, A. K. Bhattacharjee. indiaSE 2013: 83-89 [doi]

2012

2011

Classifying Host Anomalies: Using Ontology in Information Security MonitoringSuja Ramachandran, R. S. Mundada, A. K. Bhattacharjee, C. S. R. C. Murthy, R. Sharma. In Raghu Santanam, M. Sethumadhavan, Mohit Virendra, editors, Cyber Security, Cyber Crime and Cyber Forensics - Applications and Perspectives. pages 70-86, IGI Global, 2011. [doi]

Automatic Construction of Runtime Monitors for FPGA Based DesignsPratibha Sawhney, G. Ganesh, A. K. Bhattacharjee. ised 2011: 164-169 [doi]

2010

A Closed Form Slew Evaluation Approach Using Burr s Distribution Function for High Speed On-Chip RC InterconnectsRajib Kar, Vikas Maheshwari, Md. Maqbool, A. K. Mal, A. K. Bhattacharjee. baip 2010: 71-75 [doi]

An Enhanced HCCA Based Adaptive Scheduler for Multimedia Traffic in IEEE 802.11e Wireless LANShaik Madhar Saheb, A. K. Bhattacharjee, Athinayaranan Vallavaraj. icwn 2010: 446-453

2009

Activity Diagrams : A Formal Framework to Model Business Processes and Code GenerationA. K. Bhattacharjee, R. K. Shyamasundar. jot, 8(1):189-220, 2009. [doi]

Design methodology for battery powered embedded systems - In safety critical applicationJoydeb Roy Chowdury, Sayantica Pattanayak, A. K. Bhattacharjee. csi, 31(2):499-503, 2009. [doi]

Comparative Optimal Designs of Non-Uniformly Excited Concentric Circular Antenna Array Using Evolutionary Optimization TechniquesD. Mandal, A. K. Bhattacharjee, S. P. Ghoshal. icetet 2009: 619-624 [doi]

Application of Bio-inspired Optimization Technique for Finding the Optimal Set of Concentric Circular Antenna ArrayD. Mandal, A. K. Bhattacharjee, S. P. Ghoshal. nabic 2009: 1247-1252 [doi]

Real Time State of Charge Prediction using Kalman FilterJoydeb Roychoudhury, Tribeni Prasad Banerjee, Hema Gurung, A. K. Bhattacharjee, Swagatam Das. nabic 2009: 1190-1194 [doi]

2008

Choreography = Orchestration with Scripts + ConversationsA. K. Bhattacharjee, R. K. Shyamasundar. icws 2008: 824-827 [doi]

ScriptOrc: A Specification Language for Web Service ChoreographyA. K. Bhattacharjee, R. K. Shyamasundar. apscc 2008: 1089-1096 [doi]

Delay Estimation for On-Chip VLSI Interconnect using Weibull Distribution FunctionRajib Kar, Anuran Chattaraj, A. Chandra, Ashis Kumar Mal, A. K. Bhattacharjee. iciis 2008: 1-3 [doi]

2007

Detection of Runtime Errors in MISRA C Programs: A Deductive ApproachAjith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh. safecomp 2007: 491-504 [doi]

2005

Validated Code Generation for Activity DiagramsA. K. Bhattacharjee, R. K. Shyamasundar. icdcit 2005: 508-521 [doi]

2003

Visual Modeling and Verification of Distributed Reactive SystemsA. Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh. safecomp 2003: 22-34 [doi]

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. ress, 72(2):223, 2001. [doi]

PERTS: an environment for specification and verification of reactive systemsA. K. Bhattacharjee, S. D. Dhodapkar, R. K. Shyamasundar. ress, 71(3):299-310, 2001. [doi]

2000

A System for Object Code ValidationA. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar. ftrtft 2000: 152-169 [doi]

1999

A Graphical Environment for the Specification and Verification of Reactive SystemsA. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar. safecomp 1999: 431-444 [doi]

A Translation of Statecharts to EsterelSanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar. FM 1999: 983-1007 [doi]

Sign in or sign up to see more results.

runs on WebDSL