Nongpoh, B., Ray, R., Das, M., and Banerjee, A., Enhancing Speculative Execution with Approximate Computing, ACM Transactions on Design Automation of Electronic Systems (TODAES)
Chattopadhyay, S., and Banerjee, A., A Variation Aware Composition model for Dynamic Web Service Environments, 16th International Conference on Service-Oriented Computing (ICSOC), Hangzhou, China
Lu, G-R., Banerjee, A., Bhattacharya, B.B., Ho, T-Y., Chen, H-M., On Reliability Hardening Mechanisms in Cyber-Physical Digital-Microfluidic Biochips, ACM Journal of Emerging Technologies (JETC)
Chowdhury, A.B., Banerjee, A., Bhattacharya, B.B., ATPG Binning and SAT-based approach to Hardware Trojan detection for safety critical systems, 12th International Conference on Network and System Security (NSS) 2018, Hong Kong
Das, M., Banerjee, A., and Sardar, B., A Multi-component Branch Predictor Design for Low Resource Budget Processors, International workshop on Pioneering Processor Paradigms (WP3) 2018, co-located with HPCA 2018, Vienna
Lu, G-R., Hao, C-H., Chiang, K-C., Banerjee, A., Bhattacharya, B.B., Ho, T-Y., Chen, H-M., Flexible Droplet Routing in Active-Matrix Based Digital Microfluidic Biochips, ACM Transactions on Design Automation of Electronic Systems (TODAES)
Bhattacharya, S., Banerjee, A., Ho, T-Y., Chakraborty, K., and Bhattacharya, B.B., Efficient Generation of Dilution Gradients with Digital Microfluidic Biochips, Accepted for publication in IEEE Transactions on Computer Aided Design (TCAD)
Chattopadhyay S., Banerjee, A., Banerjee, N., and Bei, Y, An Utility-Driven Data Transmission Optimization Strategy in Large Scale Cyber-Physical Systems, To Appear in Springer Book of Leveraging Big Data Techniques for Cyber-Physical Systems
Banerjee, A., Paul, H.S., Mukherjee, A., Dey, S., and Datta, P., A Framework
for Speculative Job Scheduling in Mobile Cloud Resources,
To Appear in
Springer
Book of Leveraging Big Data Techniques for Cyber-Physical Systems
Das, M., Banerjee, A., and Sardar, B., An empirical study on performance of branch predictors with varying storage budgets , International Symposium on Embedded computing and system Design (ISED), India
Samadder, A., Das, M., and Banerjee, A., A New Memory Scheduling Policy for Real Time Systems, International Symposium on Embedded computing and system Design (ISED), India
Roy, P., and Banerjee, A., Security assessment of synthesized actuation sequences for Digital Microfluidic biochips, International Symposium on Embedded computing and system Design (ISED), India
Das, M., Banerjee, A., Singh, N., and Sardar, B., Performance Attacks on Branch Predictors in embedded processors with SMT support, ICISS 2017, Mumbai, India
Chattopadhyay S., Banerjee, A. and Banerjee, N., A Fast and Scalable Mechanism for Web Service Composition, ACM Transactions on Web
Chattopadhyay S., and Banerjee, A., QoS constrained service large scale web service composition using Abstraction Refinement, IEEE Transactions on Services Computing
Das, M., Banerjee, A., and Sardar B., A framework for branch predictor selection with aggregation on multiple parameters, to appear in VDAT 2017 (poster)
Nongpoh, B., Ray, R., Dutta, S., and Banerjee, A., AutoSense: A Framework for Automated Sensitivity Analysis of Program Data, IEEE Transactions on Software Engineering
Chattopadhyay S., Banerjee, A., and Bei, Y., A Utility-Driven Data Transmission Optimization in Large Scale Sensor Enabled Cyber-Physical Systems, In Proceedings of DATE 2017, Switzerland
Bhattacharya, A., Banerjee, A.,
and De. P., Scheduling with Task Duplication for Application
Offloading, In
In Proceedings of IEEE CCNC 2017
Lu, G-R., Huang, G-M., Banerjee, A.,
Bhattacharya, B.B., Ho, T-Y., Chen, H-M., On Reliability Hardening in
Cyber-Physical Digital-Microfluidic Biochips, In Proceedings of
ASPDAC 2017
Das, M., and Banerjee, A.,
Improving Energy Efficiency of Mobile Execution Exploiting
Similarity of Application Control Flow, To Appear in Proceedings of
MoMM / IIWAS 2016, Singapore
Roy P. and Banerjee, A., A New
Approach for Root-Causing Attacks on Digital Microfluidic Devices, To Appear
in IEEE Asianhost 2016, Taiwan
Mitra, S., Das, M., Banerjee, A., Datta, K. and Ho, T.Y., A Verification guided approach for selective program transformations for Approximate Computing, To appear in IEEE ATS 2016
Bhattacharya, A., Banerjee, A., and De. P., Service Level Guarantee for Mobile Application Offloading in presence of Wireless Channel Errors, To appear in IEEE Globecom 2016
Banerjee, A., Paul, H.S. and Mukherjee, A., I2oT: Inexactness in IoT, To appear in ARMS-CC 2016, co-located with PODC
Nandi, B.B., Ghosh, S.C. Banerjee, A., and Banerjee, N., Dynamic SLA Based Elastic Cloud Service Management: A SaaS Perspective, To appear in Springer Service Oriented Computing and Applications
Bhattacharjee S., Chatterjee S., Banerjee A., Chakrabarty K., and Bhattacharya B.B., Adaptation of Biochemical Protocols to Handle Technology Change for Digital Microfluidics, To appear in IEEE Transactions on CAD
Chattopadhyay S., Banerjee, A., and Banerjee, N., A Scalable Rule Engine Architecture for Service Execution Frameworks, SCC 2016, San Francisco
Chattopadhyay S., Banerjee, A., and Mukherjee, T., A Framework for Top Service Subscription Recommendations for Service Assemblers, SCC 2016, San Francisco
Ghosh R., Gupta, A., Chattopadhyay, S., Banerjee, A., and Dasgupta, K., CoCOA: A Framework for Comparing Aggregate Client Operations in BPO Services, SCC 2016, San Francisco
Chattopadhyay S. and Banerjee, A., QSCAS: QoS aware web service Composition Algorithms with Stochastic parameters, ICWS 2016, San Francisco
Bhattacharjee D., Chattopadhyay S. and Banerjee A., EAST: Efficient Assertion Simulation Techniques, In DATE 2016, Germany, pp. 1363-1368
2015:Dash, A., and Banerjee A., Application State Refinement for Scheduling Applications on Mobile Devices, In 13th International Conference on Advances in Mobile Computing & Multimedia (MoMM2015), Belgium
Chattopadhyay, S., Paul, H.S. and Banerjee A., On Composition of Checkpoint and Recovery Protocols for Distributed Systems, In DISCO, co-located with ICSOC, India
Chattopadhyay, S., Dutta, S., and Banerjee, A., A framework for fast service verification and query execution using Boolean service rules, In APSCC, Thailand
Das, M., Sardar, B., and Banerjee, A., Attacks on Branch Predictors: An Empirical Exploration, In ICISS, India
Dutta, S., Chattopadhyay, S., Banerjee, A., and Dasgupta, P., A new approach for minimal environment construction for modular property verification, In ATS, India
Paul, H.S., Datta, P., Banerjee, A., and Mukherjee, A., Compute-on-the-go: A case for collaborative mobile cloud computing under mobility, In ARMS-CC-2015, co-located with PODC 2015, Spain
Bhattacharya, A., Banerjee, A., and De, P., Parametric Analysis of Mobile Cloud Computing Frameworks using Simulation Modeling, In ARMS-CC-2015, co-located with PODC 2015, Spain
Banerjee, A., Paul, H.S., Mukherjee, A., Dey, S. and Dutta, P., A framework for speculative scheduling and device selection for task execution on a mobile cloud, In ARMS-CC-2014, co-located with PODC 2014, Paris
Dutta, S., Das, M., and Banerjee, A., Enhancing Branch Prediction using Software Evolution, In IEEE NAS, Boston
Chattopadhyay, S., Banerjee, A., and Banerjee, N., A Scalable and Approximate Mechanism for Web Service Composition, In ICWS, New York,
Chattopadhyay, S., Banerjee, A., and Banerjee, N., A Scalable Architecture for Rule Engine Based Clinical Decision Support Systems, In Medinfo, Brazil
Bhattacharjee, D., Banerjee, A. and Chattopadhyay, A.,, EvoDeb: Debugging Evolving Hardware Designs, In VLSI Design Conference, India
Bhattacharya, A., Koley, S., and Banerjee, A., Considering multi-cycle influences for signal selection for Post Silicon Validation, In EDCAV, India
Dash, A., and Banerjee, A., When to schedule an application? An energy-aware decision, In IEEE Cloudcom 2014, Singapore
Chakraborty, K., Bhattacharya, B.B. and Banerjee, A., Design Automation for Biochemistry Synthesis on a Digital Microfluidic Biochip, In ICCAD 2014
Banerjee, A., Paul, H.S., Mukherjee, A., Dutta, P. and Das, S., An Access Point to Device Association Technique for Optimized Data Transfer in Mobile Grids, In ADST 2014, co-located with ICPADS 2014, Taiwan
Banerjee, A., Paul, H.S., Mukherjee, A., Dey, S. and Dutta, P., A framework for speculative scheduling and device selection for task execution on a mobile cloud, In ARMS-CC-2014, co-located with PODC 2014, Paris
Mukherjee, A., Paul, H.S., Dey, S., Banerjee, A., ANGELS for Distributed Analytics in IoT, In IEEE World Forum on Internet of Things (WF-IoT) 2014, Seoul
Bhattacharya, A., Banerjee, A., and SurKolay, S., Energy-Aware H.264 decoding, In ICDCIT 2014, pp. 200-211
Bhattacharjee, S., Banerjee, A., Chakraborty, K. and Bhattacharya, B.B., Correctness Checking of Bio-Chemical Protocol Realizations on a Digital Microfluidic Biochip, In Proceedings of International Conference in VLSI Design, 2014, pp. 504-509
Chattopadhyay, S., Banerjee, A., and Banerjee, N., A Data Distribution Model for Large-scale Context Aware Systems, In MOBIQUITUOUS 2013
Banerjee, A., Mukherjee, A., Paul, H.S., Dey, S., Offloading Work to mobile devices: An availability-aware data partitioning approach, Accepted in International Workshop on Middleware for Cloud-Enabled Sensing (MCS), co-located with Middleware 2013, Beijing
Bhattacharjee, S., Banerjee, A., Ho, T., Chakraborty, K. and Bhattacharya, B.B., On Producing Linear Dilution Gradient of a Sample with a Digital Microfluidic Biochip, In International Symposium of Electronic Design (ISED), Singapore
Jain, N., Dutta, S., Banerjee, A., Ghosh, A..K., Xu, Lihua and Zhu, Huibiao, Using Daikon to prioritize and cluster unit bugs , In 10th International Symposium on Formal Aspects of Component Software (FACS), China, 2013
Bhattacharjee, S., Banerjee, A., and Bhattacharya, B.B., Sample Preparation with Multiple Dilutions on Digital Microfluidic Biochips, In IET Computers & Digital Techniques
Bhattacharjee, S., Banerjee, A., Ho, T., Chakraborty, K., and Bhattacharya, B.B., Eco-friendly Sample Preparation with Concentration Gradient on a Digital Microfluidic Biochip, In ICECCS 2013
Mitra, S., Banerjee, A., Dasgupta, P., and Kumar, H., Counterexample ranking using mined invariants, In IEEE Transactions on CAD
Bhattacharya, A., Banerjee, A., SurKolay, S., Basu, P. and Karmakar, B., A cache-aware strategy for H.264 decoding on multi-processor architectures, In VDAT 2013
Nandi, B.B., Paul, H., Banerjee, A., and Ghosh, S.C., Fault Tolerance As a Service, In IEEE CLOUD 2013
Mitra, S., Banerjee, A., Dasgupta, P., Ghosh, P. and Kumar, H., Formal Guarantees for Localized Bug Fixes, In IEEE Transactions on CAD
Nandi, B.B., Banerjee, A., Ghosh, S.C. and Banerjee, N., Dynamic SLA Based Elastic Cloud Service Management: A SaaS Perspective, In Proceedings of IFIP / IM 2013
Hazra, A., Mukherjee, R., Dasgupta, P., Pal, A., Harer, K., Banerjee, A., POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent, In IEEE Transactions on CAD
2012:
Bhattacharjee, S., Banerjee, A., and Bhattacharya, B.B., Multiple Dilution Sample Preparation Using Digital Microfluidic Biochips, In Proceedings of International Symposium on Electronic System Design (ISED) 2012, India
Das, S., Banerjee, A., and Dasgupta, P., A Generalized Theory for Formal Assertion Coverage, In Asian Test Symposium (ATS) 2012, Japan
Nandi, B.B., Banerjee, A., Ghosh, S.C. and Banerjee, N., Stochastic VM Multiplexing for Datacenter Consolidation, in IEEE SCC 2012, Hawaii, pp. 114-121
Banerjee,
A.,
Verifying Coalitions in 3-party systems,
IEEE Transactions on CAD
Banerjee, A , A Formal Model for Multi-tenant
Software-as-a-Service in cloud computing, In ACM COMPUTE 2012, Pune
Mitra, S., Banerjee, A., Dasgupta, P., Formal Methods for Ranking Counterexamples Through Assumption Mining, In Design Automation and Test in Europe (DATE) 2012, Germany
Masrur,
A., Goswami, D., Jian-Jia Chen,
Chakraborty, S., Annaswamy, A.,
Banerjee, A., Timing Analysis of Cyber-Physical Applications for
Hybrid Communication Protocols, In
Design Automation and Test in Europe
(DATE) 2012, Germany
Banerjee, A., Ray, S., Dasgupta, P., Chakrabarti P. P. Ramesh S. and
Ganesan, P.V.V., A Dynamic Assertion-based Verification Platform for
Validation of UML designs, In
ACM SIGSOFT Software Engineering Notes (SEN)
Banerjee, A., Banerjee, N., and Ghosh, S.C., Pack your sack for the cloud, In ISEC 2012
Hazra, A., Dasgupta, P.,
Banerjee, A., and Harer, K.,
Formal
Methods for Coverage Analysis of Architectural Power States in Power-Managed
Designs,
In ASP-DAC, 2012.
Das, S., Banerjee, A., and Dasgupta, P., Early Analysis of Critical Faults: An Approach to Test Generation from Formal Specifications, In IEEE Transaction on CAD (TCAD), 2012.
2011:
Komuravelli, A., Mitra, S.,
Banerjee, A., Dasgupta, P., Backward Reasoning with Formal Properties: A methodology for bug isolation on simulation traces, In Proceedings of International Asian Test Symposium 2011, India
Banerjee, A., Bhattacharya, R., Debugging Programs with Contract Information, In Proceedings of ICSTE 2011, Malaysia
Banerjee, A., Das M., Majumder, S., CATD: A tool for Consistency Analysis of Timing Diagrams, In Proceedings of VDAT 2011
Banerjee, A.,
Requirement Evolution Management: A
systematic approach, In Proceedings of ISVLSI 2011, pp. 150-155
Banerjee, A.,
Mall R., Principles of Program Slicing: Theory and Applications: In ISEC
2011
Ray, P. P.,
Banerjee, A., Bag,
B., Debugging Invariant Issues in Pseudo Embedded Program: an Analytical
Approach, International Journal of Computer Science and Information
Technologies, 2011, Vol. 2, 780-785
Ray, P.
P., Banerjee, A., Debugging
Memory Issues in Embedded Linux: A Case Study, In IEEE TechSym 2011
2010:
Banerjee,
A.,
Harlie, J.A, Roychowdhury, A.,
Zhenkai, L, Golden Implementation Driven Software Debugging,
In
ACM SIGSOFT International Symposium on
the Foundations of Software Engineering (FSE) 2010
Banerjee, A., Synthesizability of three party Formal Specifications
– Does my controller see enough?, In
IEEE International Conference on
VLSI Design, Bangalore, India, 2010
Banerjee, A., Jain, U., Datta, K.,
Offline Assertion-Based Verification using VCD, In International
Conference on VLSI Design and Communication Systems (ICVLSICOM), Chennai,
India, 2010
2009:
Das, S.,
Dasgupta, P., Banerjee, A., Das, P.P.,
Directed Automated Symbolic
Verification Of Formal Properties With Local Variables, In IEEE TENCON,
Singapore, 2009
Ghosh,
P.,
Ramesh S., Banerjee, A., Dasgupta, P.,
Abstraction Refinement for State Space Partitioning based on Auxiliary State
Machines,
In IEEE TENCON, Singapore,2009
2008:
Banerjee, A.,
Dasgupta, P., Chakrabarti, P.P., Auxiliary State Machines +
Context-Sensitive Properties in Formal Verification, To Appear in ACM
Transactions on Design Automation of Electronic Systems (TODAES)
Pal,
B., Banerjee, A., Sinha, A., Dasgupta, P.
Accelerating Assertion Coverage
with Adaptive Test-benches, IEEE Transactions on CAD (TCAD), Volume 27,
Issue 5, May 2008 Page(s):967 - 972
Banerjee, A., Ray, S., Dasgupta, P.,
Chakrabarti P. P. Ramesh S. and Ganesan, P.V.V., A Dynamic Assertion-based
Verification Platform for UML Statecharts over Rhapsody, Communicated to
IEEE TENCON 2008
Banerjee, A., Datta, K., Roy, A.,
Foundations of Design Validation – Formal and Functional Approaches, VLSI
Design and Test Symposium (VDAT)
Banerjee, A.,
Ray, S., Dasgupta, P., Chakrabarti P. P. Ramesh S. and Ganesan, P.V.V., A
Dynamic Assertion-based Verification Platform for Validation of UML designs,
To Appear in ATVA
Banerjee, A.,
Datta, K., Dasgupta, P., CheckSpec: A Tool for Consistency and Coverage
analysis of Assertion Specifications, To Appear in ATVA
Worah, P.,
Banerjee, A., Chakrabarti, P.P., Dasgupta, P., Quantified UML
Collaboration Diagrams, VLSI Design and Test Symposium (VDAT)
Hazra, A., Banerjee, A.,
Mitra, S., Dasgupta, P., Chakrabarti, P.P., Mohan, C.R.,
Cohesive Coverage Management for Simulation and Formal Property
Verification, In ISVLSI
2007:
Banerjee, A.,
Dasgupta, P., Chakrabarti, P.P., Can Semi-Formal be made more
formal? In Next Generation Design and Verification Methodologies for
Distributed Embedded Control Systems, Springer 2007, pp. 193-211
Pal, B., Banerjee, A., Dasgupta, P., Chakrabarti, P.P.,
BUSpec: A Framework for Generation of Verification Aids for Standard Bus
Protocol Specifications, In Integration, the VLSI Journal, 2007
Banerjee, A.,
Dasgupta, P., Chakrabarti, P.P., Realizability of
2006:
Basu, P., Das, S., Banerjee, A., Dasgupta, P., Chakrabarti, P.P.,
Mohan, C.R., Fix L., Armoni, R., Design Intent Coverage – A New Paradigm for
Formal Property Verification,
IEEE Transactions on CAD (TCAD), October 2006
Banerjee, A.,
Pal, B., Das, S., Kumar, A., Dasgupta, P.,
Test Generation Games from Formal Specifications, In Proceedings of
DAC
Banerjee, A.,
Dasgupta, P., Chakrabarti, P.P., Formal Methods for Checking Realizability
of Coalitions in 3-party systems, In Proceedings of MEMOCODE
2005:
Banerjee, A., Dasgupta, P.,
The Open Family of Temporal Logics: Annotating Temporal Operators with Input
Constraints, In ACM Transactions on Design Automation of Electronic Systems
(TODAES), July 2005, pp. 492-522
Banerjee, A,
Open Verification: A New Paradigm for Formal Property Verification of
Reactive Systems, In Proceedings of Indian Science Congress Association
(ISCA)
Pal, B., Nandi, A., Ray, S.,
Banerjee, A., Dasgupta, P., Chakrabarti, P.P., Scoreboard Directed
Dynamic Constraint Modification for Higher Simulation Coverage, In SNUG ,
Basu, P., Das, S., Banerjee, A., Dasgupta, P., Chakrabarti, P.P.,
Test Plan Coverage by Formal Property Verification, In
VLSI Design and Test Symposium
(VDAT).
Banerjee, A.,
Pal, B., Chakravorty, S., Dasgupta, P., Interactive Test-Bench Synthesis for
Assertion-Based Verification, In Proceedings of IEEE INDICON
Das, S., Banerjee, A., Basu, P.,Dasgupta, P., Chakrabarti, P.P.,
Mohan, C.R., Fix L., Formal Methods for Analyzing the Completeness of an
Assertion Suite against a High-Level Fault Model, In Proceedings of IEEE
VLSI Design
2004:
Banerjee, A,
Dasgupta, P., Chakrabarti, P.P., Formal Verification of Modules under
Untimed and Real Time Fairness Constraints, In Proc. of IEEE VLSI Design,
Mumbai, India.
Pal, B., Banerjee, A., Dasgupta, P., Chakrabarti, P.P., The BUSpec
Platform for Automated Generation of Verification Aids for Standard Bus
Protocols, In Proc. of ACM/IEEE MEMOCODE
California.
Banerjee, A,
Pal, B., Dasgupta, P., Chakrabarti, P.P., Jha, M., Cerny, E., Design Issues
for Assertion-Based Verification IPs: The OVA Experience, In Proc. of
Synopsys Users’ Group Conference (SNUG),
Pal, B.,
Banerjee, A, Chaitanya,
K., Dasgupta, P., Chakrabarti, P.P.,
A Simulation Coverage Metric for Analyzing the Behavioral Coverage of an
Assertion
Based Verification IP,
In Proc. of IEEE VLSI Design and Test Workshop (VDAT), Mysore, India.
Das, S., Basu, P., Banerjee, A., Dasgupta, P., Chakrabarti, P.P.,
Mohan, C.R., Fix L., Armoni, R., Formal Verification Coverage: Computing the
Coverage Gap between Temporal Specifications, In Proceedings of IEEE
International Conference on Computer Aided Design (ICCAD
Banerjee, A,
Pal, B., Chaitanya, K., Dasgupta, P., Chakrabarti, P.P.,
Jha, M., Assertion Based Verification: Have I written enough
properties?, In Proceedings of IEEE INDICON
2003:
Banerjee, A,
Dasgupta, P., Chakrabarti, P.P., Open Computation Tree Logic With Fairness,
In Proc. of IEEE International Symposium of Circuits and Systems (ISCAS)
‘2003,
2002:
Chakrabarti, A., Dasgupta, P., Chakrabarti, P.P.,
Banerjee, A.,
Formal Verification of Module Interfaces against Real Time Specifications,
In Proc. of ACM/IEEE Design Automation Conference (DAC) '2002, New Orleans.