A Translation of Statecharts to Esterel. - Sanjit A. Seshia; R. K. Shyamasundar; A. K. Bhattacharjee; S. D. Dhodapkar (World Congress on Formal Methods, 1999)

A Graphical Environment for the Specification and Verification of Reactive Systems. - A. K. Bhattacharjee; S. D. Dhodapkar; Sanjit A. Seshia; R. K. Shyamasundar (SAFECOMP, 1999)

A System for Object Code Validation. - A. K. Bhattacharjee; Gopa Sen; S. D. Dhodapkar; Kundapur Karunakar; Basant Rajan; R. K. Shyamasundar (FTRTFT, 2000)

PERTS: an environment for specification and verification of reactive systems. - A. K. Bhattacharjee; S. D. Dhodapkar; R. K. Shyamasundar (Reliab. Eng. Syst. Saf., 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)

Visual Modeling and Verification of Distributed Reactive Systems. - Asif Iqbal 004; A. K. Bhattacharjee; S. D. Dhodapkar; S. Ramesh 001 (SAFECOMP, 2003)

Validated Code Generation for Activity Diagrams. - A. K. Bhattacharjee; R. K. Shyamasundar (ICDCIT, 2005)

Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. - Ajith K. John; Babita Sharma; A. K. Bhattacharjee; S. D. Dhodapkar; S. Ramesh 001 (SAFECOMP, 2007)

ScriptOrc: A Specification Language for Web Service Choreography. - A. K. Bhattacharjee; R. K. Shyamasundar (APSCC, 2008)

Delay Estimation for On-Chip VLSI Interconnect using Weibull Distribution Function. - Rajib Kar; Anuran Chattaraj; Aniruddha Chandra; Ashis Kumar Mal; A. K. Bhattacharjee (ICIIS, 2008)

Choreography = Orchestration with Scripts + Conversations. - A. K. Bhattacharjee; R. K. Shyamasundar (ICWS, 2008)

Comparative Optimal Designs of Non-Uniformly Excited Concentric Circular Antenna Array Using Evolutionary Optimization Techniques. - Durbadal Mandal; A. K. Bhattacharjee; Sakti Prasad Ghoshal (ICETET, 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 (NaBIC, 2009)

Real Time State of Charge Prediction using Kalman Filter. - Joydeb Roychoudhury; Tribeni Prasad Banerjee; Hema Gurung; A. K. Bhattacharjee; Swagatam Das (NaBIC, 2009)

Design methodology for battery powered embedded systems - In safety critical application. - Joydeb Roy Chowdury; Sayantica Pattanayak; A. K. Bhattacharjee (Comput. Stand. Interfaces, 2009)

Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation. - A. K. Bhattacharjee; R. K. Shyamasundar (J. Object Technol., 2009)

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 (BAIP, 2010)

An Enhanced HCCA Based Adaptive Scheduler for Multimedia Traffic in IEEE 802.11e Wireless LAN. - Shaik Madhar Saheb; A. K. Bhattacharjee; Athinayaranan Vallavaraj (ICWN, 2010)

Classifying Host Anomalies: Using Ontology in Information Security Monitoring. - Suja Ramachandran; R. S. Mundada; A. K. Bhattacharjee; C. S. R. C. Murthy; R. Sharma (Cyber Security, Cyber Crime and Cyber Forensics, 2011)

Automatic Construction of Runtime Monitors for FPGA Based Designs. - Pratibha Sawhney; G. Ganesh; A. K. Bhattacharjee (ISED, 2011)

IDS alerts classification using knowledge-based evaluation. - Dheeraj Gupta; P. S. Joshi; A. K. Bhattacharjee; R. S. Mundada (COMSNETS, 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 (CUBE, 2012)

RED: a tool for runtime error detection in C programs using abstract interpretation. - Anirban Roy Choudhury; A. K. Bhattacharjee (ISEC, 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)

Experience with testing and rigorous program analysis for qualification of RTOS. - Amol Wakankar; Arindam Khan 002; G. Aravamuthan; A. K. Bhattacharjee (ISEC, 2013)

Real time jitters and cyber physical system. - Hemangi Gawand; A. K. Bhattacharjee; Kallol Roy (ICACCI, 2014)

Watermark Removal Attack Extended to Forgery Against Correlation-Based Watermarking Schemes. - Toshanlal Meenpal; A. K. Bhattacharjee (ICISS, 2015)

Analysis of Diagonal Constants in Salsa. - Bhagwan N. Bathe; Bharti Hariramani; A. K. Bhattacharjee; S. V. Kulgod (SPACE, 2017)

Design and Analysis of a Modified Remote Attestation Protocol. - Monika Santra; Sateesh Kumar Peddoju; A. K. Bhattacharjee; Arindam Khan 002 (TrustCom/BigDataSE/ICESS, 2017)

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)